atanh Mul sqrt Pow Pow Mul x0 acosh Pow x5 x5 cosh x0 x0 x0 
Mul Add Mul x0 Mul Pow Mul 2 sqrt Pow Pow Mul x0 acosh Pow x5 x5 cosh x0 x0 -1 Mul Pow Pow Mul x0 acosh Pow x5 x5 cosh x0 Add x0 -1 Add Mul x0 Mul Pow Mul x0 acosh Pow x5 x5 Add cosh x0 -1 Add Mul cosh x0 acosh Pow x5 x5 Mul Mul Mul x0 acosh Pow x5 x5 log Mul x0 acosh Pow x5 x5 sinh x0 Mul Pow Mul x0 acosh Pow x5 x5 cosh x0 log Pow Mul x0 acosh Pow x5 x5 cosh x0 sqrt Pow Pow Mul x0 acosh Pow x5 x5 cosh x0 x0 Pow Add 1 Mul -1 Mul Mul sqrt Pow Pow Mul x0 acosh Pow x5 x5 cosh x0 x0 x0 Mul sqrt Pow Pow Mul x0 acosh Pow x5 x5 cosh x0 x0 x0 -1 