acos Add Pow x0 Add asinh x0 x5 Add Mul x0 1.57079632679490 3 
Mul -1 Mul Add Mul Pow x0 Add Add asinh x0 x5 -1 Add Add asinh x0 x5 Mul Mul x0 log x0 Pow sqrt Add 1 Mul x0 x0 -1 1.57079632679490 Pow sqrt Add 1 Mul -1 Mul Add Pow x0 Add asinh x0 x5 Add Mul x0 1.57079632679490 3 Add Pow x0 Add asinh x0 x5 Add Mul x0 1.57079632679490 3 -1 