Details

Time bar (total: 956.0ms)

analyze202.0ms (21.1%)

Algorithm
search
egg-herbie
Rules
associate-+l+_binary64_17061
count-2_binary64_17076 associate-+r+_binary64_17060 *-commutative_binary64_17059 +-commutative_binary64_17058
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0714
1914
21514
31814
42014
52014
022
122
Search
TrueOtherFalseIter
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
Compiler

Compiled 6 to 5 computations (16.7% saved)

sample12.0ms (1.3%)

Algorithm
intervals
Results
4.0ms256×body128valid
Compiler

Compiled 11 to 11 computations (0% saved)

simplify9.0ms (0.9%)

Algorithm
egg-herbie
Rules
associate-+l+_binary64_17061 +-commutative_binary64_17058
count-2_binary64_17076 associate-+r+_binary64_17060 *-commutative_binary64_17059
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
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
057
177
2107
3127
4137
5137

prune2.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
0.0b
Counts
2 → 1
Compiler

Compiled 10 to 8 computations (20% saved)

localize3.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.0b
(+.f64 (+.f64 x y) x)

rewrite22.0ms (2.3%)

Algorithm
rewrite-expression-head
Error
0.0b
Rules
add-log-exp_binary64_17167 *-un-lft-identity_binary64_17128
sum-log_binary64_17219 distribute-lft-out_binary64_17079
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
Counts
1 → 15
Calls

1 calls:

10.0ms
(+.f64 (+.f64 x y) x)
Compiler

Compiled 164 to 49 computations (70.1% saved)

series86.0ms (9%)

Error
0b
Counts
1 → 12
Calls

1 calls:

79.0ms
(+.f64 (+.f64 x y) x)
Compiler

Compiled 114 to 104 computations (8.8% saved)

simplify58.0ms (6.1%)

Algorithm
egg-herbie
Rules
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
--rgt-identity_binary64_17114
cube-prod_binary64_17156 count-2_binary64_17076
*-lft-identity_binary64_17117 swap-sqr_binary64_17095
times-frac_binary64_17134 div-sub_binary64_17133 +-lft-identity_binary64_17112 +-inverses_binary64_17107 difference-of-squares_binary64_17097
mul0-lft_binary64_17110
pow-plus_binary64_17191 distribute-rgt1-in_binary64_17084 distribute-lft1-in_binary64_17083
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
unpow3_binary64_17194 cube-mult_binary64_17158
unpow1_binary64_17186 exp-neg_binary64_17175 1-exp_binary64_17172 mul-1-neg_binary64_17120 distribute-frac-neg_binary64_17091
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
Counts
27 → 20
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
033235
185220
2210210
3634205
41516205
53228205
64958205

prune15.0ms (1.5%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New19120
Fresh000
Picked101
Done000
Total20121
Error
0b
Counts
21 → 1
Compiler

Compiled 155 to 36 computations (76.8% saved)

localize3.0ms (0.3%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify8.0ms (0.8%)

Algorithm
egg-herbie
Rules
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
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
0b
Counts
1 → 1
Compiler

Compiled 0 to 0 computations (0% saved)

regimes61.0ms (6.4%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 298 to 174 computations (41.6% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.3%)

Algorithm
egg-herbie
Rules
*-commutative_binary64_17059 +-commutative_binary64_17058
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
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
067
187
287

end0.0ms (0%)

sample470.0ms (49.2%)

Algorithm
intervals
Results
131.0ms8000×body128valid
0.0msbody128invalid
Compiler

Compiled 93 to 61 computations (34.4% saved)

Profiling

Loading profile data...