Details

sample120.0ms

Algorithm

intervals

Results

31.0ms	578×	body	80	valid
30.0ms	569×	body	80	nan

simplify72.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	9
1	41	9
2	88	9
3	165	9
4	287	9
5	625	9
6	2014	9
7	5002	9

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: 0.2b

Counts

2 → 1

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (* t t) 2.0))
0.0b	(/ (* t t) 2.0)
0.0b	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
0.2b	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-cbrt-cube`
14×	`add-exp-log`
13×	`add-sqr-sqrt`
11×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
7×	`exp-prod` `associate-r`
6×	`times-frac` `associate-*l/`
5×	`prod-exp` `cbrt-unprod` `add-log-exp`
4×	`associate-l` `pow-prod-down`
3×	`associate-/r*`
2×	`cbrt-undiv` `flip3--` `div-exp` `*-commutative` `flip--` `div-inv`
1×	`frac-2neg` `clear-num` `sqrt-prod` `rem-exp-log` `associate-/l*` `unswap-sqr`

Counts

4 → 77

Calls

4 calls:

2.0ms	(exp (/ (* t t) 2.0))
4.0ms	(/ (* t t) 2.0)
11.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
7.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

series65.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(exp (/ (* t t) 2.0))
3.0ms	(/ (* t t) 2.0)
45.0ms	(* (* (- (* x 0.5) y) (sqrt (* z 2.0))) (exp (/ (* t t) 2.0)))
14.0ms	(* (- (* x 0.5) y) (sqrt (* z 2.0)))

simplify49.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	413	610
1	1743	532
2	5002	532

prune173.0ms

Filtered

67 candidates to 89 candidates (-32.8%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	82	7	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	83	7	90

Merged error: 0.0b

Counts

90 → 7

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (* t t) 2.0))
0.0b	(* (sqrt (* z 2.0)) (exp (/ (* t t) 2.0)))
0.0b	(/ (* t t) 2.0)
0.2b	(* (- (* x 0.5) y) (* (sqrt (* z 2.0)) (exp (/ (* t t) 2.0))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

16×	`add-cbrt-cube`
14×	`add-exp-log`
13×	`add-sqr-sqrt`
11×	`pow1` `add-cube-cbrt` `*-un-lft-identity`
7×	`exp-prod` `associate-l`
6×	`times-frac`
5×	`prod-exp` `cbrt-unprod` `add-log-exp`
4×	`associate-r` `pow-prod-down`
3×	`associate-/r*`
2×	`cbrt-undiv` `div-exp` `associate-l/` `-commutative` `div-inv`
1×	`flip3--` `frac-2neg` `clear-num` `sqrt-prod` `flip--` `rem-exp-log` `associate-/l*` `unswap-sqr`

Counts

4 → 75

Calls

4 calls:

2.0ms	(exp (/ (* t t) 2.0))
11.0ms	(* (sqrt (* z 2.0)) (exp (/ (* t t) 2.0)))
4.0ms	(/ (* t t) 2.0)
12.0ms	(* (- (* x 0.5) y) (* (sqrt (* z 2.0)) (exp (/ (* t t) 2.0))))

series66.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(exp (/ (* t t) 2.0))
18.0ms	(* (sqrt (* z 2.0)) (exp (/ (* t t) 2.0)))
3.0ms	(/ (* t t) 2.0)
42.0ms	(* (- (* x 0.5) y) (* (sqrt (* z 2.0)) (exp (/ (* t t) 2.0))))

simplify53.0ms

Algorithm

egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 1 (12.0ms)

Iter	Nodes	Cost
0	442	651
1	1796	567
2	5001	567

prune170.0ms

Filtered

65 candidates to 87 candidates (-33.8%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	86	8	94

Merged error: 0.0b

Counts

94 → 8

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* t t) 2.0)
0.0b	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
0.2b	(* (- (* x 0.5) y) (sqrt z))
0.5b	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-cbrt-cube`
22×	`add-exp-log`
20×	`pow1`
16×	`add-sqr-sqrt`
15×	`associate-r`
12×	`add-cube-cbrt` `-un-lft-identity` `associate-l/`
11×	`prod-exp` `cbrt-unprod`
10×	`pow-prod-down`
7×	`sqrt-prod`
5×	`associate-l`
4×	`add-log-exp`
3×	`flip3--` `times-frac` `associate-/r` `-commutative` `flip--`
2×	`cbrt-undiv` `div-exp` `unswap-sqr`
1×	`frac-2neg` `clear-num` `div-inv` `associate-/l*`

Counts

4 → 91

Calls

4 calls:

4.0ms	(/ (* t t) 2.0)
14.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
7.0ms	(* (- (* x 0.5) y) (sqrt z))
9.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

series79.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (* t t) 2.0)
49.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0)) (exp (/ (* t t) 2.0)))
10.0ms	(* (- (* x 0.5) y) (sqrt z))
16.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (sqrt 2.0))

simplify63.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	479	808
1	2307	701
2	5001	697

prune173.0ms

Filtered

70 candidates to 103 candidates (-47.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	100	3	103
Fresh	3	3	6
Picked	1	0	1
Done	0	1	1
Total	104	7	111

Merged error: 0b

Counts

111 → 7

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
0.2b	(* (- (* x 0.5) y) (sqrt z))
0.3b	(* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
0.3b	(* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

61×	`pow1`
55×	`add-exp-log`
41×	`pow-prod-down` `prod-exp` `cbrt-unprod`
39×	`add-cbrt-cube`
20×	`associate-*l/`
19×	`associate-r`
15×	`add-sqr-sqrt`
11×	`add-cube-cbrt` `*-un-lft-identity`
7×	`sqrt-prod`
6×	`cbrt-prod` `associate-l`
4×	`flip3--` `*-commutative` `flip--` `add-log-exp`
2×	`unswap-sqr`

Counts

4 → 115

Calls

4 calls:

24.0ms	(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
7.0ms	(* (- (* x 0.5) y) (sqrt z))
13.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
20.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

series118.0ms

Counts

4 → 12

Calls

4 calls:

47.0ms	(* (* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0))) (exp (/ (* t t) 2.0)))
11.0ms	(* (- (* x 0.5) y) (sqrt z))
43.0ms	(* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0))))
17.0ms	(* (* (* (- (* x 0.5) y) (sqrt z)) (* (cbrt (sqrt 2.0)) (cbrt (sqrt 2.0)))) (cbrt (sqrt 2.0)))

simplify88.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	577	1851
1	2801	1371
2	5002	1280

prune224.0ms

Filtered

72 candidates to 127 candidates (-76.4%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	127	7	134

Merged error: 0b

Counts

134 → 7

regimes886.0ms

Accuracy

0% (0.3b remaining)

Error of 0.3b against oracle of 0.0b and baseline of 0.3b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	9
1	19	9

end0.0ms

sample3.2s

Algorithm

intervals

Results

1.0s	18251×	body	80	valid
897.0ms	15857×	body	80	nan

Details

sample120.0ms

simplify72.0ms

prune4.0ms

localize11.0ms

rewrite27.0ms

series65.0ms

simplify49.0ms

prune173.0ms

localize12.0ms

rewrite31.0ms

series66.0ms

simplify53.0ms

prune170.0ms

localize15.0ms

rewrite36.0ms

series79.0ms

simplify63.0ms

prune173.0ms

localize16.0ms

rewrite68.0ms

series118.0ms

simplify88.0ms

prune224.0ms

regimes886.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample3.2s

Profiling