acosh Mul -1 Pow Pow x0 acos Add x7 acosh x1 3 
Mul Mul -1 Mul Pow Pow x0 acos Add x7 acosh x1 2 Mul 3 Mul Pow x0 Add acos Add x7 acosh x1 -1 acos Add x7 acosh x1 Pow Mul sqrt Add Mul -1 Pow Pow x0 acos Add x7 acosh x1 3 -1 sqrt Add 1 Mul -1 Pow Pow x0 acos Add x7 acosh x1 3 -1 