sinh Add Mul x0 10 acoth Add x0 Pow x0 cosh acot x0 
Mul cosh Add Mul x0 10 acoth Add x0 Pow x0 cosh acot x0 Add 10 Mul Add 1 Mul Pow x0 Add cosh acot x0 -1 Add cosh acot x0 Mul Mul x0 log x0 Mul sinh acot x0 Mul -1 Pow Add 1 Mul x0 x0 -1 Pow Add 1 Mul -1 Mul Add x0 Pow x0 cosh acot x0 Add x0 Pow x0 cosh acot x0 -1 