Details

sample34.0ms

Algorithm

intervals

Results

16.0ms

363×

body

valid

simplify78.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	34	8
1	83	8
2	220	8
3	384	8
4	455	8
5	563	8
6	586	8
7	677	8
8	902	8
9	1322	8
10	1322	8

prune3.0ms

Filtered

1 candidates to 0 candidates (0.0%)

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

Counts

2 → 1

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
0.2b	(* (* y 9.0) z)
0.2b	(* (* a 27.0) b)
6.4b	(* (* (* y 9.0) z) t)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`associate-r` `add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`associate-l` `*-commutative`
2×	`associate-+l+` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

4 → 72

Calls

4 calls:

6.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
5.0ms	(* (* y 9.0) z)
5.0ms	(* (* a 27.0) b)
7.0ms	(* (* (* y 9.0) z) t)

series218.0ms

Counts

4 → 12

Calls

4 calls:

150.0ms	(+ (- (* x 2.0) (* (* (* y 9.0) z) t)) (* (* a 27.0) b))
22.0ms	(* (* y 9.0) z)
20.0ms	(* (* a 27.0) b)
26.0ms	(* (* (* y 9.0) z) t)

simplify61.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	370	455
1	1919	383
2	5002	383

prune199.0ms

Filtered

84 candidates to 49 candidates (58.3%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	74	10	84
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	10	85

Merged error: 0.0b

Counts

85 → 10

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))
0.2b	(* (* a 27.0) b)
5.5b	(* (* y 9.0) (* z t))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

20×	`pow1` `add-exp-log` `add-cbrt-cube`
11×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`add-log-exp`
4×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
2×	`associate-+l+` `associate-l` `sum-log` `*-commutative`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

3 → 55

Calls

3 calls:

6.0ms	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))
5.0ms	(* (* a 27.0) b)
6.0ms	(* (* y 9.0) (* z t))

series195.0ms

Counts

3 → 9

Calls

3 calls:

145.0ms	(+ (- (* x 2.0) (* (* y 9.0) (* z t))) (* (* a 27.0) b))
24.0ms	(* (* a 27.0) b)
26.0ms	(* (* y 9.0) (* z t))

simplify50.0ms

Algorithm

egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	335	392
1	1577	328
2	5001	328

prune137.0ms

Filtered

64 candidates to 37 candidates (57.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	2	7	9
Picked	0	1	1
Done	0	0	0
Total	64	10	74

Merged error: 0.0b

Counts

74 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* y (* 9.0 (* z t)))) (* (* a 27.0) b))
0.2b	(* (* a 27.0) b)
0.3b	(* 9.0 (* z t))
5.4b	(* y (* 9.0 (* z t)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*`
5×	`associate-r`
3×	`*-commutative`
2×	`associate-+l+` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

4 → 72

Calls

4 calls:

6.0ms	(+ (- (* x 2.0) (* y (* 9.0 (* z t)))) (* (* a 27.0) b))
5.0ms	(* (* a 27.0) b)
5.0ms	(* 9.0 (* z t))
6.0ms	(* y (* 9.0 (* z t)))

series214.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(+ (- (* x 2.0) (* y (* 9.0 (* z t)))) (* (* a 27.0) b))
20.0ms	(* (* a 27.0) b)
21.0ms	(* 9.0 (* z t))
25.0ms	(* y (* 9.0 (* z t)))

simplify51.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	357	453
1	1674	381
2	5002	381

prune358.0ms

Filtered

84 candidates to 51 candidates (60.7%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	82	2	84
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	84	10	94

Merged error: 0b

Counts

94 → 10

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* a 27.0) b))
0.2b	(* (* 9.0 z) t)
0.2b	(* (* a 27.0) b)
5.4b	(* y (* (* 9.0 z) t))

rewrite24.0ms

Algorithm

rewrite-expression-head

Rules

23×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
9×	`add-log-exp`
7×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
5×	`associate-l`
3×	`*-commutative`
2×	`associate-+l+` `sum-log`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `flip-+`

Counts

4 → 72

Calls

4 calls:

5.0ms	(+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* a 27.0) b))
5.0ms	(* (* 9.0 z) t)
5.0ms	(* (* a 27.0) b)
7.0ms	(* y (* (* 9.0 z) t))

series217.0ms

Counts

4 → 12

Calls

4 calls:

151.0ms	(+ (- (* x 2.0) (* y (* (* 9.0 z) t))) (* (* a 27.0) b))
17.0ms	(* (* 9.0 z) t)
23.0ms	(* (* a 27.0) b)
25.0ms	(* y (* (* 9.0 z) t))

simplify65.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	368	455
1	1884	383
2	5001	383

prune143.0ms

Filtered

84 candidates to 51 candidates (60.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	84	10	94

Merged error: 0b

Counts

94 → 10

regimes862.0ms

Accuracy

61.4% (1.4b remaining)

Error of 1.4b against oracle of 0.0b and baseline of 3.6b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	57	38
1	57	38

end0.0ms

sample942.0ms

Algorithm

intervals

Results

542.0ms

11033×

body

valid

Details

sample34.0ms

simplify78.0ms

prune3.0ms

localize15.0ms

rewrite23.0ms

series218.0ms

simplify61.0ms

prune199.0ms

localize12.0ms

rewrite18.0ms

series195.0ms

simplify50.0ms

prune137.0ms

localize12.0ms

rewrite23.0ms

series214.0ms

simplify51.0ms

prune358.0ms

localize12.0ms

rewrite24.0ms

series217.0ms

simplify65.0ms

prune143.0ms

regimes862.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample942.0ms

Profiling