Pow Add -4 Mul Add Mul atanh x1 Add acosh Mul x0 x0 x1 x0 Add -1 Mul Add x7 x0 x0 x3 
Mul Pow Add -4 Mul Add Mul atanh x1 Add acosh Mul x0 x0 x1 x0 Add -1 Mul Add x7 x0 x0 Add x3 -1 Mul x3 Add Mul Add -1 Mul Add x7 x0 x0 Add Mul atanh x1 Mul Add x0 x0 Pow Mul sqrt Add Mul x0 x0 -1 sqrt Add 1 Mul x0 x0 -1 1 Mul Add Mul atanh x1 Add acosh Mul x0 x0 x1 x0 Add x0 Add x7 x0 