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