Details

sample49.0ms

Algorithm

intervals

Results

32.0ms

638×

body

valid

simplify83.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	51	14
1	155	14
2	430	14
3	1195	14
4	2526	14
5	5001	14

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

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
0.1b	(* (* a a) (- 1.0 a))
0.3b	(pow (+ (* a a) (* b b)) 2.0)
1.1b	(* (* b b) (+ 3.0 a))

rewrite129.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
41×	`associate-l`
38×	`*-un-lft-identity`
28×	`associate-+r+`
22×	`distribute-rgt-in` `distribute-lft-in`
18×	`add-cube-cbrt`
15×	`pow1` `add-exp-log` `associate-r`
14×	`add-cbrt-cube` `unswap-sqr`
10×	`swap-sqr`
9×	`+-commutative`
8×	`unpow-prod-down` `associate-+l+` `distribute-lft-out`
6×	`sub-neg` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `add-log-exp`
4×	`associate-*r/`
3×	`pow-unpow`
2×	`flip3-+` `flip-+`
1×	`pow-to-exp` `flip3--` `pow-pow` `pow-exp` `sum-log` `flip--` `distribute-lft-out--` `difference-of-squares` `sqr-pow`

Counts

4 → 144

Calls

4 calls:

83.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
11.0ms	(* (* a a) (- 1.0 a))
16.0ms	(pow (+ (* a a) (* b b)) 2.0)
11.0ms	(* (* b b) (+ 3.0 a))

series306.0ms

Counts

4 → 12

Calls

4 calls:

111.0ms	(+ (pow (+ (* a a) (* b b)) 2.0) (* 4.0 (+ (* (* a a) (- 1.0 a)) (* (* b b) (+ 3.0 a)))))
57.0ms	(* (* a a) (- 1.0 a))
105.0ms	(pow (+ (* a a) (* b b)) 2.0)
34.0ms	(* (* b b) (+ 3.0 a))

simplify107.0ms

Algorithm

egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	700	1025
1	3299	953
2	5001	953

prune316.0ms

Filtered

156 candidates to 101 candidates (64.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	150	6	156
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	151	6	157

Merged error: 0b

Counts

157 → 6

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ (pow (+ (* a a) (* b b)) 2.0) (* (* 1.0 (* a a)) 4.0)) (* (+ (* (- a) (* a a)) (* (* b b) (+ 3.0 a))) 4.0))
0.1b	(* (- a) (* a a))
0.3b	(pow (+ (* a a) (* b b)) 2.0)
1.1b	(* (* b b) (+ 3.0 a))

rewrite177.0ms

Algorithm

rewrite-expression-head

Rules

191×	`*-un-lft-identity`
168×	`associate-l`
119×	`distribute-lft-out`
44×	`add-sqr-sqrt`
25×	`associate-r`
20×	`add-cube-cbrt`
15×	`pow1` `add-exp-log` `distribute-rgt-neg-in`
14×	`add-cbrt-cube` `unswap-sqr`
10×	`swap-sqr`
9×	`add-log-exp`
8×	`unpow-prod-down`
6×	`flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+`
4×	`+-commutative` `associate-*l/` `frac-add`
3×	`distribute-lft-neg-in` `pow-unpow` `sum-log`
2×	`distribute-rgt-in` `associate-+l+` `distribute-lft-in` `associate-*r/`
1×	`distribute-lft-neg-out` `pow-to-exp` `neg-mul-1` `pow-pow` `pow-exp` `sqr-pow`

Counts

4 → 173

Calls

4 calls:

130.0ms	(+ (+ (pow (+ (* a a) (* b b)) 2.0) (* (* 1.0 (* a a)) 4.0)) (* (+ (* (- a) (* a a)) (* (* b b) (+ 3.0 a))) 4.0))
11.0ms	(* (- a) (* a a))
16.0ms	(pow (+ (* a a) (* b b)) 2.0)
11.0ms	(* (* b b) (+ 3.0 a))

series304.0ms

Counts

4 → 12

Calls

4 calls:

120.0ms	(+ (+ (pow (+ (* a a) (* b b)) 2.0) (* (* 1.0 (* a a)) 4.0)) (* (+ (* (- a) (* a a)) (* (* b b) (+ 3.0 a))) 4.0))
37.0ms	(* (- a) (* a a))
107.0ms	(pow (+ (* a a) (* b b)) 2.0)
39.0ms	(* (* b b) (+ 3.0 a))

simplify159.0ms

Algorithm

egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 2 (137.0ms)

Iter	Nodes	Cost
0	789	1921
1	4233	1806
2	5002	1789

prune338.0ms

Filtered

185 candidates to 91 candidates (49.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	186	5	191

Merged error: 0b

Counts

191 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.0b	(* (* 1.0 (* a a)) 4.0)
0.1b	(* (- a) (* a a))
0.3b	(pow (+ (* a a) (* b b)) 2.0)
1.1b	(* (* b b) (+ 3.0 a))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

81×	`add-sqr-sqrt`
69×	`associate-l`
46×	`associate-r`
42×	`*-un-lft-identity`
33×	`unswap-sqr`
28×	`add-cube-cbrt`
24×	`pow1` `add-exp-log`
23×	`add-cbrt-cube`
15×	`swap-sqr`
12×	`pow-prod-down` `prod-exp` `cbrt-unprod`
11×	`*-commutative`
8×	`unpow-prod-down`
6×	`distribute-lft-out`
4×	`add-log-exp`
3×	`distribute-lft-neg-in` `pow-unpow` `distribute-rgt-neg-in`
2×	`+-commutative` `distribute-rgt-in` `distribute-lft-in` `associate-*r/`
1×	`distribute-lft-neg-out` `pow-to-exp` `neg-mul-1` `pow-pow` `flip3-+` `pow-exp` `flip-+` `sqr-pow`

Counts

4 → 165

Calls

4 calls:

15.0ms	(* (* 1.0 (* a a)) 4.0)
15.0ms	(* (- a) (* a a))
16.0ms	(pow (+ (* a a) (* b b)) 2.0)
11.0ms	(* (* b b) (+ 3.0 a))

series207.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(* (* 1.0 (* a a)) 4.0)
36.0ms	(* (- a) (* a a))
112.0ms	(pow (+ (* a a) (* b b)) 2.0)
35.0ms	(* (* b b) (+ 3.0 a))

simplify127.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 2 (109.0ms)

Iter	Nodes	Cost
0	710	756
1	3648	685
2	5001	669

prune375.0ms

Filtered

177 candidates to 108 candidates (61.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	176	1	177
Fresh	1	3	4
Picked	0	1	1
Done	0	0	0
Total	177	5	182

Merged error: 0b

Counts

182 → 5

localize12.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))
0.0b	(* 2 (* (pow a 2) (pow b 2)))
2.4b	(* (pow a 2) (pow b 2))

rewrite73.0ms

Algorithm

rewrite-expression-head

Rules

81×	`add-sqr-sqrt`
65×	`unswap-sqr`
53×	`associate-r`
38×	`add-exp-log`
36×	`unpow-prod-down`
28×	`prod-exp` `unpow2` `sqr-pow`
21×	`*-un-lft-identity`
20×	`associate-l`
15×	`add-cube-cbrt`
12×	`pow1` `pow-to-exp` `pow-exp`
11×	`pow-prod-down`
10×	`add-cbrt-cube`
8×	`pow-unpow`
5×	`add-log-exp`
4×	`cbrt-unprod`
3×	`*-commutative`
2×	`pow-pow` `distribute-lft-out`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

3 → 150

Calls

3 calls:

32.0ms	(+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))
21.0ms	(* 2 (* (pow a 2) (pow b 2)))
13.0ms	(* (pow a 2) (pow b 2))

series132.0ms

Counts

3 → 9

Calls

3 calls:

57.0ms	(+ (pow b 4) (* 2 (* (pow a 2) (pow b 2))))
38.0ms	(* 2 (* (pow a 2) (pow b 2)))
37.0ms	(* (pow a 2) (pow b 2))

simplify76.0ms

Algorithm

egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	484	862
1	2086	695
2	5001	688

prune269.0ms

Filtered

159 candidates to 86 candidates (54.1%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	159	0	159
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	159	5	164

Merged error: 0b

Counts

164 → 5

regimes79.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	18
1	37	18
2	40	18
3	40	18

end0.0ms

sample1.4s

Algorithm

intervals

Results

1.0s

20180×

body

valid