Mul x0 Pow asech E Mul Pow acot x0 Mul -5 Pow atanh E x1 9.06766199577777 
Add Pow asech E Mul Pow acot x0 Mul -5 Pow atanh E x1 9.06766199577777 Mul x0 Mul Pow asech E Add Mul Pow acot x0 Mul -5 Pow atanh E x1 9.06766199577777 -1 Mul Mul asech E log asech E Mul 9.06766199577777 Mul Pow acot x0 Add Mul -5 Pow atanh E x1 -1 Mul Mul -5 Pow atanh E x1 Mul -1 Pow Add 1 Mul x0 x0 -1 