Details

Time bar (total: 26.9s)

analyze2.3s (8.4%)

Algorithm
1×search
2×egg-herbie
Rules
956×times-frac_binary64_19180
420×cancel-sign-sub-inv_binary64_19140
370×div-sub_binary64_19179
365×sub-neg_binary64_19167
316×associate-*r*_binary64_19114
288×associate-*l*_binary64_19115
238×distribute-rgt-neg-in_binary64_19132
223×distribute-lft-neg-in_binary64_19131
220×associate-/l*_binary64_19119
133×neg-mul-1_binary64_19170 neg-sub0_binary64_19169
125×*-commutative_binary64_19105
124×+-commutative_binary64_19104
117×associate-/r*_binary64_19118
55×associate-+l-_binary64_19109
53×associate-+r-_binary64_19108
38×associate-+l+_binary64_19107 associate-+r+_binary64_19106
32×unsub-neg_binary64_19168
18×associate--r+_binary64_19110
16×distribute-neg-in_binary64_19135
15×distribute-lft-neg-out_binary64_19133
2×associate--r-_binary64_19113
1×swap-x-y swap-t-a
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_19437 erf-erfc_binary64_19436 erf-odd_binary64_19435 if-if-and-not_binary64_19434 if-if-and_binary64_19433 if-if-or-not_binary64_19432 if-if-or_binary64_19431 if-not_binary64_19430 if-same_binary64_19429 if-false_binary64_19428 if-true_binary64_19427 not-gte_binary64_19426 not-lte_binary64_19425 not-gt_binary64_19424 not-lt_binary64_19423 gte-same_binary64_19422 lte-same_binary64_19421 gt-same_binary64_19420 lt-same_binary64_19419 sinh---cosh_binary64_19366 sinh-+-cosh_binary64_19365 sinh-cosh_binary64_19364 tanh-def-c_binary64_19363 tanh-def-b_binary64_19362 tanh-def-a_binary64_19361 cosh-def_binary64_19360 sinh-def_binary64_19359 tan-neg_binary64_19306 cos-neg_binary64_19305 sin-neg_binary64_19304 tan-0_binary64_19303 cos-0_binary64_19302 sin-0_binary64_19301 hang-m-tan_binary64_19300 hang-p-tan_binary64_19299 hang-m0-tan_binary64_19298 hang-p0-tan_binary64_19297 hang-0m-tan_binary64_19296 hang-0p-tan_binary64_19295 tan-+PI/2_binary64_19294 tan-+PI_binary64_19293 tan-PI_binary64_19292 tan-PI/3_binary64_19291 tan-PI/4_binary64_19290 tan-PI/6_binary64_19289 cos-+PI/2_binary64_19288 cos-+PI_binary64_19287 cos-PI_binary64_19286 cos-PI/2_binary64_19285 cos-PI/3_binary64_19284 cos-PI/4_binary64_19283 cos-PI/6_binary64_19282 sin-+PI/2_binary64_19281 sin-+PI_binary64_19280 sin-PI_binary64_19279 sin-PI/2_binary64_19278 sin-PI/3_binary64_19277 sin-PI/4_binary64_19276 sin-PI/6_binary64_19275 sub-1-sin_binary64_19274 sub-1-cos_binary64_19273 -1-add-sin_binary64_19272 -1-add-cos_binary64_19271 1-sub-sin_binary64_19270 1-sub-cos_binary64_19269 cos-sin-sum_binary64_19268 log-E_binary64_19264 log-pow_binary64_19263 log-rec_binary64_19262 log-div_binary64_19261 log-prod_binary64_19260 pow-base-0_binary64_19258 unpow1/3_binary64_19241 unpow3_binary64_19240 unpow2_binary64_19239 unpow1/2_binary64_19238 pow-plus_binary64_19237 exp-to-pow_binary64_19236 pow-base-1_binary64_19234 unpow0_binary64_19233 unpow1_binary64_19232 unpow-1_binary64_19231 exp-lft-cube_binary64_19230 exp-lft-sqr_binary64_19229 exp-cbrt_binary64_19228 exp-sqrt_binary64_19227 exp-prod_binary64_19226 div-exp_binary64_19225 rec-exp_binary64_19224 prod-exp_binary64_19223 exp-diff_binary64_19222 exp-neg_binary64_19221 exp-sum_binary64_19220 e-exp-1_binary64_19219 1-exp_binary64_19218 exp-1-e_binary64_19217 exp-0_binary64_19216 rem-log-exp_binary64_19215 rem-exp-log_binary64_19214 cube-unmult_binary64_19211 cube-mult_binary64_19204 cube-div_binary64_19203 cube-prod_binary64_19202 cube-neg_binary64_19201 rem-3cbrt-rft_binary64_19200 rem-3cbrt-lft_binary64_19199 rem-cbrt-cube_binary64_19198 rem-cube-cbrt_binary64_19197 sqr-abs_binary64_19189 sqr-neg_binary64_19188 rem-sqrt-square_binary64_19187 rem-square-sqrt_binary64_19186 mul-1-neg_binary64_19166 /-rgt-identity_binary64_19165 *-rgt-identity_binary64_19164 *-lft-identity_binary64_19163 remove-double-neg_binary64_19162 sub0-neg_binary64_19161 --rgt-identity_binary64_19160 +-rgt-identity_binary64_19159 +-lft-identity_binary64_19158 mul0-rgt_binary64_19157 mul0-lft_binary64_19156 div0_binary64_19155 *-inverses_binary64_19154 +-inverses_binary64_19153 lft-mult-inverse_binary64_19152 rgt-mult-inverse_binary64_19151 remove-double-div_binary64_19150 pow-sqr_binary64_19147 sqr-pow_binary64_19146 difference-of-sqr--1_binary64_19145 difference-of-sqr-1_binary64_19144 difference-of-squares_binary64_19143 unswap-sqr_binary64_19142 swap-sqr_binary64_19141 cancel-sign-sub_binary64_19139 distribute-neg-frac_binary64_19138 distribute-frac-neg_binary64_19137 distribute-neg-out_binary64_19136 distribute-rgt-neg-out_binary64_19134 distribute-rgt1-in_binary64_19130 distribute-lft1-in_binary64_19129 distribute-rgt-out--_binary64_19128 distribute-rgt-out_binary64_19127 distribute-lft-out--_binary64_19126 distribute-lft-out_binary64_19125 distribute-rgt-in_binary64_19124 distribute-lft-in_binary64_19123 count-2_binary64_19122 associate-/l/_binary64_19121 associate-/r/_binary64_19120 associate-*l/_binary64_19117 associate-*r/_binary64_19116 associate--l-_binary64_19112 associate--l+_binary64_19111
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0141616
1421616
21099616
33170616
45039616
077
177
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%99.7%0.3%7
0%99.7%0.3%8
0%99.7%0.3%9
0%99.7%0.3%10
0%99.7%0.3%11
0%99.7%0.3%12
0%99.7%0.3%13
0%99.7%0.3%14
Symmetry

(sort x y)

(sort t a)

Compiler

Compiled 20 to 19 computations (5% saved)

sample77.0ms (0.3%)

Algorithm
1×intervals
Results
16.0ms174×body128invalid
15.0ms256×body128valid
Compiler

Compiled 39 to 44 computations (-12.8% saved)

simplify64.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
588×distribute-neg-frac_binary64_19138
554×associate-*l/_binary64_19117
502×associate-/r/_binary64_19120
499×div-sub_binary64_19179
465×cancel-sign-sub-inv_binary64_19140
408×associate-/r*_binary64_19118
360×associate-*l*_binary64_19115
354×associate-/l*_binary64_19119
290×neg-mul-1_binary64_19170
272×neg-sub0_binary64_19169
264×associate-/l/_binary64_19121
208×sub-neg_binary64_19167
150×times-frac_binary64_19180
144×distribute-rgt-neg-in_binary64_19132
136×distribute-lft-neg-in_binary64_19131
101×*-rgt-identity_binary64_19164
77×associate-*r*_binary64_19114
69×unsub-neg_binary64_19168
51×*-commutative_binary64_19105
46×distribute-rgt-in_binary64_19124
35×+-lft-identity_binary64_19158
30×+-commutative_binary64_19104
29×distribute-lft-in_binary64_19123
27×div0_binary64_19155
25×distribute-rgt-neg-out_binary64_19134 associate-*r/_binary64_19116
23×distribute-lft-neg-out_binary64_19133
22×*-lft-identity_binary64_19163 remove-double-neg_binary64_19162
21×sub0-neg_binary64_19161
19×cancel-sign-sub_binary64_19139
18×distribute-frac-neg_binary64_19137
17×distribute-neg-in_binary64_19135
15×associate--r+_binary64_19110 associate-+l-_binary64_19109
14×/-rgt-identity_binary64_19165 mul0-rgt_binary64_19157
13×associate--r-_binary64_19113
12×mul0-lft_binary64_19156
9×associate-+r-_binary64_19108
7×+-rgt-identity_binary64_19159 distribute-neg-out_binary64_19136 associate-+r+_binary64_19106
6×associate--l+_binary64_19111 associate-+l+_binary64_19107
5×associate--l-_binary64_19112
3×--rgt-identity_binary64_19160
1×1-exp_binary64_19218 sqr-neg_binary64_19188 *-inverses_binary64_19154 distribute-lft-out--_binary64_19126
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_19437 erf-erfc_binary64_19436 erf-odd_binary64_19435 if-if-and-not_binary64_19434 if-if-and_binary64_19433 if-if-or-not_binary64_19432 if-if-or_binary64_19431 if-not_binary64_19430 if-same_binary64_19429 if-false_binary64_19428 if-true_binary64_19427 not-gte_binary64_19426 not-lte_binary64_19425 not-gt_binary64_19424 not-lt_binary64_19423 gte-same_binary64_19422 lte-same_binary64_19421 gt-same_binary64_19420 lt-same_binary64_19419 sinh---cosh_binary64_19366 sinh-+-cosh_binary64_19365 sinh-cosh_binary64_19364 tanh-def-c_binary64_19363 tanh-def-b_binary64_19362 tanh-def-a_binary64_19361 cosh-def_binary64_19360 sinh-def_binary64_19359 tan-neg_binary64_19306 cos-neg_binary64_19305 sin-neg_binary64_19304 tan-0_binary64_19303 cos-0_binary64_19302 sin-0_binary64_19301 hang-m-tan_binary64_19300 hang-p-tan_binary64_19299 hang-m0-tan_binary64_19298 hang-p0-tan_binary64_19297 hang-0m-tan_binary64_19296 hang-0p-tan_binary64_19295 tan-+PI/2_binary64_19294 tan-+PI_binary64_19293 tan-PI_binary64_19292 tan-PI/3_binary64_19291 tan-PI/4_binary64_19290 tan-PI/6_binary64_19289 cos-+PI/2_binary64_19288 cos-+PI_binary64_19287 cos-PI_binary64_19286 cos-PI/2_binary64_19285 cos-PI/3_binary64_19284 cos-PI/4_binary64_19283 cos-PI/6_binary64_19282 sin-+PI/2_binary64_19281 sin-+PI_binary64_19280 sin-PI_binary64_19279 sin-PI/2_binary64_19278 sin-PI/3_binary64_19277 sin-PI/4_binary64_19276 sin-PI/6_binary64_19275 sub-1-sin_binary64_19274 sub-1-cos_binary64_19273 -1-add-sin_binary64_19272 -1-add-cos_binary64_19271 1-sub-sin_binary64_19270 1-sub-cos_binary64_19269 cos-sin-sum_binary64_19268 log-E_binary64_19264 log-pow_binary64_19263 log-rec_binary64_19262 log-div_binary64_19261 log-prod_binary64_19260 pow-base-0_binary64_19258 unpow1/3_binary64_19241 unpow3_binary64_19240 unpow2_binary64_19239 unpow1/2_binary64_19238 pow-plus_binary64_19237 exp-to-pow_binary64_19236 pow-base-1_binary64_19234 unpow0_binary64_19233 unpow1_binary64_19232 unpow-1_binary64_19231 exp-lft-cube_binary64_19230 exp-lft-sqr_binary64_19229 exp-cbrt_binary64_19228 exp-sqrt_binary64_19227 exp-prod_binary64_19226 div-exp_binary64_19225 rec-exp_binary64_19224 prod-exp_binary64_19223 exp-diff_binary64_19222 exp-neg_binary64_19221 exp-sum_binary64_19220 e-exp-1_binary64_19219 exp-1-e_binary64_19217 exp-0_binary64_19216 rem-log-exp_binary64_19215 rem-exp-log_binary64_19214 cube-unmult_binary64_19211 cube-mult_binary64_19204 cube-div_binary64_19203 cube-prod_binary64_19202 cube-neg_binary64_19201 rem-3cbrt-rft_binary64_19200 rem-3cbrt-lft_binary64_19199 rem-cbrt-cube_binary64_19198 rem-cube-cbrt_binary64_19197 sqr-abs_binary64_19189 rem-sqrt-square_binary64_19187 rem-square-sqrt_binary64_19186 mul-1-neg_binary64_19166 +-inverses_binary64_19153 lft-mult-inverse_binary64_19152 rgt-mult-inverse_binary64_19151 remove-double-div_binary64_19150 pow-sqr_binary64_19147 sqr-pow_binary64_19146 difference-of-sqr--1_binary64_19145 difference-of-sqr-1_binary64_19144 difference-of-squares_binary64_19143 unswap-sqr_binary64_19142 swap-sqr_binary64_19141 distribute-rgt1-in_binary64_19130 distribute-lft1-in_binary64_19129 distribute-rgt-out--_binary64_19128 distribute-rgt-out_binary64_19127 distribute-lft-out_binary64_19125 count-2_binary64_19122
Counts
1 → 1
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01928
14128
210728
331728
473925
5173425
6428825
7478325
8491725

prune5.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
6.2b
Counts
2 → 2
Compiler

Compiled 53 to 52 computations (1.9% saved)

localize13.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 (*.f64 t a) -4))
0.1b
(*.f64 (*.f64 x 9) y)
2.2b
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
7.3b
(/.f64 (+.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 (*.f64 t a) -4)) c)

rewrite191.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
6.1b
Rules
21×add-cube-cbrt_binary64_19209 add-sqr-sqrt_binary64_19196 *-un-lft-identity_binary64_19174
18×times-frac_binary64_19180
13×add-exp-log_binary64_19212 add-cbrt-cube_binary64_19210
9×pow1_binary64_19235
6×add-log-exp_binary64_19213 associate-/l*_binary64_19119 associate-/r*_binary64_19118
4×associate-/l/_binary64_19121
3×flip3-+_binary64_19177 flip-+_binary64_19148 pow-prod-down_binary64_19245 prod-exp_binary64_19223 cbrt-unprod_binary64_19207 associate-*r*_binary64_19114
2×div-exp_binary64_19225 cbrt-undiv_binary64_19208 frac-2neg_binary64_19185 clear-num_binary64_19173 div-inv_binary64_19171
1×associate-*l*_binary64_19115 *-commutative_binary64_19105 sum-log_binary64_19265 +-commutative_binary64_19104
Counts
4 → 87
Calls

4 calls:

16.0ms
(+.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 (*.f64 t a) -4))
14.0ms
(/.f64 (+.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 (*.f64 t a) -4)) c)
8.0ms
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
5.0ms
(*.f64 (*.f64 x 9) y)
Compiler

Compiled 2574 to 1468 computations (43% saved)

series2.6s (9.6%)

Error
5.5b
Counts
4 → 102
Calls

4 calls:

1.3s
(/.f64 (+.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 (*.f64 t a) -4)) c)
832.0ms
(+.f64 (/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z) (*.f64 (*.f64 t a) -4))
317.0ms
(/.f64 (+.f64 (*.f64 (*.f64 x 9) y) b) z)
83.0ms
(*.f64 (*.f64 x 9) y)
Compiler

Compiled 4303 to 3195 computations (25.7% saved)

simplify173.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
524×*-commutative_binary64_19105
335×div-sub_binary64_19179
253×cancel-sign-sub-inv_binary64_19140
250×associate-/l*_binary64_19119
192×distribute-rgt-in_binary64_19124
182×associate-*l*_binary64_19115
170×associate-*l/_binary64_19117
168×distribute-lft-in_binary64_19123
150×associate-*r*_binary64_19114
148×neg-sub0_binary64_19169
145×neg-mul-1_binary64_19170
137×distribute-rgt-neg-in_binary64_19132
127×associate-*r/_binary64_19116
109×unsub-neg_binary64_19168
106×distribute-lft-neg-in_binary64_19131
104×associate-/r*_binary64_19118
103×associate-/l/_binary64_19121
98×exp-prod_binary64_19226 times-frac_binary64_19180
95×cube-prod_binary64_19202
66×associate-/r/_binary64_19120
53×sub-neg_binary64_19167
47×+-commutative_binary64_19104
43×distribute-lft-out_binary64_19125
42×distribute-lft-neg-out_binary64_19133
41×sqr-pow_binary64_19146
37×associate-+l+_binary64_19107
35×distribute-rgt-out_binary64_19127
34×associate-+r+_binary64_19106
33×swap-sqr_binary64_19141
32×log-prod_binary64_19260
29×associate-+r-_binary64_19108
28×associate-+l-_binary64_19109
26×unpow3_binary64_19240
25×distribute-neg-frac_binary64_19138 distribute-rgt-neg-out_binary64_19134
22×exp-sum_binary64_19220
20×distribute-lft-out--_binary64_19126
18×distribute-rgt-out--_binary64_19128
17×exp-diff_binary64_19222
15×log-div_binary64_19261 *-rgt-identity_binary64_19164
14×cube-mult_binary64_19204
11×cube-neg_binary64_19201 distribute-neg-in_binary64_19135
10×*-lft-identity_binary64_19163
9×cube-unmult_binary64_19211
8×sqr-neg_binary64_19188 /-rgt-identity_binary64_19165 associate--l-_binary64_19112 associate--l+_binary64_19111
7×cube-div_binary64_19203 associate--r-_binary64_19113
5×associate--r+_binary64_19110
3×mul-1-neg_binary64_19166 distribute-neg-out_binary64_19136
1×unpow1/2_binary64_19238 unpow-1_binary64_19231 prod-exp_binary64_19223 1-exp_binary64_19218 exp-1-e_binary64_19217 pow-sqr_binary64_19147 difference-of-squares_binary64_19143 distribute-frac-neg_binary64_19137
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_19437 erf-erfc_binary64_19436 erf-odd_binary64_19435 if-if-and-not_binary64_19434 if-if-and_binary64_19433 if-if-or-not_binary64_19432 if-if-or_binary64_19431 if-not_binary64_19430 if-same_binary64_19429 if-false_binary64_19428 if-true_binary64_19427 not-gte_binary64_19426 not-lte_binary64_19425 not-gt_binary64_19424 not-lt_binary64_19423 gte-same_binary64_19422 lte-same_binary64_19421 gt-same_binary64_19420 lt-same_binary64_19419 sinh---cosh_binary64_19366 sinh-+-cosh_binary64_19365 sinh-cosh_binary64_19364 tanh-def-c_binary64_19363 tanh-def-b_binary64_19362 tanh-def-a_binary64_19361 cosh-def_binary64_19360 sinh-def_binary64_19359 tan-neg_binary64_19306 cos-neg_binary64_19305 sin-neg_binary64_19304 tan-0_binary64_19303 cos-0_binary64_19302 sin-0_binary64_19301 hang-m-tan_binary64_19300 hang-p-tan_binary64_19299 hang-m0-tan_binary64_19298 hang-p0-tan_binary64_19297 hang-0m-tan_binary64_19296 hang-0p-tan_binary64_19295 tan-+PI/2_binary64_19294 tan-+PI_binary64_19293 tan-PI_binary64_19292 tan-PI/3_binary64_19291 tan-PI/4_binary64_19290 tan-PI/6_binary64_19289 cos-+PI/2_binary64_19288 cos-+PI_binary64_19287 cos-PI_binary64_19286 cos-PI/2_binary64_19285 cos-PI/3_binary64_19284 cos-PI/4_binary64_19283 cos-PI/6_binary64_19282 sin-+PI/2_binary64_19281 sin-+PI_binary64_19280 sin-PI_binary64_19279 sin-PI/2_binary64_19278 sin-PI/3_binary64_19277 sin-PI/4_binary64_19276 sin-PI/6_binary64_19275 sub-1-sin_binary64_19274 sub-1-cos_binary64_19273 -1-add-sin_binary64_19272 -1-add-cos_binary64_19271 1-sub-sin_binary64_19270 1-sub-cos_binary64_19269 cos-sin-sum_binary64_19268 log-E_binary64_19264 log-pow_binary64_19263 log-rec_binary64_19262 pow-base-0_binary64_19258 unpow1/3_binary64_19241 unpow2_binary64_19239 pow-plus_binary64_19237 exp-to-pow_binary64_19236 pow-base-1_binary64_19234 unpow0_binary64_19233 unpow1_binary64_19232 exp-lft-cube_binary64_19230 exp-lft-sqr_binary64_19229 exp-cbrt_binary64_19228 exp-sqrt_binary64_19227 div-exp_binary64_19225 rec-exp_binary64_19224 exp-neg_binary64_19221 e-exp-1_binary64_19219 exp-0_binary64_19216 rem-log-exp_binary64_19215 rem-exp-log_binary64_19214 rem-3cbrt-rft_binary64_19200 rem-3cbrt-lft_binary64_19199 rem-cbrt-cube_binary64_19198 rem-cube-cbrt_binary64_19197 sqr-abs_binary64_19189 rem-sqrt-square_binary64_19187 rem-square-sqrt_binary64_19186 remove-double-neg_binary64_19162 sub0-neg_binary64_19161 --rgt-identity_binary64_19160 +-rgt-identity_binary64_19159 +-lft-identity_binary64_19158 mul0-rgt_binary64_19157 mul0-lft_binary64_19156 div0_binary64_19155 *-inverses_binary64_19154 +-inverses_binary64_19153 lft-mult-inverse_binary64_19152 rgt-mult-inverse_binary64_19151 remove-double-div_binary64_19150 difference-of-sqr--1_binary64_19145 difference-of-sqr-1_binary64_19144 unswap-sqr_binary64_19142 cancel-sign-sub_binary64_19139 distribute-rgt1-in_binary64_19130 distribute-lft1-in_binary64_19129 count-2_binary64_19122
Counts
189 → 130
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02044314
15004061
216143983
337933851
449783851
549453851

prune182.0ms (0.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New12010130
Fresh011
Picked101
Done000
Total12111132
Error
5.4b
Counts
132 → 11
Compiler

Compiled 3250 to 1730 computations (46.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 9 (*.f64 x y))
0.3b
(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4))))
2.2b
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
7.3b
(/.f64 c (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))

rewrite359.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
5.4b
Rules
99×times-frac_binary64_19180
65×add-cube-cbrt_binary64_19209 add-sqr-sqrt_binary64_19196 *-un-lft-identity_binary64_19174
24×add-exp-log_binary64_19212
21×associate-/r*_binary64_19118
18×add-cbrt-cube_binary64_19210
11×associate-/r/_binary64_19120
10×pow1_binary64_19235
9×div-exp_binary64_19225 associate-/l*_binary64_19119
7×div-inv_binary64_19171
6×flip3-+_binary64_19177 flip-+_binary64_19148
5×cbrt-undiv_binary64_19208
4×add-log-exp_binary64_19213
3×frac-2neg_binary64_19185 clear-num_binary64_19173 pow-prod-down_binary64_19245 prod-exp_binary64_19223 cbrt-unprod_binary64_19207 associate-*l*_binary64_19115
2×associate-/l/_binary64_19121 1-exp_binary64_19218 rec-exp_binary64_19224
1×inv-pow_binary64_19259 pow-flip_binary64_19248 associate-*r*_binary64_19114 *-commutative_binary64_19105
Counts
4 → 160
Calls

4 calls:

16.0ms
(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4))))
10.0ms
(/.f64 c (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
6.0ms
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
5.0ms
(*.f64 9 (*.f64 x y))
Compiler

Compiled 5784 to 3212 computations (44.5% saved)

series2.9s (10.7%)

Error
5.4b
Counts
4 → 105
Calls

4 calls:

1.2s
(/.f64 1 (/.f64 c (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4))))
1.1s
(/.f64 c (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
315.0ms
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
82.0ms
(*.f64 9 (*.f64 x y))
Compiler

Compiled 6842 to 5040 computations (26.3% saved)

simplify246.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
278×cancel-sign-sub-inv_binary64_19140
243×times-frac_binary64_19180
235×distribute-rgt-neg-in_binary64_19132
218×associate-*r*_binary64_19114
214×distribute-lft-neg-in_binary64_19131
197×associate-/l*_binary64_19119
179×*-commutative_binary64_19105
167×associate-*l*_binary64_19115
165×associate-/r*_binary64_19118
151×associate-/r/_binary64_19120
143×distribute-neg-frac_binary64_19138
139×associate-*l/_binary64_19117
121×associate-*r/_binary64_19116
103×associate-/l/_binary64_19121
102×cube-prod_binary64_19202
84×div-sub_binary64_19179
78×sub-neg_binary64_19167 unswap-sqr_binary64_19142
77×distribute-rgt-in_binary64_19124
67×neg-mul-1_binary64_19170
66×neg-sub0_binary64_19169
64×distribute-lft-in_binary64_19123
60×sqr-pow_binary64_19146
48×distribute-lft-neg-out_binary64_19133 +-commutative_binary64_19104
42×*-rgt-identity_binary64_19164
34×exp-prod_binary64_19226
32×log-prod_binary64_19260
30×distribute-rgt-neg-out_binary64_19134
28×swap-sqr_binary64_19141
25×distribute-neg-in_binary64_19135
24×unpow3_binary64_19240
17×cube-mult_binary64_19204 unsub-neg_binary64_19168
13×log-div_binary64_19261
12×associate-+r+_binary64_19106
11×cube-unmult_binary64_19211 /-rgt-identity_binary64_19165
10×unpow2_binary64_19239 unpow1/2_binary64_19238 unpow1_binary64_19232 rem-sqrt-square_binary64_19187 *-lft-identity_binary64_19163 associate--r+_binary64_19110
9×cube-div_binary64_19203 associate--l+_binary64_19111
8×log-pow_binary64_19263 associate-+l+_binary64_19107
6×pow-plus_binary64_19237 exp-sum_binary64_19220 cube-neg_binary64_19201
5×sqr-neg_binary64_19188 associate-+r-_binary64_19108
4×log-rec_binary64_19262 remove-double-div_binary64_19150 distribute-rgt-out--_binary64_19128
3×mul-1-neg_binary64_19166 distribute-neg-out_binary64_19136
2×exp-neg_binary64_19221 +-lft-identity_binary64_19158 associate--r-_binary64_19113 associate-+l-_binary64_19109
1×exp-diff_binary64_19222 1-exp_binary64_19218 exp-1-e_binary64_19217 sub0-neg_binary64_19161 +-rgt-identity_binary64_19159 div0_binary64_19155 pow-sqr_binary64_19147 difference-of-squares_binary64_19143 distribute-frac-neg_binary64_19137
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_19437 erf-erfc_binary64_19436 erf-odd_binary64_19435 if-if-and-not_binary64_19434 if-if-and_binary64_19433 if-if-or-not_binary64_19432 if-if-or_binary64_19431 if-not_binary64_19430 if-same_binary64_19429 if-false_binary64_19428 if-true_binary64_19427 not-gte_binary64_19426 not-lte_binary64_19425 not-gt_binary64_19424 not-lt_binary64_19423 gte-same_binary64_19422 lte-same_binary64_19421 gt-same_binary64_19420 lt-same_binary64_19419 sinh---cosh_binary64_19366 sinh-+-cosh_binary64_19365 sinh-cosh_binary64_19364 tanh-def-c_binary64_19363 tanh-def-b_binary64_19362 tanh-def-a_binary64_19361 cosh-def_binary64_19360 sinh-def_binary64_19359 tan-neg_binary64_19306 cos-neg_binary64_19305 sin-neg_binary64_19304 tan-0_binary64_19303 cos-0_binary64_19302 sin-0_binary64_19301 hang-m-tan_binary64_19300 hang-p-tan_binary64_19299 hang-m0-tan_binary64_19298 hang-p0-tan_binary64_19297 hang-0m-tan_binary64_19296 hang-0p-tan_binary64_19295 tan-+PI/2_binary64_19294 tan-+PI_binary64_19293 tan-PI_binary64_19292 tan-PI/3_binary64_19291 tan-PI/4_binary64_19290 tan-PI/6_binary64_19289 cos-+PI/2_binary64_19288 cos-+PI_binary64_19287 cos-PI_binary64_19286 cos-PI/2_binary64_19285 cos-PI/3_binary64_19284 cos-PI/4_binary64_19283 cos-PI/6_binary64_19282 sin-+PI/2_binary64_19281 sin-+PI_binary64_19280 sin-PI_binary64_19279 sin-PI/2_binary64_19278 sin-PI/3_binary64_19277 sin-PI/4_binary64_19276 sin-PI/6_binary64_19275 sub-1-sin_binary64_19274 sub-1-cos_binary64_19273 -1-add-sin_binary64_19272 -1-add-cos_binary64_19271 1-sub-sin_binary64_19270 1-sub-cos_binary64_19269 cos-sin-sum_binary64_19268 log-E_binary64_19264 pow-base-0_binary64_19258 unpow1/3_binary64_19241 exp-to-pow_binary64_19236 pow-base-1_binary64_19234 unpow0_binary64_19233 unpow-1_binary64_19231 exp-lft-cube_binary64_19230 exp-lft-sqr_binary64_19229 exp-cbrt_binary64_19228 exp-sqrt_binary64_19227 div-exp_binary64_19225 rec-exp_binary64_19224 prod-exp_binary64_19223 e-exp-1_binary64_19219 exp-0_binary64_19216 rem-log-exp_binary64_19215 rem-exp-log_binary64_19214 rem-3cbrt-rft_binary64_19200 rem-3cbrt-lft_binary64_19199 rem-cbrt-cube_binary64_19198 rem-cube-cbrt_binary64_19197 sqr-abs_binary64_19189 rem-square-sqrt_binary64_19186 remove-double-neg_binary64_19162 --rgt-identity_binary64_19160 mul0-rgt_binary64_19157 mul0-lft_binary64_19156 *-inverses_binary64_19154 +-inverses_binary64_19153 lft-mult-inverse_binary64_19152 rgt-mult-inverse_binary64_19151 difference-of-sqr--1_binary64_19145 difference-of-sqr-1_binary64_19144 cancel-sign-sub_binary64_19139 distribute-rgt1-in_binary64_19130 distribute-lft1-in_binary64_19129 distribute-rgt-out_binary64_19127 distribute-lft-out--_binary64_19126 distribute-lft-out_binary64_19125 count-2_binary64_19122 associate--l-_binary64_19112
Counts
265 → 156
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03668810
19268252
234788222
347368222
449678222

prune246.0ms (0.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New1497156
Fresh2810
Picked101
Done000
Total15215167
Error
5.4b
Counts
167 → 15
Compiler

Compiled 4725 to 2380 computations (49.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4))
0.3b
(*.f64 9 (*.f64 x y))
2.2b
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
7.3b
(*.f64 (/.f64 1 c) (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))

rewrite194.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Error
5.4b
Rules
28×add-sqr-sqrt_binary64_19196
22×*-un-lft-identity_binary64_19174
21×add-cube-cbrt_binary64_19209
20×add-exp-log_binary64_19212 times-frac_binary64_19180
16×add-cbrt-cube_binary64_19210 associate-*l*_binary64_19115
11×pow1_binary64_19235
7×prod-exp_binary64_19223
6×add-log-exp_binary64_19213
5×cbrt-unprod_binary64_19207
4×pow-prod-down_binary64_19245 flip3-+_binary64_19177 flip-+_binary64_19148 associate-*r*_binary64_19114
3×div-exp_binary64_19225 unswap-sqr_binary64_19142 associate-/l*_binary64_19119 associate-/r*_binary64_19118
2×cbrt-undiv_binary64_19208 frac-times_binary64_19184 associate-*r/_binary64_19116 div-inv_binary64_19171 *-commutative_binary64_19105 associate-/l/_binary64_19121
1×1-exp_binary64_19218 rec-exp_binary64_19224 distribute-rgt-in_binary64_19124 distribute-lft-in_binary64_19123 associate-*l/_binary64_19117 frac-2neg_binary64_19185 clear-num_binary64_19173 sum-log_binary64_19265 +-commutative_binary64_19104
Counts
4 → 99
Calls

4 calls:

15.0ms
(*.f64 (/.f64 1 c) (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
12.0ms
(+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4))
5.0ms
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
5.0ms
(*.f64 9 (*.f64 x y))
Compiler

Compiled 3084 to 1716 computations (44.4% saved)

series2.5s (9.4%)

Error
5.4b
Counts
4 → 102
Calls

4 calls:

1.2s
(*.f64 (/.f64 1 c) (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
778.0ms
(+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4))
339.0ms
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
78.0ms
(*.f64 9 (*.f64 x y))
Compiler

Compiled 4627 to 3520 computations (23.9% saved)

simplify191.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
409×distribute-rgt-in_binary64_19124
386×distribute-lft-in_binary64_19123
377×associate-/l*_binary64_19119
257×associate-*r*_binary64_19114
250×associate-*l*_binary64_19115
214×cancel-sign-sub-inv_binary64_19140
161×exp-prod_binary64_19226
137×*-commutative_binary64_19105
131×distribute-rgt-neg-in_binary64_19132
96×cube-prod_binary64_19202 distribute-lft-neg-in_binary64_19131
95×times-frac_binary64_19180
89×associate-*l/_binary64_19117
82×associate-/l/_binary64_19121
66×associate-*r/_binary64_19116
61×distribute-lft-neg-out_binary64_19133
55×sub-neg_binary64_19167
54×distribute-rgt-out_binary64_19127
45×associate-/r/_binary64_19120
43×sqr-pow_binary64_19146
42×distribute-rgt-neg-out_binary64_19134
38×neg-sub0_binary64_19169
37×neg-mul-1_binary64_19170
35×*-lft-identity_binary64_19163
34×swap-sqr_binary64_19141
33×*-rgt-identity_binary64_19164 +-commutative_binary64_19104
25×unpow3_binary64_19240
24×distribute-rgt-out--_binary64_19128
22×distribute-neg-frac_binary64_19138
21×log-prod_binary64_19260
20×associate-/r*_binary64_19118
19×div-sub_binary64_19179
18×distribute-lft-out_binary64_19125
16×cube-mult_binary64_19204
15×log-div_binary64_19261
13×exp-diff_binary64_19222
12×cube-div_binary64_19203 distribute-neg-in_binary64_19135
10×cube-unmult_binary64_19211
8×exp-sum_binary64_19220 distribute-lft-out--_binary64_19126
7×/-rgt-identity_binary64_19165
6×unsub-neg_binary64_19168 associate--l+_binary64_19111 associate-+r-_binary64_19108 associate-+l+_binary64_19107 associate-+r+_binary64_19106
5×exp-neg_binary64_19221
4×associate-+l-_binary64_19109
3×log-rec_binary64_19262 mul-1-neg_binary64_19166 distribute-frac-neg_binary64_19137 distribute-neg-out_binary64_19136 associate--r+_binary64_19110
2×unpow1/2_binary64_19238 +-rgt-identity_binary64_19159 pow-sqr_binary64_19147
1×unpow-1_binary64_19231 prod-exp_binary64_19223 1-exp_binary64_19218 exp-1-e_binary64_19217 cube-neg_binary64_19201 sqr-neg_binary64_19188 sub0-neg_binary64_19161 +-lft-identity_binary64_19158 difference-of-squares_binary64_19143 count-2_binary64_19122
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_19437 erf-erfc_binary64_19436 erf-odd_binary64_19435 if-if-and-not_binary64_19434 if-if-and_binary64_19433 if-if-or-not_binary64_19432 if-if-or_binary64_19431 if-not_binary64_19430 if-same_binary64_19429 if-false_binary64_19428 if-true_binary64_19427 not-gte_binary64_19426 not-lte_binary64_19425 not-gt_binary64_19424 not-lt_binary64_19423 gte-same_binary64_19422 lte-same_binary64_19421 gt-same_binary64_19420 lt-same_binary64_19419 sinh---cosh_binary64_19366 sinh-+-cosh_binary64_19365 sinh-cosh_binary64_19364 tanh-def-c_binary64_19363 tanh-def-b_binary64_19362 tanh-def-a_binary64_19361 cosh-def_binary64_19360 sinh-def_binary64_19359 tan-neg_binary64_19306 cos-neg_binary64_19305 sin-neg_binary64_19304 tan-0_binary64_19303 cos-0_binary64_19302 sin-0_binary64_19301 hang-m-tan_binary64_19300 hang-p-tan_binary64_19299 hang-m0-tan_binary64_19298 hang-p0-tan_binary64_19297 hang-0m-tan_binary64_19296 hang-0p-tan_binary64_19295 tan-+PI/2_binary64_19294 tan-+PI_binary64_19293 tan-PI_binary64_19292 tan-PI/3_binary64_19291 tan-PI/4_binary64_19290 tan-PI/6_binary64_19289 cos-+PI/2_binary64_19288 cos-+PI_binary64_19287 cos-PI_binary64_19286 cos-PI/2_binary64_19285 cos-PI/3_binary64_19284 cos-PI/4_binary64_19283 cos-PI/6_binary64_19282 sin-+PI/2_binary64_19281 sin-+PI_binary64_19280 sin-PI_binary64_19279 sin-PI/2_binary64_19278 sin-PI/3_binary64_19277 sin-PI/4_binary64_19276 sin-PI/6_binary64_19275 sub-1-sin_binary64_19274 sub-1-cos_binary64_19273 -1-add-sin_binary64_19272 -1-add-cos_binary64_19271 1-sub-sin_binary64_19270 1-sub-cos_binary64_19269 cos-sin-sum_binary64_19268 log-E_binary64_19264 log-pow_binary64_19263 pow-base-0_binary64_19258 unpow1/3_binary64_19241 unpow2_binary64_19239 pow-plus_binary64_19237 exp-to-pow_binary64_19236 pow-base-1_binary64_19234 unpow0_binary64_19233 unpow1_binary64_19232 exp-lft-cube_binary64_19230 exp-lft-sqr_binary64_19229 exp-cbrt_binary64_19228 exp-sqrt_binary64_19227 div-exp_binary64_19225 rec-exp_binary64_19224 e-exp-1_binary64_19219 exp-0_binary64_19216 rem-log-exp_binary64_19215 rem-exp-log_binary64_19214 rem-3cbrt-rft_binary64_19200 rem-3cbrt-lft_binary64_19199 rem-cbrt-cube_binary64_19198 rem-cube-cbrt_binary64_19197 sqr-abs_binary64_19189 rem-sqrt-square_binary64_19187 rem-square-sqrt_binary64_19186 remove-double-neg_binary64_19162 --rgt-identity_binary64_19160 mul0-rgt_binary64_19157 mul0-lft_binary64_19156 div0_binary64_19155 *-inverses_binary64_19154 +-inverses_binary64_19153 lft-mult-inverse_binary64_19152 rgt-mult-inverse_binary64_19151 remove-double-div_binary64_19150 difference-of-sqr--1_binary64_19145 difference-of-sqr-1_binary64_19144 unswap-sqr_binary64_19142 cancel-sign-sub_binary64_19139 distribute-rgt1-in_binary64_19130 distribute-lft1-in_binary64_19129 associate--r-_binary64_19113 associate--l-_binary64_19112
Counts
201 → 96
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02214595
16144287
220974266
347884266
449954266
549644266

prune131.0ms (0.5%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New96096
Fresh01414
Picked011
Done000
Total9615111
Error
5.4b
Counts
111 → 15
Compiler

Compiled 2597 to 1429 computations (45% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.2b
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
7.9b
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
7.9b
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
7.9b
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))

rewrite245.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
5.4b
Rules
15×add-cube-cbrt_binary64_19209 add-sqr-sqrt_binary64_19196 *-un-lft-identity_binary64_19174
9×cbrt-prod_binary64_19205 times-frac_binary64_19180
6×add-exp-log_binary64_19212 add-cbrt-cube_binary64_19210 cbrt-div_binary64_19206
4×pow1_binary64_19235 add-log-exp_binary64_19213 flip3-+_binary64_19177 flip-+_binary64_19148
3×pow1/3_binary64_19256 associate-/l*_binary64_19119 associate-/r*_binary64_19118
2×associate-/l/_binary64_19121
1×div-exp_binary64_19225 cbrt-undiv_binary64_19208 frac-2neg_binary64_19185 clear-num_binary64_19173 div-inv_binary64_19171
Counts
4 → 68
Calls

4 calls:

10.0ms
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
8.0ms
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
8.0ms
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
6.0ms
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
Compiler

Compiled 4582 to 2442 computations (46.7% saved)

series6.1s (22.6%)

Error
5.4b
Counts
4 → 135
Calls

4 calls:

1.7s
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
1.7s
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
1.7s
(cbrt.f64 (+.f64 (/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z) (*.f64 (*.f64 t a) -4)))
357.0ms
(/.f64 (+.f64 b (*.f64 9 (*.f64 x y))) z)
Compiler

Compiled 29374 to 19993 computations (31.9% saved)

simplify208.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
325×associate-*r*_binary64_19114
291×times-frac_binary64_19180
244×associate-/l*_binary64_19119
218×*-commutative_binary64_19105
210×associate-*l*_binary64_19115
201×associate-/r*_binary64_19118
184×sub-neg_binary64_19167
148×associate-*r/_binary64_19116
119×associate-*l/_binary64_19117
117×sqr-pow_binary64_19146
110×neg-mul-1_binary64_19170 neg-sub0_binary64_19169
95×cancel-sign-sub-inv_binary64_19140
78×+-commutative_binary64_19104
62×exp-sum_binary64_19220
54×distribute-rgt-neg-in_binary64_19132
49×distribute-lft-neg-in_binary64_19131
48×log-prod_binary64_19260
46×unsub-neg_binary64_19168
40×distribute-rgt-in_binary64_19124
37×associate-/r/_binary64_19120
36×associate--l+_binary64_19111
34×distribute-lft-in_binary64_19123
29×log-div_binary64_19261 cube-prod_binary64_19202
26×associate-+l+_binary64_19107
23×unpow1/3_binary64_19241 associate--r+_binary64_19110
22×exp-prod_binary64_19226
19×div-sub_binary64_19179
16×associate-/l/_binary64_19121
15×distribute-neg-frac_binary64_19138
14×exp-diff_binary64_19222 distribute-neg-in_binary64_19135
11×pow-sqr_binary64_19147
10×associate--r-_binary64_19113
9×unpow3_binary64_19240 unpow2_binary64_19239 unpow1/2_binary64_19238 unpow1_binary64_19232 swap-sqr_binary64_19141
8×associate-+r+_binary64_19106
7×cube-mult_binary64_19204 remove-double-neg_binary64_19162
6×log-pow_binary64_19263 log-rec_binary64_19262
5×*-rgt-identity_binary64_19164 unswap-sqr_binary64_19142 distribute-lft-neg-out_binary64_19133
4×cube-div_binary64_19203 /-rgt-identity_binary64_19165 distribute-rgt-out--_binary64_19128
3×cube-neg_binary64_19201 sqr-neg_binary64_19188 associate-+l-_binary64_19109 associate-+r-_binary64_19108
1×exp-to-pow_binary64_19236 exp-neg_binary64_19221 1-exp_binary64_19218 rem-exp-log_binary64_19214 cube-unmult_binary64_19211 rem-3cbrt-lft_binary64_19199 rem-sqrt-square_binary64_19187 *-lft-identity_binary64_19163 difference-of-squares_binary64_19143 distribute-neg-out_binary64_19136 associate--l-_binary64_19112
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_19437 erf-erfc_binary64_19436 erf-odd_binary64_19435 if-if-and-not_binary64_19434 if-if-and_binary64_19433 if-if-or-not_binary64_19432 if-if-or_binary64_19431 if-not_binary64_19430 if-same_binary64_19429 if-false_binary64_19428 if-true_binary64_19427 not-gte_binary64_19426 not-lte_binary64_19425 not-gt_binary64_19424 not-lt_binary64_19423 gte-same_binary64_19422 lte-same_binary64_19421 gt-same_binary64_19420 lt-same_binary64_19419 sinh---cosh_binary64_19366 sinh-+-cosh_binary64_19365 sinh-cosh_binary64_19364 tanh-def-c_binary64_19363 tanh-def-b_binary64_19362 tanh-def-a_binary64_19361 cosh-def_binary64_19360 sinh-def_binary64_19359 tan-neg_binary64_19306 cos-neg_binary64_19305 sin-neg_binary64_19304 tan-0_binary64_19303 cos-0_binary64_19302 sin-0_binary64_19301 hang-m-tan_binary64_19300 hang-p-tan_binary64_19299 hang-m0-tan_binary64_19298 hang-p0-tan_binary64_19297 hang-0m-tan_binary64_19296 hang-0p-tan_binary64_19295 tan-+PI/2_binary64_19294 tan-+PI_binary64_19293 tan-PI_binary64_19292 tan-PI/3_binary64_19291 tan-PI/4_binary64_19290 tan-PI/6_binary64_19289 cos-+PI/2_binary64_19288 cos-+PI_binary64_19287 cos-PI_binary64_19286 cos-PI/2_binary64_19285 cos-PI/3_binary64_19284 cos-PI/4_binary64_19283 cos-PI/6_binary64_19282 sin-+PI/2_binary64_19281 sin-+PI_binary64_19280 sin-PI_binary64_19279 sin-PI/2_binary64_19278 sin-PI/3_binary64_19277 sin-PI/4_binary64_19276 sin-PI/6_binary64_19275 sub-1-sin_binary64_19274 sub-1-cos_binary64_19273 -1-add-sin_binary64_19272 -1-add-cos_binary64_19271 1-sub-sin_binary64_19270 1-sub-cos_binary64_19269 cos-sin-sum_binary64_19268 log-E_binary64_19264 pow-base-0_binary64_19258 pow-plus_binary64_19237 pow-base-1_binary64_19234 unpow0_binary64_19233 unpow-1_binary64_19231 exp-lft-cube_binary64_19230 exp-lft-sqr_binary64_19229 exp-cbrt_binary64_19228 exp-sqrt_binary64_19227 div-exp_binary64_19225 rec-exp_binary64_19224 prod-exp_binary64_19223 e-exp-1_binary64_19219 exp-1-e_binary64_19217 exp-0_binary64_19216 rem-log-exp_binary64_19215 rem-3cbrt-rft_binary64_19200 rem-cbrt-cube_binary64_19198 rem-cube-cbrt_binary64_19197 sqr-abs_binary64_19189 rem-square-sqrt_binary64_19186 mul-1-neg_binary64_19166 sub0-neg_binary64_19161 --rgt-identity_binary64_19160 +-rgt-identity_binary64_19159 +-lft-identity_binary64_19158 mul0-rgt_binary64_19157 mul0-lft_binary64_19156 div0_binary64_19155 *-inverses_binary64_19154 +-inverses_binary64_19153 lft-mult-inverse_binary64_19152 rgt-mult-inverse_binary64_19151 remove-double-div_binary64_19150 difference-of-sqr--1_binary64_19145 difference-of-sqr-1_binary64_19144 cancel-sign-sub_binary64_19139 distribute-frac-neg_binary64_19137 distribute-rgt-neg-out_binary64_19134 distribute-rgt1-in_binary64_19130 distribute-lft1-in_binary64_19129 distribute-rgt-out_binary64_19127 distribute-lft-out--_binary64_19126 distribute-lft-out_binary64_19125 count-2_binary64_19122
Counts
203 → 166
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03819293
111469149
243308977
349968977

prune603.0ms (2.2%)

Pruning

15 alts after pruning (13 fresh and 2 done)

PrunedKeptTotal
New1660166
Fresh01313
Picked011
Done011
Total16615181
Error
5.4b
Counts
181 → 15
Compiler

Compiled 11676 to 6159 computations (47.3% saved)

regimes3.1s (11.5%)

Accuracy

Total 1.4b remaining (18.9%)

Threshold costs 0b (0%)

Compiler

Compiled 30340 to 26848 computations (11.5% saved)

bsearch8.0ms (0%)

Compiler

Compiled 19 to 18 computations (5.3% saved)

simplify87.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
18×*-commutative_binary64_19105
14×+-commutative_binary64_19104
8×sub-neg_binary64_19167
7×neg-mul-1_binary64_19170 neg-sub0_binary64_19169
6×distribute-rgt-neg-in_binary64_19132
5×distribute-lft-neg-in_binary64_19131
2×cancel-sign-sub-inv_binary64_19140
1×1-exp_binary64_19218 distribute-lft-neg-out_binary64_19133
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_19434 if-if-and_binary64_19433 if-if-or-not_binary64_19432 if-if-or_binary64_19431 if-not_binary64_19430 if-same_binary64_19429 if-false_binary64_19428 if-true_binary64_19427 tan-0_binary64_19303 cos-0_binary64_19302 sin-0_binary64_19301 unpow1_binary64_19232 e-exp-1_binary64_19219 exp-1-e_binary64_19217 exp-0_binary64_19216 sqr-abs_binary64_19189 sqr-neg_binary64_19188 unsub-neg_binary64_19168 mul-1-neg_binary64_19166 /-rgt-identity_binary64_19165 *-rgt-identity_binary64_19164 *-lft-identity_binary64_19163 remove-double-neg_binary64_19162 sub0-neg_binary64_19161 --rgt-identity_binary64_19160 +-rgt-identity_binary64_19159 +-lft-identity_binary64_19158 cancel-sign-sub_binary64_19139 distribute-neg-frac_binary64_19138 distribute-frac-neg_binary64_19137 distribute-neg-out_binary64_19136 distribute-neg-in_binary64_19135 distribute-rgt-neg-out_binary64_19134
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
050257
174257
289257
3105257
4117257
5124257
6126257
7125257
Remove

(sort t a)

Compiler

Compiled 1038 to 636 computations (38.7% saved)

end0.0ms (0%)

sample4.2s (15.6%)

Algorithm
1×intervals
Results
471.0ms8000×body128valid
286.0ms4806×body128invalid
Compiler

Compiled 3247 to 2748 computations (15.4% saved)

Profiling

Loading profile data...