Details

sample34.0ms

Algorithm

intervals

Results

15.0ms

358×

body

valid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

prune7.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: 3.2b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b	(/ y (* z 3.0))
0.2b	(* (* z 3.0) y)
5.1b	(/ t (* (* z 3.0) y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
14×	`*-un-lft-identity`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac` `associate-/l*`
5×	`cbrt-undiv` `div-exp`
3×	`associate-r` `pow-prod-down`
2×	`associate-+l+` `frac-2neg` `frac-add` `clear-num` `associate-/r*` `sum-log` `div-inv` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `associate-l` `*-commutative` `flip--` `flip-+` `distribute-lft-out--`

Counts

4 → 81

Calls

4 calls:

9.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
4.0ms	(/ y (* z 3.0))
4.0ms	(* (* z 3.0) y)
5.0ms	(/ t (* (* z 3.0) y))

series29.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
3.0ms	(/ y (* z 3.0))
3.0ms	(* (* z 3.0) y)
6.0ms	(/ t (* (* z 3.0) y))

simplify52.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	405	532
1	2039	469
2	5001	469

prune143.0ms

Filtered

93 candidates to 62 candidates (33.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	84	9	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	85	9	94

Merged error: 0.0b

Counts

94 → 9

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
0.2b	(/ y (* z 3.0))
0.2b	(/ t (* z 3.0))
4.3b	(/ (/ t (* z 3.0)) y)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

39×	`times-frac`
29×	`*-un-lft-identity`
24×	`add-sqr-sqrt` `add-cube-cbrt`
23×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
9×	`cbrt-undiv` `div-exp` `add-log-exp`
7×	`div-inv`
5×	`associate-/r*`
4×	`pow1`
3×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod`
2×	`associate-+l+` `frac-add` `sum-log` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+` `associate-/l/` `distribute-lft-out--`

Counts

4 → 109

Calls

4 calls:

14.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
4.0ms	(/ y (* z 3.0))
4.0ms	(/ t (* z 3.0))
8.0ms	(/ (/ t (* z 3.0)) y)

series29.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
3.0ms	(/ y (* z 3.0))
3.0ms	(/ t (* z 3.0))
6.0ms	(/ (/ t (* z 3.0)) y)

simplify49.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	482	721
1	1906	657
2	5001	657

prune146.0ms

Filtered

121 candidates to 88 candidates (27.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	119	2	121
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	123	7	130

Merged error: 0b

Counts

130 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ (* (/ 1 z) (/ t 3.0)) y))
0.2b	(/ y (* z 3.0))
0.3b	(* (/ 1 z) (/ t 3.0))
4.3b	(/ (* (/ 1 z) (/ t 3.0)) y)

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

63×	`add-exp-log`
39×	`add-sqr-sqrt` `add-cbrt-cube`
31×	`times-frac`
29×	`*-un-lft-identity`
27×	`div-exp`
22×	`add-cube-cbrt`
17×	`prod-exp`
15×	`cbrt-undiv`
13×	`associate-r` `associate-l`
9×	`cbrt-unprod` `add-log-exp`
6×	`pow1` `unswap-sqr`
4×	`rec-exp` `1-exp` `associate-/r` `div-inv` `associate-/l`
3×	`associate-/l/`
2×	`frac-times` `associate-+l+` `frac-2neg` `associate-r/` `associate-l/` `frac-add` `clear-num` `sum-log` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `pow-prod-down` `*-commutative` `flip--` `flip-+` `distribute-lft-out--`

Counts

4 → 130

Calls

4 calls:

9.0ms	(+ (- x (/ y (* z 3.0))) (/ (* (/ 1 z) (/ t 3.0)) y))
4.0ms	(/ y (* z 3.0))
13.0ms	(* (/ 1 z) (/ t 3.0))
8.0ms	(/ (* (/ 1 z) (/ t 3.0)) y)

series29.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (- x (/ y (* z 3.0))) (/ (* (/ 1 z) (/ t 3.0)) y))
3.0ms	(/ y (* z 3.0))
3.0ms	(* (/ 1 z) (/ t 3.0))
6.0ms	(/ (* (/ 1 z) (/ t 3.0)) y)

simplify69.0ms

Algorithm

egg-herbie

Counts

142 → 142

Iterations

Useful iterations: 2 (58.0ms)

Iter	Nodes	Cost
0	697	857
1	3211	724
2	5001	717

prune150.0ms

Filtered

142 candidates to 91 candidates (35.9%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	142	0	142
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	142	7	149

Merged error: 0b

Counts

149 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y)))
0.2b	(/ y (* z 3.0))
0.3b	(/ 1 (* z 3.0))
4.2b	(* (/ 1 (* z 3.0)) (/ t y))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

65×	`add-exp-log`
35×	`add-cbrt-cube`
24×	`prod-exp`
22×	`add-sqr-sqrt`
21×	`div-exp`
19×	`times-frac`
17×	`add-cube-cbrt` `*-un-lft-identity`
13×	`associate-r`
11×	`cbrt-undiv`
10×	`cbrt-unprod`
9×	`pow1` `add-log-exp`
7×	`associate-l`
6×	`rec-exp` `1-exp` `frac-add` `associate-/l*`
4×	`div-inv`
3×	`frac-times` `flip3--` `associate-r/` `associate-l/` `flip--`
2×	`associate-+l+` `pow-flip` `frac-2neg` `pow-prod-down` `clear-num` `associate-/r*` `sum-log` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3-+` `diff-log` `*-commutative` `flip-+` `inv-pow`

Counts

4 → 124

Calls

4 calls:

7.0ms	(+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y)))
4.0ms	(/ y (* z 3.0))
4.0ms	(/ 1 (* z 3.0))
12.0ms	(* (/ 1 (* z 3.0)) (/ t y))

series28.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (- x (/ y (* z 3.0))) (* (/ 1 (* z 3.0)) (/ t y)))
3.0ms	(/ y (* z 3.0))
2.0ms	(/ 1 (* z 3.0))
6.0ms	(* (/ 1 (* z 3.0)) (/ t y))

simplify75.0ms

Algorithm

egg-herbie

Counts

136 → 136

Iterations

Useful iterations: 2 (64.0ms)

Iter	Nodes	Cost
0	636	858
1	3143	752
2	5002	741

prune120.0ms

Filtered

136 candidates to 82 candidates (39.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	136	0	136
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	136	7	143

Merged error: 0b

Counts

143 → 7

regimes412.0ms

Accuracy

83.2% (0.3b remaining)

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

bsearch52.0ms

Steps

Iters	Range		Point
7	2.583397626380196e-15	1.5662135508538757e-13	6.792854864924896e-15
10	-1.7000118676381463e+37	-1.652797601991411e+23	-8.39418723841054e+29

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	15
1	35	15

end0.0ms

sample961.0ms

Algorithm

intervals

Results

488.0ms

11100×

body

valid

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

Details

sample34.0ms

simplify38.0ms

prune7.0ms

localize9.0ms

rewrite26.0ms

series29.0ms

simplify52.0ms

prune143.0ms

localize9.0ms

rewrite34.0ms

series29.0ms

simplify49.0ms

prune146.0ms

localize11.0ms

rewrite38.0ms

series29.0ms

simplify69.0ms

prune150.0ms

localize10.0ms

rewrite32.0ms

series28.0ms

simplify75.0ms

prune120.0ms

regimes412.0ms

bsearch52.0ms

simplify2.0ms

end0.0ms

sample961.0ms

Profiling

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7