Mul Add tan Pow acot x0 x0 x0 acoth cosh Add x0 exp x0 
Add Mul acoth cosh Add x0 exp x0 Add Mul Pow sec Pow acot x0 x0 2 Mul Pow acot x0 Add x0 -1 Add Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul acot x0 log acot x0 1 Mul Add tan Pow acot x0 x0 x0 Mul Mul sinh Add x0 exp x0 Add 1 exp x0 Pow Add 1 Mul -1 Mul cosh Add x0 exp x0 cosh Add x0 exp x0 -1 