Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
50%	50%	0%	2
50%	25%	25%	3
62.5%	12.5%	25%	4
68.7%	6.2%	25%	5
71.8%	3.1%	25%	6
73.4%	1.6%	25%	7
74.2%	0.8%	25%	8
74.6%	0.4%	25%	9
74.8%	0.2%	25%	10
74.9%	0.1%	25%	11
74.9%	0%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

sample50.0ms

Algorithm

intervals

Results

27.0ms	80×	body	1024	valid
7.0ms	13×	body	2048	valid
6.0ms	33×	body	512	valid
3.0ms	100×	body	128	valid
2.0ms	30×	body	256	valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	6	6
1	6	6

prune1.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: 39.3b

Counts

2 → 1

localize3.0ms

Local error

Found 1 expressions with local error:

6.0b	(log.f64 (+.f64 1 x))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

1 → 15

Calls

1 calls:

4.0ms

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

series24.0ms

Counts

1 → 3

Calls

1 calls:

24.0ms

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

simplify83.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4883	210
1	4883	210

prune21.0ms

Filtered

13 candidates to 18 candidates (-38.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	16	2	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	16	3	19

Merged error: 0.1b

Counts

19 → 3

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(.f64 x (+.f64 1 (.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
0.1b	(.f64 x (+.f64 -1/2 (.f64 x 1/3)))
0.4b	(*.f64 x 1/3)

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary64`
9×	`-un-lft-identity_binary64` `pow1_binary64` `associate-r_binary64` `add-cube-cbrt_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `associate-l*_binary64`
4×	`associate-*r/_binary64`
3×	`pow-prod-down_binary64` `add-log-exp_binary64` `cbrt-unprod_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `*-commutative_binary64`
2×	`flip3-+_binary64` `distribute-lft-in_binary64` `distribute-rgt-in_binary64` `flip-+_binary64`

Counts

3 → 62

Calls

3 calls:

6.0ms	(.f64 x (+.f64 1 (.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
6.0ms	(.f64 x (+.f64 -1/2 (.f64 x 1/3)))
4.0ms	(*.f64 x 1/3)

series127.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(.f64 x (+.f64 1 (.f64 x (+.f64 -1/2 (*.f64 x 1/3)))))
71.0ms	(.f64 x (+.f64 -1/2 (.f64 x 1/3)))
22.0ms	(*.f64 x 1/3)

simplify65.0ms

Algorithm

egg-herbie

Counts

71 → 71

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4942	905
1	4942	905

prune50.0ms

Filtered

50 candidates to 71 candidates (-42.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	70	1	71
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	71	3	74

Merged error: 0.0b

Counts

74 → 3

localize7.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 x (.f64 x (+.f64 (*.f64 x 1/3) -1/2))))
0.0b	(.f64 x (.f64 x (+.f64 (*.f64 x 1/3) -1/2)))
0.1b	(.f64 x (+.f64 (.f64 x 1/3) -1/2))
0.4b	(*.f64 x 1/3)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

13×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
9×	`-un-lft-identity_binary64` `add-cube-cbrt_binary64` `distribute-lft-in_binary64` `associate-l*_binary64` `distribute-rgt-in_binary64`
7×	`associate-r_binary64`
6×	`add-log-exp_binary64` `associate-*r/_binary64`
5×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`associate-+r+_binary64`
3×	`flip3-+_binary64` `flip-+_binary64` `*-commutative_binary64`
2×	`unswap-sqr_binary64`
1×	`+-commutative_binary64` `sum-log_binary64`

Counts

4 → 79

Calls

4 calls:

4.0ms	(+.f64 x (.f64 x (.f64 x (+.f64 (*.f64 x 1/3) -1/2))))
9.0ms	(.f64 x (.f64 x (+.f64 (*.f64 x 1/3) -1/2)))
7.0ms	(.f64 x (+.f64 (.f64 x 1/3) -1/2))
4.0ms	(*.f64 x 1/3)

series221.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(+.f64 x (.f64 x (.f64 x (+.f64 (*.f64 x 1/3) -1/2))))
100.0ms	(.f64 x (.f64 x (+.f64 (*.f64 x 1/3) -1/2)))
71.0ms	(.f64 x (+.f64 (.f64 x 1/3) -1/2))
21.0ms	(*.f64 x 1/3)

simplify71.0ms

Algorithm

egg-herbie

Counts

91 → 91

Iterations

Useful iterations: 0 (54.0ms)

Iter	Nodes	Cost
0	4945	1175
1	4945	1175

prune51.0ms

Filtered

57 candidates to 91 candidates (-59.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	91	0	91
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	91	3	94

Merged error: 0.0b

Counts

94 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (*.f64 x x) x)
0.2b	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
14.0b	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
14.5b	(log.f64 (+.f64 1 (pow.f64 x 3)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

21×	`*-un-lft-identity_binary64`
16×	`log-prod_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`pow1_binary64`
8×	`add-cube-cbrt_binary64` `log-div_binary64`
6×	`add-log-exp_binary64` `log-pow_binary64` `add-exp-log_binary64`
4×	`flip3-+_binary64` `associate--r+_binary64` `distribute-lft-out_binary64` `add-cbrt-cube_binary64` `distribute-lft-out--_binary64` `flip-+_binary64` `associate--l+_binary64`
2×	`sub-neg_binary64` `flip3--_binary64` `associate--l-_binary64` `diff-log_binary64` `associate--r-_binary64` `rem-log-exp_binary64` `difference-of-squares_binary64` `flip--_binary64`
1×	`distribute-rgt-out--_binary64`

Counts

4 → 71

Calls

4 calls:

5.0ms	(-.f64 (*.f64 x x) x)
16.0ms	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
7.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
6.0ms	(log.f64 (+.f64 1 (pow.f64 x 3)))

series275.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(-.f64 (*.f64 x x) x)
52.0ms	(-.f64 (log.f64 (+.f64 1 (pow.f64 x 3))) (log.f64 (+.f64 1 (-.f64 (*.f64 x x) x))))
32.0ms	(log.f64 (+.f64 1 (-.f64 (*.f64 x x) x)))
139.0ms	(log.f64 (+.f64 1 (pow.f64 x 3)))

simplify90.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4906	1673
1	4906	1673

prune75.0ms

Filtered

63 candidates to 83 candidates (-31.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	82	1	83
Fresh	0	0	0
Picked	1	0	1
Done	0	2	2
Total	83	3	86

Merged error: 0.0b

Counts

86 → 3

regimes39.0ms

Accuracy

99.6% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 21.2b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	31
1	22	31

end0.0ms

sample1.6s

Algorithm

intervals

Results

953.0ms	2670×	body	1024	valid
228.0ms	1306×	body	512	valid
132.0ms	276×	body	2048	valid
95.0ms	3063×	body	128	valid
58.0ms	685×	body	256	valid

Details

analyze3.0ms

sample50.0ms

simplify8.0ms

prune1.0ms

localize3.0ms

rewrite5.0ms

series24.0ms

simplify83.0ms

prune21.0ms

localize7.0ms

rewrite21.0ms

series127.0ms

simplify65.0ms

prune50.0ms

localize7.0ms

rewrite31.0ms

series221.0ms

simplify71.0ms

prune51.0ms

localize12.0ms

rewrite40.0ms

series275.0ms

simplify90.0ms

prune75.0ms

regimes39.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.6s

Profiling