Details

analyze2.2s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample172.0ms

Algorithm

intervals

Results

21.0ms

256×

body

valid

simplify292.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (290.0ms)

Iter	Nodes	Cost
0	4955	29
1	4955	29

prune17.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: 11.0b

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

0.3b	(- (* y z) (* t a))
4.0b	(* j (- (* c a) (* y i)))
4.5b	(* b (- (* c z) (* t i)))
4.8b	(* x (- (* y z) (* t a)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-sqr-sqrt`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l`
7×	`sub-neg`
6×	`associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 77

Calls

4 calls:

4.0ms	(- (* y z) (* t a))
6.0ms	(* j (- (* c a) (* y i)))
6.0ms	(* b (- (* c z) (* t i)))
6.0ms	(* x (- (* y z) (* t a)))

series62.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(- (* y z) (* t a))
19.0ms	(* j (- (* c a) (* y i)))
17.0ms	(* b (- (* c z) (* t i)))
17.0ms	(* x (- (* y z) (* t a)))

simplify42.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4937	937
1	4937	937

prune231.0ms

Filtered

68 candidates to 89 candidates (-30.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	75	14	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	76	14	90

Merged error: 3.8b

Counts

90 → 14

localize28.0ms

Local error

Found 4 expressions with local error:

4.5b	(* b (- (* c z) (* t i)))
6.3b	(cbrt (- (* y z) (* t a)))
6.3b	(cbrt (- (* y z) (* t a)))
6.3b	(cbrt (- (* y z) (* t a)))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
9×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log` `cbrt-div` `add-cbrt-cube`
4×	`flip3--` `flip--` `add-log-exp`
3×	`pow1/3` `associate-r` `associate-l`
2×	`sub-neg` `associate-*r/`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 61

Calls

4 calls:

6.0ms	(* b (- (* c z) (* t i)))
4.0ms	(cbrt (- (* y z) (* t a)))
3.0ms	(cbrt (- (* y z) (* t a)))
4.0ms	(cbrt (- (* y z) (* t a)))

series124.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* b (- (* c z) (* t i)))
35.0ms	(cbrt (- (* y z) (* t a)))
35.0ms	(cbrt (- (* y z) (* t a)))
37.0ms	(cbrt (- (* y z) (* t a)))

simplify51.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4986	894
1	4986	894

prune232.0ms

Filtered

62 candidates to 73 candidates (-17.7%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	71	16	87

Merged error: 3.8b

Counts

87 → 16

localize30.0ms

Local error

Found 4 expressions with local error:

4.8b	(* x (- (* y z) (* t a)))
6.5b	(cbrt (* x (- (* y z) (* t a))))
6.5b	(cbrt (* x (- (* y z) (* t a))))
6.5b	(cbrt (* x (- (* y z) (* t a))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

8×	`add-sqr-sqrt` `associate-*r/`
6×	`pow1` `add-exp-log` `add-cube-cbrt` `cbrt-div` `*-un-lft-identity` `add-cbrt-cube`
4×	`flip3--` `flip--` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-r` `associate-l`
2×	`sub-neg`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 55

Calls

4 calls:

6.0ms	(* x (- (* y z) (* t a)))
6.0ms	(cbrt (* x (- (* y z) (* t a))))
5.0ms	(cbrt (* x (- (* y z) (* t a))))
5.0ms	(cbrt (* x (- (* y z) (* t a))))

series138.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(* x (- (* y z) (* t a)))
39.0ms	(cbrt (* x (- (* y z) (* t a))))
41.0ms	(cbrt (* x (- (* y z) (* t a))))
40.0ms	(cbrt (* x (- (* y z) (* t a))))

simplify43.0ms

Algorithm

egg-herbie

Counts

67 → 67

Iterations

Useful iterations: 0 (36.0ms)

Iter	Nodes	Cost
0	4999	831
1	4999	831

prune195.0ms

Filtered

56 candidates to 67 candidates (-19.6%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	66	1	67
Fresh	1	13	14
Picked	0	1	1
Done	0	1	1
Total	67	16	83

Merged error: 3.8b

Counts

83 → 16

localize37.0ms

Local error

Found 4 expressions with local error:

4.8b	(* x (- (* y z) (* t a)))
6.3b	(cbrt (- (* y z) (* t a)))
6.5b	(cbrt (* x (- (* y z) (* t a))))
6.5b	(cbrt (* x (- (* y z) (* t a))))

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt`
7×	`add-cube-cbrt` `*-un-lft-identity`
6×	`pow1` `add-exp-log` `cbrt-div` `associate-*r/` `add-cbrt-cube`
5×	`cbrt-prod`
4×	`flip3--` `flip--` `add-log-exp`
3×	`pow1/3` `associate-r` `associate-l`
2×	`sub-neg`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 57

Calls

4 calls:

6.0ms	(* x (- (* y z) (* t a)))
4.0ms	(cbrt (- (* y z) (* t a)))
5.0ms	(cbrt (* x (- (* y z) (* t a))))
5.0ms	(cbrt (* x (- (* y z) (* t a))))

series136.0ms

Counts

4 → 12

Calls

4 calls:

19.0ms	(* x (- (* y z) (* t a)))
35.0ms	(cbrt (- (* y z) (* t a)))
42.0ms	(cbrt (* x (- (* y z) (* t a))))
39.0ms	(cbrt (* x (- (* y z) (* t a))))

simplify46.0ms

Algorithm

egg-herbie

Counts

69 → 69

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5033	839

prune94.0ms

Filtered

57 candidates to 69 candidates (-21.1%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	69	0	69
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	69	16	85

Merged error: 3.8b

Counts

85 → 16

regimes2.2s

Accuracy

25.3% (6.4b remaining)

Error of 10.6b against oracle of 4.2b and baseline of 12.8b

bsearch478.0ms

Steps

Iters	Range		Point
8	0.003124195632216577	113.02473220582137	0.049954607068458674
6	2.066536065892226e-204	1.1649788410447335e-203	2.3502760720612682e-204
9	-6.92523842814225e-277	-3.124100597551917e-282	-3.179959350170305e-281
8	-1.4393297095596436e-37	-2.6419330688701682e-42	-1.1799778320271604e-37

simplify22.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	897	193
1	897	193

end0.0ms

sample5.1s

Algorithm

intervals

Results

684.0ms

8000×

body

valid

Details

analyze2.2s

sample172.0ms

simplify292.0ms

prune17.0ms

localize23.0ms

rewrite23.0ms

series62.0ms

simplify42.0ms

prune231.0ms

localize28.0ms

rewrite18.0ms

series124.0ms

simplify51.0ms

prune232.0ms

localize30.0ms

rewrite23.0ms

series138.0ms

simplify43.0ms

prune195.0ms

localize37.0ms

rewrite20.0ms

series136.0ms

simplify46.0ms

prune94.0ms

regimes2.2s

bsearch478.0ms

simplify22.0ms

end0.0ms

sample5.1s

Profiling