Mul sinh Mul x0 x5 sech Add Add x0 acot Mul -2 x0 x0 
Add Mul sech Add Add x0 acot Mul -2 x0 x0 Mul cosh Mul x0 x5 x5 Mul sinh Mul x0 x5 Mul Mul tanh Add Add x0 acot Mul -2 x0 x0 Mul -1 sech Add Add x0 acot Mul -2 x0 x0 Add Add 1 Mul -1 Mul -2 Pow Add 1 Mul Mul -2 x0 Mul -2 x0 -1 1 