Mul x3 Mul x0 sec Add acoth coth x0 sech x1 
Mul x3 Add sec Add acoth coth x0 sech x1 Mul x0 Mul Mul tan Add acoth coth x0 sech x1 sec Add acoth coth x0 sech x1 Mul Mul -1 Pow csch x0 2 Pow Add 1 Mul -1 Mul coth x0 coth x0 -1 