Toniolo and Linder, Equation (2)
Time bar (total: 50.5s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 4 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 5 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 6 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 7 |
| 0% | 0% | 99.8% | 0.2% | 0% | 0% | 0% | 8 |
| 19.2% | 18.7% | 78.8% | 0.2% | 0% | 2.3% | 0% | 9 |
| 19.4% | 18.7% | 77.6% | 0.2% | 0% | 3.5% | 0% | 10 |
| 22.8% | 21.8% | 73.9% | 0.2% | 0% | 4.1% | 0% | 11 |
| 23.3% | 21.8% | 71.8% | 0.2% | 0% | 6.1% | 0% | 12 |
Compiled 24 to 17 computations (29.2% saved)
| 2.2s | 7153× | 0 | invalid |
| 1.3s | 7107× | 0 | invalid-sollya |
| 1.6s | 4357× | 0 | valid |
| 653.0ms | 4350× | 0 | valid-sollya |
| 3.0s | 3899× | 1 | valid |
| 819.0ms | 3886× | 1 | valid-sollya |
| 16.0ms | 53× | 0 | exit-sollya |
| 3.0ms | 13× | 1 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (-4.026559069539233e+182 -5.558359387794646e+142 6.854675913930168e+165 -7.402195379394108e-230) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.212338 | #f |
| (-4.893409818432651e+225 7.679315573702998e-276 2.4510016847016388e+260 1.5602854521549855e-71) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.26519800000000004 | #f |
| (1.5197945394604072e-198 1.898407672888974e+261 9.933739027367666e+175 4.71156006340965e+200) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.28665599999999997 | #f |
| (-2.1289186614730946e+220 -1.58390784334678e-175 -2.703786768228383e+132 1.133696462603138e-274) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.20221599999999998 | #f |
| (-2.0234319279849408e-187 1.307978951826916e-63 1.4967046773079002e-266 -1.1356285630685294e+77) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.171646 | #f |
| (-2.352057122963853e-49 -4.528438034725136e+287 3.882822986012894e+170 -9.829786726135217e-24) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.202874 | #f |
| (-5.895754729229549e+102 5.035987287242969e-244 -7.010820061945865 -1.9393435901213616e-217) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.243334 | #f |
| (6962365942269.229 2.4545563932861947e-267 -8.051453970073538e+91 -2.5979186888934e-66) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.116142 | #f |
| (1.1539513545048697e+93 -2.3921620179353756e+265 1.8218041369856603e-131 4.49140739985319e-71) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.170648 | #f |
| (4.31293660958238e+240 6.5264912165407525e+137 -5.657298511253003e-44 3.2439132594876644e-122) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.122734 | #f |
| (3.040959903602475e+148 1.4742043386116995e-214 4.216221377749924e-94 -2.6228640488655026e-102) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.23147099999999998 | #f |
| (3.0687856505951363e-205 -2.5881836660308137e+91 -2.4224501671217223e-55 1.3091502333689078e+83) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.27991000000000005 | #f |
| (-3.6838773555310544e-62 -4.719558397679882e-128 6.910870609665259e+179 -7.379568599168258e-192) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.237509 | #f |
| (1.1575821718040327e-59 -2266338722406803700.0 4.690013618351257e+141 -2.8138828461364255e+109) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.127237 | #f |
| (-9.739609945323817e+192 -5.3805522118229885e+202 1.3147408641595597e-111 -1.7595243539774894e-241) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.229314 | #f |
| (-1.6327017951064904e+72 1.4696054696121316e+75 -3.7324961572781684e-187 -3.440384381453873e-232) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.210583 | #f |
| (3.7804378416449437e-187 2.731945242676542e-56 -1.5664264174106276e+95 4.2670266551012274e-275) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.128455 | #f |
| (3.623305468180527e-208 -3.7762840365969947e-227 1.430931692794692e-116 4.5266085452506405e+135) | 7.369613391456958e-20 | (7.369613391456958e-20 7.369613391456958e-20) | +nan.0 | valid | exit | 0 | 0.154763 | #f |
| (4.971094198270088e-8 -5.568278049310598e-49 -2.032982182343905e-8 2.764927228598099e-231) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.13297499999999998 | #f |
| (-2.2216155130505825e-8 -3.424751773097548e-175 -4.647604934336409e+122 -3.3736365704749936e+162) | 1.0900469448525998e-167 | (1.0900469448525998e-167 1.0900469448525998e-167) | +nan.0 | valid | exit | 0 | 0.412249 | #f |
| (-2.745442593707561e-209 1.7877163986390994e+162 -2.6066099044113094e+266 -1.8143185008194718e+258) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.128228 | #f |
| (-6.572553633224492e-108 8.919776656182357e+214 2.399204703860323e-194 5.1446695426375e+283) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.310572 | #f |
| (-4.368634351683838e-102 2.635956801048044e+264 2.3177280348195614e+182 -6.307151895832268e+171) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.207889 | #f |
| (-2.0777274779294998e+27 0.24238412724307318 1.8368032867284524e-210 1.8324838438142645e-140) | 8.248986541601467e-29 | (8.248986541601467e-29 8.248986541601467e-29) | +nan.0 | valid | exit | 0 | 0.328056 | #f |
| (-1.3839970950670005e-19 3.0286466795094095e+252 5.872020493481511e-15 -8.667814240564146e-73) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.19779500000000003 | #f |
| (-5.1529205745902254e-42 5.534215686359857e+275 2.2666261284592564e-158 1.851908673425701e-58) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.179518 | #f |
| (6.511506186325533e-195 1.755286798392715e-130 -65716780578962770.0 2.988018206915287e-252) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.228499 | #f |
| (6.740499899399583e-90 -3.8372351351853e+20 -5.578274106502896e+169 2.066475230256285e+223) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.17632699999999998 | #f |
| (4.900004320644623e-209 -1.710403393837981e+103 2.083634864338905e-73 8.179674539567538e-178) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.243489 | #f |
| (2.91645303140325e+113 -2.3644926379400744e+39 7.165039375713502e+175 1.0111467881154638e+111) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.275372 | #f |
| (-1.8612049114624854e+234 5.896612424825625e-300 5.903111816610962e-19 5.687654575416141e-73) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.118648 | #f |
| (1.2542457767783312e+249 3.085683040261763e+166 1.9151789428815136e-196 -1.6955812767162742e-199) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 5.0 | #f |
| (4.568660359421608e+215 2.3101181705884045e-141 1.2632238534152957e+116 -2.14672693825684e+194) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.346773 | #f |
| (1744107199968855.3 4.7848648453233776e-300 1.219889876143518e+277 -9.099751225658266e+181) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.259624 | #f |
| (-5.743539102645509e-188 -105965.14484092747 2.6116861985886662e-189 1.1327893353910684e+298) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.185086 | #f |
| (-1.4476005992407302e+34 -8.935424059599271e+49 -2.6565534312952834e+193 1.9267831935538133e+86) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.209952 | #f |
| (-0.000447092101791332 -3.197955083219494e+30 1.5223161274113068e+208 -7.096650573357678e+184) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.239832 | #f |
| (1.578092673035879e-102 -5.009141688334452e-288 9.640041079714696e-107 -4.11514453610806e-224) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.23219399999999998 | #f |
| (-9.655433913665585e-225 1.3790459960253058e-114 -1.7999582182531114e+57 3.470092911475094e-196) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.123736 | #f |
| (9.579028671565872e-191 3.0046942518020506e-56 -8.242327611257258e-275 9.868633138952377e+299) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.345041 | #f |
| (880192283397.9491 -8.450572077632315e-257 -4.4885017585463093e-57 2.9382927903562653e-272) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.222136 | #f |
| (4.821656763317405e-167 -4.736425635354698e+231 2.462435199999162e+123 -7.162388287251274e-107) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.21549300000000002 | #f |
| (6.051558650828791e+307 -1.7028078651635797e-94 1.925264364136649e-217 -1.3993362145095666e+59) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.235527 | #f |
| (-2.1524816717185515e-225 5.288609565629903e-148 1.6343880129850636e-56 -1.873092598487701e+240) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.28256400000000004 | #f |
| (3.136301818931248e+60 -3.199572937123957e+267 3.29053094869567e-110 -2.5199275796626996e-67) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.174658 | #f |
| (2.50867230860656e+98 2.0300869105110453e-304 -9.748588687025022e-248 4.72287172315926e+226) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.30015800000000004 | #f |
| (2.7248923267991313e-191 -2.5161162585011978e-58 -8.316974587744184e+135 -4.3725477624024e-287) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.119916 | #f |
| (6.891690789129275e-146 -3.5257333798319e+264 3.20303437790685e+129 3.1369726122160715e+227) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.344278 | #f |
| (6.158774533523684e-13 -1.1426589055542046e-273 3.6018512696694075e+291 1.9703264952011378e+239) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.12767799999999999 | #f |
| (-2.4389666287181444e-303 -5.384480404036766e-161 -8.14410782265008e+116 -9.541636552735713e+19) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.199306 | #f |
| (7.538963425914289e-163 -6.667620746867977e+109 -2.5117952221252322e+276 -1.1497692267029813e+172) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.129549 | #f |
| (-1.5219699641986938e-33 -1.2691109767657542e-170 -4.1575228733993477e-94 -2.6895180348472443e-126) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.17925100000000002 | #f |
| (-4.870626307125367e+177 -7.869104780779578e+102 1.5453862534775011e+100 1.589346556518317e-37) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.127942 | #f |
| (-4.44899714055134e+280 -1.3842204429388291e+115 3.030326762737492e-249 -2.2533145656874858e-259) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.301728 | #f |
| (-2.4658127594592355e+23 1.1690203141111133e-48 -2.0400987813871256e-184 1.2390148676836673e-145) | 3.3523315518655935e-72 | (3.3523315518655935e-72 3.3523315518655935e-72) | +nan.0 | valid | exit | 0 | 0.192561 | #f |
| (-2.670988253219356e+128 3.258825982918922e+230 3.6785508010964808e+286 1.3183350609317313e+264) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.15673600000000001 | #f |
| (3.7739934231719533e-22 2.1158066714728204e+291 1.3221030743812048e+23 3.133326824021676e+120) | 1.5707963267948966 | (1.5707963263292353 1.5707963267948966) | +nan.0 | valid | exit | 1 | 0.176789 | #f |
| (4.004538504138596e-170 3.235850298926484e+148 3.61359919807447e+259 -6.330360408112778e+95) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.204167 | #f |
| (3.6113565782419405e+74 6.777411781243259e+201 -3.1482198273988066e+118 -5.053201123175193e-185) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.20791 | #f |
| (-1.5009042715848819e-18 2.1459302547532043e-22 2.844320965880719e-58 1.5843442911929258e-184) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.105628 | #f |
| (-3.935667760424255e-130 1.822456895183355e-133 -78538.9310958944 2.59658641352831e-56) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.11259100000000001 | #f |
| (1.4680559797176031e+233 2.1915960477221377e-199 16134407314678166000.0 3.823912344876521e-12) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.233716 | #f |
| (8.639222525376575e-66 -2.8213219413995842e-95 2.2972043402597825e+168 -2.9152947804587496e+157) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.196208 | #f |
| (1.1613970452000583e+70 -7.217240735117042e-119 7.852420532937555e+300 -6.893962447173507e+53) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.25155 | #f |
| (-560000656680201.75 8.743832319948709e+306 -4.1515970030171204e+139 -2.0289238014489396e+121) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.216467 | #f |
| (1.1178028421150906e-139 -3.1376778721720667e+152 6.75301319292389e+270 -4.534009280542415e-40) | #f | (+nan.0 +nan.0) | +nan.0 | invalid | exit | 0 | 0.201833 | #f |
| 1× | egg-herbie |
| 634× | div-sub |
| 576× | fma-define |
| 474× | unsub-neg |
| 379× | fma-neg |
| 351× | distribute-lft-neg-in |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 107 | 1136 |
| 1 | 208 | 1056 |
| 2 | 427 | 1056 |
| 3 | 1111 | 1056 |
| 4 | 3147 | 1056 |
| 5 | 6810 | 1056 |
| 1× | node limit |
| Inputs |
|---|
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 (neg.f64 t) l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t (neg.f64 l)) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 Om) Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om (neg.f64 Omc)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 (neg.f64 t) l) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t (neg.f64 l)) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 Om) Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om (neg.f64 Omc)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 l t) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 Om l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om t) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 Omc l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 l Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t Om) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om l) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t Omc) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Omc Om) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
| Outputs |
|---|
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 (neg.f64 t) l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t (neg.f64 l)) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 Om) Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om (neg.f64 Omc)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 (neg.f64 t) l) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t (neg.f64 l)) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64)))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t (neg.f64 l)) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64)))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 (neg.f64 Om) Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t (neg.f64 l)) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64)))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om (neg.f64 Omc)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t (neg.f64 l)) #s(literal 2 binary64)))))))) |
(neg.f64 (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64)))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 l t) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 l t) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 Om l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 t Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 Om l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om t) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 Omc l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om t) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 Omc l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 l Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t Om) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 l Omc) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t Om) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om l) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t Omc) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om l) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t Omc) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Omc Om) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Omc Om) #s(literal 2 binary64))) (fma.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)) #s(literal 1 binary64))))) |
(abs t)
(abs l)
(abs Om)
(abs Omc)
Compiled 23 to 16 computations (30.4% saved)
Compiled 4 to 4 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 83.6% | (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
Compiled 46 to 32 computations (30.4% saved)
| 1× | egg-herbie |
| 3× | 1-exp |
| 3× | +-commutative |
| 2× | sub-neg |
| 2× | *-commutative |
| 1× | neg-sub0 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 24 | 69 |
| 1 | 33 | 69 |
| 2 | 37 | 69 |
| 3 | 39 | 69 |
| 4 | 40 | 69 |
| 1× | saturated |
| Inputs |
|---|
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
| Outputs |
|---|
(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64))))))) |
| 1× | fuel |
Compiled 23 to 16 computations (30.4% saved)
(abs Omc)
(abs Om)
(abs l)
(abs t)
Compiled 460 to 320 computations (30.4% saved)
Loading profile data...