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