acos Add Mul 0.367879441171442 Pow x7 Mul Mul Mul x0 Mul x0 x7 cbrt cosh x5 Mul coth x5 E E 
Mul -1 Mul Mul 0.367879441171442 Mul Pow x7 Add Mul Mul Mul x0 Mul x0 x7 cbrt cosh x5 Mul coth x5 E -1 Mul Mul x7 log x7 Mul Mul coth x5 E Mul cbrt cosh x5 Add Mul x0 x7 Mul x0 x7 Pow sqrt Add 1 Mul -1 Mul Add Mul 0.367879441171442 Pow x7 Mul Mul Mul x0 Mul x0 x7 cbrt cosh x5 Mul coth x5 E E Add Mul 0.367879441171442 Pow x7 Mul Mul Mul x0 Mul x0 x7 cbrt cosh x5 Mul coth x5 E E -1 