acot Add exp Add -4 Mul -1 x0 Mul x6 Mul -0.141120008059867 Mul log Pow pi x0 sec Mul -5 acosh x0 
Mul -1 Mul Add Mul exp Add -4 Mul -1 x0 -1 Mul x6 Mul -0.141120008059867 Add Mul sec Mul -5 acosh x0 Mul Mul Pow pi Add x0 -1 Mul pi log pi Pow Pow pi x0 -1 Mul log Pow pi x0 Mul Mul tan Mul -5 acosh x0 sec Mul -5 acosh x0 Mul -5 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Add 1 Mul Add exp Add -4 Mul -1 x0 Mul x6 Mul -0.141120008059867 Mul log Pow pi x0 sec Mul -5 acosh x0 Add exp Add -4 Mul -1 x0 Mul x6 Mul -0.141120008059867 Mul log Pow pi x0 sec Mul -5 acosh x0 -1 