Mul sec x0 Mul acosh Pow sqrt Mul exp Pow x0 x3 3 Pow Mul x0 Add Mul -3 x0 x0 x1 x7 
Add Mul Mul acosh Pow sqrt Mul exp Pow x0 x3 3 Pow Mul x0 Add Mul -3 x0 x0 x1 x7 Mul tan x0 sec x0 Mul sec x0 Mul x7 Mul Mul Pow sqrt Mul exp Pow x0 x3 3 Add Pow Mul x0 Add Mul -3 x0 x0 x1 -1 Add Mul Pow Mul x0 Add Mul -3 x0 x0 x1 Mul Pow Mul 2 sqrt Mul exp Pow x0 x3 3 -1 Mul 3 Mul exp Pow x0 x3 Mul Pow x0 Add x3 -1 x3 Mul Mul sqrt Mul exp Pow x0 x3 3 log sqrt Mul exp Pow x0 x3 3 Mul Pow Mul x0 Add Mul -3 x0 x0 Add x1 -1 Mul x1 Add Add Mul -3 x0 x0 Mul x0 2 Pow Mul sqrt Add Pow sqrt Mul exp Pow x0 x3 3 Pow Mul x0 Add Mul -3 x0 x0 x1 -1 sqrt Add 1 Pow sqrt Mul exp Pow x0 x3 3 Pow Mul x0 Add Mul -3 x0 x0 x1 -1 