Mul Mul x0 3 acoth acos Add 1.44224957030741 Add x0 0.999909204262595 
Add Mul acoth acos Add 1.44224957030741 Add x0 0.999909204262595 3 Mul Mul x0 3 Mul Mul -1 Pow sqrt Add 1 Mul -1 Mul Add 1.44224957030741 Add x0 0.999909204262595 Add 1.44224957030741 Add x0 0.999909204262595 -1 Pow Add 1 Mul -1 Mul acos Add 1.44224957030741 Add x0 0.999909204262595 acos Add 1.44224957030741 Add x0 0.999909204262595 -1 