acosh Mul x6 Mul Add x0 x0 Mul asech x5 Pow Add x0 x1 Add acsch pi x4 
Mul Mul x6 Add Mul Mul asech x5 Pow Add x0 x1 Add acsch pi x4 2 Mul Add x0 x0 Mul asech x5 Mul Pow Add x0 x1 Add Add acsch pi x4 -1 Add acsch pi x4 Pow Mul sqrt Add Mul x6 Mul Add x0 x0 Mul asech x5 Pow Add x0 x1 Add acsch pi x4 -1 sqrt Add 1 Mul x6 Mul Add x0 x0 Mul asech x5 Pow Add x0 x1 Add acsch pi x4 -1 