Mul atanh Mul x0 x6 sec acos Add x0 -7.08616739573719 
Add Mul sec acos Add x0 -7.08616739573719 Mul x6 Pow Add 1 Mul -1 Mul Mul x0 x6 Mul x0 x6 -1 Mul atanh Mul x0 x6 Mul Mul tan acos Add x0 -7.08616739573719 sec acos Add x0 -7.08616739573719 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 -7.08616739573719 Add x0 -7.08616739573719 -1 