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