exp Mul Mul Pow Add Add x0 x0 x7 acot x0 sinh Mul -1 x0 asech x4 
Mul exp Mul Mul Pow Add Add x0 x0 x7 acot x0 sinh Mul -1 x0 asech x4 Mul asech x4 Add Mul sinh Mul -1 x0 Mul Pow Add Add x0 x0 x7 Add acot x0 -1 Add Mul acot x0 2 Mul Mul Add Add x0 x0 x7 log Add Add x0 x0 x7 Mul -1 Pow Add 1 Mul x0 x0 -1 Mul Pow Add Add x0 x0 x7 acot x0 Mul cosh Mul -1 x0 -1 