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

sample94.0ms

Algorithm

intervals

Results

34.0ms	368×	body	80	invalid
20.0ms	256×	body	80	valid

simplify307.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (305.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: 12.8b

Counts

2 → 1

localize19.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))))
4.0b	(* x (- (* y z) (* t a)))
4.3b	(* j (- (* c a) (* y i)))
7.2b	(* b (- (* c z) (* t i)))

rewrite37.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:

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

series306.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify43.0ms

Algorithm

egg-herbie

Counts

108 → 108

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	5042	3303

prune289.0ms

Filtered

87 candidates to 108 candidates (-24.1%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	87	21	108
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	88	21	109

Merged error: 4.7b

Counts

109 → 21

localize27.0ms

Local error

Found 4 expressions with local error:

5.3b	(cbrt (- (* z y) (* t a)))
5.3b	(cbrt (- (* z y) (* t a)))
5.3b	(cbrt (- (* y z) (* t a)))
7.2b	(* b (- (* c z) (* t 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:

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

series136.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(cbrt (- (* z y) (* t a)))
38.0ms	(cbrt (- (* z y) (* t a)))
40.0ms	(cbrt (- (* y z) (* t a)))
19.0ms	(* b (- (* c z) (* t i)))

simplify52.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4996	894
1	4996	894

prune218.0ms

Filtered

61 candidates to 73 candidates (-19.7%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	0	20	20
Picked	1	0	1
Done	0	0	0
Total	72	22	94

Merged error: 4.7b

Counts

94 → 22

localize24.0ms

Local error

Found 4 expressions with local error:

3.6b	(* (* (cbrt b) (cbrt b)) (* (- (* c z) (* t i)) (cbrt b)))
3.9b	(* (- (* c z) (* t i)) (cbrt b))
4.0b	(* x (- (* y z) (* t a)))
4.3b	(* j (- (* c a) (* y i)))

rewrite34.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:

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

series108.0ms

Counts

4 → 12

Calls

4 calls:

25.0ms	(* (* (cbrt b) (cbrt b)) (* (- (* c z) (* t i)) (cbrt b)))
40.0ms	(* (- (* c z) (* t i)) (cbrt b))
24.0ms	(* x (- (* y z) (* t a)))
19.0ms	(* j (- (* c a) (* y i)))

simplify41.0ms

Algorithm

egg-herbie

Counts

104 → 104

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4998	1138
1	4998	1138

prune240.0ms

Filtered

76 candidates to 104 candidates (-36.8%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	100	4	104
Fresh	3	18	21
Picked	1	0	1
Done	0	0	0
Total	104	22	126

Merged error: 4.7b

Counts

126 → 22

localize23.0ms

Local error

Found 4 expressions with local error:

1.1b	(* (* (- (* c z) (* i t)) (* (cbrt b) (cbrt b))) (cbrt b))
4.0b	(* x (- (* y z) (* t a)))
4.3b	(* j (- (* c a) (* y i)))
6.4b	(* (- (* c z) (* i t)) (* (cbrt b) (cbrt b)))

rewrite35.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:

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

series123.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify39.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5003	1197

prune101.0ms

Filtered

74 candidates to 103 candidates (-39.2%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	100	3	103
Fresh	3	18	21
Picked	1	0	1
Done	0	0	0
Total	104	21	125

Merged error: 4.7b

Counts

125 → 21

regimes2.1s

Accuracy

20% (6.6b remaining)

Error of 10.7b against oracle of 4.1b and baseline of 12.3b

bsearch232.0ms

Steps

Iters	Range		Point
8	4.557671149600902e-50	1.608617699052527e-46	1.3065923009124668e-46
9	1.7160060786744385e-200	1.3847734864717303e-191	6.209812177855934e-197
8	-2436493.879099484	-343.454696294841	-113366.18846745034
9	-8.025419537935507e+95	-6.2461781497222565e+90	-1.7241027508523938e+92

simplify24.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (23.0ms)

Iter	Nodes	Cost
0	1169	198
1	1169	198

end0.0ms

sample2.5s

Algorithm

intervals

Results

929.0ms	11045×	body	80	invalid
676.0ms	8000×	body	80	valid

Details

analyze2.0s

sample94.0ms

simplify307.0ms

prune12.0ms

localize19.0ms

rewrite37.0ms

series306.0ms

simplify43.0ms

prune289.0ms

localize27.0ms

rewrite18.0ms

series136.0ms

simplify52.0ms

prune218.0ms

localize24.0ms

rewrite34.0ms

series108.0ms

simplify41.0ms

prune240.0ms

localize23.0ms

rewrite35.0ms

series123.0ms

simplify39.0ms

prune101.0ms

regimes2.1s

bsearch232.0ms

simplify24.0ms

end0.0ms

sample2.5s

Profiling