Mul -3 Pow x7 atanh Add Add Pow log atanh x0 10.7320508075689 x6 1 
Mul -3 Mul Pow x7 Add atanh Add Add Pow log atanh x0 10.7320508075689 x6 1 -1 Mul Mul x7 log x7 Mul Mul Pow log atanh x0 9.73205080756888 Mul 10.7320508075689 Mul Pow Add 1 Mul -1 Mul x0 x0 -1 Pow atanh x0 -1 Pow Add 1 Mul -1 Mul Add Add Pow log atanh x0 10.7320508075689 x6 1 Add Add Pow log atanh x0 10.7320508075689 x6 1 -1 