Details

sample27.0ms

Algorithm

intervals

Results

12.0ms

349×

body

valid

simplify74.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	26	6
1	89	6
2	277	6
3	735	6
4	1436	6
5	1714	6
6	1730	6
7	1730	6

prune3.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: 8.9b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b	(- (* x y) (* (* z 9.0) t))
0.2b	(* (* z 9.0) t)
8.3b	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

rewrite80.0ms

Algorithm

rewrite-expression-head

Rules

401×	`add-sqr-sqrt`
236×	`*-un-lft-identity`
189×	`associate-l`
180×	`times-frac`
146×	`unswap-sqr`
84×	`distribute-lft-out--` `difference-of-squares`
68×	`add-cube-cbrt`
54×	`associate-r`
18×	`*-commutative`
15×	`associate-/l*`
13×	`add-exp-log` `add-cbrt-cube`
12×	`associate-/r*`
8×	`pow1`
5×	`add-log-exp`
4×	`prod-exp` `cbrt-unprod`
3×	`pow-prod-down`
2×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `clear-num` `div-inv`

Counts

3 → 279

Calls

3 calls:

20.0ms	(- (* x y) (* (* z 9.0) t))
7.0ms	(* (* z 9.0) t)
34.0ms	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

series148.0ms

Counts

3 → 9

Calls

3 calls:

57.0ms	(- (* x y) (* (* z 9.0) t))
18.0ms	(* (* z 9.0) t)
73.0ms	(/ (- (* x y) (* (* z 9.0) t)) (* a 2.0))

simplify115.0ms

Algorithm

egg-herbie

Counts

288 → 288

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	910	3270
1	3727	3212
2	5003	3212

prune484.0ms

Filtered

288 candidates to 160 candidates (44.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	275	13	288
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	276	13	289

Merged error: 7.1b

Counts

289 → 13

localize10.0ms

Local error

Found 3 expressions with local error:

0.2b	(- (* x y) (* z (* 9.0 t)))
0.2b	(* z (* 9.0 t))
8.3b	(/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))

rewrite79.0ms

Algorithm

rewrite-expression-head

Rules

391×	`add-sqr-sqrt`
174×	`*-un-lft-identity`
156×	`times-frac`
144×	`unswap-sqr`
104×	`associate-l`
84×	`difference-of-squares`
62×	`add-cube-cbrt`
57×	`associate-r`
56×	`distribute-lft-out--`
16×	`*-commutative`
13×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
12×	`associate-/r*`
8×	`pow1`
5×	`add-log-exp`
4×	`prod-exp` `cbrt-unprod`
3×	`pow-prod-down`
2×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `clear-num` `div-inv`

Counts

3 → 251

Calls

3 calls:

20.0ms	(- (* x y) (* z (* 9.0 t)))
8.0ms	(* z (* 9.0 t))
34.0ms	(/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))

series149.0ms

Counts

3 → 9

Calls

3 calls:

54.0ms	(- (* x y) (* z (* 9.0 t)))
22.0ms	(* z (* 9.0 t))
73.0ms	(/ (- (* x y) (* z (* 9.0 t))) (* a 2.0))

simplify119.0ms

Algorithm

egg-herbie

Counts

260 → 260

Iterations

Useful iterations: 1 (24.0ms)

Iter	Nodes	Cost
0	918	3042
1	4062	2984
2	5001	2984

prune467.0ms

Filtered

260 candidates to 158 candidates (39.2%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	255	5	260
Fresh	5	7	12
Picked	0	1	1
Done	0	0	0
Total	260	13	273

Merged error: 7.1b

Counts

273 → 13

localize11.0ms

Local error

Found 3 expressions with local error:

0.2b	(- (* x y) (* (* z (sqrt 9.0)) (* (sqrt 9.0) t)))
0.3b	(* (* z (sqrt 9.0)) (* (sqrt 9.0) t))
8.3b	(/ (- (* x y) (* (* z (sqrt 9.0)) (* (sqrt 9.0) t))) (* a 2.0))

rewrite182.0ms

Algorithm

rewrite-expression-head

Rules

1500×	`add-sqr-sqrt`
783×	`unswap-sqr`
348×	`times-frac`
282×	`*-un-lft-identity`
280×	`difference-of-squares`
241×	`associate-l`
182×	`sqrt-prod`
115×	`associate-r`
114×	`add-cube-cbrt`
84×	`distribute-lft-out--`
33×	`*-commutative`
29×	`associate-/l*`
20×	`add-exp-log` `add-cbrt-cube`
15×	`pow1`
12×	`associate-/r*`
9×	`prod-exp` `cbrt-unprod`
8×	`pow-prod-down`
5×	`add-log-exp`
2×	`cbrt-undiv` `flip3--` `div-exp` `flip--` `associate-/l/`
1×	`sub-neg` `frac-2neg` `diff-log` `div-sub` `clear-num` `div-inv`

Counts

3 → 505

Calls

3 calls:

55.0ms	(- (* x y) (* (* z (sqrt 9.0)) (* (sqrt 9.0) t)))
19.0ms	(* (* z (sqrt 9.0)) (* (sqrt 9.0) t))
58.0ms	(/ (- (* x y) (* (* z (sqrt 9.0)) (* (sqrt 9.0) t))) (* a 2.0))

series494.0ms

Counts

3 → 9

Calls

3 calls:

155.0ms	(- (* x y) (* (* z (sqrt 9.0)) (* (sqrt 9.0) t)))
82.0ms	(* (* z (sqrt 9.0)) (* (sqrt 9.0) t))
257.0ms	(/ (- (* x y) (* (* z (sqrt 9.0)) (* (sqrt 9.0) t))) (* a 2.0))

simplify125.0ms

Algorithm

egg-herbie

Counts

514 → 514

Iterations

Useful iterations: 1 (36.0ms)

Iter	Nodes	Cost
0	1279	10079
1	5002	9753

prune778.0ms

Filtered

514 candidates to 223 candidates (56.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	509	5	514
Fresh	5	6	11
Picked	1	0	1
Done	1	0	1
Total	516	11	527

Merged error: 3.4b

Counts

527 → 11

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(- (/ (* x y) (* a 2.0)) (* (/ (* 9.0 z) 2.0) (/ t a)))
4.8b	(* (/ (* 9.0 z) 2.0) (/ t a))
4.9b	(/ (* x y) (* a 2.0))

rewrite1.5s

Algorithm

rewrite-expression-head

Rules

7288×	`associate-/l*`
5157×	`frac-sub`
5046×	`add-sqr-sqrt`
4753×	`associate-/r*`
4536×	`frac-times`
3509×	`*-un-lft-identity`
3442×	`add-cube-cbrt`
2134×	`associate-l`
2090×	`associate-r`
1032×	`clear-num`
1004×	`frac-2neg`
767×	`unswap-sqr`
694×	`*-commutative`
510×	`associate-*l/`
275×	`times-frac`
254×	`associate-*r/`
56×	`un-div-inv`
36×	`add-exp-log` `add-cbrt-cube`
35×	`difference-of-squares`
12×	`prod-exp` `cbrt-unprod`
11×	`cbrt-undiv` `div-exp`
10×	`distribute-lft-out--`
8×	`sub-div`
5×	`pow1` `add-log-exp`
3×	`div-inv`
1×	`sub-neg` `flip3--` `diff-log` `pow-prod-down` `flip--`

Counts

3 → 5679

Calls

3 calls:

586.0ms	(- (/ (* x y) (* a 2.0)) (* (/ (* 9.0 z) 2.0) (/ t a)))
27.0ms	(* (/ (* 9.0 z) 2.0) (/ t a))
16.0ms	(/ (* x y) (* a 2.0))

series181.0ms

Counts

3 → 9

Calls

3 calls:

114.0ms	(- (/ (* x y) (* a 2.0)) (* (/ (* 9.0 z) 2.0) (/ t a)))
35.0ms	(* (/ (* 9.0 z) 2.0) (/ t a))
31.0ms	(/ (* x y) (* a 2.0))

simplify1.4s

Algorithm

egg-herbie

Counts

5688 → 5688

Iterations

Useful iterations: 0 (187.0ms)

Iter	Nodes	Cost
0	13046	118237

prune14.0s

Filtered

5688 candidates to 4118 candidates (27.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	5681	7	5688
Fresh	8	2	10
Picked	1	0	1
Done	0	0	0
Total	5690	9	5699

Merged error: 0b

Counts

5699 → 9

regimes598.0ms

Accuracy

89.4% (0.9b remaining)

Error of 0.9b against oracle of 0.1b and baseline of 8.3b

bsearch2.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	44	25
1	46	25
2	46	25

end0.0ms

sample721.0ms

Algorithm

intervals

Results

385.0ms

11108×

body

valid