Mul Mul acosh x0 E Add x0 Add Mul x0 Mul x7 Mul pi Mul x0 x6 1 
Add Mul Add x0 Add Mul x0 Mul x7 Mul pi Mul x0 x6 1 Mul E Pow Mul sqrt Add x0 -1 sqrt Add 1 x0 -1 Mul Mul acosh x0 E Add 1 Add Mul x7 Mul pi Mul x0 x6 Mul x0 Mul x7 Mul pi x6 