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