Pow Mul -1 Mul x0 Mul Pow acot tanh x4 x5 Pow cosh Add x0 Pow acosh x1 x0 x0 tan Pow x0 2 
Mul Pow Mul -1 Mul x0 Mul Pow acot tanh x4 x5 Pow cosh Add x0 Pow acosh x1 x0 x0 Add tan Pow x0 2 -1 Add Mul tan Pow x0 2 Mul -1 Add Mul Pow acot tanh x4 x5 Pow cosh Add x0 Pow acosh x1 x0 x0 Mul x0 Mul Pow acot tanh x4 x5 Mul Pow cosh Add x0 Pow acosh x1 x0 Add x0 -1 Add Mul x0 Mul sinh Add x0 Pow acosh x1 x0 Add 1 Mul Pow acosh x1 Add x0 -1 Mul acosh x1 log acosh x1 Mul cosh Add x0 Pow acosh x1 x0 log cosh Add x0 Pow acosh x1 x0 Mul Mul Mul -1 Mul x0 Mul Pow acot tanh x4 x5 Pow cosh Add x0 Pow acosh x1 x0 x0 log Mul -1 Mul x0 Mul Pow acot tanh x4 x5 Pow cosh Add x0 Pow acosh x1 x0 x0 Mul Pow sec Pow x0 2 2 Mul x0 2 