Details

sample49.0ms

Algorithm

intervals

Results

15.0ms

279×

body

valid

simplify48.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

prune5.0ms

Filtered

1 candidates to 0 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: 0.6b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (* y (/ (- z t) (- a t))))
0.0b	(/ (- z t) (- a t))
0.9b	(* y (/ (- z t) (- a t)))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

76×	`add-sqr-sqrt`
71×	`*-un-lft-identity`
51×	`times-frac`
31×	`associate-r`
27×	`add-cube-cbrt`
22×	`distribute-lft-out--` `difference-of-squares`
10×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r` `associate-/l` `add-log-exp`
4×	`associate-/r/`
3×	`flip3--` `associate-l` `flip--`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `frac-2neg` `flip3-+` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+`

Counts

3 → 113

Calls

3 calls:

3.0ms	(+ x (* y (/ (- z t) (- a t))))
7.0ms	(/ (- z t) (- a t))
13.0ms	(* y (/ (- z t) (- a t)))

series52.0ms

Counts

3 → 9

Calls

3 calls:

26.0ms	(+ x (* y (/ (- z t) (- a t))))
9.0ms	(/ (- z t) (- a t))
16.0ms	(* y (/ (- z t) (- a t)))

simplify44.0ms

Algorithm

egg-herbie

Counts

122 → 122

Iterations

Useful iterations: 1 (10.0ms)

Iter	Nodes	Cost
0	421	747
1	1657	704
2	5001	704

prune531.0ms

Filtered

122 candidates to 83 candidates (32.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	118	4	122
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	118	5	123

Merged error: 0.0b

Counts

123 → 5

localize11.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
0.6b	(cbrt y)
0.6b	(cbrt y)
0.7b	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- a t))))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-exp-log`
16×	`pow1`
15×	`add-cbrt-cube`
13×	`prod-exp` `cbrt-unprod`
9×	`cbrt-prod`
8×	`pow-prod-down`
7×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`add-log-exp`
3×	`pow1/3`
2×	`cbrt-undiv` `associate-*r/` `div-exp`
1×	`associate-r` `associate-l` `*-commutative`

Counts

4 → 60

Calls

4 calls:

1.0ms	(cbrt y)
1.0ms	(cbrt y)
1.0ms	(cbrt y)
17.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- a t))))

series85.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(cbrt y)
21.0ms	(cbrt y)
21.0ms	(cbrt y)
20.0ms	(* (* (cbrt y) (cbrt y)) (* (cbrt y) (/ (- z t) (- a t))))

simplify88.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 3 (83.0ms)

Iter	Nodes	Cost
0	228	492
1	848	357
2	4752	299
3	5002	275

prune181.0ms

Filtered

72 candidates to 44 candidates (38.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	1	2	3
Picked	0	1	1
Done	1	0	1
Total	73	4	77

Merged error: 0b

Counts

77 → 4

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (pow (/ y (/ (- a t) (- z t))) 1))
0.0b	(/ (- a t) (- z t))
1.1b	(/ y (/ (- a t) (- z t)))

rewrite70.0ms

Algorithm

rewrite-expression-head

Rules

218×	`times-frac`
197×	`*-un-lft-identity`
195×	`add-sqr-sqrt`
91×	`add-cube-cbrt`
52×	`distribute-lft-out--` `difference-of-squares`
36×	`associate-/r*`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
6×	`flip3--` `flip--` `div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `associate-/l/`
1×	`+-commutative` `flip3-+` `div-sub` `sum-log` `flip-+` `distribute-lft-out`

Counts

3 → 206

Calls

3 calls:

39.0ms	(+ x (pow (/ y (/ (- a t) (- z t))) 1))
8.0ms	(/ (- a t) (- z t))
12.0ms	(/ y (/ (- a t) (- z t)))

series71.0ms

Counts

3 → 9

Calls

3 calls:

36.0ms	(+ x (pow (/ y (/ (- a t) (- z t))) 1))
9.0ms	(/ (- a t) (- z t))
26.0ms	(/ y (/ (- a t) (- z t)))

simplify84.0ms

Algorithm

egg-herbie

Counts

215 → 215

Iterations

Useful iterations: 2 (62.0ms)

Iter	Nodes	Cost
0	702	1899
1	3132	1841
2	5001	1839

prune2.1s

Filtered

215 candidates to 147 candidates (31.6%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	215	0	215
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	215	4	219

Merged error: 0b

Counts

219 → 4

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* y (- z t))
0.0b	(+ x (/ (* y (- z t)) (- a t)))
12.5b	(/ (* y (- z t)) (- a t))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`add-cube-cbrt`
5×	`pow1` `times-frac` `associate-r` `associate-/r*` `add-log-exp`
4×	`associate-*r/`
3×	`flip3--` `associate-l` `flip--` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `div-exp` `prod-exp` `associate-/r/` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `frac-2neg` `flip3-+` `pow-prod-down` `clear-num` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out` `associate-/l` `unswap-sqr`

Counts

3 → 67

Calls

3 calls:

6.0ms	(* y (- z t))
7.0ms	(+ x (/ (* y (- z t)) (- a t)))
9.0ms	(/ (* y (- z t)) (- a t))

series54.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* y (- z t))
27.0ms	(+ x (/ (* y (- z t)) (- a t)))
19.0ms	(/ (* y (- z t)) (- a t))

simplify42.0ms

Algorithm

egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	334	381
1	1437	342
2	5001	342

prune228.0ms

Filtered

76 candidates to 52 candidates (31.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	76	4	80

Merged error: 0b

Counts

80 → 4

regimes457.0ms

Accuracy

0% (1.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	5
1	15	5

end0.0ms

sample887.0ms

Algorithm

intervals

Results

457.0ms

8683×

body

valid

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5

Details

sample49.0ms

simplify48.0ms

prune5.0ms

localize7.0ms

rewrite31.0ms

series52.0ms

simplify44.0ms

prune531.0ms

localize11.0ms

rewrite22.0ms

series85.0ms

simplify88.0ms

prune181.0ms

localize9.0ms

rewrite70.0ms

series71.0ms

simplify84.0ms

prune2.1s

localize8.0ms

rewrite23.0ms

series54.0ms

simplify42.0ms

prune228.0ms

regimes457.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample887.0ms

Profiling

Iter	Nodes	Cost
0	20	5
1	34	5
2	55	5
3	93	5
4	149	5
5	184	5
6	202	5
7	229	5
8	280	5
9	372	5
10	465	5
11	768	5
12	876	5
13	878	5
14	878	5