Pow Mul acos Add x0 x6 x6 Mul acosh Mul -3 x0 x3 
Mul Pow Mul acos Add x0 x6 x6 Add Mul acosh Mul -3 x0 x3 -1 Add Mul Mul acosh Mul -3 x0 x3 Mul x6 Mul -1 Pow sqrt Add 1 Mul -1 Mul Add x0 x6 Add x0 x6 -1 Mul Mul Mul acos Add x0 x6 x6 log Mul acos Add x0 x6 x6 Mul x3 Mul -3 Pow Mul sqrt Add Mul -3 x0 -1 sqrt Add 1 Mul -3 x0 -1 