Pow x2 sec cos asinh Add Mul x0 -3 Mul cosh x7 3 
Mul Pow x2 Add sec cos asinh Add Mul x0 -3 Mul cosh x7 3 -1 Mul Mul x2 log x2 Mul Mul tan cos asinh Add Mul x0 -3 Mul cosh x7 3 sec cos asinh Add Mul x0 -3 Mul cosh x7 3 Mul Mul -1 sin asinh Add Mul x0 -3 Mul cosh x7 3 Mul -3 Pow sqrt Add 1 Mul Add Mul x0 -3 Mul cosh x7 3 Add Mul x0 -3 Mul cosh x7 3 -1 