Mul Add acosh x0 Pow Add -2 x7 x0 Mul asin sec x0 x0 
Add Mul Mul asin sec x0 x0 Add Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Pow Add -2 x7 Add x0 -1 Mul Add -2 x7 log Add -2 x7 Mul Add acosh x0 Pow Add -2 x7 x0 Add Mul x0 Mul Mul tan x0 sec x0 Pow sqrt Add 1 Mul -1 Mul sec x0 sec x0 -1 asin sec x0 