acosh Pow Mul Pow x0 Mul 4 pi x5 x0 
Mul Mul Pow Mul Pow x0 Mul 4 pi x5 Add x0 -1 Add Mul x0 Mul x5 Mul Pow x0 Add Mul 4 pi -1 Mul 4 pi Mul Mul Pow x0 Mul 4 pi x5 log Mul Pow x0 Mul 4 pi x5 Pow Mul sqrt Add Pow Mul Pow x0 Mul 4 pi x5 x0 -1 sqrt Add 1 Pow Mul Pow x0 Mul 4 pi x5 x0 -1 