sec Add Add x0 x1 Add acoth Mul x0 exp Pow x3 Pow x2 -3 acoth x0 
Mul Mul tan Add Add x0 x1 Add acoth Mul x0 exp Pow x3 Pow x2 -3 acoth x0 sec Add Add x0 x1 Add acoth Mul x0 exp Pow x3 Pow x2 -3 acoth x0 Add 1 Add Mul exp Pow x3 Pow x2 -3 Pow Add 1 Mul -1 Mul Mul x0 exp Pow x3 Pow x2 -3 Mul x0 exp Pow x3 Pow x2 -3 -1 Pow Add 1 Mul -1 Mul x0 x0 -1 