Details

sample168.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 96.447754%

Results

10.0ms

277×

body

valid

simplify12.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	5
1	37	5
2	61	5
3	91	5
4	115	5
5	121	5
6	121	5

prune3.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.7b

Counts

2 → 1

localize7.0ms

Local error

Found 2 expressions with local error:

4.0b	(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
6.4b	(* y (+ 1.0 (* z z)))

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

31×	`times-frac`
20×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
6×	`cbrt-undiv` `div-exp`
4×	`pow1` `associate-*r/`
3×	`associate-r` `associate-l` `prod-exp` `cbrt-unprod` `div-inv`
2×	`flip3-+` `associate-/r/` `flip-+` `add-log-exp`
1×	`distribute-rgt-in` `frac-2neg` `distribute-lft-in` `pow-prod-down` `clear-num` `associate-/r` `-commutative` `associate-/l/` `unswap-sqr`

Counts

2 → 70

Calls

2 calls:

7.0ms	(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
5.0ms	(* y (+ 1.0 (* z z)))

series30.0ms

Counts

2 → 6

Calls

2 calls:

20.0ms	(/ (/ 1.0 x) (* y (+ 1.0 (* z z))))
10.0ms	(* y (+ 1.0 (* z z)))

simplify49.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	409	511
1	1963	443
2	5001	443

prune124.0ms

Filtered

56 candidates to 76 candidates (-35.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	67	9	76
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	68	9	77

Merged error: 6.3b

Counts

77 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z))))
4.0b	(/ (/ 1.0 x) (* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z)))))
17.2b	(sqrt (+ 1.0 (* z z)))
17.2b	(sqrt (+ 1.0 (* z z)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

31×	`times-frac`
30×	`add-exp-log` `add-cbrt-cube`
28×	`sqrt-div`
24×	`add-sqr-sqrt`
22×	`add-cube-cbrt` `*-un-lft-identity`
16×	`associate-*r/`
14×	`flip3-+` `flip-+`
13×	`associate-/l*`
11×	`pow1`
9×	`cbrt-undiv` `div-exp` `prod-exp` `sqrt-prod` `cbrt-unprod`
8×	`frac-times` `associate-/r/`
6×	`associate-r`
4×	`associate-*l/` `add-log-exp`
3×	`pow-prod-down` `div-inv`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2`
1×	`frac-2neg` `associate-l` `clear-num` `associate-/r` `-commutative` `associate-/l/`

Counts

4 → 117

Calls

4 calls:

12.0ms	(* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z))))
12.0ms	(/ (/ 1.0 x) (* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z)))))
2.0ms	(sqrt (+ 1.0 (* z z)))
2.0ms	(sqrt (+ 1.0 (* z z)))

series34.0ms

Counts

4 → 12

Calls

4 calls:

10.0ms	(* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z))))
17.0ms	(/ (/ 1.0 x) (* (* y (sqrt (+ 1.0 (* z z)))) (sqrt (+ 1.0 (* z z)))))
3.0ms	(sqrt (+ 1.0 (* z z)))
4.0ms	(sqrt (+ 1.0 (* z z)))

simplify67.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	610	1242
1	2886	1023
2	5002	1005

prune202.0ms

Filtered

93 candidates to 129 candidates (-38.7%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	127	2	129
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	130	8	138

Merged error: 6.3b

Counts

138 → 8

localize13.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (/ 1.0 x))
2.1b	(/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* y (sqrt (+ 1.0 (* z z)))))
17.2b	(sqrt (+ 1.0 (* z z)))
17.2b	(sqrt (+ 1.0 (* z z)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-exp-log`
15×	`add-sqr-sqrt`
13×	`cbrt-prod` `add-cube-cbrt` `*-un-lft-identity`
12×	`add-cbrt-cube`
10×	`times-frac`
6×	`pow1` `sqrt-div` `sqrt-prod`
5×	`cbrt-div`
4×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `add-log-exp`
3×	`flip3-+` `associate-*r/` `flip-+` `associate-/l/`
2×	`rem-sqrt-square` `sqrt-pow1` `pow1/2` `associate-/r/` `div-inv`
1×	`frac-times` `frac-2neg` `pow1/3` `associate-l/` `clear-num` `associate-/r` `associate-/l*`

Counts

4 → 78

Calls

4 calls:

2.0ms	(cbrt (/ 1.0 x))
12.0ms	(/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* y (sqrt (+ 1.0 (* z z)))))
2.0ms	(sqrt (+ 1.0 (* z z)))
2.0ms	(sqrt (+ 1.0 (* z z)))

series85.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt (/ 1.0 x))
54.0ms	(/ (* (cbrt (/ 1.0 x)) (cbrt (/ 1.0 x))) (* y (sqrt (+ 1.0 (* z z)))))
4.0ms	(sqrt (+ 1.0 (* z z)))
4.0ms	(sqrt (+ 1.0 (* z z)))

simplify49.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	503	732
1	1964	662
2	5002	642

prune226.0ms

Filtered

72 candidates to 90 candidates (-25.0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	90	8	98

Merged error: 6.3b

Counts

98 → 8

localize11.0ms

Local error

Found 4 expressions with local error:

1.5b	(/ (/ (/ 1.0 x) (* y (sqrt (+ 1.0 (* z z))))) (sqrt (+ 1.0 (* z z))))
3.2b	(/ (/ 1.0 x) (* y (sqrt (+ 1.0 (* z z)))))
17.2b	(sqrt (+ 1.0 (* z z)))
17.2b	(sqrt (+ 1.0 (* z z)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

299×	`times-frac`
118×	`add-sqr-sqrt`
116×	`add-cube-cbrt` `*-un-lft-identity`
66×	`sqrt-prod`
34×	`add-exp-log` `add-cbrt-cube`
32×	`associate-/l*`
22×	`sqrt-div`
18×	`associate-/r/` `div-inv`
17×	`cbrt-undiv` `div-exp`
16×	`associate-*r/`
11×	`flip3-+` `flip-+`
7×	`associate-/r*`
6×	`pow1`
4×	`prod-exp` `cbrt-unprod` `add-log-exp`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num` `associate-/l/`

Counts

4 → 240

Calls

4 calls:

15.0ms	(/ (/ (/ 1.0 x) (* y (sqrt (+ 1.0 (* z z))))) (sqrt (+ 1.0 (* z z))))
8.0ms	(/ (/ 1.0 x) (* y (sqrt (+ 1.0 (* z z)))))
2.0ms	(sqrt (+ 1.0 (* z z)))
2.0ms	(sqrt (+ 1.0 (* z z)))

series50.0ms

Counts

4 → 12

Calls

4 calls:

20.0ms	(/ (/ (/ 1.0 x) (* y (sqrt (+ 1.0 (* z z))))) (sqrt (+ 1.0 (* z z))))
23.0ms	(/ (/ 1.0 x) (* y (sqrt (+ 1.0 (* z z)))))
3.0ms	(sqrt (+ 1.0 (* z z)))
4.0ms	(sqrt (+ 1.0 (* z z)))

simplify99.0ms

Algorithm

egg-herbie

Counts

252 → 252

Iterations

Useful iterations: 2 (70.0ms)

Iter	Nodes	Cost
0	963	3413
1	4085	3172
2	5002	3077

prune413.0ms

Filtered

176 candidates to 252 candidates (-43.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	251	1	252
Fresh	2	4	6
Picked	0	1	1
Done	0	1	1
Total	253	7	260

Merged error: 6.3b

Counts

260 → 7

regimes508.0ms

Accuracy

0% (1.3b remaining)

Error of 5.8b against oracle of 4.5b and baseline of 5.8b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	17
1	17	17

end0.0ms

sample712.0ms

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0%

Guaranteed chance to sample good point: 96.447754%

Results

318.0ms

8637×

body

valid

Details

sample168.0ms

simplify12.0ms

prune3.0ms

localize7.0ms

rewrite15.0ms

series30.0ms

simplify49.0ms

prune124.0ms

localize9.0ms

rewrite33.0ms

series34.0ms

simplify67.0ms

prune202.0ms

localize13.0ms

rewrite21.0ms

series85.0ms

simplify49.0ms

prune226.0ms

localize11.0ms

rewrite39.0ms

series50.0ms

simplify99.0ms

prune413.0ms

regimes508.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample712.0ms

Profiling