Add x2 Add Mul acoth x0 sqrt exp Mul exp x0 tan Pow Add x0 -1 x3 x0 
Add Add Mul sqrt exp Mul exp x0 tan Pow Add x0 -1 x3 Pow Add 1 Mul -1 Mul x0 x0 -1 Mul acoth x0 Mul Pow Mul 2 sqrt exp Mul exp x0 tan Pow Add x0 -1 x3 -1 Mul exp Mul exp x0 tan Pow Add x0 -1 x3 Add Mul tan Pow Add x0 -1 x3 exp x0 Mul exp x0 Mul Pow sec Pow Add x0 -1 x3 2 Mul Pow Add x0 -1 Add x3 -1 x3 1 