Pow Add 1.64872127070013 x0 sqrt Mul x1 atanh x0 
Mul Pow Add 1.64872127070013 x0 Add sqrt Mul x1 atanh x0 -1 Add sqrt Mul x1 atanh x0 Mul Mul Add 1.64872127070013 x0 log Add 1.64872127070013 x0 Mul Pow Mul 2 sqrt Mul x1 atanh x0 -1 Mul x1 Pow Add 1 Mul -1 Mul x0 x0 -1 