Mul x0 atanh Add 3 Mul acosh Add x0 x6 Mul acos pi x0 
Add atanh Add 3 Mul acosh Add x0 x6 Mul acos pi x0 Mul x0 Mul Add Mul Mul acos pi x0 Pow Mul sqrt Add Add x0 x6 -1 sqrt Add 1 Add x0 x6 -1 Mul acosh Add x0 x6 acos pi Pow Add 1 Mul -1 Mul Add 3 Mul acosh Add x0 x6 Mul acos pi x0 Add 3 Mul acosh Add x0 x6 Mul acos pi x0 -1 