Pow x0 Add x0 Mul Mul 5 Add Mul x0 acot x0 x0 sinh sqrt Mul x7 Mul csch x0 Add pi acosh x7 
Mul Pow x0 Add Add x0 Mul Mul 5 Add Mul x0 acot x0 x0 sinh sqrt Mul x7 Mul csch x0 Add pi acosh x7 -1 Add Add x0 Mul Mul 5 Add Mul x0 acot x0 x0 sinh sqrt Mul x7 Mul csch x0 Add pi acosh x7 Mul Mul x0 log x0 Add 1 Add Mul sinh sqrt Mul x7 Mul csch x0 Add pi acosh x7 Mul 5 Add Add acot x0 Mul x0 Mul -1 Pow Add 1 Mul x0 x0 -1 1 Mul Mul 5 Add Mul x0 acot x0 x0 Mul cosh sqrt Mul x7 Mul csch x0 Add pi acosh x7 Mul Pow Mul 2 sqrt Mul x7 Mul csch x0 Add pi acosh x7 -1 Mul x7 Mul Add pi acosh x7 Mul Mul -1 coth x0 csch x0 