Details

sample8.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 36.767578%

Guaranteed chance to sample good point: 48.262548%

Results

10.0ms	256×	body	80	valid
2.0ms	51×	body	80	invalid

simplify76.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	6
1	50	6
2	159	6
3	351	6
4	609	6
5	733	6
6	1068	6
7	1342	6
8	1506	6
9	1553	6
10	1553	6

prune4.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: 7.6b

Counts

2 → 1

localize9.0ms

Local error

Found 2 expressions with local error:

0.0b	(- (* x x) (* (* y 4.0) (- (* z z) t)))
7.0b	(* (* y 4.0) (- (* z z) t))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 41

Calls

2 calls:

6.0ms	(- (* x x) (* (* y 4.0) (- (* z z) t)))
8.0ms	(* (* y 4.0) (- (* z z) t))

series33.0ms

Counts

2 → 6

Calls

2 calls:

20.0ms	(- (* x x) (* (* y 4.0) (- (* z z) t)))
13.0ms	(* (* y 4.0) (- (* z z) t))

simplify41.0ms

Algorithm

egg-herbie

Counts

47 → 47

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	269	322
1	1276	286
2	5001	281

prune65.0ms

Filtered

29 candidates to 47 candidates (-62.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	42	5	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	42	6	48

Merged error: 4.4b

Counts

48 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

1.9b	(* (* y 4.0) (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
7.7b	(cbrt (- (* z z) t))
7.7b	(cbrt (- (* z z) t))
7.7b	(cbrt (- (* z z) t))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
16×	`pow1` `add-exp-log`
12×	`cbrt-prod` `add-cbrt-cube`
10×	`add-sqr-sqrt` `associate-*r/`
9×	`flip3--` `flip--`
8×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`add-cube-cbrt` `*-un-lft-identity`
4×	`frac-times` `add-log-exp`
3×	`pow1/3` `difference-of-squares`
2×	`associate-*l/`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 72

Calls

4 calls:

17.0ms	(* (* y 4.0) (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
4.0ms	(cbrt (- (* z z) t))
4.0ms	(cbrt (- (* z z) t))
4.0ms	(cbrt (- (* z z) t))

series80.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (* y 4.0) (* (cbrt (- (* z z) t)) (cbrt (- (* z z) t))))
17.0ms	(cbrt (- (* z z) t))
17.0ms	(cbrt (- (* z z) t))
17.0ms	(cbrt (- (* z z) t))

simplify115.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 3 (105.0ms)

Iter	Nodes	Cost
0	354	753
1	1112	669
2	4519	640
3	5001	616

prune105.0ms

Filtered

64 candidates to 84 candidates (-31.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

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

Merged error: 4.4b

Counts

90 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* y 4.0) (sqrt (- (* z z) t)))
0.2b	(* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))
7.1b	(sqrt (- (* z z) t))
7.1b	(sqrt (- (* z z) t))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1`
18×	`add-exp-log` `sqrt-div` `add-cbrt-cube`
16×	`add-sqr-sqrt` `sqrt-prod`
14×	`associate-r`
10×	`add-cube-cbrt` `-un-lft-identity` `associate-r/`
9×	`flip3--` `pow-prod-down` `prod-exp` `flip--` `cbrt-unprod`
4×	`frac-times` `add-log-exp` `difference-of-squares`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-l` `associate-l/` `-commutative`

Counts

4 → 89

Calls

4 calls:

9.0ms	(* (* y 4.0) (sqrt (- (* z z) t)))
14.0ms	(* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))
4.0ms	(sqrt (- (* z z) t))
6.0ms	(sqrt (- (* z z) t))

series39.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* (* y 4.0) (sqrt (- (* z z) t)))
13.0ms	(* (* (* y 4.0) (sqrt (- (* z z) t))) (sqrt (- (* z z) t)))
6.0ms	(sqrt (- (* z z) t))
6.0ms	(sqrt (- (* z z) t))

simplify54.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	370	767
1	1766	653
2	5002	647

prune103.0ms

Filtered

69 candidates to 101 candidates (-46.4%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	100	1	101
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	101	6	107

Merged error: 4.4b

Counts

107 → 6

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x x) (/ (* (- (pow z 4) (pow t 2)) (* y 4.0)) (+ (* z z) t)))
1.7b	(- (pow z 4) (pow t 2))
7.6b	(* (- (pow z 4) (pow t 2)) (* y 4.0))
25.6b	(/ (* (- (pow z 4) (pow t 2)) (* y 4.0)) (+ (* z z) t))

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

36×	`add-sqr-sqrt`
25×	`difference-of-squares`
18×	`add-exp-log` `add-cbrt-cube`
16×	`associate-l`
14×	`unpow-prod-down` `sqr-pow`
11×	`*-un-lft-identity`
9×	`pow1`
8×	`add-log-exp`
7×	`add-cube-cbrt`
6×	`prod-exp` `cbrt-unprod` `unpow2`
4×	`flip3--` `associate-*l/` `flip--`
3×	`cbrt-undiv` `times-frac` `div-exp` `pow-prod-down` `associate-/r*`
2×	`sub-neg` `diff-log` `associate-/r/` `associate-/l/` `distribute-lft-out--`
1×	`frac-2neg` `flip3-+` `associate-r` `clear-num` `-commutative` `flip-+` `div-inv` `associate-/l`

Counts

4 → 98

Calls

4 calls:

8.0ms	(- (* x x) (/ (* (- (pow z 4) (pow t 2)) (* y 4.0)) (+ (* z z) t)))
7.0ms	(- (pow z 4) (pow t 2))
12.0ms	(* (- (pow z 4) (pow t 2)) (* y 4.0))
17.0ms	(/ (* (- (pow z 4) (pow t 2)) (* y 4.0)) (+ (* z z) t))

series88.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(- (* x x) (/ (* (- (pow z 4) (pow t 2)) (* y 4.0)) (+ (* z z) t)))
6.0ms	(- (pow z 4) (pow t 2))
13.0ms	(* (- (pow z 4) (pow t 2)) (* y 4.0))
19.0ms	(/ (* (- (pow z 4) (pow t 2)) (* y 4.0)) (+ (* z z) t))

simplify66.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	548	960
1	2516	820
2	5001	808

prune161.0ms

Filtered

73 candidates to 110 candidates (-50.7%)

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	2	2
Picked	0	1	1
Done	0	3	3
Total	110	6	116

Merged error: 4.4b

Counts

116 → 6

regimes859.0ms

Accuracy

82% (0.6b remaining)

Error of 3.2b against oracle of 2.6b and baseline of 5.9b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	16
1	25	16

end0.0ms

sample9.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 36.767578%

Guaranteed chance to sample good point: 48.262548%

Results

310.0ms	8000×	body	80	valid
82.0ms	2050×	body	80	invalid

Details

sample8.1s

simplify76.0ms

prune4.0ms

localize9.0ms

rewrite15.0ms

series33.0ms

simplify41.0ms

prune65.0ms

localize12.0ms

rewrite31.0ms

series80.0ms

simplify115.0ms

prune105.0ms

localize11.0ms

rewrite36.0ms

series39.0ms

simplify54.0ms

prune103.0ms

localize15.0ms

rewrite48.0ms

series88.0ms

simplify66.0ms

prune161.0ms

regimes859.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample9.6s

Profiling