Pow asech x2 Pow sqrt acos x5 Add Mul Mul -3 x0 x0 x7 
Mul Pow asech x2 Add Pow sqrt acos x5 Add Mul Mul -3 x0 x0 x7 -1 Mul Mul asech x2 log asech x2 Mul Pow sqrt acos x5 Add Add Mul Mul -3 x0 x0 x7 -1 Mul Mul sqrt acos x5 log sqrt acos x5 Add Mul x0 -3 Mul -3 x0 