Pow Add Add asinh x0 pi E exp Mul -3 Pow sinh x5 acoth cosh x0 
Mul Pow Add Add asinh x0 pi E Add exp Mul -3 Pow sinh x5 acoth cosh x0 -1 Add Mul exp Mul -3 Pow sinh x5 acoth cosh x0 Pow sqrt Add 1 Mul x0 x0 -1 Mul Mul Add Add asinh x0 pi E log Add Add asinh x0 pi E Mul exp Mul -3 Pow sinh x5 acoth cosh x0 Mul -3 Mul Pow sinh x5 Add acoth cosh x0 -1 Mul Mul sinh x5 log sinh x5 Mul sinh x0 Pow Add 1 Mul -1 Mul cosh x0 cosh x0 -1 