Mul x0 acot Pow Mul Pow cosh x0 x5 -2 Pow Add x0 Pow acosh x0 Add pi tanh sin x0 x0 
Add acot Pow Mul Pow cosh x0 x5 -2 Pow Add x0 Pow acosh x0 Add pi tanh sin x0 x0 Mul x0 Mul -1 Mul Mul Pow Mul Pow cosh x0 x5 -2 Add Pow Add x0 Pow acosh x0 Add pi tanh sin x0 x0 -1 Add Mul Pow Add x0 Pow acosh x0 Add pi tanh sin x0 x0 Mul -2 Mul Pow cosh x0 Add x5 -1 Mul x5 sinh x0 Mul Mul Mul Pow cosh x0 x5 -2 log Mul Pow cosh x0 x5 -2 Mul Pow Add x0 Pow acosh x0 Add pi tanh sin x0 Add x0 -1 Add Mul x0 Add 1 Mul Pow acosh x0 Add Add pi tanh sin x0 -1 Add Mul Add pi tanh sin x0 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 log acosh x0 Mul Pow sech sin x0 2 cos x0 Mul Add x0 Pow acosh x0 Add pi tanh sin x0 log Add x0 Pow acosh x0 Add pi tanh sin x0 Pow Add 1 Mul Pow Mul Pow cosh x0 x5 -2 Pow Add x0 Pow acosh x0 Add pi tanh sin x0 x0 Pow Mul Pow cosh x0 x5 -2 Pow Add x0 Pow acosh x0 Add pi tanh sin x0 x0 -1 