Add Mul acot x0 Pow Pow sech Add x0 x0 x0 acosh Add -3 x7 -4.67824944560336 
Add Mul Pow Pow sech Add x0 x0 x0 acosh Add -3 x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 Mul Pow Pow sech Add x0 x0 x0 Add acosh Add -3 x7 -1 Mul acosh Add -3 x7 Mul Pow sech Add x0 x0 Add x0 -1 Add Mul x0 Mul Mul tanh Add x0 x0 Mul -1 sech Add x0 x0 2 Mul sech Add x0 x0 log sech Add x0 x0 