Add sqrt Pow Pow Add atanh x4 x2 Mul Add Add x0 x2 x0 x0 acosh x2 x0 
Add Mul Pow Mul 2 sqrt Pow Pow Add atanh x4 x2 Mul Add Add x0 x2 x0 x0 acosh x2 -1 Mul Pow Pow Add atanh x4 x2 Mul Add Add x0 x2 x0 x0 Add acosh x2 -1 Mul acosh x2 Mul Pow Add atanh x4 x2 Add Mul Add Add x0 x2 x0 x0 -1 Mul Mul Add atanh x4 x2 log Add atanh x4 x2 Add Mul x0 2 Add Add x0 x2 x0 1 