acos Pow x7 Mul Add x0 Add x0 acosh x4 4 
Mul -1 Mul Mul Pow x7 Add Mul Add x0 Add x0 acosh x4 4 -1 Mul Mul x7 log x7 6 Pow sqrt Add 1 Mul -1 Mul Pow x7 Mul Add x0 Add x0 acosh x4 4 Pow x7 Mul Add x0 Add x0 acosh x4 4 -1 