Details

sample29.0ms

Algorithm

intervals

Results

10.0ms	256×	body	80	valid
9.0ms	250×	body	80	nan

simplify13.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	21	7
1	39	7
2	61	7
3	80	7
4	105	7
5	114	7
6	114	7

prune2.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.4b

Counts

2 → 1

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 6.0 (- x 1.0))
0.0b	(+ (+ x 1.0) (* 4.0 (sqrt x)))
0.4b	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

11×	`add-sqr-sqrt`
10×	`add-exp-log` `add-cbrt-cube`
9×	`*-un-lft-identity`
8×	`add-log-exp`
7×	`add-cube-cbrt`
5×	`pow1` `associate-r`
4×	`associate-*r/`
3×	`times-frac` `associate-l` `associate-/r*` `sum-log`
2×	`cbrt-undiv` `distribute-rgt-in` `sub-neg` `flip3--` `distribute-lft-in` `flip3-+` `div-exp` `prod-exp` `associate-/r/` `flip--` `cbrt-unprod` `flip-+` `associate-/l/`
1×	`+-commutative` `associate-+l+` `frac-2neg` `pow-prod-down` `clear-num` `-commutative` `div-inv` `associate-/l` `distribute-lft-out--` `difference-of-squares` `unswap-sqr`

Counts

3 → 64

Calls

3 calls:

9.0ms	(* 6.0 (- x 1.0))
5.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
10.0ms	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

series148.0ms

Counts

3 → 9

Calls

3 calls:

38.0ms	(* 6.0 (- x 1.0))
34.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
76.0ms	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

simplify48.0ms

Algorithm

egg-herbie

Counts

73 → 73

Iterations

Useful iterations: 2 (39.0ms)

Iter	Nodes	Cost
0	377	495
1	1642	421
2	5001	420

prune123.0ms

Filtered

73 candidates to 53 candidates (72.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	70	3	73
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	71	3	74

Merged error: 0b

Counts

74 → 3

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ (+ (+ x 1.0) (* 4.0 (sqrt x))) (- x 1.0))
0.0b	(/ 6.0 (/ (+ (+ x 1.0) (* 4.0 (sqrt x))) (- x 1.0)))
0.0b	(+ (+ x 1.0) (* 4.0 (sqrt x)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

138×	`times-frac`
103×	`add-sqr-sqrt` `*-un-lft-identity`
71×	`add-cube-cbrt`
26×	`associate-/r*`
16×	`distribute-lft-out--` `difference-of-squares`
11×	`associate-/r/`
10×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
6×	`div-inv` `associate-/l*`
5×	`flip3--` `flip--`
4×	`cbrt-undiv` `div-exp`
3×	`pow1` `sum-log`
2×	`frac-2neg` `flip3-+` `clear-num` `flip-+` `associate-/l/`
1×	`+-commutative` `associate-+l+`

Counts

3 → 154

Calls

3 calls:

10.0ms	(/ (+ (+ x 1.0) (* 4.0 (sqrt x))) (- x 1.0))
11.0ms	(/ 6.0 (/ (+ (+ x 1.0) (* 4.0 (sqrt x))) (- x 1.0)))
6.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))

series183.0ms

Counts

3 → 9

Calls

3 calls:

69.0ms	(/ (+ (+ x 1.0) (* 4.0 (sqrt x))) (- x 1.0))
76.0ms	(/ 6.0 (/ (+ (+ x 1.0) (* 4.0 (sqrt x))) (- x 1.0)))
38.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))

simplify87.0ms

Algorithm

egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	641	2084
1	2942	1986
2	5001	1984

prune300.0ms

Filtered

163 candidates to 126 candidates (77.3%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	163	0	163
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	163	3	166

Merged error: 0b

Counts

166 → 3

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(* 6.0 (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
0.0b	(+ (+ x 1.0) (* 4.0 (sqrt x)))
0.0b	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

42×	`add-sqr-sqrt`
37×	`*-un-lft-identity`
31×	`times-frac`
23×	`add-cube-cbrt`
21×	`associate-r`
10×	`add-exp-log` `add-cbrt-cube`
8×	`add-log-exp`
7×	`distribute-lft-out--` `difference-of-squares`
5×	`pow1` `associate-/l*`
4×	`associate-/r/`
3×	`flip3-+` `associate-l` `associate-/r*` `sum-log` `flip-+`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `associate-+l+` `flip3--` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip--`

Counts

3 → 93

Calls

3 calls:

13.0ms	(* 6.0 (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
5.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
9.0ms	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

series191.0ms

Counts

3 → 9

Calls

3 calls:

79.0ms	(* 6.0 (/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x)))))
42.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
70.0ms	(/ (- x 1.0) (+ (+ x 1.0) (* 4.0 (sqrt x))))

simplify54.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 2 (43.0ms)

Iter	Nodes	Cost
0	439	987
1	1809	895
2	5003	893

prune169.0ms

Filtered

102 candidates to 77 candidates (75.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	102	0	102
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	102	3	105

Merged error: 0b

Counts

105 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (* 4.0 (sqrt x)) (* 4.0 (sqrt x)))
5.1b	(/ (* 6.0 (- x 1.0)) (+ (pow (+ x 1.0) 3) (pow (* 4.0 (sqrt x)) 3)))
9.2b	(+ (* (+ x 1.0) (+ x 1.0)) (- (* (* 4.0 (sqrt x)) (* 4.0 (sqrt x))) (* (+ x 1.0) (* 4.0 (sqrt x)))))
15.4b	(* (/ (* 6.0 (- x 1.0)) (+ (pow (+ x 1.0) 3) (pow (* 4.0 (sqrt x)) 3))) (+ (* (+ x 1.0) (+ x 1.0)) (- (* (* 4.0 (sqrt x)) (* 4.0 (sqrt x))) (* (+ x 1.0) (* 4.0 (sqrt x))))))

rewrite88.0ms

Algorithm

rewrite-expression-head

Rules

48×	`frac-add`
45×	`pow1`
42×	`frac-times`
41×	`flip3-+` `flip-+`
32×	`associate-*r/`
30×	`add-exp-log` `add-cbrt-cube`
25×	`flip3--` `flip--`
18×	`pow-prod-down`
15×	`*-un-lft-identity`
13×	`associate-*l/` `prod-exp` `cbrt-unprod`
12×	`associate-l`
11×	`add-sqr-sqrt`
10×	`times-frac`
9×	`add-cube-cbrt` `add-log-exp`
5×	`associate-/r*`
4×	`cbrt-undiv` `div-exp` `associate-r` `associate-/r/` `pow-sqr` `pow-prod-up`
3×	`sum-cubes` `distribute-lft-out`
2×	`distribute-rgt-in` `associate-+l+` `associate-+r+` `distribute-lft-in` `pow-plus` `sum-log` `*-commutative` `div-inv` `associate-/l/`
1×	`+-commutative` `pow2` `associate-+r-` `sub-neg` `frac-2neg` `diff-log` `swap-sqr` `clear-num` `associate-/l*` `unswap-sqr`

Counts

4 → 165

Calls

4 calls:

9.0ms	(* (* 4.0 (sqrt x)) (* 4.0 (sqrt x)))
17.0ms	(/ (* 6.0 (- x 1.0)) (+ (pow (+ x 1.0) 3) (pow (* 4.0 (sqrt x)) 3)))
15.0ms	(+ (* (+ x 1.0) (+ x 1.0)) (- (* (* 4.0 (sqrt x)) (* 4.0 (sqrt x))) (* (+ x 1.0) (* 4.0 (sqrt x)))))
39.0ms	(* (/ (* 6.0 (- x 1.0)) (+ (pow (+ x 1.0) 3) (pow (* 4.0 (sqrt x)) 3))) (+ (* (+ x 1.0) (+ x 1.0)) (- (* (* 4.0 (sqrt x)) (* 4.0 (sqrt x))) (* (+ x 1.0) (* 4.0 (sqrt x))))))

series352.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(* (* 4.0 (sqrt x)) (* 4.0 (sqrt x)))
82.0ms	(/ (* 6.0 (- x 1.0)) (+ (pow (+ x 1.0) 3) (pow (* 4.0 (sqrt x)) 3)))
71.0ms	(+ (* (+ x 1.0) (+ x 1.0)) (- (* (* 4.0 (sqrt x)) (* 4.0 (sqrt x))) (* (+ x 1.0) (* 4.0 (sqrt x)))))
172.0ms	(* (/ (* 6.0 (- x 1.0)) (+ (pow (+ x 1.0) 3) (pow (* 4.0 (sqrt x)) 3))) (+ (* (+ x 1.0) (+ x 1.0)) (- (* (* 4.0 (sqrt x)) (* 4.0 (sqrt x))) (* (+ x 1.0) (* 4.0 (sqrt x))))))

simplify74.0ms

Algorithm

egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	1511	5265
1	5001	4860

prune536.0ms

Filtered

177 candidates to 120 candidates (67.8%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	177	0	177
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	177	3	180

Merged error: 0b

Counts

180 → 3

regimes18.0ms

Accuracy

0% (0.0b 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	7
1	14	7

end0.0ms

sample826.0ms

Algorithm

intervals

Results

324.0ms	8000×	body	80	valid
311.0ms	8106×	body	80	nan

Details

sample29.0ms

simplify13.0ms

prune2.0ms

localize8.0ms

rewrite27.0ms

series148.0ms

simplify48.0ms

prune123.0ms

localize8.0ms

rewrite34.0ms

series183.0ms

simplify87.0ms

prune300.0ms

localize11.0ms

rewrite31.0ms

series191.0ms

simplify54.0ms

prune169.0ms

localize18.0ms

rewrite88.0ms

series352.0ms

simplify74.0ms

prune536.0ms

regimes18.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample826.0ms

Profiling