Mul Mul Pow atan Add x0 Add acoth sinh exp x0 x0 3 acosh Add x0 E -3 
Mul -3 Add Mul acosh Add x0 E Mul Pow atan Add x0 Add acoth sinh exp x0 x0 2 Mul 3 Mul Add 1 Add Mul Mul cosh exp x0 exp x0 Pow Add 1 Mul -1 Mul sinh exp x0 sinh exp x0 -1 1 Pow Add 1 Mul Add x0 Add acoth sinh exp x0 x0 Add x0 Add acoth sinh exp x0 x0 -1 Mul Pow atan Add x0 Add acoth sinh exp x0 x0 3 Pow Mul sqrt Add Add x0 E -1 sqrt Add 1 Add x0 E -1 