Details

sample2.8s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 58.032227%

Guaranteed chance to sample good point: 0.407213%

Results

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

simplify81.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	43	14
1	96	14
2	291	14
3	825	14
4	2021	14
5	5001	14

prune6.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: 10.6b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(- (* c z) (* t i))
4.2b	(* b (- (* c z) (* t i)))
4.2b	(* x (- (* y z) (* t a)))
5.7b	(* j (- (* c a) (* y i)))

rewrite22.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×	`distribute-rgt-in` `distribute-lft-in` `associate-*r/` `add-log-exp`
4×	`flip3--` `flip--`
3×	`pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`
1×	`diff-log`

Counts

4 → 84

Calls

4 calls:

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

series66.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify55.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	422	552
1	1762	485
2	5001	485

prune230.0ms

Filtered

63 candidates to 96 candidates (-52.4%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	77	19	96
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	78	19	97

Merged error: 8.1b

Counts

97 → 19

localize25.0ms

Local error

Found 4 expressions with local error:

2.2b	(* (sqrt b) (- (* c z) (* t i)))
2.3b	(* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))
4.2b	(* x (- (* y z) (* t a)))
5.7b	(* j (- (* c a) (* y i)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 107

Calls

4 calls:

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

series96.0ms

Counts

4 → 12

Calls

4 calls:

30.0ms	(* (sqrt b) (- (* c z) (* t i)))
30.0ms	(* (sqrt b) (* (sqrt b) (- (* c z) (* t i))))
18.0ms	(* x (- (* y z) (* t a)))
18.0ms	(* j (- (* c a) (* y i)))

simplify71.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	547	783
1	2403	683
2	5003	683

prune254.0ms

Filtered

74 candidates to 119 candidates (-60.8%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	113	6	119
Fresh	0	18	18
Picked	1	0	1
Done	0	0	0
Total	114	24	138

Merged error: 8.1b

Counts

138 → 24

localize26.0ms

Local error

Found 4 expressions with local error:

1.4b	(* (sqrt (sqrt b)) (* (sqrt (sqrt b)) (* (sqrt b) (- (* c z) (* t i)))))
2.2b	(* (sqrt b) (- (* c z) (* t i)))
4.2b	(* x (- (* y z) (* t a)))
5.7b	(* j (- (* c a) (* y i)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 121

Calls

4 calls:

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

series97.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(* (sqrt (sqrt b)) (* (sqrt (sqrt b)) (* (sqrt b) (- (* c z) (* t i)))))
31.0ms	(* (sqrt b) (- (* c z) (* t i)))
20.0ms	(* x (- (* y z) (* t a)))
18.0ms	(* j (- (* c a) (* y i)))

simplify85.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	640	1084
1	2759	825
2	5001	797

prune255.0ms

Filtered

77 candidates to 133 candidates (-72.7%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	129	4	133
Fresh	4	19	23
Picked	1	0	1
Done	0	0	0
Total	134	23	157

Merged error: 8.1b

Counts

157 → 23

localize33.0ms

Local error

Found 4 expressions with local error:

1.2b	(* (sqrt (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (* (sqrt (cbrt (sqrt b))) (pow (sqrt (sqrt b)) 3)) (- (* c z) (* t i))))
3.3b	(* (* (sqrt (cbrt (sqrt b))) (pow (sqrt (sqrt b)) 3)) (- (* c z) (* t i)))
4.2b	(* x (- (* y z) (* t a)))
5.7b	(* j (- (* c a) (* y i)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 106

Calls

4 calls:

21.0ms	(* (sqrt (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (* (sqrt (cbrt (sqrt b))) (pow (sqrt (sqrt b)) 3)) (- (* c z) (* t i))))
14.0ms	(* (* (sqrt (cbrt (sqrt b))) (pow (sqrt (sqrt b)) 3)) (- (* c z) (* t i)))
6.0ms	(* x (- (* y z) (* t a)))
6.0ms	(* j (- (* c a) (* y i)))

series146.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (sqrt (* (cbrt (sqrt b)) (cbrt (sqrt b)))) (* (* (sqrt (cbrt (sqrt b))) (pow (sqrt (sqrt b)) 3)) (- (* c z) (* t i))))
83.0ms	(* (* (sqrt (cbrt (sqrt b))) (pow (sqrt (sqrt b)) 3)) (- (* c z) (* t i)))
17.0ms	(* x (- (* y z) (* t a)))
18.0ms	(* j (- (* c a) (* y i)))

simplify98.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	689	1492
1	3234	1279
2	5001	1279

prune128.0ms

Filtered

70 candidates to 118 candidates (-68.6%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	116	2	118
Fresh	7	15	22
Picked	1	0	1
Done	0	0	0
Total	124	17	141

Merged error: 6.4b

Counts

141 → 17

regimes1.8s

Accuracy

52% (3.0b remaining)

Error of 9.2b against oracle of 6.2b and baseline of 12.5b

bsearch43.0ms

Steps

Iters	Range		Point
5	1.4375673233243816e-58	3.5683987133077506e-58	3.502922196674312e-58

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	54	34
1	54	34

end0.0ms

sample5.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 58.032227%

Guaranteed chance to sample good point: 0.407213%

Results

918.0ms	10968×	body	80	invalid
655.0ms	8000×	body	80	valid

Details

sample2.8s

simplify81.0ms

prune6.0ms

localize20.0ms

rewrite22.0ms

series66.0ms

simplify55.0ms

prune230.0ms

localize25.0ms

rewrite30.0ms

series96.0ms

simplify71.0ms

prune254.0ms

localize26.0ms

rewrite37.0ms

series97.0ms

simplify85.0ms

prune255.0ms

localize33.0ms

rewrite50.0ms

series146.0ms

simplify98.0ms

prune128.0ms

regimes1.8s

bsearch43.0ms

simplify2.0ms

end0.0ms

sample5.7s

Profiling