Details

sample34.0ms

Algorithm

intervals

Results

17.0ms

361×

body

valid

simplify41.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 5 (34.0ms)

Iter	Nodes	Cost
0	26	7
1	68	4
2	140	4
3	200	4
4	214	4
5	217	3
6	217	3

prune10.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: 0.0b

Counts

2 → 2

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ x (* y z)) (* t a))
0.0b	(+ x (* y z))
0.0b	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
5.8b	(* (* a z) b)

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

123×	`*-un-lft-identity`
75×	`distribute-lft-out`
63×	`associate-l`
20×	`add-log-exp`
18×	`add-sqr-sqrt`
17×	`fma-def`
11×	`add-cube-cbrt`
10×	`sum-log`
9×	`pow1` `add-exp-log` `add-cbrt-cube`
8×	`associate-+l+`
6×	`+-commutative` `associate-r`
4×	`expm1-log1p-u` `log1p-expm1-u` `unswap-sqr`
3×	`flip3-+` `pow-prod-down` `prod-exp` `cbrt-unprod` `flip-+`
2×	`*-commutative`

Counts

4 → 127

Calls

4 calls:

14.0ms	(+ (+ x (* y z)) (* t a))
7.0ms	(+ x (* y z))
38.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
8.0ms	(* (* a z) b)

series219.0ms

Counts

4 → 12

Calls

4 calls:

53.0ms	(+ (+ x (* y z)) (* t a))
32.0ms	(+ x (* y z))
100.0ms	(+ (+ (+ x (* y z)) (* t a)) (* (* a z) b))
33.0ms	(* (* a z) b)

simplify109.0ms

Algorithm

egg-herbie

Counts

139 → 139

Iterations

Useful iterations: 2 (98.0ms)

Iter	Nodes	Cost
0	395	610
1	1808	514
2	5002	484

prune243.0ms

Filtered

139 candidates to 87 candidates (62.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	134	5	139
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	135	6	141

Merged error: 0b

Counts

141 → 6

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* t a) (fma (* a z) b (fma z y x)))
2.6b	(fma (* a z) b (fma z y x))

rewrite11.0ms

Algorithm

rewrite-expression-head

Rules

12×	`fma-def`
9×	`*-un-lft-identity`
7×	`add-sqr-sqrt`
5×	`add-cube-cbrt`
4×	`associate-l` `add-log-exp`
3×	`associate-r`
2×	`pow1` `add-exp-log` `expm1-log1p-u` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `distribute-lft-out`
1×	`+-commutative` `associate-+r+` `flip3-+` `sum-log` `*-commutative` `flip-+` `unswap-sqr`

Counts

2 → 38

Calls

2 calls:

9.0ms	(+ (* t a) (fma (* a z) b (fma z y x)))
1.0ms	(fma (* a z) b (fma z y x))

series198.0ms

Counts

2 → 6

Calls

2 calls:

110.0ms	(+ (* t a) (fma (* a z) b (fma z y x)))
87.0ms	(fma (* a z) b (fma z y x))

simplify176.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 3 (170.0ms)

Iter	Nodes	Cost
0	124	180
1	495	168
2	2769	167
3	5001	163

prune125.0ms

Filtered

44 candidates to 38 candidates (86.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	42	2	44
Fresh	2	3	5
Picked	1	0	1
Done	0	0	0
Total	45	5	50

Merged error: 0b

Counts

50 → 5

localize16.0ms

Local error

Found 1 expressions with local error:

2.6b	(fma (* a z) b (fma z y x))

rewrite1.0ms

Algorithm

rewrite-expression-head

Rules

1×	`pow1` `add-exp-log` `add-sqr-sqrt` `expm1-log1p-u` `add-cube-cbrt` `*-un-lft-identity` `add-cbrt-cube` `fma-udef` `log1p-expm1-u` `add-log-exp`

Counts

1 → 10

Calls

1 calls:

1.0ms

(fma (* a z) b (fma z y x))

series83.0ms

Counts

1 → 3

Calls

1 calls:

83.0ms

(fma (* a z) b (fma z y x))

simplify221.0ms

Algorithm

egg-herbie

Counts

13 → 13

Iterations

Useful iterations: 4 (217.0ms)

Iter	Nodes	Cost
0	35	56
1	100	49
2	515	49
3	3467	49
4	5001	47

prune50.0ms

Filtered

13 candidates to 12 candidates (92.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	11	2	13
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	13	5	18

Merged error: 0b

Counts

18 → 5

localize19.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt b)
0.6b	(cbrt b)
1.5b	(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
4.6b	(* (* a z) (* (cbrt b) (cbrt b)))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

305×	`add-sqr-sqrt`
188×	`unswap-sqr`
108×	`cbrt-prod`
104×	`associate-l`
92×	`add-cbrt-cube`
91×	`cbrt-unprod`
78×	`associate-r`
34×	`pow1` `add-exp-log`
33×	`add-cube-cbrt` `*-un-lft-identity`
28×	`swap-sqr`
21×	`pow-prod-down` `prod-exp`
15×	`*-commutative`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
2×	`pow1/3`

Counts

4 → 259

Calls

4 calls:

1.0ms	(cbrt b)
1.0ms	(cbrt b)
38.0ms	(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
26.0ms	(* (* a z) (* (cbrt b) (cbrt b)))

series618.0ms

Counts

4 → 12

Calls

4 calls:

207.0ms	(cbrt b)
214.0ms	(cbrt b)
65.0ms	(* (* (* a z) (* (cbrt b) (cbrt b))) (cbrt b))
132.0ms	(* (* a z) (* (cbrt b) (cbrt b)))

simplify250.0ms

Algorithm

egg-herbie

Counts

271 → 271

Iterations

Useful iterations: 2 (226.0ms)

Iter	Nodes	Cost
0	781	2499
1	4082	1954
2	5002	1793

prune548.0ms

Filtered

271 candidates to 158 candidates (58.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	271	0	271
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	271	5	276

Merged error: 0b

Counts

276 → 5

regimes254.0ms

Accuracy

80.3% (0.4b remaining)

Error of 0.4b against oracle of 0.0b and baseline of 2.1b

bsearch142.0ms

Steps

Iters	Range		Point
10	1.6986927812533095e+120	1.696364585570856e+136	2.9993001878202427e+122
9	-9.767887625141794e-15	-1.7306680908425113e-21	-1.0742285483686794e-15

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	31	10
1	33	10
2	33	10

end0.0ms

sample871.0ms

Algorithm

intervals

Results

465.0ms

11773×

body

valid