Add Mul Mul Add x0 x7 x0 x0 Pow Mul x0 5 Pow Pow x0 x0 atan acosh x2 
Add Add Mul x0 Add x0 Add x0 x7 Mul Add x0 x7 x0 Mul Pow Mul x0 5 Add Pow Pow x0 x0 atan acosh x2 -1 Add Mul Pow Pow x0 x0 atan acosh x2 5 Mul Mul Mul x0 5 log Mul x0 5 Mul Pow Pow x0 x0 Add atan acosh x2 -1 Mul atan acosh x2 Mul Pow x0 Add x0 -1 Add x0 Mul x0 log x0 