Pow x3 atanh Mul sec Mul x0 Mul x7 x2 Add csch pi E 
Mul Pow x3 Add atanh Mul sec Mul x0 Mul x7 x2 Add csch pi E -1 Mul Mul x3 log x3 Mul Mul Add csch pi E Mul Mul tan Mul x0 Mul x7 x2 sec Mul x0 Mul x7 x2 Mul x7 x2 Pow Add 1 Mul -1 Mul Mul sec Mul x0 Mul x7 x2 Add csch pi E Mul sec Mul x0 Mul x7 x2 Add csch pi E -1 