Add acot Pow Add x0 pi sec Mul sqrt x0 exp x4 Pow x0 x3 
Add Mul -1 Mul Mul Pow Add x0 pi Add sec Mul sqrt x0 exp x4 -1 Add sec Mul sqrt x0 exp x4 Mul Mul Add x0 pi log Add x0 pi Mul Mul tan Mul sqrt x0 exp x4 sec Mul sqrt x0 exp x4 Mul exp x4 Pow Mul 2 sqrt x0 -1 Pow Add 1 Mul Pow Add x0 pi sec Mul sqrt x0 exp x4 Pow Add x0 pi sec Mul sqrt x0 exp x4 -1 Mul Pow x0 Add x3 -1 x3 