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