Pow Mul Pow Mul x0 tan E 1.76274717403909 -2 sec x0 
Mul Pow Mul Pow Mul x0 tan E 1.76274717403909 -2 Add sec x0 -1 Add Mul sec x0 Mul -2 Mul Pow Mul x0 tan E 0.762747174039086 Mul 1.76274717403909 tan E Mul Mul Mul Pow Mul x0 tan E 1.76274717403909 -2 log Mul Pow Mul x0 tan E 1.76274717403909 -2 Mul tan x0 sec x0 