Details

sample31.0ms

Algorithm

intervals

Results

19.0ms

256×

body

valid

simplify94.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	22	8
1	33	8
2	56	8
3	72	8
4	78	8
5	100	8
6	128	8
7	161	8
8	190	8
9	350	8
10	644	8
11	1012	8
12	2258	8
13	5001	8

prune2.0ms

Filtered

1 candidates to 0 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 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 0.99229 (* x 0.04481))
0.0b	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.1b	(* (+ 0.99229 (* x 0.04481)) x)
13.9b	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 77

Calls

4 calls:

2.0ms	(+ 0.99229 (* x 0.04481))
8.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
5.0ms	(* (+ 0.99229 (* x 0.04481)) x)
6.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series25.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(+ 0.99229 (* x 0.04481))
8.0ms	(- x (/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
6.0ms	(* (+ 0.99229 (* x 0.04481)) x)
8.0ms	(/ (+ 2.30753 (* x 0.27061)) (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify45.0ms

Algorithm

egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	418	785
1	1542	737
2	5001	731

prune131.0ms

Filtered

89 candidates to 67 candidates (24.7%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	86	3	89
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	87	3	90

Merged error: 0b

Counts

90 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
0.1b	(* (+ 0.99229 (* x 0.04481)) x)
0.5b	(/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.3b	(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
22×	`add-cube-cbrt`
20×	`times-frac`
19×	`add-exp-log`
18×	`associate-r`
13×	`add-cbrt-cube`
9×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`flip3-+` `prod-exp` `flip-+`
4×	`div-exp` `associate-*l/` `associate-/r/` `unswap-sqr`
3×	`associate-/r` `cbrt-unprod` `associate-/l`
2×	`cbrt-undiv` `frac-times` `rec-exp` `1-exp` `pow-prod-down` `*-commutative` `div-inv`
1×	`sub-neg` `flip3--` `pow-flip` `frac-2neg` `diff-log` `associate-*r/` `clear-num` `un-div-inv` `flip--` `inv-pow`

Counts

4 → 107

Calls

4 calls:

2.0ms	(- x (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
5.0ms	(* (+ 0.99229 (* x 0.04481)) x)
4.0ms	(/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
9.0ms	(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))

series22.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- x (* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
6.0ms	(* (+ 0.99229 (* x 0.04481)) x)
4.0ms	(/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
5.0ms	(* (+ 2.30753 (* x 0.27061)) (/ 1 (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))

simplify70.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	566	1086
1	2660	975
2	5001	948

prune146.0ms

Filtered

119 candidates to 78 candidates (34.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	119	0	119
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	119	3	122

Merged error: 0b

Counts

122 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.1b	(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
0.2b	(/ (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
13.9b	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
13.9b	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

288×	`times-frac`
164×	`add-sqr-sqrt`
162×	`add-cube-cbrt` `*-un-lft-identity`
156×	`sqrt-prod`
27×	`associate-/l*`
22×	`sqrt-div`
18×	`associate-/r/`
12×	`flip3-+` `associate-/r*` `flip-+`
11×	`add-exp-log` `add-cbrt-cube`
9×	`div-inv`
6×	`pow1`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`associate-/l/`
2×	`rem-sqrt-square` `frac-2neg` `sqrt-pow1` `pow1/2` `clear-num`

Counts

4 → 264

Calls

4 calls:

7.0ms	(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
14.0ms	(/ (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
2.0ms	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
3.0ms	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
6.0ms	(/ (/ (+ 2.30753 (* x 0.27061)) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))) (sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))))
5.0ms	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
5.0ms	(sqrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify119.0ms

Algorithm

egg-herbie

Counts

276 → 276

Iterations

Useful iterations: 2 (61.0ms)

Iter	Nodes	Cost
0	923	6227
1	3468	5694
2	5001	5608

prune640.0ms

Filtered

276 candidates to 149 candidates (46.0%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	276	0	276
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	276	3	279

Merged error: 0b

Counts

279 → 3

localize14.0ms

Local error

Found 4 expressions with local error:

6.7b	(/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
14.2b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
14.2b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
14.2b	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-div`
10×	`flip3-+` `flip-+`
9×	`add-exp-log` `cbrt-prod` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
8×	`associate-/r/`
7×	`add-cbrt-cube`
4×	`pow1` `frac-times` `add-log-exp`
3×	`times-frac` `pow1/3` `associate-/l*`
2×	`cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `associate-/l/`
1×	`frac-2neg` `prod-exp` `clear-num` `associate-/r*` `cbrt-unprod` `div-inv`

Counts

4 → 70

Calls

4 calls:

11.0ms	(/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
2.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
2.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
2.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

series42.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(/ (+ 2.30753 (* x 0.27061)) (* (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x))) (cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))))
9.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
11.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))
9.0ms	(cbrt (+ 1.0 (* (+ 0.99229 (* x 0.04481)) x)))

simplify49.0ms

Algorithm

egg-herbie

Counts

82 → 82

Iterations

Useful iterations: 2 (36.0ms)

Iter	Nodes	Cost
0	520	1360
1	1576	1258
2	5001	1162

prune269.0ms

Filtered

82 candidates to 72 candidates (12.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	82	0	82
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	82	3	85

Merged error: 0b

Counts

85 → 3

regimes27.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	9
1	25	9

end0.0ms

sample440.0ms

Algorithm

intervals

Results

317.0ms

8000×

body

valid

Details

sample31.0ms

simplify94.0ms

prune2.0ms

localize10.0ms

rewrite23.0ms

series25.0ms

simplify45.0ms

prune131.0ms

localize11.0ms

rewrite23.0ms

series22.0ms

simplify70.0ms

prune146.0ms

localize15.0ms

rewrite40.0ms

series24.0ms

simplify119.0ms

prune640.0ms

localize14.0ms

rewrite19.0ms

series42.0ms

simplify49.0ms

prune269.0ms

regimes27.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample440.0ms

Profiling