Pow sec Mul x6 -4 Pow asin acosh sqrt x0 Mul -3 x0 
Mul Pow sec Mul x6 -4 Add Pow asin acosh sqrt x0 Mul -3 x0 -1 Mul Mul sec Mul x6 -4 log sec Mul x6 -4 Mul Pow asin acosh sqrt x0 Add Mul -3 x0 -1 Add Mul Mul -3 x0 Mul Mul Pow Mul 2 sqrt x0 -1 Pow Mul sqrt Add sqrt x0 -1 sqrt Add 1 sqrt x0 -1 Pow sqrt Add 1 Mul -1 Mul acosh sqrt x0 acosh sqrt x0 -1 Mul Mul asin acosh sqrt x0 log asin acosh sqrt x0 -3 