Details

sample29.0ms

Algorithm

intervals

Results

9.0ms	55×	body	1280	valid
5.0ms	38×	body	640	valid
5.0ms	130×	body	80	valid
3.0ms	29×	body	320	valid
0.0ms	4×	body	160	valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	96	13
1	96	13

prune5.0ms

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

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite51.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 → 104

Calls

3 calls:

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

series14.0ms

Counts

3 → 9

Calls

3 calls:

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

simplify58.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4965	1412
1	4965	1412

prune196.0ms

Filtered

76 candidates to 113 candidates (-48.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	108	5	113
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	109	5	114

Merged error: 0.2b

Counts

114 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ x (+ x 1.0))
0.0b	(log (exp (/ (+ x 1.0) (- x 1.0))))
0.0b	(exp (/ (+ x 1.0) (- x 1.0)))
3.1b	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

rewrite75.0ms

Algorithm

rewrite-expression-head

Rules

82×	`*-un-lft-identity`
56×	`add-sqr-sqrt`
53×	`times-frac`
52×	`exp-prod`
35×	`add-cube-cbrt`
28×	`log-pow`
14×	`distribute-lft-out`
10×	`distribute-lft-out--` `difference-of-squares`
6×	`pow1` `add-exp-log` `log-prod` `associate-/r/` `add-cbrt-cube` `add-log-exp`
4×	`associate-/r*`
3×	`flip3--` `flip--` `div-inv` `associate-/l*` `associate--r+`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `flip3-+` `diff-log` `div-exp` `rem-log-exp` `clear-num` `flip-+` `rem-exp-log`

Counts

4 → 124

Calls

4 calls:

5.0ms	(/ x (+ x 1.0))
11.0ms	(log (exp (/ (+ x 1.0) (- x 1.0))))
10.0ms	(exp (/ (+ x 1.0) (- x 1.0)))
43.0ms	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

series19.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ x (+ x 1.0))
3.0ms	(log (exp (/ (+ x 1.0) (- x 1.0))))
4.0ms	(exp (/ (+ x 1.0) (- x 1.0)))
8.0ms	(- (/ x (+ x 1.0)) (log (exp (/ (+ x 1.0) (- x 1.0)))))

simplify52.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4970	1413
1	4970	1413

prune220.0ms

Filtered

96 candidates to 136 candidates (-41.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	136	5	141

Merged error: 0.2b

Counts

141 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite104.0ms

Algorithm

rewrite-expression-head

Rules

137×	`*-un-lft-identity`
124×	`add-sqr-sqrt`
103×	`times-frac`
70×	`cbrt-prod`
56×	`unpow-prod-down` `cube-prod`
55×	`add-cube-cbrt`
30×	`difference-of-squares`
24×	`distribute-lft-out`
17×	`distribute-lft-out--`
10×	`associate-/r/`
9×	`add-exp-log` `add-cbrt-cube`
6×	`add-log-exp`
5×	`pow1` `flip3--` `flip--` `div-inv`
4×	`associate-/r*` `sqr-pow`
3×	`cube-div` `pow-unpow` `associate-/l*`
2×	`cbrt-undiv` `cube-mult` `cbrt-div` `unpow3` `div-exp` `pow-exp` `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 → 201

Calls

4 calls:

5.0ms	(/ x (+ x 1.0))
12.0ms	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
11.0ms	(pow (/ (+ x 1.0) (- x 1.0)) 3)
64.0ms	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

series26.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(/ x (+ x 1.0))
5.0ms	(cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3))
7.0ms	(pow (/ (+ x 1.0) (- x 1.0)) 3)
10.0ms	(- (/ x (+ x 1.0)) (cbrt (pow (/ (+ x 1.0) (- x 1.0)) 3)))

simplify56.0ms

Algorithm

egg-herbie

Counts

213 → 213

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5188	3121

prune232.0ms

Filtered

102 candidates to 213 candidates (-108.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	212	1	213
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	212	6	218

Merged error: 0.0b

Counts

218 → 6

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(* x (- x 1.0))
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)))
18.6b	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 152

Calls

4 calls:

7.0ms	(* x (- x 1.0))
9.0ms	(* (+ x 1.0) (+ x 1.0))
16.0ms	(/ (- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0))) (- (* x x) (* 1.0 1.0)))
9.0ms	(- (* x (- x 1.0)) (* (+ x 1.0) (+ x 1.0)))

series15.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* x (- x 1.0))
2.0ms	(* (+ x 1.0) (+ x 1.0))
5.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)))

simplify45.0ms

Algorithm

egg-herbie

Counts

164 → 164

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	5066	3158

prune311.0ms

Filtered

113 candidates to 164 candidates (-45.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

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

Merged error: 0b

Counts

170 → 4

regimes43.0ms

Accuracy

99.9% (0.0b remaining)

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

bsearch40.0ms

Steps

Iters	Range		Point
11	901.3230478674768	3.453863445390637e+32	1208365.1148162424
8	-1.446720947063474e+35	-5.322052552197638e+32	-8.86080339333129e+33

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	39
1	37	39

end0.0ms

sample827.0ms

Algorithm

intervals

Results

280.0ms	1718×	body	1280	valid
161.0ms	1194×	body	640	valid
147.0ms	4175×	body	80	valid
64.0ms	606×	body	320	valid
21.0ms	307×	body	160	valid

Details

sample29.0ms

simplify4.0ms

prune5.0ms

localize7.0ms

rewrite51.0ms

series14.0ms

simplify58.0ms

prune196.0ms

localize10.0ms

rewrite75.0ms

series19.0ms

simplify52.0ms

prune220.0ms

localize9.0ms

rewrite104.0ms

series26.0ms

simplify56.0ms

prune232.0ms

localize13.0ms

rewrite49.0ms

series15.0ms

simplify45.0ms

prune311.0ms

regimes43.0ms

bsearch40.0ms

simplify1.0ms

end0.0ms

sample827.0ms

Profiling