Pow Add sqrt Mul x0 Mul x0 acosh exp Add Pow -3 x4 x0 pi x7 
Mul Pow Add sqrt Mul x0 Mul x0 acosh exp Add Pow -3 x4 x0 pi Add x7 -1 Mul x7 Mul Pow Mul 2 sqrt Mul x0 Mul x0 acosh exp Add Pow -3 x4 x0 -1 Add Mul x0 acosh exp Add Pow -3 x4 x0 Mul x0 Add acosh exp Add Pow -3 x4 x0 Mul x0 Mul exp Add Pow -3 x4 x0 Pow Mul sqrt Add exp Add Pow -3 x4 x0 -1 sqrt Add 1 exp Add Pow -3 x4 x0 -1 