Mul Mul x6 Add Pow x2 x0 Add tan Mul Mul x0 csch x0 x6 Add -3 E exp atanh x0 
Add Mul exp atanh x0 Mul x6 Add Mul Pow x2 Add x0 -1 Mul x2 log x2 Mul Pow sec Mul Mul x0 csch x0 x6 2 Mul x6 Add csch x0 Mul x0 Mul Mul -1 coth x0 csch x0 Mul Mul x6 Add Pow x2 x0 Add tan Mul Mul x0 csch x0 x6 Add -3 E Mul exp atanh x0 Pow Add 1 Mul -1 Mul x0 x0 -1 