Details

analyze1.0s

Algorithm

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
1.8%	98%	0.2%	10
7.7%	92.1%	0.2%	11
10.4%	89.4%	0.2%	12
14.9%	84.9%	0.2%	13
16.2%	83.5%	0.3%	14

sample26.0ms

Algorithm

intervals

Results

8.0ms	227×	body	80	valid
1.0ms	8×	body	1280	valid
1.0ms	36×	body	80	invalid
1.0ms	9×	body	640	valid
1.0ms	5×	body	320	valid
0.0ms	6×	body	160	valid
0.0ms	1×	body	2560	valid

simplify61.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (58.0ms)

Iter	Nodes	Cost
0	4912	13
1	4912	13

prune4.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: 16.2b

Counts

2 → 1

localize14.0ms

Local error

Found 3 expressions with local error:

0.0b	(*.f64 (-.f64 y x) (-.f64 z t))
1.5b	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
12.3b	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64` `add-sqr-sqrt_binary64`
13×	`flip3--_binary64` `flip--_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
8×	`associate-/l/_binary64` `frac-times_binary64`
7×	`add-cube-cbrt_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `associate-r_binary64` `associate-l*_binary64` `times-frac_binary64`
4×	`associate-r/_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `associate-l/_binary64`
2×	`sub-neg_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `associate-/r/_binary64` `prod-exp_binary64` `div-exp_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `distribute-lft-out_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `unswap-sqr_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l_binary64` `div-inv_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

3 → 79

Calls

3 calls:

9.0ms	(*.f64 (-.f64 y x) (-.f64 z t))
8.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
13.0ms	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))

series111.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(*.f64 (-.f64 y x) (-.f64 z t))
62.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t)))
38.0ms	(/.f64 (*.f64 (-.f64 y x) (-.f64 z t)) (-.f64 a t))

simplify42.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	6015	1085

prune123.0ms

Filtered

67 candidates to 88 candidates (-31.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	77	11	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	11	89

Merged error: 3.1b

Counts

89 → 11

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 z t) (-.f64 a t))
1.5b	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
3.2b	(*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64`
73×	`*-un-lft-identity_binary64`
51×	`times-frac_binary64`
31×	`associate-r_binary64`
27×	`add-cube-cbrt_binary64`
23×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`associate-/r_binary64` `add-log-exp_binary64` `pow1_binary64` `flip3--_binary64` `associate-l_binary64` `associate-/l_binary64` `flip--_binary64`
4×	`associate-/r/_binary64`
2×	`associate-/l/_binary64` `cbrt-unprod_binary64` `cbrt-undiv_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `div-inv_binary64` `div-exp_binary64` `frac-times_binary64` `associate-*l/_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-r/_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64` `-commutative_binary64`

Counts

3 → 119

Calls

3 calls:

8.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
4.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
17.0ms	(*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)))

series115.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/.f64 (-.f64 z t) (-.f64 a t))
62.0ms	(+.f64 x (*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t))))
42.0ms	(*.f64 (-.f64 y x) (/.f64 (-.f64 z t) (-.f64 a t)))

simplify45.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	5068	1606

prune136.0ms

Filtered

83 candidates to 128 candidates (-54.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	121	7	128
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	126	13	139

Merged error: 3.1b

Counts

139 → 13

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(/.f64 (-.f64 a t) (-.f64 z t))
1.5b	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
3.2b	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

330×	`times-frac_binary64`
323×	`*-un-lft-identity_binary64`
321×	`add-sqr-sqrt_binary64`
113×	`add-cube-cbrt_binary64`
104×	`difference-of-squares_binary64` `distribute-lft-out--_binary64`
36×	`associate-/r*_binary64`
15×	`associate-/r/_binary64`
10×	`add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-/l*_binary64`
9×	`flip3--_binary64` `flip--_binary64`
8×	`div-inv_binary64`
5×	`add-log-exp_binary64`
4×	`associate-/l/_binary64` `cbrt-undiv_binary64` `div-exp_binary64`
3×	`pow1_binary64` `div-sub_binary64`
2×	`clear-num_binary64` `frac-2neg_binary64`
1×	`flip3-+_binary64` `associate-+r-_binary64` `distribute-lft-out_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

3 → 274

Calls

3 calls:

8.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
38.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
17.0ms	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))

series170.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(/.f64 (-.f64 a t) (-.f64 z t))
69.0ms	(+.f64 x (/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t))))
89.0ms	(/.f64 (-.f64 y x) (/.f64 (-.f64 a t) (-.f64 z t)))

simplify73.0ms

Algorithm

egg-herbie

Counts

283 → 283

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5092	5477

prune217.0ms

Filtered

171 candidates to 283 candidates (-65.5%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	276	7	283
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	282	14	296

Merged error: 3.1b

Counts

296 → 14

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/.f64 1 (-.f64 z t))
0.2b	(*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t)))
2.3b	(+.f64 x (/.f64 (-.f64 y x) (*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t)))))
3.2b	(/.f64 (-.f64 y x) (*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t))))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

53×	`add-sqr-sqrt_binary64`
49×	`*-un-lft-identity_binary64`
37×	`times-frac_binary64`
32×	`add-exp-log_binary64`
26×	`add-cube-cbrt_binary64`
21×	`associate-r_binary64`
20×	`add-cbrt-cube_binary64`
11×	`div-exp_binary64`
10×	`associate-/r/_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64`
8×	`prod-exp_binary64` `associate-/l*_binary64`
7×	`pow1_binary64` `flip3--_binary64` `flip--_binary64`
6×	`associate-/r*_binary64` `add-log-exp_binary64` `cbrt-undiv_binary64`
5×	`associate-l_binary64`
4×	`cbrt-unprod_binary64` `frac-times_binary64` `associate-*l/_binary64`
3×	`1-exp_binary64` `unswap-sqr_binary64` `rec-exp_binary64` `div-inv_binary64`
2×	`associate-/l/_binary64` `associate-*r/_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64` `un-div-inv_binary64`
1×	`pow-prod-down_binary64` `flip3-+_binary64` `associate-+r-_binary64` `distribute-lft-out_binary64` `inv-pow_binary64` `+-commutative_binary64` `pow-flip_binary64` `flip-+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

4 → 142

Calls

4 calls:

6.0ms	(/.f64 1 (-.f64 z t))
13.0ms	(*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t)))
9.0ms	(+.f64 x (/.f64 (-.f64 y x) (*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t)))))
15.0ms	(/.f64 (-.f64 y x) (*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t))))

series135.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/.f64 1 (-.f64 z t))
11.0ms	(*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t)))
63.0ms	(+.f64 x (/.f64 (-.f64 y x) (*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t)))))
55.0ms	(/.f64 (-.f64 y x) (*.f64 (-.f64 a t) (/.f64 1 (-.f64 z t))))

simplify38.0ms

Algorithm

egg-herbie

Counts

154 → 154

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5082	1583

prune102.0ms

Filtered

98 candidates to 154 candidates (-57.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	154	0	154
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	154	14	168

Merged error: 3.1b

Counts

168 → 14

regimes623.0ms

Accuracy

18.1% (6.1b remaining)

Error of 10.3b against oracle of 4.2b and baseline of 11.7b

bsearch56.0ms

Steps

Iters	Range		Point
9	3.196307996571879e-250	2.175226792895437e-244	9.208735455584218e-245
9	-3.220688930829518e-203	-1.7527154182543075e-212	-1.5436284696018093e-203

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	92	71
1	92	71

end0.0ms

sample771.0ms

Algorithm

intervals

Results

261.0ms	6545×	body	80	valid
71.0ms	522×	body	640	valid
48.0ms	1228×	body	80	invalid
45.0ms	261×	body	1280	valid
39.0ms	377×	body	320	valid
22.0ms	273×	body	160	valid
5.0ms	22×	body	2560	valid

Details

analyze1.0s

sample26.0ms

simplify61.0ms

prune4.0ms

localize14.0ms

rewrite32.0ms

series111.0ms

simplify42.0ms

prune123.0ms

localize9.0ms

rewrite34.0ms

series115.0ms

simplify45.0ms

prune136.0ms

localize9.0ms

rewrite82.0ms

series170.0ms

simplify73.0ms

prune217.0ms

localize10.0ms

rewrite48.0ms

series135.0ms

simplify38.0ms

prune102.0ms

regimes623.0ms

bsearch56.0ms

simplify3.0ms

end0.0ms

sample771.0ms

Profiling