Pow Pow sec E Mul acot x0 Pow acoth asec x5 4 cosh Mul cosh cos asinh x3 x2 
Mul Pow Pow sec E Mul acot x0 Pow acoth asec x5 4 Add cosh Mul cosh cos asinh x3 x2 -1 Mul cosh Mul cosh cos asinh x3 x2 Mul Pow sec E Add Mul acot x0 Pow acoth asec x5 4 -1 Mul Mul sec E log sec E Mul Pow acoth asec x5 4 Mul -1 Pow Add 1 Mul x0 x0 -1 