ab-angle->ABCF A
Time bar (total: 1.1min)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 25 to 16 computations (36% saved)
| 4.8s | 4643× | 0 | valid |
| 859.0ms | 4611× | 0 | valid-sollya |
| 13.7s | 3613× | 1 | valid |
| 1.3s | 3563× | 1 | valid-sollya |
| 19.0ms | 50× | 1 | exit-sollya |
| 10.0ms | 32× | 0 | exit-sollya |
| Pt | Rival-out | Sollya-interval | Sollya-point | status | Sollya status | Rival iter | sollya-time | check |
|---|---|---|---|---|---|---|---|---|
| (2.231714936902918e-57 2.6944369742719408e-198 -1.229441883038286e+256) | 3.7354136696966965e-114 | (0.0 4.980551559595596e-114) | +nan.0 | valid | exit | 1 | 0.398156 | #f |
| (-6.368791667998502e-174 -1.8903848686452424e-8 3.013237109838052e+297) | 2.097048128370684e-16 | (0.0 3.5735549516028907e-16) | +nan.0 | valid | exit | 1 | 0.275386 | #f |
| (1.7584920729481347e+165 2.5208273234811907e+54 8.227457070918937e-140) | 6.354570394809344e+108 | (6.354570394809344e+108 6.354570394809344e+108) | +nan.0 | valid | exit | 0 | 0.351827 | #f |
| (-5.142254287966234e-269 -1.6832602779189542e-255 2.0870375959192082e+216) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.5181 | #f |
| (2.5615594305218875e-247 -3.640684712310922e+221 4.0877965945125715e+241) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.466601 | #f |
| (-5.621558983434402e+218 1.2191713322136452e+262 -7.061716872523861e+50) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.417699 | #f |
| (6.4071869673623414e-77 -4.298300378487102e-266 7.413572520369044e+241) | 3.118968184655087e-154 | (0.0 4.1052044834737837e-153) | +nan.0 | valid | exit | 1 | 0.465413 | #f |
| (-3.0085849578410827e+270 1.6528546700272545e+224 -7.077890346143246e+218) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.5093059999999999 | #f |
| (4.845693040207481e+128 -2.5704408388247798e-141 -2.5283623632814853e+59) | 1.6138390725879529e+257 | (0.0 2.348074103991522e+257) | +nan.0 | valid | exit | 1 | 0.45511199999999996 | #f |
| (-6.612668379338811e-238 4.243502446055776e-102 -5.5118719831188205e-221) | 1.8007313009681353e-203 | (1.8007313009681353e-203 1.8007313009681353e-203) | +nan.0 | valid | exit | 0 | 0.28792599999999996 | #f |
| (-1.2556319473658993e+230 -2.2616055206055885e+154 1.6763110640735726e-192) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.29764100000000004 | #f |
| (1.3223255729591568e-46 -7.88321144248723e+72 4.340587986664756e+49) | 5.945866290059496e+145 | (0.0 6.21450226469616e+145) | +nan.0 | valid | exit | 1 | 0.400322 | #f |
| (-1.2311529996811426e-13 -8.333420585748531e-53 5.073918666664794e-39) | 7.06345809510074e-105 | (7.06345809510074e-105 7.06345809510074e-105) | +nan.0 | valid | exit | 0 | 0.260713 | #f |
| (-7.7478145257452e+88 6.893251559220688e+270 8.034319790475505e-271) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.37938700000000003 | #f |
| (2.037446259059074e-115 -3.2315614048987916e-194 8.291646269043531e+99) | 3.5686507361451346e-230 | (0.0 4.151187258553816e-230) | +nan.0 | valid | exit | 1 | 0.471974 | #f |
| (-2.042579313351512e-218 -8.043032762236373e-100 8.454199788105053e-292) | 6.469037601440765e-199 | (6.469037601440765e-199 6.469037601440765e-199) | +nan.0 | valid | exit | 0 | 0.176856 | #f |
| (-9.87850265999412e+260 -1.566393572194983e+206 2.7044831920064576e-139) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.381018 | #f |
| (5.434502460490275e-260 5.9228028998203205e+149 -8.484661679771573e+69) | 3.490889809050407e+299 | (0.0 3.507959419012e+299) | +nan.0 | valid | exit | 1 | 0.228761 | #f |
| (1.246930660570833e+173 -1.4923179573673147e-223 -1.4212237758867553e+241) | 0.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.251287 | #f |
| (2.0000230103150613e-190 1.0299214937088385e-147 5.61982019722629e+208) | 6.224667765316358e-295 | (0.0 1.060738283203445e-294) | +nan.0 | valid | exit | 1 | 0.213621 | #f |
| (9.177170280963251e-274 3.884392184211783e+206 -6.249064914167014e+125) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.23760599999999998 | #f |
| (7.114328729533933e-86 1.0423468202350104e-166 6.804467380400448e+224) | 5.006065817353908e-171 | (0.0 5.061367327187191e-171) | +nan.0 | valid | exit | 1 | 0.45875499999999997 | #f |
| (-1.0977683307262363e+152 1.5967310511401459e-84 3.7542051940424234e+261) | 5.209298167273716e+302 | (0.0 1.2050953079454673e+304) | +nan.0 | valid | exit | 1 | 0.5296329999999999 | #f |
| (-2.071675024535122e-155 -1.3311795774748564e+39 -6.967042231638211e+186) | 4.430097668715343e+77 | (0.0 1.772039067486137e+78) | +nan.0 | valid | exit | 1 | 0.227138 | #f |
| (-6.795804240488215e+111 -2.1435096704270985e+288 3.238108286182887e+111) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.45281899999999997 | #f |
| (-2.5322419163441816e-308 1.548349298574121e-22 -1.3294750668964147e+281) | 2.919955354292868e-47 | (0.0 2.3973855503949724e-44) | +nan.0 | valid | exit | 1 | 0.383142 | #f |
| (1.97118991016301e+286 2.2071017162393917e-282 -7.774208504422425e+156) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.226082 | #f |
| (-2.4413872248687987e+283 -8.599368421130788e-273 3.6244217867844745e+46) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.218517 | #f |
| (8.04575494474652e-19 1.796287445175395e+221 3.440370345533046e-51) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.310343 | #f |
| (3.973068834864763e-174 6.220521921145128e-215 1.1684064259310116e-112) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.19066999999999998 | #f |
| (-1.4550954354065804e-27 -3.0209187051417823e+234 5.984246426026099e+125) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.224017 | #f |
| (6.037166863175665e-76 -0.002096189585870571 -6.657597104410392e-121) | 4.394010779912235e-6 | (4.394010779912235e-6 4.394010779912235e-6) | +nan.0 | valid | exit | 0 | 0.269029 | #f |
| (5.954760547142363e+280 3.752398302295057e-46 -5.892801467809464e-46) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.364794 | #f |
| (-1.8564388045211648e-73 -4.682762134840472e+260 -5.394760593114294e+152) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.49932199999999993 | #f |
| (-5.1452260987696765e-285 2.5925369252555324e-72 -5.894514186393057e-107) | 6.72124770881341e-144 | (6.72124770881341e-144 6.72124770881341e-144) | +nan.0 | valid | exit | 0 | 0.325448 | #f |
| (-3.677417271305933e-278 1.0939798046808929e+86 5.9008424698307754e+284) | 1.3076386268636736e+170 | (0.0 1.1967918130496447e+172) | +nan.0 | valid | exit | 1 | 0.23867300000000002 | #f |
| (-2.1022825570838584e-19 7.377248063705901e+135 -3.464943965487415e-66) | 5.442378899345246e+271 | (5.442378899345246e+271 5.442378899345246e+271) | +nan.0 | valid | exit | 0 | 0.352052 | #f |
| (-8.159395891009238e+38 -6.881685684610646e-208 4.201603854644035e-61) | 3.580147764467802e-47 | (3.580147764467802e-47 3.580147764467802e-47) | +nan.0 | valid | exit | 0 | 0.33291499999999996 | #f |
| (5.354962773455178e+143 3.2170241948359537e+66 8.410579559173629e-37) | 6.179018478541948e+211 | (6.179018478541948e+211 6.179018478541948e+211) | +nan.0 | valid | exit | 0 | 0.354401 | #f |
| (-1.0722711450992439e-270 -2.340157537000861e-67 1.7329823101926362e+239) | 1.0523836988627241e-134 | (0.0 5.476337297981936e-134) | +nan.0 | valid | exit | 1 | 0.390973 | #f |
| (-2.3750056535945645e+54 -1.180152992332206e-296 1.7570887420555152e+131) | 1.583976416232256e+108 | (0.0 5.640651854606145e+108) | +nan.0 | valid | exit | 1 | 0.352433 | #f |
| (4.890612602681535e-196 85986549253.10606 8.984209277103889e+21) | 6.831944270825016e+21 | (0.0 7.393686652456835e+21) | +nan.0 | valid | exit | 1 | 0.24818099999999998 | #f |
| (-1.2807516209620477e-71 -5.693327514921292e-184 1.58752758317061e+97) | 5.667182507466157e-143 | (0.0 1.640324714596913e-142) | +nan.0 | valid | exit | 1 | 0.478154 | #f |
| (1.70126872091439e+77 4.145351300575254e-241 5.607160267571992e+181) | 9.999613290537832e+153 | (0.0 2.8943152607616844e+154) | +nan.0 | valid | exit | 1 | 0.357802 | #f |
| (2.0758226764486036e+67 3.9396302005125246e+154 -1.0208169676089255e+88) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.455527 | #f |
| (-1.0651626919193304e-259 -1.4201113409423266e+105 -9.579554083129655e-242) | 2.0167162206730131e+210 | (2.0167162206730131e+210 2.0167162206730131e+210) | +nan.0 | valid | exit | 0 | 0.273529 | #f |
| (5.930012256115333e+47 -4.754033652722071e-158 7.69866418809782e+40) | 1.4529349656871157e+95 | (0.0 3.516504535767806e+95) | +nan.0 | valid | exit | 1 | 0.18325899999999998 | #f |
| (2.3915089555307098e-268 3.479161885518844e+289 1.1300872383316625e-135) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.374559 | #f |
| (-1.4133745265861206e-213 9.117133328167971e-88 -1.7503194433836262e+270) | 2.5064386096863444e-176 | (0.0 8.312212012359118e-175) | +nan.0 | valid | exit | 1 | 0.44679399999999997 | #f |
| (3.338757815767812e+74 -3.8976321041240357e+157 -2.7694775492281935e+211) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.378374 | #f |
| (9.990247653071515e-76 -1.0483324053208228e+223 6.311919021103266e+37) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.3956 | #f |
| (-8.874418822037683e-268 1.3539555288492317e-192 1.3337143284368266e-166) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.286311 | #f |
| (-4.172614870271029e+108 1.3715263699024608e-197 6.738835476348325e+193) | 1.6885717564014164e+217 | (0.0 1.7410714855606918e+217) | +nan.0 | valid | exit | 1 | 0.335197 | #f |
| (-2.6424614993138893e+277 -1.7831175374427995e+138 1.451670836346301e+203) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.508235 | #f |
| (2.5958213582596916e+191 3.199690675460695e+65 1.1297218527293325e-221) | 1.0238020418630118e+131 | (1.0238020418630118e+131 1.0238020418630118e+131) | +nan.0 | valid | exit | 0 | 0.242589 | #f |
| (-2.2475880809691882e-247 5.184218611041188e-205 -1.1529510957843856e+101) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.21279700000000001 | #f |
| (2.113834872470997e-155 4.242611920207903e+259 -1.0841312978776541e-94) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.185948 | #f |
| (-2.1904941673550413e-225 1.0584849559227448e-74 -5.3242752692601025e+304) | 8.734523818911275e-149 | (0.0 1.120390401914775e-148) | +nan.0 | valid | exit | 1 | 0.553033 | #f |
| (-1.9693043059573317e-268 2.6762887037519733e+184 -4.3710440800093845e+229) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.35899000000000003 | #f |
| (-2.9059529525399036e+279 7.880750035851647e-284 -1.9708153970017766e+300) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.251751 | #f |
| (-7.762770371527036e-262 5.7410972974329244e+26 -587317.1870287728) | 2.8005287779088846e+53 | (2.80052877790888e+53 2.8005287779088863e+53) | +nan.0 | valid | exit | 0 | 0.369089 | #f |
| (2.021912826766937e+199 1.6936269806197237e-304 1.4954186416584923e-39) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.185782 | #f |
| (-2.0295828192697018e-110 -2.9639988759301364e+245 3.7035470074412232e-56) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.298183 | #f |
| (-9.214210455020628e+104 -1.6175783178160021e+224 1.3637809986958935e+187) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.494225 | #f |
| (-5.439466496080313e-169 -2.0598236064406302e-109 1.5764518718947176e+213) | 3.307728961773997e-218 | (0.0 4.242873289650084e-218) | +nan.0 | valid | exit | 1 | 0.43888299999999997 | #f |
| (-7.594832619476382e-281 9.543441531756834e-60 -3.841076624409345e-206) | 9.107727627006122e-119 | (9.107727627006122e-119 9.107727627006122e-119) | +nan.0 | valid | exit | 0 | 0.28675100000000003 | #f |
| (4.593021793614269e+95 -1.3043985044710875e+247 5.6522464282007363e+253) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.41390699999999997 | #f |
| (1.196472088578444e-62 1.0988745414159768e-116 -5.655475882691189e+102) | 8.88933824882249e-125 | (0.0 1.431545458747264e-124) | +nan.0 | valid | exit | 1 | 0.214334 | #f |
| (1.1863342850135752e+83 -6.351196327374984e+70 -849937989113781.8) | 5.3942029512491905e+165 | (5.394174248983992e+165 5.394226453216775e+165) | +nan.0 | valid | exit | 1 | 0.186636 | #f |
| (1.0881507543894932e-157 2.919409513402747e+59 3.3326054300225507e+304) | 2.569984463378428e+117 | (0.0 8.522951906946463e+118) | +nan.0 | valid | exit | 1 | 0.385577 | #f |
| (2.0406345420996198e-188 -4.212666117061684e+99 1.9818103363707506e+299) | 1.7402820076257509e+199 | (0.0 1.7746555813839563e+199) | +nan.0 | valid | exit | 1 | 0.578381 | #f |
| (4.4590273276757157e-44 -6.549814587046826e-291 -2.8328223612881975e+80) | 1.9858707806319473e-87 | (0.0 1.9882924708958836e-87) | +nan.0 | valid | exit | 1 | 0.40603500000000003 | #f |
| (-1.9830274003036245e-30 -1.6817331807670484e+298 9.666008375803419e+249) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 1 | 0.236507 | #f |
| (-1.557679839546381e-226 -1.3933022357891424e-9 5.6963231962404536e+94) | 1.6201342123351668e-18 | (0.0 1.941291120255023e-18) | +nan.0 | valid | exit | 1 | 0.371426 | #f |
| (1.3626899804490916e+178 -2.1893882068597278e+114 -0.0005460254639688018) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.296369 | #f |
| (-4.704957397397633e+234 3.109050131054895e+123 1.7777225620459002e+24) | +inf.0 | (0.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.330575 | #f |
| (1.391218793430929e-247 9.812451707346175e-203 -2.9591953781766344e+130) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.421039 | #f |
| (8.233246335344643e-293 3.638191323489816e+155 -3.4846366402052172e-239) | +inf.0 | (+inf.0 +inf.0) | +nan.0 | valid | exit | 0 | 0.291985 | #f |
| (-1.0736695098292285e+209 -9.477203396811343e+92 -2.946049485791729e-56) | 3.047726916449801e+303 | (3.047726916449801e+303 3.0477269164498017e+303) | +nan.0 | valid | exit | 0 | 0.285136 | #f |
| (1.0128859943824657e-247 1.129801702377724e-268 -7.563652338683329e+298) | 0.0 | (0.0 0.0) | +nan.0 | valid | exit | 0 | 0.428458 | #f |
| (6.870556112537871e+22 6.723035439979469e+96 3.704045512509228e+145) | 1.4133642559781205e+193 | (0.0 4.519920552721993e+193) | +nan.0 | valid | exit | 1 | 0.473864 | #f |
| (-2.1256250882564302e-14 1.229400695418387e-249 -7.964814512125436e+303) | 5.285385925789405e-29 | (0.0 4.518282015825156e-28) | +nan.0 | valid | exit | 1 | 0.5147860000000001 | #f |
| 1× | egg-herbie |
| 1559× | fma-define |
| 656× | unsub-neg |
| 631× | fma-neg |
| 450× | distribute-lft-neg-in |
| 434× | distribute-rgt-in |
Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 66 | 893 |
| 1 | 135 | 881 |
| 2 | 378 | 881 |
| 3 | 1237 | 881 |
| 4 | 2150 | 881 |
| 5 | 3307 | 881 |
| 6 | 4582 | 881 |
| 7 | 5256 | 881 |
| 8 | 5589 | 881 |
| 9 | 5784 | 881 |
| 10 | 5873 | 881 |
| 11 | 5951 | 881 |
| 12 | 7196 | 881 |
| 13 | 7425 | 881 |
| 14 | 7529 | 881 |
| 15 | 7558 | 881 |
| 16 | 7590 | 881 |
| 17 | 7590 | 881 |
| 18 | 7590 | 881 |
| 19 | 7590 | 881 |
| 20 | 7600 | 881 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 (neg.f64 a) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 (neg.f64 b) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (neg.f64 angle) #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (neg.f64 angle) #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 (neg.f64 a) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 (neg.f64 b) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (neg.f64 angle) #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (neg.f64 angle) #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))) |
(+.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 angle (sin.f64 (*.f64 (/.f64 a #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 a #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 b #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 angle (cos.f64 (*.f64 (/.f64 b #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
| Outputs |
|---|
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 (neg.f64 a) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 (neg.f64 b) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (neg.f64 angle) #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (neg.f64 angle) #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 (neg.f64 a) (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) (neg.f64 a)) #s(literal 2 binary64)))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 (neg.f64 b) (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) (neg.f64 a)) #s(literal 2 binary64)))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 (neg.f64 angle) #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 (neg.f64 angle) #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)))) |
(neg.f64 (+.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) (neg.f64 a)) #s(literal 2 binary64)))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(-.f64 (neg.f64 (pow.f64 (*.f64 b (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) (pow.f64 (*.f64 a (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 b (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 a (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 a (cos.f64 (*.f64 angle (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 (sin.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64)))) b) #s(literal 2 binary64)) (pow.f64 (*.f64 a (cos.f64 (*.f64 angle (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 angle (sin.f64 (*.f64 (/.f64 a #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 a #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 angle (sin.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (PI.f64) (/.f64 a #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 angle (sin.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 a (/.f64 (PI.f64) #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 angle (sin.f64 (*.f64 a (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 a (*.f64 (PI.f64) #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 b #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 angle (cos.f64 (*.f64 (/.f64 b #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 angle (cos.f64 (*.f64 (PI.f64) (/.f64 b #s(literal 180 binary64))))) #s(literal 2 binary64))) |
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (PI.f64) (*.f64 b #s(literal 1/180 binary64))))) #s(literal 2 binary64)) (pow.f64 (*.f64 angle (cos.f64 (*.f64 (PI.f64) (*.f64 b #s(literal 1/180 binary64))))) #s(literal 2 binary64))) |
(abs a)
(abs b)
(abs angle)
Compiled 24 to 15 computations (37.5% saved)
Compiled 3 to 3 computations (0% saved)
| Status | Accuracy | Program |
|---|---|---|
| 81.6% | (+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
Compiled 48 to 30 computations (37.5% saved)
| 1× | egg-herbie |
| 3× | *-commutative |
| 1× | +-commutative |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 22 | 79 |
| 1 | 26 | 79 |
| 1× | saturated |
| Inputs |
|---|
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
| Outputs |
|---|
(+.f64 (pow.f64 (*.f64 a (sin.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64)) (pow.f64 (*.f64 b (cos.f64 (*.f64 (/.f64 angle #s(literal 180 binary64)) (PI.f64)))) #s(literal 2 binary64))) |
| 1× | fuel |
Compiled 24 to 15 computations (37.5% saved)
(abs angle)
(abs b)
(abs a)
Compiled 384 to 240 computations (37.5% saved)
Loading profile data...