Add x6 Pow Add Add x0 acosh Mul x0 Pow x0 Pow x5 Mul x0 sqrt x7 x0 pi 
Mul Pow Add Add x0 acosh Mul x0 Pow x0 Pow x5 Mul x0 sqrt x7 x0 Add pi -1 Mul pi Add Add 1 Mul Add Pow x0 Pow x5 Mul x0 sqrt x7 Mul x0 Mul Pow x0 Add Pow x5 Mul x0 sqrt x7 -1 Add Pow x5 Mul x0 sqrt x7 Mul Mul x0 log x0 Mul Pow x5 Add Mul x0 sqrt x7 -1 Mul Mul x5 log x5 sqrt x7 Pow Mul sqrt Add Mul x0 Pow x0 Pow x5 Mul x0 sqrt x7 -1 sqrt Add 1 Mul x0 Pow x0 Pow x5 Mul x0 sqrt x7 -1 1 