Mul sec x0 asinh Add Mul x7 acoth Pow x1 Add -5 x0 x7 
Add Mul asinh Add Mul x7 acoth Pow x1 Add -5 x0 x7 Mul tan x0 sec x0 Mul sec x0 Mul Mul x7 Mul Mul Pow x1 Add Add -5 x0 -1 Mul x1 log x1 Pow Add 1 Mul -1 Mul Pow x1 Add -5 x0 Pow x1 Add -5 x0 -1 Pow sqrt Add 1 Mul Add Mul x7 acoth Pow x1 Add -5 x0 x7 Add Mul x7 acoth Pow x1 Add -5 x0 x7 -1 