Mul x0 Mul Add acosh sin Add x3 2 sinh Pow exp sec x1 x6 Pow x1 x0 
Add Mul Add acosh sin Add x3 2 sinh Pow exp sec x1 x6 Pow x1 x0 Mul x0 Mul Add acosh sin Add x3 2 sinh Pow exp sec x1 x6 Mul Pow x1 Add x0 -1 Mul x1 log x1 