Mul x0 cosh Mul Mul acot Pow asech x7 x0 acoth Add x0 3 2 
Add cosh Mul Mul acot Pow asech x7 x0 acoth Add x0 3 2 Mul x0 Mul sinh Mul Mul acot Pow asech x7 x0 acoth Add x0 3 2 Mul 2 Add Mul acoth Add x0 3 Mul -1 Mul Mul Pow asech x7 Add x0 -1 Mul asech x7 log asech x7 Pow Add 1 Mul Pow asech x7 x0 Pow asech x7 x0 -1 Mul acot Pow asech x7 x0 Pow Add 1 Mul -1 Mul Add x0 3 Add x0 3 -1 