Pow x3 acosh Add Add -2 Add asech Pow Pow Add x7 atan atanh x0 x0 pi Pow 5 Add x5 acosh Add x3 x0 x4 
Mul Pow x3 Add acosh Add Add -2 Add asech Pow Pow Add x7 atan atanh x0 x0 pi Pow 5 Add x5 acosh Add x3 x0 x4 -1 Mul Mul x3 log x3 Mul Add Mul Mul Pow Pow Add x7 atan atanh x0 x0 Add pi -1 Mul pi Mul Pow Add x7 atan atanh x0 Add x0 -1 Add Mul x0 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow Add 1 Mul atanh x0 atanh x0 -1 Mul Add x7 atan atanh x0 log Add x7 atan atanh x0 Pow Mul Mul Pow Pow Add x7 atan atanh x0 x0 pi Pow Pow Add x7 atan atanh x0 x0 pi sqrt Add 1 Mul -1 Pow Mul Pow Pow Add x7 atan atanh x0 x0 pi Pow Pow Add x7 atan atanh x0 x0 pi -1 -1 Mul Pow 5 Add Add x5 acosh Add x3 x0 -1 Mul 6.60943791243410 Pow Mul sqrt Add Add x3 x0 -1 sqrt Add 1 Add x3 x0 -1 Pow Mul sqrt Add Add Add -2 Add asech Pow Pow Add x7 atan atanh x0 x0 pi Pow 5 Add x5 acosh Add x3 x0 x4 -1 sqrt Add 1 Add Add -2 Add asech Pow Pow Add x7 atan atanh x0 x0 pi Pow 5 Add x5 acosh Add x3 x0 x4 -1 