Mul x3 asech coth Mul x0 Mul x0 acosh Add x5 7 
Mul x3 Mul Mul Mul -1 Pow csch Mul x0 Mul x0 acosh Add x5 7 2 Add Mul x0 acosh Add x5 7 Mul x0 acosh Add x5 7 Pow Mul Mul coth Mul x0 Mul x0 acosh Add x5 7 coth Mul x0 Mul x0 acosh Add x5 7 sqrt Add 1 Mul -1 Pow Mul coth Mul x0 Mul x0 acosh Add x5 7 coth Mul x0 Mul x0 acosh Add x5 7 -1 -1 