Add -1 Pow atan Mul Add Pow x0 x1 x0 x0 Pow sqrt acosh x0 Pow Add Pow Mul x0 -1 Pow x0 4 x0 5 
Mul Pow atan Mul Add Pow x0 x1 x0 x0 Add Pow sqrt acosh x0 Pow Add Pow Mul x0 -1 Pow x0 4 x0 5 -1 Add Mul Pow sqrt acosh x0 Pow Add Pow Mul x0 -1 Pow x0 4 x0 5 Mul Add Mul x0 Add Mul Pow x0 Add x1 -1 x1 1 Add Pow x0 x1 x0 Pow Add 1 Mul Mul Add Pow x0 x1 x0 x0 Mul Add Pow x0 x1 x0 x0 -1 Mul Mul atan Mul Add Pow x0 x1 x0 x0 log atan Mul Add Pow x0 x1 x0 x0 Mul Pow sqrt acosh x0 Add Pow Add Pow Mul x0 -1 Pow x0 4 x0 5 -1 Add Mul Pow Add Pow Mul x0 -1 Pow x0 4 x0 5 Mul Pow Mul 2 sqrt acosh x0 -1 Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul sqrt acosh x0 log sqrt acosh x0 Mul Pow Add Pow Mul x0 -1 Pow x0 4 x0 4 Mul 5 Add Mul Pow Mul x0 -1 Add Pow x0 4 -1 Add Mul Pow x0 4 -1 Mul Mul Mul x0 -1 log Mul x0 -1 Mul Pow x0 3 4 1 