Details

analyze2.0s

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

sample91.0ms

Algorithm

intervals

Results

32.0ms	337×	body	80	invalid
20.0ms	256×	body	80	valid

simplify309.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (307.0ms)

Iter	Nodes	Cost
0	4955	29
1	4955	29

prune12.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.8b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
3.8b	(* b (- (* c z) (* t i)))
4.7b	(* x (- (* y z) (* t a)))
6.7b	(* j (- (* c a) (* y i)))

rewrite35.0ms

Algorithm

rewrite-expression-head

Rules

34×	`associate-*r/`
19×	`flip3--` `flip--`
16×	`add-sqr-sqrt`
12×	`frac-add`
11×	`sub-neg`
10×	`pow1` `add-exp-log` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube`
9×	`associate-r` `associate-l` `add-log-exp`
8×	`frac-sub`
5×	`distribute-rgt-in` `distribute-lft-in`
3×	`associate-+l+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
2×	`associate-+r+` `associate--l+` `sum-log`
1×	`+-commutative` `associate-+l-` `flip3-+` `diff-log` `flip-+`

Counts

4 → 96

Calls

4 calls:

11.0ms	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
6.0ms	(* b (- (* c z) (* t i)))
9.0ms	(* x (- (* y z) (* t a)))
6.0ms	(* j (- (* c a) (* y i)))

series303.0ms

Counts

4 → 12

Calls

4 calls:

248.0ms	(+ (- (* x (- (* y z) (* t a))) (* b (- (* c z) (* t i)))) (* j (- (* c a) (* y i))))
18.0ms	(* b (- (* c z) (* t i)))
19.0ms	(* x (- (* y z) (* t a)))
18.0ms	(* j (- (* c a) (* y i)))

simplify45.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5042	3303

prune257.0ms

Filtered

87 candidates to 108 candidates (-24.1%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	93	15	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	94	15	109

Merged error: 5.4b

Counts

109 → 15

localize26.0ms

Local error

Found 4 expressions with local error:

4.7b	(* x (- (* y z) (* t a)))
8.3b	(cbrt (- (* c a) (* y i)))
8.3b	(cbrt (- (* c a) (* y i)))
8.3b	(cbrt (- (* c a) (* y i)))

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	(* x (- (* y z) (* t a)))
4.0ms	(cbrt (- (* c a) (* y i)))
4.0ms	(cbrt (- (* c a) (* y i)))
4.0ms	(cbrt (- (* c a) (* y i)))

series133.0ms

Counts

4 → 12

Calls

4 calls:

18.0ms	(* x (- (* y z) (* t a)))
38.0ms	(cbrt (- (* c a) (* y i)))
38.0ms	(cbrt (- (* c a) (* y i)))
39.0ms	(cbrt (- (* c a) (* y i)))

simplify40.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (33.0ms)

Iter	Nodes	Cost
0	4940	894
1	4940	894

prune169.0ms

Filtered

62 candidates to 73 candidates (-17.7%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	73	15	88

Merged error: 5.4b

Counts

88 → 15

localize23.0ms

Local error

Found 4 expressions with local error:

2.2b	(* (* (cbrt x) (cbrt x)) (* (- (* y z) (* a t)) (cbrt x)))
2.9b	(* (- (* y z) (* a t)) (cbrt x))
3.8b	(* b (- (* c z) (* t i)))
6.7b	(* j (- (* c a) (* y i)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 92

Calls

4 calls:

13.0ms	(* (* (cbrt x) (cbrt x)) (* (- (* y z) (* a t)) (cbrt x)))
7.0ms	(* (- (* y z) (* a t)) (cbrt x))
6.0ms	(* b (- (* c z) (* t i)))
6.0ms	(* j (- (* c a) (* y i)))

series98.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (* (cbrt x) (cbrt x)) (* (- (* y z) (* a t)) (cbrt x)))
38.0ms	(* (- (* y z) (* a t)) (cbrt x))
18.0ms	(* b (- (* c z) (* t i)))
18.0ms	(* j (- (* c a) (* y i)))

simplify37.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5013	1138

prune189.0ms

Filtered

74 candidates to 104 candidates (-40.5%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	102	2	104
Fresh	0	13	13
Picked	1	0	1
Done	0	1	1
Total	103	16	119

Merged error: 5.4b

Counts

119 → 16

localize24.0ms

Local error

Found 4 expressions with local error:

0.7b	(* (* (- (* y z) (* a t)) (* (cbrt x) (cbrt x))) (cbrt x))
3.8b	(* b (- (* c z) (* t i)))
4.3b	(* (- (* y z) (* a t)) (* (cbrt x) (cbrt x)))
6.7b	(* j (- (* c a) (* y i)))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

11.0ms	(* (* (- (* y z) (* a t)) (* (cbrt x) (cbrt x))) (cbrt x))
6.0ms	(* b (- (* c z) (* t i)))
9.0ms	(* (- (* y z) (* a t)) (* (cbrt x) (cbrt x)))
7.0ms	(* j (- (* c a) (* y i)))

series116.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (* (- (* y z) (* a t)) (* (cbrt x) (cbrt x))) (cbrt x))
17.0ms	(* b (- (* c z) (* t i)))
58.0ms	(* (- (* y z) (* a t)) (* (cbrt x) (cbrt x)))
18.0ms	(* j (- (* c a) (* y i)))

simplify38.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5007	1197

prune97.0ms

Filtered

72 candidates to 103 candidates (-43.1%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	1	13	14
Picked	1	0	1
Done	0	1	1
Total	103	16	119

Merged error: 5.4b

Counts

119 → 16

regimes1.8s

Accuracy

25.2% (6.6b remaining)

Error of 10.2b against oracle of 3.7b and baseline of 12.4b

bsearch74.0ms

Steps

Iters	Range		Point
4	5.2411223735400025e-211	9.581478481775591e-211	6.812278623510992e-211
6	-3.60995411430585e+131	-6.305403782954688e+130	-1.111560812378541e+131

simplify26.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	1021	118
1	1021	118

end0.0ms

sample2.6s

Algorithm

intervals

Results

959.0ms	11221×	body	80	invalid
664.0ms	8000×	body	80	valid

Details

analyze2.0s

sample91.0ms

simplify309.0ms

prune12.0ms

localize20.0ms

rewrite35.0ms

series303.0ms

simplify45.0ms

prune257.0ms

localize26.0ms

rewrite18.0ms

series133.0ms

simplify40.0ms

prune169.0ms

localize23.0ms

rewrite33.0ms

series98.0ms

simplify37.0ms

prune189.0ms

localize24.0ms

rewrite36.0ms

series116.0ms

simplify38.0ms

prune97.0ms

regimes1.8s

bsearch74.0ms

simplify26.0ms

end0.0ms

sample2.6s

Profiling