acosh Pow Mul x1 acosh Mul Pow Add atanh x0 x0 E Pow x0 x1 Add Pow sqrt x0 4 x0 
Mul Mul Pow Mul x1 acosh Mul Pow Add atanh x0 x0 E Pow x0 x1 Add Add Pow sqrt x0 4 x0 -1 Add Mul Add Pow sqrt x0 4 x0 Mul x1 Mul Add Mul Pow x0 x1 Mul Pow Add atanh x0 x0 Add E -1 Mul E Add Pow Add 1 Mul -1 Mul x0 x0 -1 1 Mul Pow Add atanh x0 x0 E Mul Pow x0 Add x1 -1 x1 Pow Mul sqrt Add Mul Pow Add atanh x0 x0 E Pow x0 x1 -1 sqrt Add 1 Mul Pow Add atanh x0 x0 E Pow x0 x1 -1 Mul Mul Mul x1 acosh Mul Pow Add atanh x0 x0 E Pow x0 x1 log Mul x1 acosh Mul Pow Add atanh x0 x0 E Pow x0 x1 Add Mul Pow sqrt x0 3 Mul 4 Pow Mul 2 sqrt x0 -1 1 Pow Mul sqrt Add Pow Mul x1 acosh Mul Pow Add atanh x0 x0 E Pow x0 x1 Add Pow sqrt x0 4 x0 -1 sqrt Add 1 Pow Mul x1 acosh Mul Pow Add atanh x0 x0 E Pow x0 x1 Add Pow sqrt x0 4 x0 -1 