Pow Mul sec Mul x0 log Mul x0 x6 4 Add 5 x2 
Mul Pow Mul sec Mul x0 log Mul x0 x6 4 Add Add 5 x2 -1 Mul Add 5 x2 Mul 4 Mul Mul tan Mul x0 log Mul x0 x6 sec Mul x0 log Mul x0 x6 Add log Mul x0 x6 Mul x0 Mul x6 Pow Mul x0 x6 -1 