Mul asin tan Mul x3 Mul x0 coth x0 tan Add E exp x0 
Add Mul tan Add E exp x0 Mul Mul Pow sec Mul x3 Mul x0 coth x0 2 Mul x3 Add coth x0 Mul x0 Mul -1 Pow csch x0 2 Pow sqrt Add 1 Mul -1 Mul tan Mul x3 Mul x0 coth x0 tan Mul x3 Mul x0 coth x0 -1 Mul asin tan Mul x3 Mul x0 coth x0 Mul Pow sec Add E exp x0 2 exp x0 