Details

analyze4.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

sample25.0ms

Algorithm

intervals

Results

8.0ms	51×	body	1280	valid
5.0ms	42×	body	640	valid
4.0ms	134×	body	80	valid
2.0ms	21×	body	320	valid
0.0ms	8×	body	160	valid

simplify81.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	1001	13
1	1001	13

prune4.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 28.8b

Counts

2 → 1

localize6.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(/ (+ x 1.0) (- x 1.0))
3.2b	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

99×	`*-un-lft-identity`
52×	`times-frac`
45×	`add-sqr-sqrt`
23×	`add-cube-cbrt`
18×	`distribute-lft-out` `distribute-lft-out--`
9×	`associate-/r*` `difference-of-squares`
7×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
5×	`add-log-exp`
4×	`associate-/r/`
3×	`pow1`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `flip3-+` `div-exp` `clear-num` `flip--` `flip-+` `div-inv` `associate-/l/`
1×	`sub-neg` `diff-log` `frac-sub`

Counts

3 → 103

Calls

3 calls:

5.0ms	(/ x (+ x 1.0))
8.0ms	(/ (+ x 1.0) (- x 1.0))
33.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

series13.0ms

Counts

3 → 9

Calls

3 calls:

3.0ms	(/ x (+ x 1.0))
3.0ms	(/ (+ x 1.0) (- x 1.0))
8.0ms	(- (/ x (+ x 1.0)) (/ (+ x 1.0) (- x 1.0)))

simplify56.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4955	1404
1	4955	1404

prune185.0ms

Filtered

76 candidates to 112 candidates (-47.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	107	5	112
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	108	5	113

Merged error: 0.2b

Counts

113 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ x 1.0) (- x 1.0))
0.0b	(pow (/ (+ x 1.0) (- x 1.0)) 3)
0.0b	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
3.2b	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

153×	`*-un-lft-identity`
136×	`add-sqr-sqrt`
111×	`times-frac`
70×	`cbrt-prod`
57×	`add-cube-cbrt`
56×	`unpow-prod-down` `cube-prod`
35×	`difference-of-squares`
26×	`distribute-lft-out`
22×	`distribute-lft-out--`
10×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`flip3--` `flip--` `add-log-exp`
5×	`pow1` `associate-/r*` `div-inv`
4×	`associate-/l*` `sqr-pow`
3×	`cube-div` `pow-unpow`
2×	`cbrt-undiv` `cube-mult` `cbrt-div` `unpow3` `div-exp` `pow-exp` `associate-/l/` `rem-cube-cbrt`
1×	`pow-to-exp` `sub-neg` `pow-pow` `frac-2neg` `flip3-+` `pow1/3` `diff-log` `clear-num` `frac-sub` `rem-cbrt-cube` `flip-+`

Counts

4 → 212

Calls

4 calls:

7.0ms	(/ (+ x 1.0) (- x 1.0))
10.0ms	(pow (/ (+ x 1.0) (- x 1.0)) 3)
11.0ms	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
60.0ms	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

series24.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ (+ x 1.0) (- x 1.0))
3.0ms	(pow (/ (+ x 1.0) (- x 1.0)) 3)
4.0ms	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
13.0ms	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

simplify65.0ms

Algorithm

egg-herbie

Counts

224 → 224

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5172	3350

prune242.0ms

Filtered

107 candidates to 224 candidates (-109.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	223	1	224
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	223	6	229

Merged error: 0.1b

Counts

229 → 6

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(* (+ x 1.0) (+ x 1.0))
0.0b	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
17.5b	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

42×	`associate-*r/`
32×	`frac-sub`
30×	`*-un-lft-identity` `flip3-+` `flip-+`
20×	`frac-times`
19×	`flip3--` `flip--`
18×	`add-sqr-sqrt` `associate-/l/`
16×	`add-cube-cbrt`
12×	`times-frac`
10×	`pow1` `associate-*l/`
7×	`add-exp-log` `add-cbrt-cube`
6×	`swap-sqr` `distribute-lft-out`
5×	`add-log-exp`
4×	`associate-r` `associate-l` `associate-/r*` `difference-of-squares`
3×	`distribute-rgt-in` `sub-neg` `distribute-lft-in` `associate-/l*`
2×	`associate--l+` `associate-/r/` `associate--r+`
1×	`cbrt-undiv` `pow2` `frac-2neg` `pow-plus` `diff-log` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

3 → 123

Calls

3 calls:

8.0ms	(* (+ x 1.0) (+ x 1.0))
14.0ms	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
8.0ms	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

series10.0ms

Counts

3 → 9

Calls

3 calls:

2.0ms	(* (+ x 1.0) (+ x 1.0))
4.0ms	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
4.0ms	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

simplify66.0ms

Algorithm

egg-herbie

Counts

132 → 132

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4976	2831
1	4976	2831

prune256.0ms

Filtered

96 candidates to 132 candidates (-37.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	131	1	132
Fresh	2	2	4
Picked	1	0	1
Done	0	1	1
Total	134	4	138

Merged error: 0.0b

Counts

138 → 4

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (* x (- x (+ 1.0 (+ x 1.0)))) (* (+ x 1.0) 1.0))
0.0b	(+ 1.0 (+ x 1.0))
2.6b	(- x (+ 1.0 (+ x 1.0)))
13.6b	(/ (- (* x (- x (+ 1.0 (+ x 1.0)))) (* (+ x 1.0) 1.0)) (- (* x x) (* 1.0 1.0)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

27×	`*-un-lft-identity`
20×	`add-log-exp`
15×	`add-sqr-sqrt`
13×	`add-cube-cbrt`
12×	`times-frac`
8×	`flip3--` `associate-r/` `associate-l/` `frac-sub` `flip--`
6×	`add-exp-log` `sum-log` `add-cbrt-cube` `associate-/l/` `distribute-lft-out`
5×	`flip3-+` `flip-+` `difference-of-squares`
4×	`pow1` `sub-neg` `diff-log` `associate-/r*`
3×	`associate-/l*` `distribute-lft-out--`
2×	`associate--l+` `associate-/r/`
1×	`cbrt-undiv` `+-commutative` `distribute-rgt-in` `associate-+r+` `frac-2neg` `distribute-lft-in` `div-sub` `div-exp` `clear-num` `div-inv` `associate--r+`

Counts

4 → 90

Calls

4 calls:

13.0ms	(- (* x (- x (+ 1.0 (+ x 1.0)))) (* (+ x 1.0) 1.0))
6.0ms	(+ 1.0 (+ x 1.0))
9.0ms	(- x (+ 1.0 (+ x 1.0)))
18.0ms	(/ (- (* x (- x (+ 1.0 (+ x 1.0)))) (* (+ x 1.0) 1.0)) (- (* x x) (* 1.0 1.0)))

series16.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- (* x (- x (+ 1.0 (+ x 1.0)))) (* (+ x 1.0) 1.0))
4.0ms	(+ 1.0 (+ x 1.0))
1.0ms	(- x (+ 1.0 (+ x 1.0)))
4.0ms	(/ (- (* x (- x (+ 1.0 (+ x 1.0)))) (* (+ x 1.0) 1.0)) (- (* x x) (* 1.0 1.0)))

simplify100.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	4941	2117
1	4941	2117

prune190.0ms

Filtered

80 candidates to 102 candidates (-27.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	101	1	102
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	101	5	106

Merged error: 0b

Counts

106 → 5

regimes50.0ms

Accuracy

100% (0.0b remaining)

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

bsearch31.0ms

Steps

Iters	Range		Point
10	1439.0534948917962	65581373968725.24	327277.68337714666
9	-1083254718424.8171	-5357.228355614117	-457821843.99172604

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	140	48
1	140	48

end0.0ms

sample733.0ms

Algorithm

intervals

Results

264.0ms	1696×	body	1280	valid
155.0ms	1258×	body	640	valid
133.0ms	4066×	body	80	valid
64.0ms	639×	body	320	valid
21.0ms	341×	body	160	valid

Details

analyze4.0ms

sample25.0ms

simplify81.0ms

prune4.0ms

localize6.0ms

rewrite50.0ms

series13.0ms

simplify56.0ms

prune185.0ms

localize9.0ms

rewrite101.0ms

series24.0ms

simplify65.0ms

prune242.0ms

localize10.0ms

rewrite39.0ms

series10.0ms

simplify66.0ms

prune256.0ms

localize11.0ms

rewrite49.0ms

series16.0ms

simplify100.0ms

prune190.0ms

regimes50.0ms

bsearch31.0ms

simplify2.0ms

end0.0ms

sample733.0ms

Profiling