Pow Mul x0 2 tan Add tan Mul x0 x0 -3 
Mul Pow Mul x0 2 Add tan Add tan Mul x0 x0 -3 -1 Add Mul tan Add tan Mul x0 x0 -3 2 Mul Mul Mul x0 2 log Mul x0 2 Mul Pow sec Add tan Mul x0 x0 -3 2 Mul Pow sec Mul x0 x0 2 Add x0 x0 