Add sec Add -1 atan Mul Add coth x0 x0 acoth x1 Add x0 Add 3 x0 
Add Mul Mul tan Add -1 atan Mul Add coth x0 x0 acoth x1 sec Add -1 atan Mul Add coth x0 x0 acoth x1 Mul Mul acoth x1 Add Mul -1 Pow csch x0 2 1 Pow Add 1 Mul Mul Add coth x0 x0 acoth x1 Mul Add coth x0 x0 acoth x1 -1 2 