Details

sample53.0ms

Algorithm

intervals

Results

25.0ms

482×

body

valid

simplify123.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (10.0ms)

Iter	Nodes	Cost
0	33	9
1	87	9
2	260	8
3	872	8
4	2436	8
5	4957	8
6	5001	8

prune13.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: 1.1b

Counts

2 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma x y (* z t))
0.0b	(* 2.0 (* (- (fma c b a)) (* c i)))
0.0b	(fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i))))
5.5b	(* (- (fma c b a)) (* c i))

rewrite22.0ms

Algorithm

rewrite-expression-head

Rules

18×	`pow1` `add-exp-log` `add-cbrt-cube`
13×	`associate-l`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`distribute-lft-neg-out` `associate-r` `*-commutative` `fma-udef`
1×	`neg-mul-1` `distribute-rgt-neg-out`

Counts

4 → 72

Calls

4 calls:

1.0ms	(fma x y (* z t))
12.0ms	(* 2.0 (* (- (fma c b a)) (* c i)))
1.0ms	(fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i))))
7.0ms	(* (- (fma c b a)) (* c i))

series919.0ms

Counts

4 → 12

Calls

4 calls:

41.0ms	(fma x y (* z t))
79.0ms	(* 2.0 (* (- (fma c b a)) (* c i)))
736.0ms	(fma 2.0 (fma x y (* z t)) (* 2.0 (* (- (fma c b a)) (* c i))))
63.0ms	(* (- (fma c b a)) (* c i))

simplify63.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	284	526
1	1170	437
2	5002	427

prune329.0ms

Filtered

84 candidates to 60 candidates (71.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	78	6	84
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	79	7	86

Merged error: 0.7b

Counts

86 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma 2.0 (fma x y (* z t)) (* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i)))))
0.4b	(* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i))))
0.4b	(* (sqrt 2.0) (* (- (fma c b a)) (* c i)))
5.5b	(* (- (fma c b a)) (* c i))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

32×	`pow1` `add-exp-log` `add-cbrt-cube`
22×	`associate-l`
19×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
6×	`sqrt-prod`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-neg-in` `associate-r` `*-commutative` `distribute-rgt-neg-out`
1×	`neg-mul-1` `fma-udef`

Counts

4 → 95

Calls

4 calls:

1.0ms	(fma 2.0 (fma x y (* z t)) (* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i)))))
14.0ms	(* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i))))
15.0ms	(* (sqrt 2.0) (* (- (fma c b a)) (* c i)))
7.0ms	(* (- (fma c b a)) (* c i))

series1.7s

Counts

4 → 12

Calls

4 calls:

1.1s	(fma 2.0 (fma x y (* z t)) (* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i)))))
288.0ms	(* (sqrt 2.0) (* (sqrt 2.0) (* (- (fma c b a)) (* c i))))
178.0ms	(* (sqrt 2.0) (* (- (fma c b a)) (* c i)))
62.0ms	(* (- (fma c b a)) (* c i))

simplify73.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	390	870
1	1708	708
2	5001	674

prune405.0ms

Filtered

107 candidates to 67 candidates (62.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	104	3	107
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	105	9	114

Merged error: 0.7b

Counts

114 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

1.0b	(cbrt 2.0)
1.0b	(cbrt 2.0)
1.0b	(cbrt 2.0)
5.5b	(* (- (fma c b a)) (* c i))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-sqr-sqrt` `add-cube-cbrt` `-un-lft-identity` `associate-l*`
9×	`pow1` `add-exp-log` `cbrt-prod` `add-cbrt-cube`
4×	`expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-in` `distribute-rgt-neg-in` `pow1/3` `pow-prod-down` `prod-exp` `cbrt-unprod`
1×	`distribute-lft-neg-out` `neg-mul-1` `associate-r` `*-commutative`

Counts

4 → 67

Calls

4 calls:

1.0ms	(cbrt 2.0)
1.0ms	(cbrt 2.0)
1.0ms	(cbrt 2.0)
7.0ms	(* (- (fma c b a)) (* c i))

series68.0ms

Counts

4 → 6

Calls

4 calls:

0.0ms	(cbrt 2.0)
0.0ms	(cbrt 2.0)
0.0ms	(cbrt 2.0)
68.0ms	(* (- (fma c b a)) (* c i))

simplify126.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 2 (30.0ms)

Iter	Nodes	Cost
0	178	297
1	675	267
2	3787	255
3	5001	255

prune443.0ms

Filtered

73 candidates to 57 candidates (78.1%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	73	0	73
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	73	9	82

Merged error: 0.7b

Counts

82 → 9

localize16.0ms

Local error

Found 4 expressions with local error:

0.0b	(fma x y (* z t))
0.0b	(fma 2.0 (fma x y (* z t)) (* 2.0 (* (* (- (fma c b a)) c) i)))
0.1b	(* (- (fma c b a)) c)
6.5b	(* (* (- (fma c b a)) c) i)

rewrite15.0ms

Algorithm

rewrite-expression-head

Rules

11×	`pow1` `add-exp-log` `add-sqr-sqrt` `associate-l` `add-cbrt-cube`
9×	`add-cube-cbrt` `*-un-lft-identity`
6×	`associate-r`
4×	`expm1-log1p-u` `pow-prod-down` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp`
3×	`distribute-lft-neg-out` `distribute-lft-neg-in` `distribute-rgt-neg-in`
2×	`*-commutative` `fma-udef`
1×	`neg-mul-1` `unswap-sqr`

Counts

4 → 69

Calls

4 calls:

1.0ms	(fma x y (* z t))
1.0ms	(fma 2.0 (fma x y (* z t)) (* 2.0 (* (* (- (fma c b a)) c) i)))
5.0ms	(* (- (fma c b a)) c)
6.0ms	(* (* (- (fma c b a)) c) i)

series909.0ms

Counts

4 → 12

Calls

4 calls:

52.0ms	(fma x y (* z t))
751.0ms	(fma 2.0 (fma x y (* z t)) (* 2.0 (* (* (- (fma c b a)) c) i)))
36.0ms	(* (- (fma c b a)) c)
69.0ms	(* (* (- (fma c b a)) c) i)

simplify52.0ms

Algorithm

egg-herbie

Counts

81 → 81

Iterations

Useful iterations: 2 (44.0ms)

Iter	Nodes	Cost
0	258	433
1	1163	372
2	5001	364

prune313.0ms

Filtered

81 candidates to 60 candidates (74.1%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	81	9	90

Merged error: 0.7b

Counts

90 → 9

regimes511.0ms

Accuracy

0% (1.0b remaining)

Error of 1.8b against oracle of 0.8b and baseline of 1.8b

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	23	8
1	31	8
2	41	8
3	41	8

end0.0ms

sample1.4s

Algorithm

intervals

Results

719.0ms

14895×

body

valid