Add Pow Pow Mul x0 atanh Mul cosh Pow x0 x1 x0 atan Mul acosh Add x0 x7 x0 acosh x3 x0 
Add Mul Pow Pow Mul x0 atanh Mul cosh Pow x0 x1 x0 atan Mul acosh Add x0 x7 x0 Add acosh x3 -1 Mul acosh x3 Mul Pow Mul x0 atanh Mul cosh Pow x0 x1 x0 Add atan Mul acosh Add x0 x7 x0 -1 Add Mul atan Mul acosh Add x0 x7 x0 Add atanh Mul cosh Pow x0 x1 x0 Mul x0 Mul Add Mul x0 Mul sinh Pow x0 x1 Mul Pow x0 Add x1 -1 x1 cosh Pow x0 x1 Pow Add 1 Mul -1 Mul Mul cosh Pow x0 x1 x0 Mul cosh Pow x0 x1 x0 -1 Mul Mul Mul x0 atanh Mul cosh Pow x0 x1 x0 log Mul x0 atanh Mul cosh Pow x0 x1 x0 Mul Add Mul x0 Pow Mul sqrt Add Add x0 x7 -1 sqrt Add 1 Add x0 x7 -1 acosh Add x0 x7 Pow Add 1 Mul Mul acosh Add x0 x7 x0 Mul acosh Add x0 x7 x0 -1 1 