tan Mul Pow x3 Add Mul -4 log x5 Mul x0 1.54308063481524 x6 
Mul Pow sec Mul Pow x3 Add Mul -4 log x5 Mul x0 1.54308063481524 x6 2 Mul x6 Mul Pow x3 Add Add Mul -4 log x5 Mul x0 1.54308063481524 -1 Mul Mul x3 log x3 1.54308063481524 