Details

sample77.0ms

Algorithm

intervals

Results

39.0ms

509×

body

valid

simplify85.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (13.0ms)

Iter	Nodes	Cost
0	67	15
1	225	13
2	823	12
3	3028	12
4	5001	12

prune15.0ms

Filtered

1 candidates to 1 candidates (100.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: 4.4b

Counts

2 → 2

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* a 4.0) t)
0.3b	(* (* j 27.0) k)
3.4b	(* (* (* x 18.0) y) z)
7.0b	(* (* (* (* x 18.0) y) z) t)

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

37×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`pow-prod-down` `prod-exp` `cbrt-unprod`
12×	`associate-r`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`expm1-log1p-u` `associate-l` `*-commutative` `log1p-expm1-u` `add-log-exp`

Counts

4 → 89

Calls

4 calls:

5.0ms	(* (* a 4.0) t)
5.0ms	(* (* j 27.0) k)
8.0ms	(* (* (* x 18.0) y) z)
15.0ms	(* (* (* (* x 18.0) y) z) t)

series122.0ms

Counts

4 → 12

Calls

4 calls:

22.0ms	(* (* a 4.0) t)
19.0ms	(* (* j 27.0) k)
33.0ms	(* (* (* x 18.0) y) z)
48.0ms	(* (* (* (* x 18.0) y) z) t)

simplify83.0ms

Algorithm

egg-herbie

Counts

101 → 101

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	430	453
1	2310	350
2	5001	350

prune398.0ms

Filtered

101 candidates to 54 candidates (53.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	91	10	101
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	92	11	103

Merged error: 0.6b

Counts

103 → 11

localize24.0ms

Local error

Found 4 expressions with local error:

0.2b	(* (* x 18.0) y)
0.2b	(* (* a 4.0) t)
0.3b	(* (* j 27.0) k)
9.3b	(* (* (* x 18.0) y) (* z t))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

40×	`pow1` `add-exp-log` `add-cbrt-cube`
24×	`pow-prod-down` `prod-exp` `cbrt-unprod`
10×	`associate-r`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`expm1-log1p-u` `associate-l` `*-commutative` `log1p-expm1-u` `add-log-exp`

Counts

4 → 90

Calls

4 calls:

6.0ms	(* (* x 18.0) y)
6.0ms	(* (* a 4.0) t)
5.0ms	(* (* j 27.0) k)
11.0ms	(* (* (* x 18.0) y) (* z t))

series118.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(* (* x 18.0) y)
21.0ms	(* (* a 4.0) t)
19.0ms	(* (* j 27.0) k)
51.0ms	(* (* (* x 18.0) y) (* z t))

simplify79.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 1 (18.0ms)

Iter	Nodes	Cost
0	429	445
1	2206	337
2	5001	337

prune407.0ms

Filtered

102 candidates to 54 candidates (52.9%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	96	6	102
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	102	11	113

Merged error: 0.0b

Counts

113 → 11

localize30.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* (* x 18.0) y) (* z t)) (* a (* 4.0 t)))
0.2b	(* (* x 18.0) y)
0.3b	(* (* j 27.0) k)
9.3b	(* (* (* x 18.0) y) (* z t))

rewrite53.0ms

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-exp-log` `add-cbrt-cube`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
7×	`associate-r`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`associate-l` `*-commutative`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `prod-diff` `flip--`

Counts

4 → 86

Calls

4 calls:

18.0ms	(- (* (* (* x 18.0) y) (* z t)) (* a (* 4.0 t)))
11.0ms	(* (* x 18.0) y)
8.0ms	(* (* j 27.0) k)
10.0ms	(* (* (* x 18.0) y) (* z t))

series212.0ms

Counts

4 → 12

Calls

4 calls:

116.0ms	(- (* (* (* x 18.0) y) (* z t)) (* a (* 4.0 t)))
22.0ms	(* (* x 18.0) y)
25.0ms	(* (* j 27.0) k)
49.0ms	(* (* (* x 18.0) y) (* z t))

simplify91.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (82.0ms)

Iter	Nodes	Cost
0	437	546
1	2273	440
2	5002	435

prune454.0ms

Filtered

98 candidates to 57 candidates (58.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	93	5	98
Fresh	5	5	10
Picked	1	0	1
Done	0	0	0
Total	99	10	109

Merged error: 0.0b

Counts

109 → 10

localize32.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (* x (* 18.0 y)) (* z t)) (* a (* 4.0 t)))
0.2b	(* x (* 18.0 y))
0.3b	(* (* j 27.0) k)
9.3b	(* (* x (* 18.0 y)) (* z t))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

35×	`pow1` `add-exp-log` `add-cbrt-cube`
21×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `add-log-exp`
5×	`associate-r` `associate-l`
4×	`expm1-log1p-u` `log1p-expm1-u`
3×	`*-commutative`
1×	`sub-neg` `flip3--` `fma-neg` `diff-log` `prod-diff` `flip--`

Counts

4 → 86

Calls

4 calls:

10.0ms	(- (* (* x (* 18.0 y)) (* z t)) (* a (* 4.0 t)))
5.0ms	(* x (* 18.0 y))
5.0ms	(* (* j 27.0) k)
10.0ms	(* (* x (* 18.0 y)) (* z t))

series211.0ms

Counts

4 → 12

Calls

4 calls:

116.0ms	(- (* (* x (* 18.0 y)) (* z t)) (* a (* 4.0 t)))
22.0ms	(* x (* 18.0 y))
25.0ms	(* (* j 27.0) k)
48.0ms	(* (* x (* 18.0 y)) (* z t))

simplify84.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 2 (75.0ms)

Iter	Nodes	Cost
0	437	546
1	2142	440
2	5002	435

prune392.0ms

Filtered

98 candidates to 58 candidates (59.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	4	5	9
Picked	1	0	1
Done	0	0	0
Total	97	11	108

Merged error: 0.0b

Counts

108 → 11

regimes1.6s

Accuracy

44.1% (3.3b remaining)

Error of 3.5b against oracle of 0.2b and baseline of 6.1b

bsearch301.0ms

Steps

Iters	Range		Point
9	1.3618323579421514e+78	8.737587452716824e+84	1.3823260236202276e+78
8	-5.565652360880667e-49	-1.9255393435388084e-51	-2.4969181477197748e-49

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	77	42
1	77	42

end0.0ms

sample2.0s

Algorithm

intervals

Results

1.1s

16005×

body

valid