Details

sample41.0ms

Algorithm

intervals

Results

7.0ms	258×	pre	80	false
7.0ms	256×	pre	80	true
5.0ms	256×	body	80	valid

simplify39.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	634	7
1	634	7

prune2.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: 8.2b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

1.0b	(/ x0 (- 1.0 x1))
7.4b	(- (/ x0 (- 1.0 x1)) x0)

rewrite17.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
16×	`times-frac`
12×	`add-cube-cbrt`
6×	`difference-of-squares`
5×	`associate-/r*` `distribute-lft-out--`
4×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
3×	`associate-/l*`
2×	`pow1` `flip3--` `associate-/r/` `flip--`
1×	`cbrt-undiv` `sub-neg` `frac-2neg` `diff-log` `div-exp` `clear-num` `div-inv`

Counts

2 → 52

Calls

2 calls:

5.0ms	(/ x0 (- 1.0 x1))
11.0ms	(- (/ x0 (- 1.0 x1)) x0)

series12.0ms

Counts

2 → 6

Calls

2 calls:

5.0ms	(/ x0 (- 1.0 x1))
7.0ms	(- (/ x0 (- 1.0 x1)) x0)

simplify42.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5110	588

prune62.0ms

Filtered

44 candidates to 58 candidates (-31.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	56	2	58
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	57	2	59

Merged error: 6.6b

Counts

59 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ x0 (/ x0 (- 1.0 x1)))
0.5b	(* (- 1.0 x1) (- 1.0 x1))
1.0b	(/ x0 (- 1.0 x1))
5.9b	(- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 109

Calls

4 calls:

9.0ms	(+ x0 (/ x0 (- 1.0 x1)))
9.0ms	(* (- 1.0 x1) (- 1.0 x1))
5.0ms	(/ x0 (- 1.0 x1))
14.0ms	(- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)

series26.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ x0 (/ x0 (- 1.0 x1)))
2.0ms	(* (- 1.0 x1) (- 1.0 x1))
5.0ms	(/ x0 (- 1.0 x1))
12.0ms	(- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)

simplify46.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	4961	1224
1	4961	1224

prune143.0ms

Filtered

82 candidates to 121 candidates (-47.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	121	2	123

Merged error: 5.2b

Counts

123 → 2

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(* x1 (- x1 2.0))
0.5b	(+ x0 (/ x0 (- 1.0 x1)))
1.0b	(/ x0 (- 1.0 x1))
5.9b	(- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 90

Calls

4 calls:

6.0ms	(* x1 (- x1 2.0))
9.0ms	(+ x0 (/ x0 (- 1.0 x1)))
5.0ms	(/ x0 (- 1.0 x1))
9.0ms	(- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)

series32.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* x1 (- x1 2.0))
6.0ms	(+ x0 (/ x0 (- 1.0 x1)))
5.0ms	(/ x0 (- 1.0 x1))
17.0ms	(- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)

simplify52.0ms

Algorithm

egg-herbie

Counts

102 → 102

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	4982	1032
1	4982	1032

prune116.0ms

Filtered

73 candidates to 102 candidates (-39.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	100	2	102
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	102	2	104

Merged error: 4.2b

Counts

104 → 2

localize15.0ms

Local error

Found 4 expressions with local error:

0.5b	(+ x0 (/ x0 (- 1.0 x1)))
1.0b	(/ x0 (- 1.0 x1))
4.7b	(log (exp (- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)))
5.9b	(- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

34×	`add-sqr-sqrt`
30×	`*-un-lft-identity`
17×	`times-frac`
16×	`add-cube-cbrt`
8×	`add-log-exp` `difference-of-squares`
7×	`log-pow`
6×	`add-exp-log` `exp-prod` `add-cbrt-cube` `distribute-lft-out--`
5×	`pow1` `log-prod` `associate-/r*`
3×	`associate-/l*`
2×	`sub-neg` `flip3--` `exp-sum` `associate-/r/` `flip--`
1×	`cbrt-undiv` `+-commutative` `log-div` `frac-2neg` `flip3-+` `exp-diff` `diff-log` `div-exp` `rem-log-exp` `clear-num` `sum-log` `flip-+` `div-inv` `distribute-lft-out`

Counts

4 → 85

Calls

4 calls:

9.0ms	(+ x0 (/ x0 (- 1.0 x1)))
5.0ms	(/ x0 (- 1.0 x1))
12.0ms	(log (exp (- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)))
9.0ms	(- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)

series48.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ x0 (/ x0 (- 1.0 x1)))
6.0ms	(/ x0 (- 1.0 x1))
18.0ms	(log (exp (- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)))
18.0ms	(- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)

simplify48.0ms

Algorithm

egg-herbie

Counts

97 → 97

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	4991	1155
1	4991	1155

prune138.0ms

Filtered

74 candidates to 97 candidates (-31.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	95	2	97
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	97	2	99

Merged error: 3.2b

Counts

99 → 2

regimes56.0ms

Accuracy

100% (0.0b remaining)

Error of 3.3b against oracle of 3.3b and baseline of 4.5b

bsearch12.0ms

Steps

Iters	Range		Point
7	0.000209	0.0186	0.0006625985107421874

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	64	70
1	64	70

end0.0ms

sample1.1s

Algorithm

intervals

Results

213.0ms	8060×	pre	80	false
208.0ms	8000×	pre	80	true
166.0ms	8000×	body	80	valid

Details

sample41.0ms

simplify39.0ms

prune2.0ms

localize4.0ms

rewrite17.0ms

series12.0ms

simplify42.0ms

prune62.0ms

localize10.0ms

rewrite40.0ms

series26.0ms

simplify46.0ms

prune143.0ms

localize11.0ms

rewrite31.0ms

series32.0ms

simplify52.0ms

prune116.0ms

localize15.0ms

rewrite37.0ms

series48.0ms

simplify48.0ms

prune138.0ms

regimes56.0ms

bsearch12.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling