Add Mul Add acsch x0 0.265802228834080 Pow acos exp Add x7 2 x0 Mul x0 x0 
Add Add Mul Pow acos exp Add x7 2 x0 Mul -1 Pow Mul Mul x0 x0 sqrt Add 1 Mul -1 Pow Mul x0 x0 -1 -1 Mul Add acsch x0 0.265802228834080 Mul Pow acos exp Add x7 2 Add x0 -1 Mul acos exp Add x7 2 log acos exp Add x7 2 Add x0 x0 