Details

analyze520.0ms

Algorithm

Search

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
0%	99.9%	0.1%	4
6.2%	93.7%	0.1%	5
6.2%	90.5%	3.2%	6
21.9%	67.1%	11%	7
23.4%	64.8%	11.8%	8
32%	52.7%	15.3%	9
33.2%	51.3%	15.5%	10
37.7%	45.2%	17.2%	11
38.3%	44.4%	17.2%	12
40.6%	41.3%	18%	13
41%	41%	18%	14

sample40.0ms

Algorithm

intervals

Results

8.0ms	181×	body	80	valid
6.0ms	25×	body	1280	valid
5.0ms	28×	body	1280	nan
4.0ms	26×	body	640	valid
4.0ms	26×	body	640	nan
2.0ms	16×	body	320	valid
2.0ms	13×	body	320	nan
1.0ms	8×	body	160	valid
0.0ms	4×	body	160	nan
0.0ms	5×	body	80	nan

simplify134.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (131.0ms)

Iter	Nodes	Cost
0	5039	12

prune3.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: 18.6b

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 1.0 (log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1.0 y))
1.8b	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
4.9b	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

59×	`add-sqr-sqrt_binary64`
51×	`*-un-lft-identity_binary64`
28×	`times-frac_binary64`
19×	`difference-of-squares_binary64`
18×	`add-cube-cbrt_binary64`
17×	`distribute-lft-out--_binary64`
12×	`log-prod_binary64`
7×	`add-log-exp_binary64` `add-exp-log_binary64`
6×	`pow1_binary64` `associate--r+_binary64` `flip3--_binary64` `add-cbrt-cube_binary64` `flip--_binary64`
5×	`associate-/r_binary64` `associate-/l_binary64`
4×	`log-div_binary64`
3×	`associate--r-_binary64`
2×	`associate-/l/_binary64` `sub-neg_binary64` `diff-log_binary64` `log-pow_binary64` `associate-/r/_binary64` `div-sub_binary64`
1×	`cbrt-undiv_binary64` `rem-log-exp_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `div-exp_binary64`

Counts

4 → 106

Calls

4 calls:

18.0ms	(-.f64 1.0 (log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
8.0ms	(/.f64 (-.f64 x y) (-.f64 1.0 y))
14.0ms	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
18.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

series53.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(-.f64 1.0 (log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
7.0ms	(/.f64 (-.f64 x y) (-.f64 1.0 y))
11.0ms	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))
15.0ms	(log.f64 (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))

simplify45.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5161	1660

prune162.0ms

Filtered

90 candidates to 118 candidates (-31.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	113	5	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	114	5	119

Merged error: 0.1b

Counts

119 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(log.f64 (/.f64 (exp.f64 1.0) (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
0.0b	(/.f64 (-.f64 x y) (-.f64 1.0 y))
0.2b	(/.f64 (exp.f64 1.0) (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
1.8b	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

101×	`add-sqr-sqrt_binary64`
77×	`*-un-lft-identity_binary64`
69×	`times-frac_binary64`
37×	`add-cube-cbrt_binary64`
28×	`difference-of-squares_binary64`
24×	`log-prod_binary64`
20×	`distribute-lft-out--_binary64`
11×	`associate-/r*_binary64`
9×	`add-exp-log_binary64`
8×	`add-cbrt-cube_binary64` `associate-/l*_binary64`
6×	`add-log-exp_binary64` `associate-/r/_binary64`
5×	`pow1_binary64` `flip3--_binary64` `flip--_binary64`
3×	`div-inv_binary64` `div-exp_binary64`
2×	`associate-/l/_binary64` `cbrt-undiv_binary64` `rem-log-exp_binary64` `div-sub_binary64` `clear-num_binary64` `frac-2neg_binary64`
1×	`sub-neg_binary64` `diff-log_binary64` `associate--r-_binary64` `log-pow_binary64` `log-div_binary64`

Counts

4 → 143

Calls

4 calls:

17.0ms	(log.f64 (/.f64 (exp.f64 1.0) (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
8.0ms	(/.f64 (-.f64 x y) (-.f64 1.0 y))
18.0ms	(/.f64 (exp.f64 1.0) (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
17.0ms	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))

series65.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(log.f64 (/.f64 (exp.f64 1.0) (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))))
10.0ms	(/.f64 (-.f64 x y) (-.f64 1.0 y))
19.0ms	(/.f64 (exp.f64 1.0) (-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y))))
11.0ms	(-.f64 1.0 (/.f64 (-.f64 x y) (-.f64 1.0 y)))

simplify59.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5513	2584

prune167.0ms

Filtered

118 candidates to 155 candidates (-31.4%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	154	1	155
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	156	4	160

Merged error: 0.0b

Counts

160 → 4

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(log.f64 (.f64 1.0 (.f64 (exp.f64 1.0) (-.f64 (+.f64 x 1) y))))
0.2b	(*.f64 (exp.f64 1.0) (-.f64 (+.f64 x 1) y))

rewrite25.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1_binary64`
9×	`*-un-lft-identity_binary64`
8×	`add-exp-log_binary64` `add-sqr-sqrt_binary64`
6×	`associate-r_binary64` `associate-*r/_binary64`
4×	`pow-prod-down_binary64` `add-cube-cbrt_binary64` `add-cbrt-cube_binary64` `prod-exp_binary64`
3×	`rem-log-exp_binary64` `log-pow_binary64` `associate-l_binary64`
2×	`add-log-exp_binary64` `sub-neg_binary64` `flip3--_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `distribute-lft-out--_binary64` `log-div_binary64` `flip--_binary64` `associate--l+_binary64`
1×	`cbrt-unprod_binary64` `distribute-lft-out_binary64` `log-prod_binary64` `unswap-sqr_binary64` `difference-of-squares_binary64` `*-commutative_binary64`

Counts

2 → 43

Calls

2 calls:

13.0ms	(log.f64 (.f64 1.0 (.f64 (exp.f64 1.0) (-.f64 (+.f64 x 1) y))))
11.0ms	(*.f64 (exp.f64 1.0) (-.f64 (+.f64 x 1) y))

series22.0ms

Counts

2 → 6

Calls

2 calls:

15.0ms	(log.f64 (.f64 1.0 (.f64 (exp.f64 1.0) (-.f64 (+.f64 x 1) y))))
7.0ms	(*.f64 (exp.f64 1.0) (-.f64 (+.f64 x 1) y))

simplify54.0ms

Algorithm

egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4967	503
1	4967	503

prune52.0ms

Filtered

32 candidates to 49 candidates (-53.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	49	4	53

Merged error: 0b

Counts

53 → 4

localize8.0ms

Local error

Found 1 expressions with local error:

5.0b	(log.f64 (-.f64 (+.f64 x 1) y))

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

7×	`*-un-lft-identity_binary64`
6×	`log-prod_binary64`
4×	`add-sqr-sqrt_binary64`
2×	`pow1_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `distribute-lft-out--_binary64` `log-div_binary64`
1×	`add-log-exp_binary64` `flip3--_binary64` `distribute-lft-out_binary64` `rem-log-exp_binary64` `log-pow_binary64` `add-cbrt-cube_binary64` `difference-of-squares_binary64` `flip--_binary64`

Counts

1 → 17

Calls

1 calls:

6.0ms

(log.f64 (-.f64 (+.f64 x 1) y))

series8.0ms

Counts

1 → 3

Calls

1 calls:

8.0ms

(log.f64 (-.f64 (+.f64 x 1) y))

simplify53.0ms

Algorithm

egg-herbie

Counts

20 → 20

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4999	207
1	4999	207

prune18.0ms

Filtered

14 candidates to 20 candidates (-42.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	20	0	20
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	20	4	24

Merged error: 0b

Counts

24 → 4

regimes235.0ms

Accuracy

99.2% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 18.5b

bsearch0.0ms

simplify9.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (8.0ms)

Iter	Nodes	Cost
0	341	41
1	341	41

end0.0ms

sample1.2s

Algorithm

intervals

Results

265.0ms	5662×	body	80	valid
177.0ms	771×	body	1280	valid
143.0ms	836×	body	640	valid
126.0ms	743×	body	1280	nan
100.0ms	762×	body	640	nan
58.0ms	485×	body	320	valid
45.0ms	448×	body	320	nan
20.0ms	246×	body	160	valid
15.0ms	223×	body	160	nan
11.0ms	334×	body	80	nan

Details

analyze520.0ms

sample40.0ms

simplify134.0ms

prune3.0ms

localize8.0ms

rewrite62.0ms

series53.0ms

simplify45.0ms

prune162.0ms

localize10.0ms

rewrite65.0ms

series65.0ms

simplify59.0ms

prune167.0ms

localize9.0ms

rewrite25.0ms

series22.0ms

simplify54.0ms

prune52.0ms

localize8.0ms

rewrite7.0ms

series8.0ms

simplify53.0ms

prune18.0ms

regimes235.0ms

bsearch0.0ms

simplify9.0ms

end0.0ms

sample1.2s

Profiling