Add Mul x0 Add acoth x0 Mul x0 Mul sec exp x0 x2 E 
Add Add acoth x0 Mul x0 Mul sec exp x0 x2 Mul x0 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Add Mul sec exp x0 x2 Mul x0 Mul x2 Mul Mul tan exp x0 sec exp x0 exp x0 