Pow Add acoth x0 asec tan sqrt x0 7 
Mul Pow Add acoth x0 asec tan sqrt x0 6 Mul 7 Add Pow Add 1 Mul -1 Mul x0 x0 -1 Mul Mul Pow sec sqrt x0 2 Pow Mul 2 sqrt x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul tan sqrt x0 tan sqrt x0 -1 tan sqrt x0 tan sqrt x0 -1 