Mul x0 log Pow x6 Pow exp sec x4 x0 
Add log Pow x6 Pow exp sec x4 x0 Mul x0 Mul Mul Pow x6 Add Pow exp sec x4 x0 -1 Mul Mul x6 log x6 Mul Pow exp sec x4 Add x0 -1 Mul exp sec x4 log exp sec x4 Pow Pow x6 Pow exp sec x4 x0 -1 