Pow Mul x0 Pow Mul sinh x0 x4 x0 tan sqrt Mul acot cosh x0 Pow x4 Pow x3 Add x0 pi 
Mul Pow Mul x0 Pow Mul sinh x0 x4 x0 Add tan sqrt Mul acot cosh x0 Pow x4 Pow x3 Add x0 pi -1 Add Mul tan sqrt Mul acot cosh x0 Pow x4 Pow x3 Add x0 pi Add Pow Mul sinh x0 x4 x0 Mul x0 Mul Pow Mul sinh x0 x4 Add x0 -1 Add Mul x0 Mul x4 cosh x0 Mul Mul sinh x0 x4 log Mul sinh x0 x4 Mul Mul Mul x0 Pow Mul sinh x0 x4 x0 log Mul x0 Pow Mul sinh x0 x4 x0 Mul Pow sec sqrt Mul acot cosh x0 Pow x4 Pow x3 Add x0 pi 2 Mul Pow Mul 2 sqrt Mul acot cosh x0 Pow x4 Pow x3 Add x0 pi -1 Add Mul Pow x4 Pow x3 Add x0 pi Mul -1 Mul sinh x0 Pow Add 1 Mul cosh x0 cosh x0 -1 Mul acot cosh x0 Mul Pow x4 Add Pow x3 Add x0 pi -1 Mul Mul x4 log x4 Mul Pow x3 Add Add x0 pi -1 Mul x3 log x3 