Add sqrt Add cosh cbrt acsch atanh x7 Add x0 Add Mul x0 -0.286825729064001 x2 Add x0 x0 
Add Mul Pow Mul 2 sqrt Add cosh cbrt acsch atanh x7 Add x0 Add Mul x0 -0.286825729064001 x2 -1 0.713174270935999 2 