Add tan Pow Add sec Pow acoth x0 3 x0 Add 5 x7 x0 
Add Mul Pow sec Pow Add sec Pow acoth x0 3 x0 Add 5 x7 2 Mul Pow Add sec Pow acoth x0 3 x0 Add Add 5 x7 -1 Mul Add 5 x7 Add Mul Mul tan Pow acoth x0 3 sec Pow acoth x0 3 Mul Pow acoth x0 2 Mul 3 Pow Add 1 Mul -1 Mul x0 x0 -1 1 1 