Details

sample36.0ms

Algorithm

intervals

Results

12.0ms	291×	body	80	valid
9.0ms	265×	body	80	nan

simplify64.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	26	5
1	57	5
2	121	5
3	241	5
4	364	5
5	490	5
6	641	5
7	1023	5
8	1797	5
9	2155	5
10	2161	5
11	2161	5

prune5.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 0.1b

Counts

2 → 1

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
0.0b	(+ (- 1.0 z) (log z))
0.2b	(* y (+ (- 1.0 z) (log z)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

10×	`associate-+l+`
8×	`distribute-rgt-in` `associate-+r+` `distribute-lft-in`
6×	`+-commutative`
5×	`sub-neg`
3×	`flip3-+` `flip-+`
2×	`fma-def` `associate-r/` `-commutative`
1×	`associate-+l-`

Counts

3 → 30

Calls

3 calls:

7.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
4.0ms	(+ (- 1.0 z) (log z))
7.0ms	(* y (+ (- 1.0 z) (log z)))

series286.0ms

Counts

3 → 9

Calls

3 calls:

56.0ms	(+ (* x 0.5) (* y (+ (- 1.0 z) (log z))))
159.0ms	(+ (- 1.0 z) (log z))
71.0ms	(* y (+ (- 1.0 z) (log z)))

simplify96.0ms

Algorithm

egg-herbie

Counts

39 → 39

Iterations

Useful iterations: 2 (25.0ms)

Iter	Nodes	Cost
0	264	201
1	859	185
2	4825	184
3	5001	184

prune86.0ms

Filtered

39 candidates to 25 candidates (64.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	35	4	39
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	35	5	40

Merged error: 0.0b

Counts

40 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (- 1.0 z) y)
0.1b	(+ (fma x 0.5 (* (- 1.0 z) y)) (* (log z) y))
0.2b	(* (log z) y)

rewrite8.0ms

Algorithm

rewrite-expression-head

Rules

2×	`associate-l/` `-commutative`
1×	`+-commutative` `associate-+l+` `flip3--` `flip3-+` `flip--` `flip-+` `fma-udef`

Counts

3 → 8

Calls

3 calls:

3.0ms	(* (- 1.0 z) y)
3.0ms	(+ (fma x 0.5 (* (- 1.0 z) y)) (* (log z) y))
2.0ms	(* (log z) y)

series152.0ms

Counts

3 → 9

Calls

3 calls:

28.0ms	(* (- 1.0 z) y)
62.0ms	(+ (fma x 0.5 (* (- 1.0 z) y)) (* (log z) y))
62.0ms	(* (log z) y)

simplify56.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 3 (53.0ms)

Iter	Nodes	Cost
0	170	98
1	501	94
2	1971	81
3	5002	79

prune45.0ms

Filtered

17 candidates to 9 candidates (52.9%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	16	1	17
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	18	4	22

Merged error: 0.0b

Counts

22 → 4

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* x 0.5) (fma (- 1.0 z) y (* (log z) y)))
0.1b	(fma (- 1.0 z) y (* (log z) y))
0.2b	(* (log z) y)

rewrite6.0ms

Algorithm

rewrite-expression-head

Rules

2×	`fma-def` `*-commutative` `fma-udef`
1×	`+-commutative` `associate-+r+` `flip3-+` `flip-+`

Counts

3 → 8

Calls

3 calls:

3.0ms	(+ (* x 0.5) (fma (- 1.0 z) y (* (log z) y)))
1.0ms	(fma (- 1.0 z) y (* (log z) y))
2.0ms	(* (log z) y)

series211.0ms

Counts

3 → 9

Calls

3 calls:

57.0ms	(+ (* x 0.5) (fma (- 1.0 z) y (* (log z) y)))
91.0ms	(fma (- 1.0 z) y (* (log z) y))
62.0ms	(* (log z) y)

simplify63.0ms

Algorithm

egg-herbie

Counts

17 → 17

Iterations

Useful iterations: 2 (16.0ms)

Iter	Nodes	Cost
0	176	103
1	508	93
2	2072	78
3	5002	78

prune35.0ms

Filtered

17 candidates to 9 candidates (52.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	17	4	21

Merged error: 0.0b

Counts

21 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))
0.5b	(* (log z) (log z))
3.0b	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
11.0b	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

28×	`*-commutative`
16×	`distribute-rgt-in` `distribute-lft-in`
12×	`prod-diff` `associate--l+` `difference-of-squares`
9×	`sub-neg`
8×	`associate-r`
6×	`associate-/l*`
4×	`flip3--` `associate-*r/` `flip--`
2×	`fma-neg` `associate-/r/` `associate-/l/`
1×	`pow2` `frac-2neg` `clear-num` `div-inv`

Counts

4 → 60

Calls

4 calls:

9.0ms	(- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))
3.0ms	(* (log z) (log z))
10.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
19.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

series474.0ms

Counts

4 → 12

Calls

4 calls:

36.0ms	(- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))
150.0ms	(* (log z) (log z))
81.0ms	(* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z))))
207.0ms	(/ (* y (- (* (- 1.0 z) (- 1.0 z)) (* (log z) (log z)))) (- (- 1.0 z) (log z)))

simplify51.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 2 (42.0ms)

Iter	Nodes	Cost
0	476	715
1	1817	652
2	5001	620

prune145.0ms

Filtered

72 candidates to 32 candidates (44.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	70	2	72
Fresh	0	1	1
Picked	0	1	1
Done	1	1	2
Total	71	5	76

Merged error: 0b

Counts

76 → 5

regimes111.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	6
1	14	6

end0.0ms

sample1.1s

Algorithm

intervals

Results

385.0ms	9144×	body	80	valid
304.0ms	9190×	body	80	nan