Pow Pow x0 Mul Pow Mul x0 -1 atanh log E sec Mul -2 x0 csch x6 
Mul Pow Pow x0 Mul Pow Mul x0 -1 atanh log E sec Mul -2 x0 Add csch x6 -1 Mul csch x6 Mul Pow x0 Add Mul Pow Mul x0 -1 atanh log E sec Mul -2 x0 -1 Add Mul Pow Mul x0 -1 atanh log E sec Mul -2 x0 Mul Mul x0 log x0 Add Mul sec Mul -2 x0 Mul Pow Mul x0 -1 Add atanh log E -1 Mul atanh log E -1 Mul Pow Mul x0 -1 atanh log E Mul Mul tan Mul -2 x0 sec Mul -2 x0 -2 