Details

sample2.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 37.5%

Guaranteed chance to sample good point: 60%

Results

28.0ms	60×	body	1280	valid
14.0ms	143×	body	80	valid
11.0ms	15×	body	2560	valid
6.0ms	18×	body	640	valid
6.0ms	72×	body	80	nan
3.0ms	14×	body	320	valid
3.0ms	37×	body	80	invalid
1.0ms	6×	body	160	valid

simplify9.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	32	10
1	55	10
2	76	10
3	89	10
4	92	10
5	92	10

prune5.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: 22.0b

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ (* z t) 3.0)
0.2b	(/ a (* b 3.0))
0.3b	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
22.6b	(cos (- y (/ (* z t) 3.0)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

19×	`add-exp-log` `add-cbrt-cube`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`times-frac`
5×	`prod-exp` `cbrt-unprod`
4×	`cbrt-undiv` `div-exp` `associate-/r` `associate-/l` `add-log-exp`
3×	`cos-diff` `associate-r` `pow-prod-down`
2×	`cos-sum` `frac-2neg` `clear-num` `div-inv`
1×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-l` `*-commutative`

Counts

4 → 72

Calls

4 calls:

4.0ms	(/ (* z t) 3.0)
4.0ms	(/ a (* b 3.0))
6.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
5.0ms	(cos (- y (/ (* z t) 3.0)))

series52.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (* z t) 3.0)
3.0ms	(/ a (* b 3.0))
32.0ms	(* (* 2.0 (sqrt x)) (cos (- y (/ (* z t) 3.0))))
13.0ms	(cos (- y (/ (* z t) 3.0)))

simplify44.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	419	507
1	1751	432
2	5001	432

prune256.0ms

Filtered

59 candidates to 84 candidates (-42.4%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	64	20	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	65	20	85

Merged error: 18.1b

Counts

85 → 20

localize26.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
2.6b	(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
27.0b	(cos (/ (* z t) 3.0))
27.5b	(sin (/ (* z t) 3.0))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

28×	`pow1` `add-exp-log` `add-cbrt-cube`
16×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
2×	`associate-r/` `associate-r` `associate-l` `-commutative`
1×	`cos-mult` `sin-mult`

Counts

4 → 60

Calls

4 calls:

8.0ms	(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
8.0ms	(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
2.0ms	(cos (/ (* z t) 3.0))
2.0ms	(sin (/ (* z t) 3.0))

series71.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
31.0ms	(* (* 2.0 (sqrt x)) (* (sin y) (sin (/ (* z t) 3.0))))
3.0ms	(cos (/ (* z t) 3.0))
4.0ms	(sin (/ (* z t) 3.0))

simplify48.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	383	704
1	1621	550
2	5002	550

prune267.0ms

Filtered

46 candidates to 72 candidates (-56.5%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	63	9	72
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	65	27	92

Merged error: 17.9b

Counts

92 → 27

localize28.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
2.6b	(* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))
27.0b	(cos (/ (* z t) 3.0))
27.3b	(sin (* 0.3333333333333333 (* t z)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

28×	`pow1` `add-exp-log` `add-cbrt-cube`
16×	`pow-prod-down` `prod-exp` `cbrt-unprod`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
2×	`associate-r/` `associate-r` `associate-l` `-commutative`
1×	`cos-mult` `sin-mult`

Counts

4 → 60

Calls

4 calls:

8.0ms	(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
9.0ms	(* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))
2.0ms	(cos (/ (* z t) 3.0))
2.0ms	(sin (* 0.3333333333333333 (* t z)))

series71.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(* (* 2.0 (sqrt x)) (* (cos y) (cos (/ (* z t) 3.0))))
31.0ms	(* (* 2.0 (sqrt x)) (* (sin y) (sin (* 0.3333333333333333 (* t z)))))
3.0ms	(cos (/ (* z t) 3.0))
4.0ms	(sin (* 0.3333333333333333 (* t z)))

simplify59.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	387	704
1	1638	550
2	5002	550

prune359.0ms

Filtered

43 candidates to 72 candidates (-67.4%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	26	26
Picked	1	0	1
Done	0	0	0
Total	71	28	99

Merged error: 17.9b

Counts

99 → 28

localize56.0ms

Local error

Found 4 expressions with local error:

27.0b	(cos (/ (* z t) 3.0))
27.0b	(cos (/ (* z t) 3.0))
27.0b	(cos (/ (* z t) 3.0))
27.3b	(sin (* 0.3333333333333333 (* t z)))

rewrite9.0ms

Algorithm

rewrite-expression-head

Rules

4×	`pow1` `add-exp-log` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `add-log-exp`

Counts

4 → 28

Calls

4 calls:

2.0ms	(cos (/ (* z t) 3.0))
2.0ms	(cos (/ (* z t) 3.0))
2.0ms	(cos (/ (* z t) 3.0))
2.0ms	(sin (* 0.3333333333333333 (* t z)))

series21.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(cos (/ (* z t) 3.0))
6.0ms	(cos (/ (* z t) 3.0))
4.0ms	(cos (/ (* z t) 3.0))
4.0ms	(sin (* 0.3333333333333333 (* t z)))

simplify115.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 1 (5.0ms)

Iter	Nodes	Cost
0	35	186
1	49	158
2	61	158
3	70	158
4	98	158
5	172	158
6	691	158
7	2256	158
8	5001	158

prune132.0ms

Filtered

35 candidates to 40 candidates (-14.3%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	36	4	40
Fresh	3	24	27
Picked	1	0	1
Done	0	0	0
Total	40	28	68

Merged error: 17.9b

Counts

68 → 28

regimes4.4s

Accuracy

50.1% (1.8b remaining)

Error of 18.3b against oracle of 16.5b and baseline of 20.2b

bsearch2.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	61	47
1	63	47
2	63	47

end0.0ms

sample4.5s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 37.5%

Guaranteed chance to sample good point: 60%

Results

787.0ms	1607×	body	1280	valid
371.0ms	4459×	body	80	valid
314.0ms	912×	body	640	valid
304.0ms	389×	body	2560	valid
187.0ms	2261×	body	80	nan
111.0ms	437×	body	320	valid
87.0ms	1102×	body	80	invalid
38.0ms	196×	body	160	valid

Details

sample2.0s

simplify9.0ms

prune5.0ms

localize17.0ms

rewrite21.0ms

series52.0ms

simplify44.0ms

prune256.0ms

localize26.0ms

rewrite22.0ms

series71.0ms

simplify48.0ms

prune267.0ms

localize28.0ms

rewrite23.0ms

series71.0ms

simplify59.0ms

prune359.0ms

localize56.0ms

rewrite9.0ms

series21.0ms

simplify115.0ms

prune132.0ms

regimes4.4s

bsearch2.0ms

simplify3.0ms

end0.0ms

sample4.5s

Profiling