Add Mul sec x0 Add x2 acosh Pow Add x0 log x1 -2 x0 
Add Add Mul Add x2 acosh Pow Add x0 log x1 -2 Mul tan x0 sec x0 Mul sec x0 Mul Mul Pow Add x0 log x1 3 -2 Pow Mul sqrt Add Pow Add x0 log x1 -2 -1 sqrt Add 1 Pow Add x0 log x1 -2 -1 1 