(cbrt.f64 (/.f64 g (+.f64 a a)))
(binary32->binary64 (cbrt.f32 (binary64->binary32 (/.f64 g (+.f64 a a)))))
(binary32->binary64 (cbrt.f32 (*.f32 (binary64->binary32 (/.f64 g a)) #s(literal 1/2 binary32))))
(binary32->binary64 (cbrt.f32 (/.f32 (binary64->binary32 (neg.f64 g)) (neg.f32 (binary64->binary32 (+.f64 a a))))))
(+.f64 (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (+.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (*.f64 h h)))))))
(+.f64 (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (+.f64 (neg.f64 g) (sqrt.f64 (*.f64 (-.f64 g h) (+.f64 h g)))))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (-.f64 (neg.f64 g) (sqrt.f64 (*.f64 (-.f64 g h) (+.f64 h g)))))))
(if.f64 (<=.f64 g #s(literal 36500000000000000000 binary64)) (+.f64 (binary32->binary64 (cbrt.f32 (/.f32 #s(literal 1 binary32) (binary64->binary32 (/.f64 a (binary32->binary64 (*.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h)))) (binary64->binary32 (neg.f64 g))) #s(literal 1/2 binary32)))))))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (-.f64 (neg.f64 g) (sqrt.f64 (*.f64 (-.f64 g h) (+.f64 h g))))))) (+.f64 (cbrt.f64 (*.f64 (binary32->binary64 (/.f32 #s(literal -1/2 binary32) (binary64->binary32 (neg.f64 a)))) (+.f64 (neg.f64 g) (sqrt.f64 (*.f64 (-.f64 g h) (+.f64 h g)))))) (cbrt.f64 (*.f64 (binary32->binary64 (/.f32 #s(literal -1/2 binary32) (binary64->binary32 (neg.f64 a)))) (-.f64 (neg.f64 g) (sqrt.f64 (*.f64 (-.f64 g h) (+.f64 h g))))))))
(if.f64 (<=.f64 g #s(literal 5600000000000000156389895370178560 binary64)) (+.f64 (binary32->binary64 (cbrt.f32 (/.f32 #s(literal 1 binary32) (binary64->binary32 (/.f64 a (binary32->binary64 (*.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h)))) (binary64->binary32 (neg.f64 g))) #s(literal 1/2 binary32)))))))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (-.f64 (neg.f64 g) (sqrt.f64 (*.f64 (-.f64 g h) (+.f64 h g))))))) (binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (*.f32 (pow.f32 (binary64->binary32 (-.f64 g (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))))) #s(literal 1/3 binary32)) (neg.f32 (pow.f32 (binary64->binary32 (+.f64 a a)) #s(literal -1/3 binary32)))))))
(if.f64 (<=.f64 g #s(literal 339999999999999996123846586046231871488 binary64)) (+.f64 (binary32->binary64 (cbrt.f32 (/.f32 (+.f32 (*.f32 (sqrt.f32 (fabs.f32 (binary64->binary32 (-.f64 h g)))) (sqrt.f32 (fabs.f32 (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (neg.f64 g))) (binary64->binary32 (+.f64 a a))))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (-.f64 (neg.f64 g) (sqrt.f64 (*.f64 (-.f64 g h) (+.f64 h g))))))) (binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (*.f32 (pow.f32 (binary64->binary32 (-.f64 g (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))))) #s(literal 1/3 binary32)) (neg.f32 (pow.f32 (binary64->binary32 (+.f64 a a)) #s(literal -1/3 binary32)))))))
(if.f64 (<=.f64 g #s(literal 18500000000000000000 binary64)) (+.f64 (binary32->binary64 (cbrt.f32 (/.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g)))) (binary64->binary32 (neg.f64 g))) (binary64->binary32 (+.f64 a a))))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (-.f64 (neg.f64 g) (sqrt.f64 (-.f64 (*.f64 g g) (binary32->binary64 (binary64->binary32 (*.f64 h h))))))))) (binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (*.f32 (pow.f32 (binary64->binary32 (-.f64 g (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))))) #s(literal 1/3 binary32)) (neg.f32 (pow.f32 (binary64->binary32 (+.f64 a a)) #s(literal -1/3 binary32)))))))
(if.f64 (<=.f64 g #s(literal 18500000000000000000 binary64)) (+.f64 (binary32->binary64 (cbrt.f32 (/.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g)))) (binary64->binary32 (neg.f64 g))) (binary64->binary32 (+.f64 a a))))) (cbrt.f64 (*.f64 (/.f64 #s(literal 1/2 binary64) a) (-.f64 (neg.f64 g) (sqrt.f64 (*.f64 (-.f64 g h) (+.f64 h g))))))) (binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (*.f32 (pow.f32 (binary64->binary32 (-.f64 g (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))))) #s(literal 1/3 binary32)) (neg.f32 (pow.f32 (binary64->binary32 (+.f64 a a)) #s(literal -1/3 binary32)))))))
(if.f64 (<=.f64 g #s(literal 18500000000000000000 binary64)) (+.f64 (binary32->binary64 (cbrt.f32 (/.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g)))) (binary64->binary32 (neg.f64 g))) (binary64->binary32 (+.f64 a a))))) (cbrt.f64 (/.f64 (+.f64 (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))) g) (*.f64 #s(literal -2 binary64) a)))) (binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (*.f32 (pow.f32 (binary64->binary32 (-.f64 g (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))))) #s(literal 1/3 binary32)) (neg.f32 (pow.f32 (binary64->binary32 (+.f64 a a)) #s(literal -1/3 binary32)))))))
(if.f64 (<=.f64 g #s(literal 18500000000000000000 binary64)) (+.f64 (binary32->binary64 (cbrt.f32 (/.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g)))) (binary64->binary32 (neg.f64 g))) (binary64->binary32 (+.f64 a a))))) (cbrt.f64 (/.f64 (binary32->binary64 (*.f32 #s(literal 1/2 binary32) (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))))) a))) (binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (*.f32 (pow.f32 (binary64->binary32 (-.f64 g (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))))) #s(literal 1/3 binary32)) (neg.f32 (pow.f32 (binary64->binary32 (+.f64 a a)) #s(literal -1/3 binary32)))))))
(binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (*.f32 (pow.f32 (binary64->binary32 (-.f64 g (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))))) #s(literal 1/3 binary32)) (neg.f32 (pow.f32 (binary64->binary32 (+.f64 a a)) #s(literal -1/3 binary32))))))
(binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (*.f32 (cbrt.f32 (binary64->binary32 (-.f64 g (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h)))))))) (pow.f32 (neg.f32 (binary64->binary32 (+.f64 a a))) #s(literal -1/3 binary32)))))
(binary32->binary64 (/.f32 (+.f32 (cbrt.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h)))))) (cbrt.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h)))) (binary64->binary32 (neg.f64 g))))) (cbrt.f32 (binary64->binary32 (+.f64 a a)))))
(binary32->binary64 (*.f32 (pow.f32 (binary64->binary32 (+.f64 a a)) #s(literal -1/3 binary32)) (+.f32 (cbrt.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h)))))) (cbrt.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h)))) (binary64->binary32 (neg.f64 g)))))))
(binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (cbrt.f32 (/.f32 (binary64->binary32 (-.f64 (sqrt.f64 (*.f64 (+.f64 h g) (-.f64 g h))) g)) (binary64->binary32 (+.f64 a a))))))
(binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (cbrt.f32 (/.f32 (+.f32 (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g)))) (binary64->binary32 (neg.f64 g))) (binary64->binary32 (+.f64 a a))))))
(binary32->binary64 (+.f32 (cbrt.f32 (/.f32 (-.f32 (binary64->binary32 (neg.f64 g)) (sqrt.f32 (*.f32 (binary64->binary32 (-.f64 g h)) (binary64->binary32 (+.f64 h g))))) (binary64->binary32 (+.f64 a a)))) (cbrt.f32 (/.f32 (binary64->binary32 (-.f64 (binary32->binary64 (sqrt.f32 (*.f32 (binary64->binary32 (+.f64 h g)) (binary64->binary32 (-.f64 g h))))) g)) (binary64->binary32 (+.f64 a a))))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) #s(literal 3 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (-.f64 (binary32->binary64 (*.f32 (PI.f32) #s(literal 1/3 binary32))) (*.f64 (binary32->binary64 (*.f32 #s(literal 1/9 binary32) (acos.f32 (binary64->binary32 (/.f64 g h))))) #s(literal 3 binary64))))))
(*.f64 #s(literal 2 binary64) (cos.f64 (+.f64 (*.f64 (PI.f64) #s(literal 2/3 binary64)) (*.f64 (binary32->binary64 (*.f32 (acos.f32 (neg.f32 (binary64->binary32 (/.f64 g h)))) #s(literal 3 binary32))) #s(literal 1/9 binary64)))))
(*.f64 #s(literal 2 binary64) (cos.f64 (*.f64 (+.f64 (-.f64 (binary32->binary64 (+.f32 (PI.f32) (*.f32 (PI.f32) #s(literal 1/2 binary32)))) (binary32->binary64 (asin.f32 (neg.f32 (binary64->binary32 (/.f64 g h)))))) (PI.f64)) #s(literal 1/3 binary64))))
(*.f64 #s(literal 2 binary64) (cos.f64 (*.f64 (+.f64 (binary32->binary64 (+.f32 (acos.f32 (neg.f32 (binary64->binary32 (/.f64 g h)))) (PI.f32))) (PI.f64)) #s(literal 1/3 binary64))))
(*.f64 #s(literal 2 binary64) (cos.f64 (-.f64 (PI.f64) (binary32->binary64 (*.f32 (acos.f32 (binary64->binary32 (/.f64 g h))) #s(literal 1/3 binary32))))))
(binary32->binary64 (*.f32 (neg.f32 (cos.f32 (*.f32 #s(literal -1/3 binary32) (acos.f32 (binary64->binary32 (/.f64 g h)))))) #s(literal 2 binary32)))