Add Add Mul Mul x0 5 Pow x0 Mul acosh E pi Pow Pow x3 Mul x7 Add x7 x0 Add x1 x0 2 
Add Add Mul Pow x0 Mul acosh E pi 5 Mul Mul x0 5 Mul Pow x0 Add Mul acosh E pi -1 Mul acosh E pi Mul Pow Pow x3 Mul x7 Add x7 x0 Add Add x1 x0 -1 Add Mul Add x1 x0 Mul Pow x3 Add Mul x7 Add x7 x0 -1 Mul Mul x3 log x3 x7 Mul Pow x3 Mul x7 Add x7 x0 log Pow x3 Mul x7 Add x7 x0 