Time bar (total: 956.0ms)
| 1× | search |
| 2× | egg-herbie |
| 4× | associate-+l+_binary64_17061 |
| 2× | count-2_binary64_17076 associate-+r+_binary64_17060 *-commutative_binary64_17059 +-commutative_binary64_17058 |
| 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_17391 erf-erfc_binary64_17390 erf-odd_binary64_17389 if-if-and-not_binary64_17388 if-if-and_binary64_17387 if-if-or-not_binary64_17386 if-if-or_binary64_17385 if-not_binary64_17384 if-same_binary64_17383 if-false_binary64_17382 if-true_binary64_17381 not-gte_binary64_17380 not-lte_binary64_17379 not-gt_binary64_17378 not-lt_binary64_17377 gte-same_binary64_17376 lte-same_binary64_17375 gt-same_binary64_17374 lt-same_binary64_17373 sinh---cosh_binary64_17320 sinh-+-cosh_binary64_17319 sinh-cosh_binary64_17318 tanh-def-c_binary64_17317 tanh-def-b_binary64_17316 tanh-def-a_binary64_17315 cosh-def_binary64_17314 sinh-def_binary64_17313 tan-neg_binary64_17260 cos-neg_binary64_17259 sin-neg_binary64_17258 tan-0_binary64_17257 cos-0_binary64_17256 sin-0_binary64_17255 hang-m-tan_binary64_17254 hang-p-tan_binary64_17253 hang-m0-tan_binary64_17252 hang-p0-tan_binary64_17251 hang-0m-tan_binary64_17250 hang-0p-tan_binary64_17249 tan-+PI/2_binary64_17248 tan-+PI_binary64_17247 tan-PI_binary64_17246 tan-PI/3_binary64_17245 tan-PI/4_binary64_17244 tan-PI/6_binary64_17243 cos-+PI/2_binary64_17242 cos-+PI_binary64_17241 cos-PI_binary64_17240 cos-PI/2_binary64_17239 cos-PI/3_binary64_17238 cos-PI/4_binary64_17237 cos-PI/6_binary64_17236 sin-+PI/2_binary64_17235 sin-+PI_binary64_17234 sin-PI_binary64_17233 sin-PI/2_binary64_17232 sin-PI/3_binary64_17231 sin-PI/4_binary64_17230 sin-PI/6_binary64_17229 sub-1-sin_binary64_17228 sub-1-cos_binary64_17227 -1-add-sin_binary64_17226 -1-add-cos_binary64_17225 1-sub-sin_binary64_17224 1-sub-cos_binary64_17223 cos-sin-sum_binary64_17222 log-E_binary64_17218 log-pow_binary64_17217 log-rec_binary64_17216 log-div_binary64_17215 log-prod_binary64_17214 pow-base-0_binary64_17212 unpow1/3_binary64_17195 unpow3_binary64_17194 unpow2_binary64_17193 unpow1/2_binary64_17192 pow-plus_binary64_17191 exp-to-pow_binary64_17190 pow-base-1_binary64_17188 unpow0_binary64_17187 unpow1_binary64_17186 unpow-1_binary64_17185 exp-lft-cube_binary64_17184 exp-lft-sqr_binary64_17183 exp-cbrt_binary64_17182 exp-sqrt_binary64_17181 exp-prod_binary64_17180 div-exp_binary64_17179 rec-exp_binary64_17178 prod-exp_binary64_17177 exp-diff_binary64_17176 exp-neg_binary64_17175 exp-sum_binary64_17174 e-exp-1_binary64_17173 1-exp_binary64_17172 exp-1-e_binary64_17171 exp-0_binary64_17170 rem-log-exp_binary64_17169 rem-exp-log_binary64_17168 cube-unmult_binary64_17165 cube-mult_binary64_17158 cube-div_binary64_17157 cube-prod_binary64_17156 cube-neg_binary64_17155 rem-3cbrt-rft_binary64_17154 rem-3cbrt-lft_binary64_17153 rem-cbrt-cube_binary64_17152 rem-cube-cbrt_binary64_17151 sqr-abs_binary64_17143 sqr-neg_binary64_17142 rem-sqrt-square_binary64_17141 rem-square-sqrt_binary64_17140 times-frac_binary64_17134 div-sub_binary64_17133 neg-mul-1_binary64_17124 neg-sub0_binary64_17123 unsub-neg_binary64_17122 sub-neg_binary64_17121 mul-1-neg_binary64_17120 /-rgt-identity_binary64_17119 *-rgt-identity_binary64_17118 *-lft-identity_binary64_17117 remove-double-neg_binary64_17116 sub0-neg_binary64_17115 --rgt-identity_binary64_17114 +-rgt-identity_binary64_17113 +-lft-identity_binary64_17112 mul0-rgt_binary64_17111 mul0-lft_binary64_17110 div0_binary64_17109 *-inverses_binary64_17108 +-inverses_binary64_17107 lft-mult-inverse_binary64_17106 rgt-mult-inverse_binary64_17105 remove-double-div_binary64_17104 pow-sqr_binary64_17101 sqr-pow_binary64_17100 difference-of-sqr--1_binary64_17099 difference-of-sqr-1_binary64_17098 difference-of-squares_binary64_17097 unswap-sqr_binary64_17096 swap-sqr_binary64_17095 cancel-sign-sub-inv_binary64_17094 cancel-sign-sub_binary64_17093 distribute-neg-frac_binary64_17092 distribute-frac-neg_binary64_17091 distribute-neg-out_binary64_17090 distribute-neg-in_binary64_17089 distribute-rgt-neg-out_binary64_17088 distribute-lft-neg-out_binary64_17087 distribute-rgt-neg-in_binary64_17086 distribute-lft-neg-in_binary64_17085 distribute-rgt1-in_binary64_17084 distribute-lft1-in_binary64_17083 distribute-rgt-out--_binary64_17082 distribute-rgt-out_binary64_17081 distribute-lft-out--_binary64_17080 distribute-lft-out_binary64_17079 distribute-rgt-in_binary64_17078 distribute-lft-in_binary64_17077 associate-/l/_binary64_17075 associate-/r/_binary64_17074 associate-/l*_binary64_17073 associate-/r*_binary64_17072 associate-*l/_binary64_17071 associate-*r/_binary64_17070 associate-*l*_binary64_17069 associate-*r*_binary64_17068 associate--r-_binary64_17067 associate--l-_binary64_17066 associate--l+_binary64_17065 associate--r+_binary64_17064 associate-+l-_binary64_17063 associate-+r-_binary64_17062 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 7 | 14 |
| 1 | 9 | 14 |
| 2 | 15 | 14 |
| 3 | 18 | 14 |
| 4 | 20 | 14 |
| 5 | 20 | 14 |
| 0 | 2 | 2 |
| 1 | 2 | 2 |
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.9% | 0.1% | 0 |
| 0% | 99.9% | 0.1% | 1 |
| 0% | 99.9% | 0.1% | 2 |
| 0% | 99.9% | 0.1% | 3 |
| 25% | 74.9% | 0.1% | 4 |
| 37.5% | 62.4% | 0.1% | 5 |
| 56.2% | 43.7% | 0.1% | 6 |
| 65.6% | 34.3% | 0.1% | 7 |
| 76.5% | 23.4% | 0.1% | 8 |
| 82% | 18% | 0.1% | 9 |
| 87.8% | 12.1% | 0.1% | 10 |
| 90.7% | 9.2% | 0.1% | 11 |
| 93.8% | 6.1% | 0.1% | 12 |
| 95.3% | 4.6% | 0.1% | 13 |
| 96.8% | 3.1% | 0.1% | 14 |
Compiled 6 to 5 computations (16.7% saved)
| 1× | intervals |
| 4.0ms | 256× | body | 128 | valid |
Compiled 11 to 11 computations (0% saved)
| 1× | egg-herbie |
| 2× | associate-+l+_binary64_17061 +-commutative_binary64_17058 |
| 1× | count-2_binary64_17076 associate-+r+_binary64_17060 *-commutative_binary64_17059 |
| 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_17391 erf-erfc_binary64_17390 erf-odd_binary64_17389 if-if-and-not_binary64_17388 if-if-and_binary64_17387 if-if-or-not_binary64_17386 if-if-or_binary64_17385 if-not_binary64_17384 if-same_binary64_17383 if-false_binary64_17382 if-true_binary64_17381 not-gte_binary64_17380 not-lte_binary64_17379 not-gt_binary64_17378 not-lt_binary64_17377 gte-same_binary64_17376 lte-same_binary64_17375 gt-same_binary64_17374 lt-same_binary64_17373 sinh---cosh_binary64_17320 sinh-+-cosh_binary64_17319 sinh-cosh_binary64_17318 tanh-def-c_binary64_17317 tanh-def-b_binary64_17316 tanh-def-a_binary64_17315 cosh-def_binary64_17314 sinh-def_binary64_17313 tan-neg_binary64_17260 cos-neg_binary64_17259 sin-neg_binary64_17258 tan-0_binary64_17257 cos-0_binary64_17256 sin-0_binary64_17255 hang-m-tan_binary64_17254 hang-p-tan_binary64_17253 hang-m0-tan_binary64_17252 hang-p0-tan_binary64_17251 hang-0m-tan_binary64_17250 hang-0p-tan_binary64_17249 tan-+PI/2_binary64_17248 tan-+PI_binary64_17247 tan-PI_binary64_17246 tan-PI/3_binary64_17245 tan-PI/4_binary64_17244 tan-PI/6_binary64_17243 cos-+PI/2_binary64_17242 cos-+PI_binary64_17241 cos-PI_binary64_17240 cos-PI/2_binary64_17239 cos-PI/3_binary64_17238 cos-PI/4_binary64_17237 cos-PI/6_binary64_17236 sin-+PI/2_binary64_17235 sin-+PI_binary64_17234 sin-PI_binary64_17233 sin-PI/2_binary64_17232 sin-PI/3_binary64_17231 sin-PI/4_binary64_17230 sin-PI/6_binary64_17229 sub-1-sin_binary64_17228 sub-1-cos_binary64_17227 -1-add-sin_binary64_17226 -1-add-cos_binary64_17225 1-sub-sin_binary64_17224 1-sub-cos_binary64_17223 cos-sin-sum_binary64_17222 log-E_binary64_17218 log-pow_binary64_17217 log-rec_binary64_17216 log-div_binary64_17215 log-prod_binary64_17214 pow-base-0_binary64_17212 unpow1/3_binary64_17195 unpow3_binary64_17194 unpow2_binary64_17193 unpow1/2_binary64_17192 pow-plus_binary64_17191 exp-to-pow_binary64_17190 pow-base-1_binary64_17188 unpow0_binary64_17187 unpow1_binary64_17186 unpow-1_binary64_17185 exp-lft-cube_binary64_17184 exp-lft-sqr_binary64_17183 exp-cbrt_binary64_17182 exp-sqrt_binary64_17181 exp-prod_binary64_17180 div-exp_binary64_17179 rec-exp_binary64_17178 prod-exp_binary64_17177 exp-diff_binary64_17176 exp-neg_binary64_17175 exp-sum_binary64_17174 e-exp-1_binary64_17173 1-exp_binary64_17172 exp-1-e_binary64_17171 exp-0_binary64_17170 rem-log-exp_binary64_17169 rem-exp-log_binary64_17168 cube-unmult_binary64_17165 cube-mult_binary64_17158 cube-div_binary64_17157 cube-prod_binary64_17156 cube-neg_binary64_17155 rem-3cbrt-rft_binary64_17154 rem-3cbrt-lft_binary64_17153 rem-cbrt-cube_binary64_17152 rem-cube-cbrt_binary64_17151 sqr-abs_binary64_17143 sqr-neg_binary64_17142 rem-sqrt-square_binary64_17141 rem-square-sqrt_binary64_17140 times-frac_binary64_17134 div-sub_binary64_17133 neg-mul-1_binary64_17124 neg-sub0_binary64_17123 unsub-neg_binary64_17122 sub-neg_binary64_17121 mul-1-neg_binary64_17120 /-rgt-identity_binary64_17119 *-rgt-identity_binary64_17118 *-lft-identity_binary64_17117 remove-double-neg_binary64_17116 sub0-neg_binary64_17115 --rgt-identity_binary64_17114 +-rgt-identity_binary64_17113 +-lft-identity_binary64_17112 mul0-rgt_binary64_17111 mul0-lft_binary64_17110 div0_binary64_17109 *-inverses_binary64_17108 +-inverses_binary64_17107 lft-mult-inverse_binary64_17106 rgt-mult-inverse_binary64_17105 remove-double-div_binary64_17104 pow-sqr_binary64_17101 sqr-pow_binary64_17100 difference-of-sqr--1_binary64_17099 difference-of-sqr-1_binary64_17098 difference-of-squares_binary64_17097 unswap-sqr_binary64_17096 swap-sqr_binary64_17095 cancel-sign-sub-inv_binary64_17094 cancel-sign-sub_binary64_17093 distribute-neg-frac_binary64_17092 distribute-frac-neg_binary64_17091 distribute-neg-out_binary64_17090 distribute-neg-in_binary64_17089 distribute-rgt-neg-out_binary64_17088 distribute-lft-neg-out_binary64_17087 distribute-rgt-neg-in_binary64_17086 distribute-lft-neg-in_binary64_17085 distribute-rgt1-in_binary64_17084 distribute-lft1-in_binary64_17083 distribute-rgt-out--_binary64_17082 distribute-rgt-out_binary64_17081 distribute-lft-out--_binary64_17080 distribute-lft-out_binary64_17079 distribute-rgt-in_binary64_17078 distribute-lft-in_binary64_17077 associate-/l/_binary64_17075 associate-/r/_binary64_17074 associate-/l*_binary64_17073 associate-/r*_binary64_17072 associate-*l/_binary64_17071 associate-*r/_binary64_17070 associate-*l*_binary64_17069 associate-*r*_binary64_17068 associate--r-_binary64_17067 associate--l-_binary64_17066 associate--l+_binary64_17065 associate--r+_binary64_17064 associate-+l-_binary64_17063 associate-+r-_binary64_17062 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5 | 7 |
| 1 | 7 | 7 |
| 2 | 10 | 7 |
| 3 | 12 | 7 |
| 4 | 13 | 7 |
| 5 | 13 | 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)
Found 1 expressions with local error:
| 0.0b | (+.f64 (+.f64 x y) x) |
| 1× | rewrite-expression-head |
| 6× | add-log-exp_binary64_17167 *-un-lft-identity_binary64_17128 |
| 3× | sum-log_binary64_17219 distribute-lft-out_binary64_17079 |
| 1× | pow1_binary64_17189 add-exp-log_binary64_17166 add-cbrt-cube_binary64_17164 add-cube-cbrt_binary64_17163 add-sqr-sqrt_binary64_17150 flip3-+_binary64_17131 flip-+_binary64_17102 associate-+l+_binary64_17061 +-commutative_binary64_17058 |
1 calls:
| 10.0ms | (+.f64 (+.f64 x y) x) |
Compiled 164 to 49 computations (70.1% saved)
1 calls:
| 79.0ms | (+.f64 (+.f64 x y) x) |
Compiled 114 to 104 computations (8.8% saved)
| 1× | egg-herbie |
| 786× | unsub-neg_binary64_17122 |
| 509× | sub-neg_binary64_17121 |
| 467× | associate--r-_binary64_17067 |
| 438× | associate--l+_binary64_17065 |
| 429× | distribute-neg-out_binary64_17090 |
| 421× | distribute-rgt-in_binary64_17078 |
| 387× | distribute-lft-in_binary64_17077 |
| 316× | associate-*l*_binary64_17069 |
| 257× | associate--l-_binary64_17066 |
| 230× | cancel-sign-sub-inv_binary64_17094 |
| 207× | associate-*r*_binary64_17068 |
| 184× | +-commutative_binary64_17058 |
| 134× | unswap-sqr_binary64_17096 |
| 118× | *-commutative_binary64_17059 |
| 116× | distribute-neg-in_binary64_17089 |
| 113× | neg-mul-1_binary64_17124 |
| 112× | neg-sub0_binary64_17123 |
| 106× | distribute-rgt-out_binary64_17081 |
| 92× | exp-sum_binary64_17174 |
| 82× | associate-+l+_binary64_17061 |
| 69× | associate--r+_binary64_17064 |
| 62× | associate-+l-_binary64_17063 |
| 61× | distribute-lft-out_binary64_17079 |
| 57× | exp-diff_binary64_17176 |
| 56× | associate-+r+_binary64_17060 |
| 48× | distribute-lft-neg-out_binary64_17087 associate-+r-_binary64_17062 |
| 47× | distribute-lft-out--_binary64_17080 |
| 45× | distribute-rgt-neg-out_binary64_17088 |
| 38× | distribute-rgt-out--_binary64_17082 |
| 30× | sub0-neg_binary64_17115 |
| 29× | sqr-pow_binary64_17100 |
| 18× | distribute-rgt-neg-in_binary64_17086 distribute-lft-neg-in_binary64_17085 |
| 12× | exp-prod_binary64_17180 |
| 11× | remove-double-neg_binary64_17116 |
| 10× | cube-unmult_binary64_17165 +-rgt-identity_binary64_17113 |
| 9× | --rgt-identity_binary64_17114 |
| 8× | cube-prod_binary64_17156 count-2_binary64_17076 |
| 7× | *-lft-identity_binary64_17117 swap-sqr_binary64_17095 |
| 6× | times-frac_binary64_17134 div-sub_binary64_17133 +-lft-identity_binary64_17112 +-inverses_binary64_17107 difference-of-squares_binary64_17097 |
| 5× | mul0-lft_binary64_17110 |
| 4× | pow-plus_binary64_17191 distribute-rgt1-in_binary64_17084 distribute-lft1-in_binary64_17083 |
| 3× | prod-exp_binary64_17177 cube-neg_binary64_17155 sqr-neg_binary64_17142 mul0-rgt_binary64_17111 pow-sqr_binary64_17101 cancel-sign-sub_binary64_17093 |
| 2× | unpow3_binary64_17194 cube-mult_binary64_17158 |
| 1× | unpow1_binary64_17186 exp-neg_binary64_17175 1-exp_binary64_17172 mul-1-neg_binary64_17120 distribute-frac-neg_binary64_17091 |
| 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_17391 erf-erfc_binary64_17390 erf-odd_binary64_17389 if-if-and-not_binary64_17388 if-if-and_binary64_17387 if-if-or-not_binary64_17386 if-if-or_binary64_17385 if-not_binary64_17384 if-same_binary64_17383 if-false_binary64_17382 if-true_binary64_17381 not-gte_binary64_17380 not-lte_binary64_17379 not-gt_binary64_17378 not-lt_binary64_17377 gte-same_binary64_17376 lte-same_binary64_17375 gt-same_binary64_17374 lt-same_binary64_17373 sinh---cosh_binary64_17320 sinh-+-cosh_binary64_17319 sinh-cosh_binary64_17318 tanh-def-c_binary64_17317 tanh-def-b_binary64_17316 tanh-def-a_binary64_17315 cosh-def_binary64_17314 sinh-def_binary64_17313 tan-neg_binary64_17260 cos-neg_binary64_17259 sin-neg_binary64_17258 tan-0_binary64_17257 cos-0_binary64_17256 sin-0_binary64_17255 hang-m-tan_binary64_17254 hang-p-tan_binary64_17253 hang-m0-tan_binary64_17252 hang-p0-tan_binary64_17251 hang-0m-tan_binary64_17250 hang-0p-tan_binary64_17249 tan-+PI/2_binary64_17248 tan-+PI_binary64_17247 tan-PI_binary64_17246 tan-PI/3_binary64_17245 tan-PI/4_binary64_17244 tan-PI/6_binary64_17243 cos-+PI/2_binary64_17242 cos-+PI_binary64_17241 cos-PI_binary64_17240 cos-PI/2_binary64_17239 cos-PI/3_binary64_17238 cos-PI/4_binary64_17237 cos-PI/6_binary64_17236 sin-+PI/2_binary64_17235 sin-+PI_binary64_17234 sin-PI_binary64_17233 sin-PI/2_binary64_17232 sin-PI/3_binary64_17231 sin-PI/4_binary64_17230 sin-PI/6_binary64_17229 sub-1-sin_binary64_17228 sub-1-cos_binary64_17227 -1-add-sin_binary64_17226 -1-add-cos_binary64_17225 1-sub-sin_binary64_17224 1-sub-cos_binary64_17223 cos-sin-sum_binary64_17222 log-E_binary64_17218 log-pow_binary64_17217 log-rec_binary64_17216 log-div_binary64_17215 log-prod_binary64_17214 pow-base-0_binary64_17212 unpow1/3_binary64_17195 unpow2_binary64_17193 unpow1/2_binary64_17192 exp-to-pow_binary64_17190 pow-base-1_binary64_17188 unpow0_binary64_17187 unpow-1_binary64_17185 exp-lft-cube_binary64_17184 exp-lft-sqr_binary64_17183 exp-cbrt_binary64_17182 exp-sqrt_binary64_17181 div-exp_binary64_17179 rec-exp_binary64_17178 e-exp-1_binary64_17173 exp-1-e_binary64_17171 exp-0_binary64_17170 rem-log-exp_binary64_17169 rem-exp-log_binary64_17168 cube-div_binary64_17157 rem-3cbrt-rft_binary64_17154 rem-3cbrt-lft_binary64_17153 rem-cbrt-cube_binary64_17152 rem-cube-cbrt_binary64_17151 sqr-abs_binary64_17143 rem-sqrt-square_binary64_17141 rem-square-sqrt_binary64_17140 /-rgt-identity_binary64_17119 *-rgt-identity_binary64_17118 div0_binary64_17109 *-inverses_binary64_17108 lft-mult-inverse_binary64_17106 rgt-mult-inverse_binary64_17105 remove-double-div_binary64_17104 difference-of-sqr--1_binary64_17099 difference-of-sqr-1_binary64_17098 distribute-neg-frac_binary64_17092 associate-/l/_binary64_17075 associate-/r/_binary64_17074 associate-/l*_binary64_17073 associate-/r*_binary64_17072 associate-*l/_binary64_17071 associate-*r/_binary64_17070 |
Useful iterations: 3 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 33 | 235 |
| 1 | 85 | 220 |
| 2 | 210 | 210 |
| 3 | 634 | 205 |
| 4 | 1516 | 205 |
| 5 | 3228 | 205 |
| 6 | 4958 | 205 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 19 | 1 | 20 |
| Fresh | 0 | 0 | 0 |
| Picked | 1 | 0 | 1 |
| Done | 0 | 0 | 0 |
| Total | 20 | 1 | 21 |
Compiled 155 to 36 computations (76.8% 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_17391 erf-erfc_binary64_17390 erf-odd_binary64_17389 if-if-and-not_binary64_17388 if-if-and_binary64_17387 if-if-or-not_binary64_17386 if-if-or_binary64_17385 if-not_binary64_17384 if-same_binary64_17383 if-false_binary64_17382 if-true_binary64_17381 not-gte_binary64_17380 not-lte_binary64_17379 not-gt_binary64_17378 not-lt_binary64_17377 gte-same_binary64_17376 lte-same_binary64_17375 gt-same_binary64_17374 lt-same_binary64_17373 sinh---cosh_binary64_17320 sinh-+-cosh_binary64_17319 sinh-cosh_binary64_17318 tanh-def-c_binary64_17317 tanh-def-b_binary64_17316 tanh-def-a_binary64_17315 cosh-def_binary64_17314 sinh-def_binary64_17313 tan-neg_binary64_17260 cos-neg_binary64_17259 sin-neg_binary64_17258 tan-0_binary64_17257 cos-0_binary64_17256 sin-0_binary64_17255 hang-m-tan_binary64_17254 hang-p-tan_binary64_17253 hang-m0-tan_binary64_17252 hang-p0-tan_binary64_17251 hang-0m-tan_binary64_17250 hang-0p-tan_binary64_17249 tan-+PI/2_binary64_17248 tan-+PI_binary64_17247 tan-PI_binary64_17246 tan-PI/3_binary64_17245 tan-PI/4_binary64_17244 tan-PI/6_binary64_17243 cos-+PI/2_binary64_17242 cos-+PI_binary64_17241 cos-PI_binary64_17240 cos-PI/2_binary64_17239 cos-PI/3_binary64_17238 cos-PI/4_binary64_17237 cos-PI/6_binary64_17236 sin-+PI/2_binary64_17235 sin-+PI_binary64_17234 sin-PI_binary64_17233 sin-PI/2_binary64_17232 sin-PI/3_binary64_17231 sin-PI/4_binary64_17230 sin-PI/6_binary64_17229 sub-1-sin_binary64_17228 sub-1-cos_binary64_17227 -1-add-sin_binary64_17226 -1-add-cos_binary64_17225 1-sub-sin_binary64_17224 1-sub-cos_binary64_17223 cos-sin-sum_binary64_17222 log-E_binary64_17218 log-pow_binary64_17217 log-rec_binary64_17216 log-div_binary64_17215 log-prod_binary64_17214 pow-base-0_binary64_17212 unpow1/3_binary64_17195 unpow3_binary64_17194 unpow2_binary64_17193 unpow1/2_binary64_17192 pow-plus_binary64_17191 exp-to-pow_binary64_17190 pow-base-1_binary64_17188 unpow0_binary64_17187 unpow1_binary64_17186 unpow-1_binary64_17185 exp-lft-cube_binary64_17184 exp-lft-sqr_binary64_17183 exp-cbrt_binary64_17182 exp-sqrt_binary64_17181 exp-prod_binary64_17180 div-exp_binary64_17179 rec-exp_binary64_17178 prod-exp_binary64_17177 exp-diff_binary64_17176 exp-neg_binary64_17175 exp-sum_binary64_17174 e-exp-1_binary64_17173 1-exp_binary64_17172 exp-1-e_binary64_17171 exp-0_binary64_17170 rem-log-exp_binary64_17169 rem-exp-log_binary64_17168 cube-unmult_binary64_17165 cube-mult_binary64_17158 cube-div_binary64_17157 cube-prod_binary64_17156 cube-neg_binary64_17155 rem-3cbrt-rft_binary64_17154 rem-3cbrt-lft_binary64_17153 rem-cbrt-cube_binary64_17152 rem-cube-cbrt_binary64_17151 sqr-abs_binary64_17143 sqr-neg_binary64_17142 rem-sqrt-square_binary64_17141 rem-square-sqrt_binary64_17140 times-frac_binary64_17134 div-sub_binary64_17133 neg-mul-1_binary64_17124 neg-sub0_binary64_17123 unsub-neg_binary64_17122 sub-neg_binary64_17121 mul-1-neg_binary64_17120 /-rgt-identity_binary64_17119 *-rgt-identity_binary64_17118 *-lft-identity_binary64_17117 remove-double-neg_binary64_17116 sub0-neg_binary64_17115 --rgt-identity_binary64_17114 +-rgt-identity_binary64_17113 +-lft-identity_binary64_17112 mul0-rgt_binary64_17111 mul0-lft_binary64_17110 div0_binary64_17109 *-inverses_binary64_17108 +-inverses_binary64_17107 lft-mult-inverse_binary64_17106 rgt-mult-inverse_binary64_17105 remove-double-div_binary64_17104 pow-sqr_binary64_17101 sqr-pow_binary64_17100 difference-of-sqr--1_binary64_17099 difference-of-sqr-1_binary64_17098 difference-of-squares_binary64_17097 unswap-sqr_binary64_17096 swap-sqr_binary64_17095 cancel-sign-sub-inv_binary64_17094 cancel-sign-sub_binary64_17093 distribute-neg-frac_binary64_17092 distribute-frac-neg_binary64_17091 distribute-neg-out_binary64_17090 distribute-neg-in_binary64_17089 distribute-rgt-neg-out_binary64_17088 distribute-lft-neg-out_binary64_17087 distribute-rgt-neg-in_binary64_17086 distribute-lft-neg-in_binary64_17085 distribute-rgt1-in_binary64_17084 distribute-lft1-in_binary64_17083 distribute-rgt-out--_binary64_17082 distribute-rgt-out_binary64_17081 distribute-lft-out--_binary64_17080 distribute-lft-out_binary64_17079 distribute-rgt-in_binary64_17078 distribute-lft-in_binary64_17077 count-2_binary64_17076 associate-/l/_binary64_17075 associate-/r/_binary64_17074 associate-/l*_binary64_17073 associate-/r*_binary64_17072 associate-*l/_binary64_17071 associate-*r/_binary64_17070 associate-*l*_binary64_17069 associate-*r*_binary64_17068 associate--r-_binary64_17067 associate--l-_binary64_17066 associate--l+_binary64_17065 associate--r+_binary64_17064 associate-+l-_binary64_17063 associate-+r-_binary64_17062 associate-+l+_binary64_17061 associate-+r+_binary64_17060 *-commutative_binary64_17059 +-commutative_binary64_17058 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 0 | 0 |
| 1 | 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 0 to 0 computations (0% saved)
Total 0b remaining (0%)
Threshold costs 0b (0%)
Compiled 298 to 174 computations (41.6% saved)
| 1× | egg-herbie |
| 1× | *-commutative_binary64_17059 +-commutative_binary64_17058 |
| 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_17388 if-if-and_binary64_17387 if-if-or-not_binary64_17386 if-if-or_binary64_17385 if-not_binary64_17384 if-same_binary64_17383 if-false_binary64_17382 if-true_binary64_17381 tan-0_binary64_17257 cos-0_binary64_17256 sin-0_binary64_17255 unpow1_binary64_17186 e-exp-1_binary64_17173 1-exp_binary64_17172 exp-1-e_binary64_17171 exp-0_binary64_17170 sqr-abs_binary64_17143 sqr-neg_binary64_17142 neg-mul-1_binary64_17124 neg-sub0_binary64_17123 unsub-neg_binary64_17122 sub-neg_binary64_17121 mul-1-neg_binary64_17120 /-rgt-identity_binary64_17119 *-rgt-identity_binary64_17118 *-lft-identity_binary64_17117 remove-double-neg_binary64_17116 sub0-neg_binary64_17115 --rgt-identity_binary64_17114 +-rgt-identity_binary64_17113 +-lft-identity_binary64_17112 cancel-sign-sub-inv_binary64_17094 cancel-sign-sub_binary64_17093 distribute-neg-frac_binary64_17092 distribute-frac-neg_binary64_17091 distribute-neg-out_binary64_17090 distribute-neg-in_binary64_17089 distribute-rgt-neg-out_binary64_17088 distribute-lft-neg-out_binary64_17087 distribute-rgt-neg-in_binary64_17086 distribute-lft-neg-in_binary64_17085 |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 6 | 7 |
| 1 | 8 | 7 |
| 2 | 8 | 7 |
| 1× | intervals |
| 131.0ms | 8000× | body | 128 | valid |
| 0.0ms | 4× | body | 128 | invalid |
Compiled 93 to 61 computations (34.4% saved)
Loading profile data...