Pow Add atan x3 x0 sqrt sec Add csch Add x0 x0 -3 
Mul Pow Add atan x3 x0 Add sqrt sec Add csch Add x0 x0 -3 -1 Add sqrt sec Add csch Add x0 x0 -3 Mul Mul Add atan x3 x0 log Add atan x3 x0 Mul Pow Mul 2 sqrt sec Add csch Add x0 x0 -3 -1 Mul Mul tan Add csch Add x0 x0 -3 sec Add csch Add x0 x0 -3 Mul Mul Mul -1 coth Add x0 x0 csch Add x0 x0 2 