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