atanh Pow x5 Mul x0 Pow Add Add Pow x0 Mul -2 acosh Pow x0 Mul x0 atan Mul x0 Add x5 x0 x1 x0 x1 
Mul Mul Pow x5 Add Mul x0 Pow Add Add Pow x0 Mul -2 acosh Pow x0 Mul x0 atan Mul x0 Add x5 x0 x1 x0 x1 -1 Mul Mul x5 log x5 Add Pow Add Add Pow x0 Mul -2 acosh Pow x0 Mul x0 atan Mul x0 Add x5 x0 x1 x0 x1 Mul x0 Mul Pow Add Add Pow x0 Mul -2 acosh Pow x0 Mul x0 atan Mul x0 Add x5 x0 x1 x0 Add x1 -1 Mul x1 Add Mul Pow x0 Add Mul -2 acosh Pow x0 Mul x0 atan Mul x0 Add x5 x0 -1 Add Mul -2 acosh Pow x0 Mul x0 atan Mul x0 Add x5 x0 Mul Mul x0 log x0 Mul -2 Mul Mul Pow x0 Add Mul x0 atan Mul x0 Add x5 x0 -1 Add Mul x0 atan Mul x0 Add x5 x0 Mul Mul x0 log x0 Add atan Mul x0 Add x5 x0 Mul x0 Mul Add Add x5 x0 x0 Pow Add 1 Mul Mul x0 Add x5 x0 Mul x0 Add x5 x0 -1 Pow Mul sqrt Add Pow x0 Mul x0 atan Mul x0 Add x5 x0 -1 sqrt Add 1 Pow x0 Mul x0 atan Mul x0 Add x5 x0 -1 1 Pow Add 1 Mul -1 Mul Pow x5 Mul x0 Pow Add Add Pow x0 Mul -2 acosh Pow x0 Mul x0 atan Mul x0 Add x5 x0 x1 x0 x1 Pow x5 Mul x0 Pow Add Add Pow x0 Mul -2 acosh Pow x0 Mul x0 atan Mul x0 Add x5 x0 x1 x0 x1 -1 