Details

sample46.0ms

Algorithm

intervals

Results

23.0ms

297×

body

valid

simplify60.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	62	11
1	132	11
2	377	10
3	1105	10
4	3599	10
5	5001	10

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

Counts

2 → 2

localize23.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (fma z 3.13060547623 11.1667541262) z t)
0.0b	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
1.9b	(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
27.5b	(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`fma-udef`
1×	`frac-2neg` `clear-num` `div-inv`

Counts

4 → 6

Calls

4 calls:

1.0ms	(fma (fma z 3.13060547623 11.1667541262) z t)
1.0ms	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
2.0ms	(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
1.0ms	(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series902.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(fma (fma z 3.13060547623 11.1667541262) z t)
55.0ms	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
111.0ms	(/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
707.0ms	(fma (/ y (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify46.0ms

Algorithm

egg-herbie

Counts

18 → 18

Iterations

Useful iterations: 3 (43.0ms)

Iter	Nodes	Cost
0	166	97
1	463	90
2	1410	84
3	5001	80

prune84.0ms

Filtered

18 candidates to 12 candidates (66.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	15	3	18
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	15	5	20

Merged error: 0.3b

Counts

20 → 5

localize9.0ms

Local error

Found 2 expressions with local error:

2.6b	(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
8.1b	(/ t (pow z 2))

rewrite3.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-/r*`
1×	`frac-2neg` `clear-num` `fma-udef` `div-inv` `unpow2` `sqr-pow`

Counts

2 → 6

Calls

2 calls:

1.0ms	(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
2.0ms	(/ t (pow z 2))

series78.0ms

Counts

2 → 6

Calls

2 calls:

56.0ms	(fma y (+ 3.13060547623 (/ t (pow z 2))) x)
22.0ms	(/ t (pow z 2))

simplify62.0ms

Algorithm

egg-herbie

Counts

12 → 12

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	46	37
1	102	37
2	309	31
3	1588	31
4	5002	31

prune31.0ms

Filtered

12 candidates to 6 candidates (50.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	11	1	12
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	12	5	17

Merged error: 0.3b

Counts

17 → 5

localize8.0ms

Local error

Found 2 expressions with local error:

0.1b	(/ (/ t z) z)
2.6b	(fma y (+ 3.13060547623 (/ (/ t z) z)) x)

rewrite4.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-/l/`
2×	`frac-2neg` `clear-num` `div-inv`
1×	`fma-udef` `associate-/l*`

Counts

2 → 8

Calls

2 calls:

3.0ms	(/ (/ t z) z)
1.0ms	(fma y (+ 3.13060547623 (/ (/ t z) z)) x)

series76.0ms

Counts

2 → 6

Calls

2 calls:

22.0ms	(/ (/ t z) z)
54.0ms	(fma y (+ 3.13060547623 (/ (/ t z) z)) x)

simplify75.0ms

Algorithm

egg-herbie

Counts

14 → 14

Iterations

Useful iterations: 2 (6.0ms)

Iter	Nodes	Cost
0	54	41
1	107	40
2	343	34
3	2002	34
4	5001	34

prune32.0ms

Filtered

14 candidates to 6 candidates (42.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	14	0	14
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	14	5	19

Merged error: 0.3b

Counts

19 → 5

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
0.1b	(/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
2.0b	(* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
27.5b	(fma (* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

3×	`associate-*r/` `clear-num`
2×	`frac-2neg` `un-div-inv` `fma-udef` `div-inv`
1×	`associate-r` `*-commutative` `inv-pow`

Counts

4 → 13

Calls

4 calls:

1.0ms	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
2.0ms	(/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
3.0ms	(* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
1.0ms	(fma (* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

series961.0ms

Counts

4 → 12

Calls

4 calls:

51.0ms	(fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)
75.0ms	(/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))
110.0ms	(* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771)))
724.0ms	(fma (* y (/ 1 (fma (fma (fma (+ z 15.234687407) z 31.4690115749) z 11.9400905721) z 0.607771387771))) (fma (fma (fma (fma z 3.13060547623 11.1667541262) z t) z a) z b) x)

simplify114.0ms

Algorithm

egg-herbie

Counts

25 → 25

Iterations

Useful iterations: 3 (106.0ms)

Iter	Nodes	Cost
0	189	108
1	666	104
2	3393	98
3	5002	95

prune87.0ms

Filtered

25 candidates to 15 candidates (60.0%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	25	0	25
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	25	5	30

Merged error: 0.3b

Counts

30 → 5

regimes554.0ms

Accuracy

96.5% (0.9b remaining)

Error of 1.4b against oracle of 0.4b and baseline of 27.2b

bsearch287.0ms

Steps

Iters	Range		Point
9	6264205.521814494	521787013716.8479	517383397943.66113
11	-4.513793186893353e+38	-1.2908930576288794e+18	-1.459516936470268e+28

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	14
1	37	14

end0.0ms

sample981.0ms

Algorithm

intervals

Results

649.0ms

8893×

body

valid