Add x6 Mul Pow atan Add x0 x0 Add x4 acosh Mul x0 Mul Add x0 x0 Mul Add x0 x0 0.756802495307928 x7 
Mul x7 Mul Pow atan Add x0 x0 Add Add x4 acosh Mul x0 Mul Add x0 x0 Mul Add x0 x0 0.756802495307928 -1 Add Mul Add x4 acosh Mul x0 Mul Add x0 x0 Mul Add x0 x0 0.756802495307928 Mul 2 Pow Add 1 Mul Add x0 x0 Add x0 x0 -1 Mul Mul atan Add x0 x0 log atan Add x0 x0 Mul Add Mul Add x0 x0 Mul Add x0 x0 0.756802495307928 Mul x0 Add Mul Mul Add x0 x0 0.756802495307928 2 Mul Add x0 x0 2.75680249530793 Pow Mul sqrt Add Mul x0 Mul Add x0 x0 Mul Add x0 x0 0.756802495307928 -1 sqrt Add 1 Mul x0 Mul Add x0 x0 Mul Add x0 x0 0.756802495307928 -1 