Details

sample21.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify63.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	35	10
1	64	10
2	143	10
3	288	10
4	443	10
5	563	10
6	648	10
7	817	10
8	1060	10
9	1066	10
10	1066	10

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

Counts

2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* z 0.0692910599291889) 0.4917317610505968)
0.1b	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
3.8b	(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
19.7b	(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

5×	`flip3-+` `flip-+`
4×	`associate-*r/`
3×	`+-commutative` `*-commutative`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-l/` `associate-/r/` `associate-/l/` `associate-/l`
1×	`frac-2neg` `clear-num` `div-inv`

Counts

4 → 22

Calls

4 calls:

6.0ms	(+ (* z 0.0692910599291889) 0.4917317610505968)
8.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
9.0ms	(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
11.0ms	(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series276.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ (* z 0.0692910599291889) 0.4917317610505968)
62.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
51.0ms	(* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525))
132.0ms	(/ (* y (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525)) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify87.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 2 (23.0ms)

Iter	Nodes	Cost
0	251	216
1	763	203
2	2925	197
3	5002	197

prune94.0ms

Filtered

34 candidates to 23 candidates (67.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	30	4	34
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	31	4	35

Merged error: 0.0b

Counts

35 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* z 0.0692910599291889) 0.4917317610505968)
0.1b	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
5.0b	(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) y)
19.5b	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

6×	`associate-/l/`
5×	`flip3-+` `associate-/r/` `flip-+`
3×	`frac-2neg` `clear-num` `div-inv`
2×	`associate-*l/`
1×	`+-commutative` `associate-/r` `-commutative`

Counts

4 → 22

Calls

4 calls:

3.0ms	(+ (* z 0.0692910599291889) 0.4917317610505968)
4.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
6.0ms	(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) y)
11.0ms	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) y))

series200.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(+ (* z 0.0692910599291889) 0.4917317610505968)
60.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
40.0ms	(/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) y)
67.0ms	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (/ (+ (* (+ z 6.012459259764103) z) 3.350343815022304) y))

simplify85.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 3 (81.0ms)

Iter	Nodes	Cost
0	252	222
1	738	218
2	2894	211
3	5002	209

prune84.0ms

Filtered

34 candidates to 23 candidates (67.6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	32	2	34
Fresh	2	1	3
Picked	0	1	1
Done	0	0	0
Total	34	4	38

Merged error: 0.0b

Counts

38 → 4

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* z 0.0692910599291889) 0.4917317610505968)
0.1b	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
0.1b	(* (/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) y)
16.4b	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

7×	`associate-*l/`
6×	`flip3-+` `flip-+`
4×	`associate-/r/` `associate-/l/`
3×	`associate-l`
2×	`frac-2neg` `clear-num` `*-commutative` `div-inv`
1×	`+-commutative`

Counts

4 → 22

Calls

4 calls:

3.0ms	(+ (* z 0.0692910599291889) 0.4917317610505968)
4.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
11.0ms	(* (/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) y)
10.0ms	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

series231.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(+ (* z 0.0692910599291889) 0.4917317610505968)
65.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
65.0ms	(* (/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304)) y)
63.0ms	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (+ (* (+ z 6.012459259764103) z) 3.350343815022304))

simplify130.0ms

Algorithm

egg-herbie

Counts

34 → 34

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	267	205
1	944	201
2	4556	188
3	5002	188

prune92.0ms

Filtered

34 candidates to 26 candidates (76.5%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	34	0	34
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	34	4	38

Merged error: 0.0b

Counts

38 → 4

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* z 0.0692910599291889) 0.4917317610505968)
0.1b	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
5.2b	(* (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (/ 1 y))
19.5b	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (* (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (/ 1 y)))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

13×	`associate-/r/`
12×	`frac-times`
11×	`flip3-+` `flip-+`
9×	`clear-num`
7×	`frac-2neg`
6×	`associate-r/` `associate-l/`
4×	`un-div-inv`
3×	`associate-/r` `-commutative` `div-inv`
2×	`associate-r` `associate-/l/`
1×	`+-commutative`

Counts

4 → 42

Calls

4 calls:

3.0ms	(+ (* z 0.0692910599291889) 0.4917317610505968)
4.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
7.0ms	(* (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (/ 1 y))
14.0ms	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (* (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (/ 1 y)))

series201.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ (* z 0.0692910599291889) 0.4917317610505968)
64.0ms	(* (+ (* z 0.0692910599291889) 0.4917317610505968) z)
37.0ms	(* (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (/ 1 y))
68.0ms	(/ (+ (* (+ (* z 0.0692910599291889) 0.4917317610505968) z) 0.279195317918525) (* (+ (* (+ z 6.012459259764103) z) 3.350343815022304) (/ 1 y)))

simplify43.0ms

Algorithm

egg-herbie

Counts

54 → 54

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	298	421
1	1127	412
2	5002	410

prune129.0ms

Filtered

54 candidates to 36 candidates (66.7%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	54	0	54
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	54	4	58

Merged error: 0.0b

Counts

58 → 4

regimes112.0ms

Accuracy

99.2% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 16.0b

bsearch137.0ms

Steps

Iters	Range		Point
8	1.9936437952865932e-05	0.09117784756913819	0.08969441358922764
9	-3.925732954088894e+24	-4.2197574811023237e+18	-3.8789965973328694e+24

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	49	17
1	49	17

end0.0ms

sample499.0ms

Algorithm

intervals

Results

318.0ms

8000×

body

valid