Details

sample37.0ms

Algorithm

intervals

Results

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

simplify3.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	12	7
1	12	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.5b

Counts

2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

1.0b	(/ x0 (- 1.0 x1))
7.6b	(- (/ 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)

series13.0ms

Counts

2 → 6

Calls

2 calls:

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

simplify61.0ms

Algorithm

egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5038	590

prune66.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.8b

Counts

59 → 2

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 124

Calls

4 calls:

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

series48.0ms

Counts

4 → 12

Calls

4 calls:

2.0ms	(* (- 1.0 x1) (- 1.0 x1))
24.0ms	(/ (* x0 (- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)) (+ x0 (/ x0 (- 1.0 x1))))
6.0ms	(/ x0 (- 1.0 x1))
16.0ms	(- (/ x0 (* (- 1.0 x1) (- 1.0 x1))) x0)

simplify50.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5017	1733

prune179.0ms

Filtered

93 candidates to 136 candidates (-46.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	134	2	136
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	136	2	138

Merged error: 5.4b

Counts

138 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 91

Calls

4 calls:

8.0ms	(+ x0 (/ x0 (- 1.0 x1)))
22.0ms	(/ (* x0 (- (/ x0 (+ 1.0 (- (* x1 x1) (* x1 2.0)))) x0)) (+ x0 (/ x0 (- 1.0 x1))))
5.0ms	(/ x0 (- 1.0 x1))
11.0ms	(- (/ x0 (+ 1.0 (- (* x1 x1) (* x1 2.0)))) x0)

series60.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(+ x0 (/ x0 (- 1.0 x1)))
28.0ms	(/ (* x0 (- (/ x0 (+ 1.0 (- (* x1 x1) (* x1 2.0)))) x0)) (+ x0 (/ x0 (- 1.0 x1))))
6.0ms	(/ x0 (- 1.0 x1))
20.0ms	(- (/ x0 (+ 1.0 (- (* x1 x1) (* x1 2.0)))) x0)

simplify63.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4949	1517
1	4949	1517

prune127.0ms

Filtered

80 candidates to 103 candidates (-28.8%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	101	2	103
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	103	2	105

Merged error: 4.4b

Counts

105 → 2

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(* x1 (- x1 2.0))
1.0b	(/ x0 (- 1.0 x1))
5.0b	(log (exp (- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)))
6.1b	(- (/ x0 (+ 1.0 (* x1 (- x1 2.0)))) x0)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 99

Calls

4 calls:

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

series46.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* x1 (- x1 2.0))
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

111 → 111

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	4980	1180
1	4980	1180

prune154.0ms

Filtered

79 candidates to 111 candidates (-40.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	109	2	111
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	111	2	113

Merged error: 3.4b

Counts

113 → 2

regimes59.0ms

Accuracy

100% (0.0b remaining)

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

bsearch14.0ms

Steps

Iters	Range		Point
7	0.000209	0.0186	0.00021208908081054686

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	39	70
1	39	70

end0.0ms

sample1.1s

Algorithm

intervals

Results

213.0ms	8080×	pre	80	false
211.0ms	8000×	pre	80	true
156.0ms	8000×	body	80	valid

Details

sample37.0ms

simplify3.0ms

prune2.0ms

localize4.0ms

rewrite17.0ms

series13.0ms

simplify61.0ms

prune66.0ms

localize10.0ms

rewrite55.0ms

series48.0ms

simplify50.0ms

prune179.0ms

localize13.0ms

rewrite49.0ms

series60.0ms

simplify63.0ms

prune127.0ms

localize16.0ms

rewrite34.0ms

series46.0ms

simplify48.0ms

prune154.0ms

regimes59.0ms

bsearch14.0ms

simplify2.0ms

end0.0ms

sample1.1s

Profiling