Time bar (total: 551.0ms)
| 1× | search |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 100% | 0% | 0 |
| 0% | 100% | 0% | 1 |
| 0% | 100% | 0% | 2 |
| 50% | 50% | 0% | 3 |
| 50% | 25% | 25% | 4 |
| 62.5% | 12.5% | 25% | 5 |
| 68.7% | 6.2% | 25% | 6 |
| 71.8% | 3.1% | 25% | 7 |
| 73.4% | 1.6% | 25% | 8 |
| 74.2% | 0.8% | 25% | 9 |
| 74.6% | 0.4% | 25% | 10 |
| 74.8% | 0.2% | 25% | 11 |
| 74.9% | 0.1% | 25% | 12 |
| 74.9% | 0% | 25% | 13 |
| 74.9% | 0% | 25.1% | 14 |
Compiled 6 to 5 computations (16.7% saved)
| 1× | intervals |
| 4.0ms | 256× | body | 128 | valid |
Compiled 11 to 10 computations (9.1% saved)
| 1× | egg-herbie |
| 2× | associate-*l*_binary64_20138 *-commutative_binary64_20128 |
| 1× | associate-*r*_binary64_20137 |
| 0× | not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_20460 erf-erfc_binary64_20459 erf-odd_binary64_20458 if-if-and-not_binary64_20457 if-if-and_binary64_20456 if-if-or-not_binary64_20455 if-if-or_binary64_20454 if-not_binary64_20453 if-same_binary64_20452 if-false_binary64_20451 if-true_binary64_20450 not-gte_binary64_20449 not-lte_binary64_20448 not-gt_binary64_20447 not-lt_binary64_20446 gte-same_binary64_20445 lte-same_binary64_20444 gt-same_binary64_20443 lt-same_binary64_20442 sinh---cosh_binary64_20389 sinh-+-cosh_binary64_20388 sinh-cosh_binary64_20387 tanh-def-c_binary64_20386 tanh-def-b_binary64_20385 tanh-def-a_binary64_20384 cosh-def_binary64_20383 sinh-def_binary64_20382 tan-neg_binary64_20329 cos-neg_binary64_20328 sin-neg_binary64_20327 tan-0_binary64_20326 cos-0_binary64_20325 sin-0_binary64_20324 hang-m-tan_binary64_20323 hang-p-tan_binary64_20322 hang-m0-tan_binary64_20321 hang-p0-tan_binary64_20320 hang-0m-tan_binary64_20319 hang-0p-tan_binary64_20318 tan-+PI/2_binary64_20317 tan-+PI_binary64_20316 tan-PI_binary64_20315 tan-PI/3_binary64_20314 tan-PI/4_binary64_20313 tan-PI/6_binary64_20312 cos-+PI/2_binary64_20311 cos-+PI_binary64_20310 cos-PI_binary64_20309 cos-PI/2_binary64_20308 cos-PI/3_binary64_20307 cos-PI/4_binary64_20306 cos-PI/6_binary64_20305 sin-+PI/2_binary64_20304 sin-+PI_binary64_20303 sin-PI_binary64_20302 sin-PI/2_binary64_20301 sin-PI/3_binary64_20300 sin-PI/4_binary64_20299 sin-PI/6_binary64_20298 sub-1-sin_binary64_20297 sub-1-cos_binary64_20296 -1-add-sin_binary64_20295 -1-add-cos_binary64_20294 1-sub-sin_binary64_20293 1-sub-cos_binary64_20292 cos-sin-sum_binary64_20291 log-E_binary64_20287 log-pow_binary64_20286 log-rec_binary64_20285 log-div_binary64_20284 log-prod_binary64_20283 pow-base-0_binary64_20281 unpow1/3_binary64_20264 unpow3_binary64_20263 unpow2_binary64_20262 unpow1/2_binary64_20261 pow-plus_binary64_20260 exp-to-pow_binary64_20259 pow-base-1_binary64_20257 unpow0_binary64_20256 unpow1_binary64_20255 unpow-1_binary64_20254 exp-lft-cube_binary64_20253 exp-lft-sqr_binary64_20252 exp-cbrt_binary64_20251 exp-sqrt_binary64_20250 exp-prod_binary64_20249 div-exp_binary64_20248 rec-exp_binary64_20247 prod-exp_binary64_20246 exp-diff_binary64_20245 exp-neg_binary64_20244 exp-sum_binary64_20243 e-exp-1_binary64_20242 1-exp_binary64_20241 exp-1-e_binary64_20240 exp-0_binary64_20239 rem-log-exp_binary64_20238 rem-exp-log_binary64_20237 cube-unmult_binary64_20234 cube-mult_binary64_20227 cube-div_binary64_20226 cube-prod_binary64_20225 cube-neg_binary64_20224 rem-3cbrt-rft_binary64_20223 rem-3cbrt-lft_binary64_20222 rem-cbrt-cube_binary64_20221 rem-cube-cbrt_binary64_20220 sqr-abs_binary64_20212 sqr-neg_binary64_20211 rem-sqrt-square_binary64_20210 rem-square-sqrt_binary64_20209 times-frac_binary64_20203 div-sub_binary64_20202 neg-mul-1_binary64_20193 neg-sub0_binary64_20192 unsub-neg_binary64_20191 sub-neg_binary64_20190 mul-1-neg_binary64_20189 /-rgt-identity_binary64_20188 *-rgt-identity_binary64_20187 *-lft-identity_binary64_20186 remove-double-neg_binary64_20185 sub0-neg_binary64_20184 --rgt-identity_binary64_20183 +-rgt-identity_binary64_20182 +-lft-identity_binary64_20181 mul0-rgt_binary64_20180 mul0-lft_binary64_20179 div0_binary64_20178 *-inverses_binary64_20177 +-inverses_binary64_20176 lft-mult-inverse_binary64_20175 rgt-mult-inverse_binary64_20174 remove-double-div_binary64_20173 pow-sqr_binary64_20170 sqr-pow_binary64_20169 difference-of-sqr--1_binary64_20168 difference-of-sqr-1_binary64_20167 difference-of-squares_binary64_20166 unswap-sqr_binary64_20165 swap-sqr_binary64_20164 cancel-sign-sub-inv_binary64_20163 cancel-sign-sub_binary64_20162 distribute-neg-frac_binary64_20161 distribute-frac-neg_binary64_20160 distribute-neg-out_binary64_20159 distribute-neg-in_binary64_20158 distribute-rgt-neg-out_binary64_20157 distribute-lft-neg-out_binary64_20156 distribute-rgt-neg-in_binary64_20155 distribute-lft-neg-in_binary64_20154 distribute-rgt1-in_binary64_20153 distribute-lft1-in_binary64_20152 distribute-rgt-out--_binary64_20151 distribute-rgt-out_binary64_20150 distribute-lft-out--_binary64_20149 distribute-lft-out_binary64_20148 distribute-rgt-in_binary64_20147 distribute-lft-in_binary64_20146 count-2_binary64_20145 associate-/l/_binary64_20144 associate-/r/_binary64_20143 associate-/l*_binary64_20142 associate-/r*_binary64_20141 associate-*l/_binary64_20140 associate-*r/_binary64_20139 associate--r-_binary64_20136 associate--l-_binary64_20135 associate--l+_binary64_20134 associate--r+_binary64_20133 associate-+l-_binary64_20132 associate-+r-_binary64_20131 associate-+l+_binary64_20130 associate-+r+_binary64_20129 +-commutative_binary64_20127 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 7 |
| 1 | 7 | 7 |
| 2 | 10 | 7 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 0 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Compiled 10 to 8 computations (20% saved)
| 1× | rewrite-expression-head |
Compiled 0 to 0 computations (0% saved)
Compiled 0 to 0 computations (0% saved)
| 1× | egg-herbie |
| 0× | not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same erfc-erf_binary64_20460 erf-erfc_binary64_20459 erf-odd_binary64_20458 if-if-and-not_binary64_20457 if-if-and_binary64_20456 if-if-or-not_binary64_20455 if-if-or_binary64_20454 if-not_binary64_20453 if-same_binary64_20452 if-false_binary64_20451 if-true_binary64_20450 not-gte_binary64_20449 not-lte_binary64_20448 not-gt_binary64_20447 not-lt_binary64_20446 gte-same_binary64_20445 lte-same_binary64_20444 gt-same_binary64_20443 lt-same_binary64_20442 sinh---cosh_binary64_20389 sinh-+-cosh_binary64_20388 sinh-cosh_binary64_20387 tanh-def-c_binary64_20386 tanh-def-b_binary64_20385 tanh-def-a_binary64_20384 cosh-def_binary64_20383 sinh-def_binary64_20382 tan-neg_binary64_20329 cos-neg_binary64_20328 sin-neg_binary64_20327 tan-0_binary64_20326 cos-0_binary64_20325 sin-0_binary64_20324 hang-m-tan_binary64_20323 hang-p-tan_binary64_20322 hang-m0-tan_binary64_20321 hang-p0-tan_binary64_20320 hang-0m-tan_binary64_20319 hang-0p-tan_binary64_20318 tan-+PI/2_binary64_20317 tan-+PI_binary64_20316 tan-PI_binary64_20315 tan-PI/3_binary64_20314 tan-PI/4_binary64_20313 tan-PI/6_binary64_20312 cos-+PI/2_binary64_20311 cos-+PI_binary64_20310 cos-PI_binary64_20309 cos-PI/2_binary64_20308 cos-PI/3_binary64_20307 cos-PI/4_binary64_20306 cos-PI/6_binary64_20305 sin-+PI/2_binary64_20304 sin-+PI_binary64_20303 sin-PI_binary64_20302 sin-PI/2_binary64_20301 sin-PI/3_binary64_20300 sin-PI/4_binary64_20299 sin-PI/6_binary64_20298 sub-1-sin_binary64_20297 sub-1-cos_binary64_20296 -1-add-sin_binary64_20295 -1-add-cos_binary64_20294 1-sub-sin_binary64_20293 1-sub-cos_binary64_20292 cos-sin-sum_binary64_20291 log-E_binary64_20287 log-pow_binary64_20286 log-rec_binary64_20285 log-div_binary64_20284 log-prod_binary64_20283 pow-base-0_binary64_20281 unpow1/3_binary64_20264 unpow3_binary64_20263 unpow2_binary64_20262 unpow1/2_binary64_20261 pow-plus_binary64_20260 exp-to-pow_binary64_20259 pow-base-1_binary64_20257 unpow0_binary64_20256 unpow1_binary64_20255 unpow-1_binary64_20254 exp-lft-cube_binary64_20253 exp-lft-sqr_binary64_20252 exp-cbrt_binary64_20251 exp-sqrt_binary64_20250 exp-prod_binary64_20249 div-exp_binary64_20248 rec-exp_binary64_20247 prod-exp_binary64_20246 exp-diff_binary64_20245 exp-neg_binary64_20244 exp-sum_binary64_20243 e-exp-1_binary64_20242 1-exp_binary64_20241 exp-1-e_binary64_20240 exp-0_binary64_20239 rem-log-exp_binary64_20238 rem-exp-log_binary64_20237 cube-unmult_binary64_20234 cube-mult_binary64_20227 cube-div_binary64_20226 cube-prod_binary64_20225 cube-neg_binary64_20224 rem-3cbrt-rft_binary64_20223 rem-3cbrt-lft_binary64_20222 rem-cbrt-cube_binary64_20221 rem-cube-cbrt_binary64_20220 sqr-abs_binary64_20212 sqr-neg_binary64_20211 rem-sqrt-square_binary64_20210 rem-square-sqrt_binary64_20209 times-frac_binary64_20203 div-sub_binary64_20202 neg-mul-1_binary64_20193 neg-sub0_binary64_20192 unsub-neg_binary64_20191 sub-neg_binary64_20190 mul-1-neg_binary64_20189 /-rgt-identity_binary64_20188 *-rgt-identity_binary64_20187 *-lft-identity_binary64_20186 remove-double-neg_binary64_20185 sub0-neg_binary64_20184 --rgt-identity_binary64_20183 +-rgt-identity_binary64_20182 +-lft-identity_binary64_20181 mul0-rgt_binary64_20180 mul0-lft_binary64_20179 div0_binary64_20178 *-inverses_binary64_20177 +-inverses_binary64_20176 lft-mult-inverse_binary64_20175 rgt-mult-inverse_binary64_20174 remove-double-div_binary64_20173 pow-sqr_binary64_20170 sqr-pow_binary64_20169 difference-of-sqr--1_binary64_20168 difference-of-sqr-1_binary64_20167 difference-of-squares_binary64_20166 unswap-sqr_binary64_20165 swap-sqr_binary64_20164 cancel-sign-sub-inv_binary64_20163 cancel-sign-sub_binary64_20162 distribute-neg-frac_binary64_20161 distribute-frac-neg_binary64_20160 distribute-neg-out_binary64_20159 distribute-neg-in_binary64_20158 distribute-rgt-neg-out_binary64_20157 distribute-lft-neg-out_binary64_20156 distribute-rgt-neg-in_binary64_20155 distribute-lft-neg-in_binary64_20154 distribute-rgt1-in_binary64_20153 distribute-lft1-in_binary64_20152 distribute-rgt-out--_binary64_20151 distribute-rgt-out_binary64_20150 distribute-lft-out--_binary64_20149 distribute-lft-out_binary64_20148 distribute-rgt-in_binary64_20147 distribute-lft-in_binary64_20146 count-2_binary64_20145 associate-/l/_binary64_20144 associate-/r/_binary64_20143 associate-/l*_binary64_20142 associate-/r*_binary64_20141 associate-*l/_binary64_20140 associate-*r/_binary64_20139 associate-*l*_binary64_20138 associate-*r*_binary64_20137 associate--r-_binary64_20136 associate--l-_binary64_20135 associate--l+_binary64_20134 associate--r+_binary64_20133 associate-+l-_binary64_20132 associate-+r-_binary64_20131 associate-+l+_binary64_20130 associate-+r+_binary64_20129 *-commutative_binary64_20128 +-commutative_binary64_20127 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 0 | 0 | 0 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 0 | 1 | 1 |
Compiled 5 to 4 computations (20% saved)
| 1× | egg-herbie |
| 2× | *-commutative_binary64_20128 |
| 0× | not-true not-false not-not not-and not-or and-true-l and-true-r and-false-l and-false-r and-same or-true-l or-true-r or-false-l or-false-r or-same if-if-and-not_binary64_20457 if-if-and_binary64_20456 if-if-or-not_binary64_20455 if-if-or_binary64_20454 if-not_binary64_20453 if-same_binary64_20452 if-false_binary64_20451 if-true_binary64_20450 tan-0_binary64_20326 cos-0_binary64_20325 sin-0_binary64_20324 unpow1_binary64_20255 e-exp-1_binary64_20242 1-exp_binary64_20241 exp-1-e_binary64_20240 exp-0_binary64_20239 sqr-abs_binary64_20212 sqr-neg_binary64_20211 neg-mul-1_binary64_20193 neg-sub0_binary64_20192 unsub-neg_binary64_20191 sub-neg_binary64_20190 mul-1-neg_binary64_20189 /-rgt-identity_binary64_20188 *-rgt-identity_binary64_20187 *-lft-identity_binary64_20186 remove-double-neg_binary64_20185 sub0-neg_binary64_20184 --rgt-identity_binary64_20183 +-rgt-identity_binary64_20182 +-lft-identity_binary64_20181 cancel-sign-sub-inv_binary64_20163 cancel-sign-sub_binary64_20162 distribute-neg-frac_binary64_20161 distribute-frac-neg_binary64_20160 distribute-neg-out_binary64_20159 distribute-neg-in_binary64_20158 distribute-rgt-neg-out_binary64_20157 distribute-lft-neg-out_binary64_20156 distribute-rgt-neg-in_binary64_20155 distribute-lft-neg-in_binary64_20154 +-commutative_binary64_20127 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 7 |
| 1 | 7 | 7 |
(=> (* f64 (* f64 h0 2) h0))
*-commutative_binary64_20128 =>
(* f64 h0 (* f64 h0 2)) |
| 1× | intervals |
| 130.0ms | 8000× | body | 128 | valid |
| 0.0ms | 4× | body | 128 | invalid |
Compiled 21 to 18 computations (14.3% saved)
Loading profile data...