tan Mul x0 Mul cos Mul Mul Mul 4 x0 Pow sin x0 sqrt E x0 x3 
Mul Pow sec Mul x0 Mul cos Mul Mul Mul 4 x0 Pow sin x0 sqrt E x0 x3 2 Add Mul cos Mul Mul Mul 4 x0 Pow sin x0 sqrt E x0 x3 Mul x0 Mul x3 Mul Mul -1 sin Mul Mul Mul 4 x0 Pow sin x0 sqrt E x0 Add Mul x0 Add Mul Pow sin x0 sqrt E 4 Mul Mul 4 x0 Mul Pow sin x0 Add sqrt E -1 Mul sqrt E cos x0 Mul Mul 4 x0 Pow sin x0 sqrt E 