Mul Add pi acosh Pow Pow x0 Mul x0 sqrt x0 Add x7 x0 2 
Mul 2 Mul Mul Pow Pow x0 Mul x0 sqrt x0 Add Add x7 x0 -1 Add Mul Add x7 x0 Mul Pow x0 Add Mul x0 sqrt x0 -1 Add Mul x0 sqrt x0 Mul Mul x0 log x0 Add sqrt x0 Mul x0 Pow Mul 2 sqrt x0 -1 Mul Pow x0 Mul x0 sqrt x0 log Pow x0 Mul x0 sqrt x0 Pow Mul sqrt Add Pow Pow x0 Mul x0 sqrt x0 Add x7 x0 -1 sqrt Add 1 Pow Pow x0 Mul x0 sqrt x0 Add x7 x0 -1 