f64 ^ half(0.5)
