Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

sample23.0ms

Algorithm

intervals

Results

7.0ms	256×	pre	80	true
5.0ms	256×	body	80	valid

simplify58.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	498	10
1	498	10

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 8.5b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

1.0b	(/.f64 x0 (-.f64 1 x1))
7.7b	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt_binary64_3127`
27×	`*-un-lft-identity_binary64_3142`
19×	`times-frac_binary64_3137`
13×	`add-cube-cbrt_binary64_3113`
10×	`difference-of-squares_binary64_3171`
6×	`associate-/r*_binary64_3205`
5×	`distribute-lft-out--_binary64_3187`
4×	`add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106` `add-log-exp_binary64_3107`
3×	`associate-/l*_binary64_3206`
2×	`pow1_binary64_3088` `associate-/r/_binary64_3207` `flip--_binary64_3168` `flip3--_binary64_3141`
1×	`cbrt-undiv_binary64_3112` `div-exp_binary64_3095` `clear-num_binary64_3145` `frac-2neg_binary64_3135` `sub-neg_binary64_3146` `diff-log_binary64_3058` `div-inv_binary64_3143`

Counts

2 → 55

Calls

2 calls:

6.0ms	(/.f64 x0 (-.f64 1 x1))
12.0ms	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

series66.0ms

Counts

2 → 6

Calls

2 calls:

28.0ms	(/.f64 x0 (-.f64 1 x1))
37.0ms	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

simplify90.0ms

Algorithm

egg-herbie

Counts

61 → 61

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4925	931
1	4925	931

prune247.0ms

Filtered

45 candidates to 61 candidates (-35.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	59	2	61
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	60	2	62

Merged error: 6.9b

Counts

62 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
0.5b	(/.f64 (.f64 x0 (-.f64 (/.f64 x0 (.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
1.0b	(/.f64 x0 (-.f64 1 x1))
6.2b	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

rewrite269.0ms

Algorithm

rewrite-expression-head

Rules

57×	`*-un-lft-identity_binary64_3142`
51×	`add-sqr-sqrt_binary64_3127`
23×	`times-frac_binary64_3137`
21×	`add-cube-cbrt_binary64_3113`
18×	`difference-of-squares_binary64_3171`
13×	`add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106`
11×	`distribute-lft-out--_binary64_3187` `pow1_binary64_3088`
10×	`associate-/r*_binary64_3205`
9×	`flip--_binary64_3168` `flip3--_binary64_3141`
8×	`swap-sqr_binary64_3169`
6×	`associate-l_binary64_3202` `associate-r_binary64_3201` `add-log-exp_binary64_3107`
4×	`associate-/l_binary64_3206` `frac-times_binary64_3134` `associate-r/_binary64_3203` `associate-/r/_binary64_3207`
3×	`cbrt-undiv_binary64_3112` `div-exp_binary64_3095` `sub-neg_binary64_3146`
2×	`associate-/l/_binary64_3208` `clear-num_binary64_3145` `cbrt-unprod_binary64_3111` `associate-*l/_binary64_3204` `frac-2neg_binary64_3135` `distribute-lft-out_binary64_3186` `div-inv_binary64_3143` `prod-exp_binary64_3093`
1×	`pow2_binary64_3079` `unswap-sqr_binary64_3170` `pow-prod-down_binary64_3069` `flip-+_binary64_3167` `*-commutative_binary64_3210` `distribute-rgt-in_binary64_3185` `flip3-+_binary64_3140` `distribute-lft-in_binary64_3184` `diff-log_binary64_3058` `pow-prod-up_binary64_3068` `pow-sqr_binary64_3175` `pow-plus_binary64_3083`

Counts

4 → 128

Calls

4 calls:

10.0ms	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
28.0ms	(/.f64 (.f64 x0 (-.f64 (/.f64 x0 (.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
210.0ms	(/.f64 x0 (-.f64 1 x1))
16.0ms	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

series210.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(*.f64 (-.f64 1 x1) (-.f64 1 x1))
118.0ms	(/.f64 (.f64 x0 (-.f64 (/.f64 x0 (.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
23.0ms	(/.f64 x0 (-.f64 1 x1))
60.0ms	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

simplify116.0ms

Algorithm

egg-herbie

Counts

140 → 140

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	5592	2694

prune546.0ms

Filtered

92 candidates to 140 candidates (-52.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	138	2	140
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	140	2	142

Merged error: 5.4b

Counts

142 → 2

localize34.0ms

Local error

Found 4 expressions with local error:

1.0b	(/.f64 x0 (-.f64 1 x1))
1.0b	(/.f64 x0 (-.f64 1 x1))
1.0b	(pow.f64 (-.f64 1 x1) 3)
4.5b	(-.f64 (pow.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) 3) (pow.f64 x0 3))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

97×	`add-sqr-sqrt_binary64_3127`
69×	`*-un-lft-identity_binary64_3142`
44×	`difference-of-squares_binary64_3171` `times-frac_binary64_3137`
29×	`add-cube-cbrt_binary64_3113`
24×	`cube-prod_binary64_3115` `unpow-prod-down_binary64_3077`
15×	`distribute-lft-out--_binary64_3187`
12×	`associate-/r*_binary64_3205`
11×	`sqr-pow_binary64_3174`
9×	`add-cbrt-cube_binary64_3114` `add-exp-log_binary64_3106`
6×	`associate-/l*_binary64_3206` `add-log-exp_binary64_3107`
5×	`pow1_binary64_3088`
4×	`associate-/r/_binary64_3207` `flip--_binary64_3168` `flip3--_binary64_3141`
3×	`pow-unpow_binary64_3075`
2×	`cbrt-undiv_binary64_3112` `div-exp_binary64_3095` `clear-num_binary64_3145` `frac-2neg_binary64_3135` `div-inv_binary64_3143` `cube-div_binary64_3116`
1×	`rem-cube-cbrt_binary64_3118` `pow-exp_binary64_3066` `pow-to-exp_binary64_3067` `pow-pow_binary64_3070` `sub-neg_binary64_3146` `difference-cubes_binary64_3139` `diff-log_binary64_3058` `cube-mult_binary64_3117` `unpow3_binary64_3086`

Counts

4 → 154

Calls

4 calls:

7.0ms	(/.f64 x0 (-.f64 1 x1))
6.0ms	(/.f64 x0 (-.f64 1 x1))
5.0ms	(pow.f64 (-.f64 1 x1) 3)
30.0ms	(-.f64 (pow.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) 3) (pow.f64 x0 3))

series147.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(/.f64 x0 (-.f64 1 x1))
26.0ms	(/.f64 x0 (-.f64 1 x1))
10.0ms	(pow.f64 (-.f64 1 x1) 3)
83.0ms	(-.f64 (pow.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) 3) (pow.f64 x0 3))

simplify86.0ms

Algorithm

egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5059	3124

prune841.0ms

Filtered

107 candidates to 166 candidates (-55.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	166	2	168

Merged error: 4.6b

Counts

168 → 2

localize67.0ms

Local error

Found 4 expressions with local error:

1.0b	(+.f64 (pow.f64 x0 6) (/.f64 (pow.f64 x0 6) (pow.f64 (-.f64 1 x1) 6)))
1.3b	(pow.f64 (/.f64 x0 (pow.f64 (-.f64 1 x1) 2)) 6)
1.3b	(pow.f64 (-.f64 1 x1) 6)
4.4b	(-.f64 (pow.f64 (pow.f64 (/.f64 x0 (pow.f64 (-.f64 1 x1) 2)) 3) 3) (pow.f64 (pow.f64 x0 3) 3))

rewrite271.0ms

Algorithm

rewrite-expression-head

Rules

529×	`add-sqr-sqrt_binary64_3127`
513×	`unpow-prod-down_binary64_3077`
412×	`cube-prod_binary64_3115`
268×	`difference-of-squares_binary64_3171`
193×	`times-frac_binary64_3137`
153×	`sqr-pow_binary64_3174`
81×	`*-un-lft-identity_binary64_3142`
43×	`unpow2_binary64_3085`
25×	`distribute-lft-out--_binary64_3187` `add-cube-cbrt_binary64_3113`
11×	`add-exp-log_binary64_3106`
8×	`add-log-exp_binary64_3107`
6×	`pow-exp_binary64_3066` `pow1_binary64_3088` `pow-unpow_binary64_3075`
4×	`add-cbrt-cube_binary64_3114`
3×	`div-exp_binary64_3095` `pow-to-exp_binary64_3067`
2×	`pow-pow_binary64_3070`
1×	`+-commutative_binary64_3209` `flip-+_binary64_3167` `sum-log_binary64_3057` `sub-neg_binary64_3146` `flip3-+_binary64_3140` `difference-cubes_binary64_3139` `flip--_binary64_3168` `distribute-lft-out_binary64_3186` `diff-log_binary64_3058` `flip3--_binary64_3141` `div-inv_binary64_3143`

Counts

4 → 379

Calls

4 calls:

33.0ms	(+.f64 (pow.f64 x0 6) (/.f64 (pow.f64 x0 6) (pow.f64 (-.f64 1 x1) 6)))
11.0ms	(pow.f64 (/.f64 x0 (pow.f64 (-.f64 1 x1) 2)) 6)
6.0ms	(pow.f64 (-.f64 1 x1) 6)
190.0ms	(-.f64 (pow.f64 (pow.f64 (/.f64 x0 (pow.f64 (-.f64 1 x1) 2)) 3) 3) (pow.f64 (pow.f64 x0 3) 3))

series315.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(+.f64 (pow.f64 x0 6) (/.f64 (pow.f64 x0 6) (pow.f64 (-.f64 1 x1) 6)))
88.0ms	(pow.f64 (/.f64 x0 (pow.f64 (-.f64 1 x1) 2)) 6)
12.0ms	(pow.f64 (-.f64 1 x1) 6)
139.0ms	(-.f64 (pow.f64 (pow.f64 (/.f64 x0 (pow.f64 (-.f64 1 x1) 2)) 3) 3) (pow.f64 (pow.f64 x0 3) 3))

simplify172.0ms

Algorithm

egg-herbie

Counts

391 → 391

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4999	16862
1	4999	16862

prune1.2s

Filtered

108 candidates to 391 candidates (-262.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	390	1	391
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	391	2	393

Merged error: 4.6b

Counts

393 → 2

regimes96.0ms

Accuracy

0% (0.9b remaining)

Error of 5.4b against oracle of 4.5b and baseline of 5.4b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	80	137
1	80	137

end0.0ms

sample515.0ms

Algorithm

intervals

Results

208.0ms	8000×	pre	80	true
174.0ms	8000×	body	80	valid

Details

analyze3.0ms

sample23.0ms

simplify58.0ms

prune6.0ms

localize7.0ms

rewrite19.0ms

series66.0ms

simplify90.0ms

prune247.0ms

localize16.0ms

rewrite269.0ms

series210.0ms

simplify116.0ms

prune546.0ms

localize34.0ms

rewrite53.0ms

series147.0ms

simplify86.0ms

prune841.0ms

localize67.0ms

rewrite271.0ms

series315.0ms

simplify172.0ms

prune1.2s

regimes96.0ms

bsearch0.0ms

simplify3.0ms

end0.0ms

sample515.0ms

Profiling