acosh Pow Mul Add x0 -1.15782128234958 Mul x0 acsch pi x7 
Mul Mul Pow Mul Add x0 -1.15782128234958 Mul x0 acsch pi Add x7 -1 Mul x7 Add Mul x0 acsch pi Mul Add x0 -1.15782128234958 acsch pi Pow Mul sqrt Add Pow Mul Add x0 -1.15782128234958 Mul x0 acsch pi x7 -1 sqrt Add 1 Pow Mul Add x0 -1.15782128234958 Mul x0 acsch pi x7 -1 