Pow Add acos Mul Pow Mul Add x0 Add 1 x2 x7 asech Pow log sqrt x2 3 x0 csch x5 atan x0 
Mul Pow Add acos Mul Pow Mul Add x0 Add 1 x2 x7 asech Pow log sqrt x2 3 x0 csch x5 Add atan x0 -1 Add Mul atan x0 Mul -1 Mul Add Mul x0 Mul Pow Mul Add x0 Add 1 x2 x7 Add asech Pow log sqrt x2 3 -1 Mul asech Pow log sqrt x2 3 x7 Pow Mul Add x0 Add 1 x2 x7 asech Pow log sqrt x2 3 Pow sqrt Add 1 Mul -1 Mul Mul Pow Mul Add x0 Add 1 x2 x7 asech Pow log sqrt x2 3 x0 Mul Pow Mul Add x0 Add 1 x2 x7 asech Pow log sqrt x2 3 x0 -1 Mul Mul Add acos Mul Pow Mul Add x0 Add 1 x2 x7 asech Pow log sqrt x2 3 x0 csch x5 log Add acos Mul Pow Mul Add x0 Add 1 x2 x7 asech Pow log sqrt x2 3 x0 csch x5 Pow Add 1 Mul x0 x0 -1 