Details

analyze294.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%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
31.2%	68.6%	0.1%	9
43.3%	48%	8.7%	10
49.7%	40.8%	9.5%	11
55.7%	34%	10.3%	12
61.3%	23.7%	15%	13
65%	19.8%	15.3%	14

sample16.0ms

Algorithm

intervals

Results

7.0ms	256×	body	80	valid
1.0ms	19×	body	80	invalid

simplify28.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	548	9
1	548	9

prune2.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: 0.1b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
0.0b	(*.f64 (-.f64 y x) 6)
0.2b	(.f64 (.f64 (-.f64 y x) 6) z)

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

10×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `add-sqr-sqrt_binary64`
8×	`*-un-lft-identity_binary64`
6×	`associate-r_binary64` `add-cube-cbrt_binary64` `associate-l_binary64` `associate-*l/_binary64`
5×	`add-log-exp_binary64`
4×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
2×	`flip3--_binary64` `flip--_binary64` `*-commutative_binary64`
1×	`flip3-+_binary64` `unswap-sqr_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

3 → 53

Calls

3 calls:

4.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
10.0ms	(*.f64 (-.f64 y x) 6)
8.0ms	(.f64 (.f64 (-.f64 y x) 6) z)

series24.0ms

Counts

3 → 9

Calls

3 calls:

11.0ms	(+.f64 x (.f64 (.f64 (-.f64 y x) 6) z))
5.0ms	(*.f64 (-.f64 y x) 6)
9.0ms	(.f64 (.f64 (-.f64 y x) 6) z)

simplify36.0ms

Algorithm

egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (28.0ms)

Iter	Nodes	Cost
0	5340	519

prune47.0ms

Filtered

40 candidates to 62 candidates (-55.0%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	56	6	62
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	56	7	63

Merged error: 0.0b

Counts

63 → 7

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
0.3b	(.f64 (-.f64 y x) (.f64 6 z))

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

7×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
5×	`-un-lft-identity_binary64` `associate-l*_binary64` `add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64`
3×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64`
2×	`associate-*l/_binary64`
1×	`flip3-+_binary64` `flip3--_binary64` `associate-r_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip--_binary64` `flip-+_binary64` `sum-log_binary64` `*-commutative_binary64`

Counts

2 → 33

Calls

2 calls:

4.0ms	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
8.0ms	(.f64 (-.f64 y x) (.f64 6 z))

series20.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(+.f64 x (.f64 (-.f64 y x) (.f64 6 z)))
9.0ms	(.f64 (-.f64 y x) (.f64 6 z))

simplify33.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 0 (27.0ms)

Iter	Nodes	Cost
0	5255	374

prune31.0ms

Filtered

24 candidates to 39 candidates (-62.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	38	1	39
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	38	8	46

Merged error: 0.0b

Counts

46 → 8

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+.f64 x (.f64 (.f64 (*.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6)) z))
0.2b	(.f64 (.f64 (*.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6)) z)
0.6b	(.f64 (.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6))
0.6b	(*.f64 (-.f64 y x) (sqrt.f64 6))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`add-sqr-sqrt_binary64`
15×	`associate-r_binary64`
12×	`-un-lft-identity_binary64` `associate-l/_binary64`
10×	`pow-prod-down_binary64` `cbrt-unprod_binary64` `add-cube-cbrt_binary64` `prod-exp_binary64`
7×	`associate-l_binary64` `sqrt-prod_binary64`
6×	`add-log-exp_binary64`
3×	`flip3--_binary64` `flip--_binary64` `*-commutative_binary64`
2×	`unswap-sqr_binary64`
1×	`flip3-+_binary64` `difference-of-squares_binary64` `distribute-lft-out--_binary64` `+-commutative_binary64` `flip-+_binary64` `sum-log_binary64`

Counts

4 → 83

Calls

4 calls:

5.0ms	(+.f64 x (.f64 (.f64 (*.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6)) z))
13.0ms	(.f64 (.f64 (*.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6)) z)
10.0ms	(.f64 (.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6))
8.0ms	(*.f64 (-.f64 y x) (sqrt.f64 6))

series64.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(+.f64 x (.f64 (.f64 (*.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6)) z))
20.0ms	(.f64 (.f64 (*.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6)) z)
11.0ms	(.f64 (.f64 (-.f64 y x) (sqrt.f64 6)) (sqrt.f64 6))
10.0ms	(*.f64 (-.f64 y x) (sqrt.f64 6))

simplify54.0ms

Algorithm

egg-herbie

Counts

95 → 95

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4989	775
1	4989	775

prune47.0ms

Filtered

54 candidates to 95 candidates (-75.9%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	95	0	95
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	95	8	103

Merged error: 0.0b

Counts

103 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z)) (cbrt.f64 (.f64 (*.f64 (-.f64 y x) 6) z)))
4.0b	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))
4.0b	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))
4.0b	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

38×	`associate-*l/_binary64`
18×	`cbrt-div_binary64`
11×	`pow1_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`flip3--_binary64` `pow1/3_binary64` `flip--_binary64`
8×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
7×	`cbrt-prod_binary64`
6×	`add-exp-log_binary64`
4×	`add-log-exp_binary64` `swap-sqr_binary64` `associate-r_binary64` `add-cbrt-cube_binary64` `associate-l_binary64` `frac-times_binary64`
2×	`pow-prod-down_binary64` `pow-prod-up_binary64` `associate-*r/_binary64` `pow-sqr_binary64`
1×	`cbrt-unprod_binary64` `pow-plus_binary64` `unswap-sqr_binary64` `prod-exp_binary64` `pow2_binary64` `*-commutative_binary64`

Counts

4 → 72

Calls

4 calls:

12.0ms	(.f64 (cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z)) (cbrt.f64 (.f64 (*.f64 (-.f64 y x) 6) z)))
7.0ms	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))
7.0ms	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))
7.0ms	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))

series213.0ms

Counts

4 → 12

Calls

4 calls:

76.0ms	(.f64 (cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z)) (cbrt.f64 (.f64 (*.f64 (-.f64 y x) 6) z)))
47.0ms	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))
44.0ms	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))
46.0ms	(cbrt.f64 (.f64 (.f64 (-.f64 y x) 6) z))

simplify58.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	4933	1141
1	4933	1141

prune65.0ms

Filtered

67 candidates to 84 candidates (-25.4%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	84	8	92

Merged error: 0.0b

Counts

92 → 8

regimes181.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	9
1	21	9

end0.0ms

sample442.0ms

Algorithm

intervals

Results

234.0ms	8000×	body	80	valid
16.0ms	590×	body	80	invalid

Details

analyze294.0ms

sample16.0ms

simplify28.0ms

prune2.0ms

localize6.0ms

rewrite24.0ms

series24.0ms

simplify36.0ms

prune47.0ms

localize6.0ms

rewrite13.0ms

series20.0ms

simplify33.0ms

prune31.0ms

localize8.0ms

rewrite40.0ms

series64.0ms

simplify54.0ms

prune47.0ms

localize11.0ms

rewrite36.0ms

series213.0ms

simplify58.0ms

prune65.0ms

regimes181.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample442.0ms

Profiling