Mul Pow Pow sec x1 acsc Pow sec acsc Add -3 acosh x0 x7 acoth x6 -1 
Mul -1 Mul Pow Pow sec x1 acsc Pow sec acsc Add -3 acosh x0 x7 Add acoth x6 -1 Mul acoth x6 Mul Pow sec x1 Add acsc Pow sec acsc Add -3 acosh x0 x7 -1 Mul Mul sec x1 log sec x1 Mul -1 Mul Mul Pow sec acsc Add -3 acosh x0 Add x7 -1 Mul x7 Mul Mul tan acsc Add -3 acosh x0 sec acsc Add -3 acosh x0 Mul -1 Mul Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Add -3 acosh x0 Add -3 acosh x0 -1 Add -3 acosh x0 Add -3 acosh x0 -1 Pow Mul Mul sqrt Add 1 Mul -1 Pow Mul Pow sec acsc Add -3 acosh x0 x7 Pow sec acsc Add -3 acosh x0 x7 -1 Pow sec acsc Add -3 acosh x0 x7 Pow sec acsc Add -3 acosh x0 x7 -1 