Add tan x6 Pow Mul Mul acos sqrt x0 x5 x0 Mul Mul Mul csch x0 x0 acoth pi x0 
Mul Pow Mul Mul acos sqrt x0 x5 x0 Add Mul Mul Mul csch x0 x0 acoth pi x0 -1 Add Mul Mul Mul Mul csch x0 x0 acoth pi x0 Add Mul x0 Mul x5 Mul -1 Mul Pow Mul 2 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul sqrt x0 sqrt x0 -1 Mul acos sqrt x0 x5 Mul Mul Mul Mul acos sqrt x0 x5 x0 log Mul Mul acos sqrt x0 x5 x0 Add Mul x0 Mul acoth pi Add Mul x0 Mul Mul -1 coth x0 csch x0 csch x0 Mul Mul csch x0 x0 acoth pi 