Pow x7 Add Mul sqrt Add Add Pow x7 sec x0 coth Add x0 x0 x0 3 pi 
Mul Pow x7 Add Add Mul sqrt Add Add Pow x7 sec x0 coth Add x0 x0 x0 3 pi -1 Mul Mul x7 log x7 Mul 3 Mul Pow Mul 2 sqrt Add Add Pow x7 sec x0 coth Add x0 x0 x0 -1 Add Add Mul Pow x7 Add sec x0 -1 Mul Mul x7 log x7 Mul tan x0 sec x0 Mul Mul -1 Pow csch Add x0 x0 2 2 1 