Pow Add -1 acot E tan Pow exp x0 Add x1 3 
Mul Pow Add -1 acot E Add tan Pow exp x0 Add x1 3 -1 Mul Mul Add -1 acot E log Add -1 acot E Mul Pow sec Pow exp x0 Add x1 3 2 Mul Pow exp x0 Add Add x1 3 -1 Mul Add x1 3 exp x0 