Pow Pow x0 Mul tan E x0 sqrt Mul -4 Pow x2 x4 
Mul Pow Pow x0 Mul tan E x0 Add sqrt Mul -4 Pow x2 x4 -1 Mul sqrt Mul -4 Pow x2 x4 Mul Pow x0 Add Mul tan E x0 -1 Add Mul tan E x0 Mul Mul x0 log x0 tan E 