Details

analyze238.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
0%	99.9%	0.1%	5
0%	74.9%	25.1%	6
6.2%	68.6%	25.1%	7
10.1%	64.7%	25.1%	8
17.2%	32.8%	50.1%	9
23%	26.9%	50.1%	10
26.8%	23.1%	50.1%	11
31.6%	18.3%	50.1%	12
35.2%	14.7%	50.1%	13
37.5%	12.4%	50.1%	14

sample18.0ms

Algorithm

intervals

Results

11.0ms	256×	body	128	valid
0.0ms	1×	body	128	invalid

simplify149.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (142.0ms)

Iter	Nodes	Cost
0	4948	18
1	4948	18

prune2.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 0.1b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
0.0b	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
0.1b	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
0.2b	(*.f64 (+.f64 y 1/2) (log.f64 y))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

11.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
4.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
6.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
7.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

series418.0ms

Counts

4 → 12

Calls

4 calls:

96.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y) z)
66.0ms	(-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y)))
79.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y 1/2) (log.f64 y))) y)
176.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

simplify90.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 0 (68.0ms)

Iter	Nodes	Cost
0	4903	1613
1	4903	1613

prune85.0ms

Filtered

67 candidates to 90 candidates (-34.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	84	6	90
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	6	91

Merged error: 0.0b

Counts

91 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(-.f64 (-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)) z)
0.0b	(-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y))
0.1b	(-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)
0.2b	(*.f64 (+.f64 y 1/2) (log.f64 y))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 86

Calls

4 calls:

12.0ms	(-.f64 (-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)) z)
9.0ms	(-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y))
7.0ms	(-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)
7.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

series643.0ms

Counts

4 → 12

Calls

4 calls:

99.0ms	(-.f64 (-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)) z)
72.0ms	(-.f64 x (-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y))
296.0ms	(-.f64 (*.f64 (+.f64 y 1/2) (log.f64 y)) y)
176.0ms	(*.f64 (+.f64 y 1/2) (log.f64 y))

simplify74.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	5574	1742

prune77.0ms

Filtered

71 candidates to 98 candidates (-38.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	97	1	98
Fresh	2	3	5
Picked	0	1	1
Done	0	0	0
Total	99	5	104

Merged error: 0b

Counts

104 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2))
0.2b	(.f64 (+.f64 y 1/2) (.f64 (log.f64 (cbrt.f64 y)) 2))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 68

Calls

4 calls:

7.0ms	(*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2))
8.0ms	(.f64 (+.f64 y 1/2) (.f64 (log.f64 (cbrt.f64 y)) 2))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

series1.2s

Counts

4 → 12

Calls

4 calls:

416.0ms	(*.f64 (log.f64 (cbrt.f64 y)) (+.f64 y 1/2))
438.0ms	(.f64 (+.f64 y 1/2) (.f64 (log.f64 (cbrt.f64 y)) 2))
146.0ms	(cbrt.f64 y)
151.0ms	(cbrt.f64 y)

simplify79.0ms

Algorithm

egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4896	857
1	4896	857

prune77.0ms

Filtered

57 candidates to 80 candidates (-40.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	80	0	80
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	80	5	85

Merged error: 0b

Counts

85 → 5

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)
0.6b	(cbrt.f64 y)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod_binary64`
23×	`add-sqr-sqrt_binary64`
15×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`pow1_binary64`
9×	`pow1/3_binary64`
6×	`swap-sqr_binary64` `associate-r_binary64` `add-exp-log_binary64` `associate-l_binary64`
4×	`add-log-exp_binary64` `add-cbrt-cube_binary64` `unswap-sqr_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 73

Calls

4 calls:

6.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)
1.0ms	(cbrt.f64 y)

series634.0ms

Counts

4 → 12

Calls

4 calls:

174.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
146.0ms	(cbrt.f64 y)
158.0ms	(cbrt.f64 y)
156.0ms	(cbrt.f64 y)

simplify60.0ms

Algorithm

egg-herbie

Counts

85 → 85

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4935	588
1	4935	588

prune81.0ms

Filtered

65 candidates to 85 candidates (-30.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	85	0	85
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	85	5	90

Merged error: 0b

Counts

90 → 5

regimes44.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	176	18
1	176	18

end0.0ms

sample533.0ms

Algorithm

intervals

Results

359.0ms	7999×	body	128	valid
2.0ms	36×	body	128	invalid
0.0ms	1×	body	512	valid

Details

analyze238.0ms

sample18.0ms

simplify149.0ms

prune2.0ms

localize10.0ms

rewrite34.0ms

series418.0ms

simplify90.0ms

prune85.0ms

localize12.0ms

rewrite43.0ms

series643.0ms

simplify74.0ms

prune77.0ms

localize18.0ms

rewrite24.0ms

series1.2s

simplify79.0ms

prune77.0ms

localize16.0ms

rewrite17.0ms

series634.0ms

simplify60.0ms

prune81.0ms

regimes44.0ms

bsearch0.0ms

simplify4.0ms

end0.0ms

sample533.0ms

Profiling