Details

sample33.0ms

Algorithm

intervals

Results

17.0ms

504×

body

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	24	7
1	42	7
2	54	7
3	54	7

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

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
21.4b	(/ (* z z) (* t t))
24.0b	(/ (* x x) (* y y))

rewrite1.8s

Algorithm

rewrite-expression-head

Rules

1375×	`add-sqr-sqrt`
1105×	`*-un-lft-identity`
1089×	`frac-add`
1020×	`associate-/r` `associate-/l`
983×	`add-cube-cbrt`
628×	`associate-l`
608×	`swap-sqr`
588×	`associate-r`
500×	`times-frac`
196×	`*-commutative` `unswap-sqr`
68×	`frac-2neg` `clear-num`
27×	`add-exp-log` `add-cbrt-cube`
26×	`distribute-lft-out`
8×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
5×	`add-log-exp`
3×	`pow1`
2×	`div-inv`
1×	`+-commutative` `flip3-+` `sum-log` `flip-+`

Counts

3 → 1672

Calls

3 calls:

1.6s	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
19.0ms	(/ (* z z) (* t t))
16.0ms	(/ (* x x) (* y y))

series161.0ms

Counts

3 → 9

Calls

3 calls:

97.0ms	(+ (/ (* x x) (* y y)) (/ (* z z) (* t t)))
27.0ms	(/ (* z z) (* t t))
36.0ms	(/ (* x x) (* y y))

simplify290.0ms

Algorithm

egg-herbie

Counts

1681 → 1681

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5002	22411

prune1.8s

Filtered

1681 candidates to 599 candidates (64.4%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	1659	22	1681
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	1660	22	1682

Merged error: 3.1b

Counts

1682 → 22

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
0.3b	(* (/ x y) (/ x y))
21.4b	(/ (* z z) (* t t))

rewrite854.0ms

Algorithm

rewrite-expression-head

Rules

3604×	`associate-/l*`
3570×	`associate-/r*`
3333×	`frac-add`
3041×	`add-sqr-sqrt`
2754×	`frac-times`
2615×	`*-un-lft-identity`
2561×	`add-cube-cbrt`
816×	`clear-num`
782×	`frac-2neg`
724×	`associate-l`
715×	`swap-sqr` `associate-r`
306×	`associate-r/` `associate-l/`
273×	`times-frac`
238×	`unswap-sqr`
235×	`*-commutative`
68×	`un-div-inv`
27×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
8×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod`
6×	`distribute-lft-out`
5×	`div-inv` `add-log-exp`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `pow-prod-down` `sum-log` `pow-sqr` `pow-prod-up` `flip-+`

Counts

3 → 3788

Calls

3 calls:

432.0ms	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
14.0ms	(* (/ x y) (/ x y))
19.0ms	(/ (* z z) (* t t))

series160.0ms

Counts

3 → 9

Calls

3 calls:

104.0ms	(+ (* (/ x y) (/ x y)) (/ (* z z) (* t t)))
27.0ms	(* (/ x y) (/ x y))
28.0ms	(/ (* z z) (* t t))

simplify783.0ms

Algorithm

egg-herbie

Counts

3797 → 3797

Iterations

Useful iterations: 0 (112.0ms)

Iter	Nodes	Cost
0	6994	71674

prune7.0s

Filtered

3797 candidates to 2253 candidates (40.7%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	3784	13	3797
Fresh	16	5	21
Picked	1	0	1
Done	0	0	0
Total	3801	18	3819

Merged error: 0.0b

Counts

3819 → 18

localize11.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ (* (/ x y) (/ x y)) (* (/ (* z 1) (* t 1)) (/ z t)))
0.3b	(* (/ x y) (/ x y))
0.3b	(* (/ (* z 1) (* t 1)) (/ z t))

rewrite5.9s

Algorithm

rewrite-expression-head

Rules

51084×	`frac-times`
40964×	`associate-/l*`
40560×	`associate-/r*`
30727×	`add-sqr-sqrt`
30401×	`frac-add`
26965×	`*-un-lft-identity`
24437×	`add-cube-cbrt`
10524×	`clear-num`
10120×	`frac-2neg`
6412×	`associate-l`
6224×	`associate-r`
5676×	`associate-*l/`
4180×	`unswap-sqr`
3636×	`associate-*r/`
2078×	`*-commutative`
808×	`un-div-inv`
270×	`times-frac`
95×	`add-exp-log`
56×	`add-cbrt-cube`
48×	`prod-exp`
32×	`div-exp`
22×	`cbrt-unprod`
17×	`cbrt-undiv`
16×	`swap-sqr`
14×	`distribute-lft-out`
12×	`pow1` `1-exp`
6×	`div-inv`
5×	`add-log-exp`
2×	`pow-prod-down`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `sum-log` `pow-sqr` `pow-prod-up` `flip-+`

Counts

3 → 31138

Calls

3 calls:

1.0s	(+ (* (/ x y) (/ x y)) (* (/ (* z 1) (* t 1)) (/ z t)))
14.0ms	(* (/ x y) (/ x y))
66.0ms	(* (/ (* z 1) (* t 1)) (/ z t))

series198.0ms

Counts

3 → 9

Calls

3 calls:

136.0ms	(+ (* (/ x y) (/ x y)) (* (/ (* z 1) (* t 1)) (/ z t)))
34.0ms	(* (/ x y) (/ x y))
28.0ms	(* (/ (* z 1) (* t 1)) (/ z t))

simplify9.8s

Algorithm

egg-herbie

Counts

31147 → 31147

Iterations

Useful iterations: 0 (1.6s)

Iter	Nodes	Cost
0	56147	783347

prune1.3m

Filtered

31147 candidates to 20303 candidates (34.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	31137	10	31147
Fresh	16	1	17
Picked	1	0	1
Done	0	0	0
Total	31154	11	31165

Merged error: 0b

Counts

31165 → 11

localize13.0ms

Local error

Found 3 expressions with local error:

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

rewrite5.1s

Algorithm

rewrite-expression-head

Rules

20474×	`associate-/l*`
18037×	`add-sqr-sqrt`
16495×	`associate-/r*`
15652×	`frac-add`
14349×	`*-un-lft-identity`
13833×	`frac-times`
12179×	`add-cube-cbrt`
7366×	`associate-r`
6995×	`times-frac`
4431×	`associate-l`
3476×	`unswap-sqr`
3322×	`associate-/l/`
3195×	`associate-*r/`
3080×	`clear-num`
2725×	`frac-2neg`
1537×	`associate-*l/`
1422×	`*-commutative`
710×	`un-div-inv`
645×	`div-inv`
116×	`add-exp-log`
65×	`add-cbrt-cube`
52×	`prod-exp`
47×	`div-exp`
29×	`distribute-lft-out`
24×	`cbrt-undiv`
22×	`cbrt-unprod`
16×	`1-exp`
9×	`associate-/r/`
5×	`pow1` `add-log-exp`
1×	`+-commutative` `flip3-+` `swap-sqr` `pow-prod-down` `sum-log` `flip-+`

Counts

3 → 16648

Calls

3 calls:

2.8s	(+ (/ (* 1 (/ x y)) (/ y x)) (* (/ (* z 1) (* t 1)) (/ z t)))
21.0ms	(/ (* 1 (/ x y)) (/ y x))
67.0ms	(* (/ (* z 1) (* t 1)) (/ z t))

series153.0ms

Counts

3 → 9

Calls

3 calls:

92.0ms	(+ (/ (* 1 (/ x y)) (/ y x)) (* (/ (* z 1) (* t 1)) (/ z t)))
26.0ms	(/ (* 1 (/ x y)) (/ y x))
34.0ms	(* (/ (* z 1) (* t 1)) (/ z t))

simplify5.0s

Algorithm

egg-herbie

Counts

16657 → 16657

Iterations

Useful iterations: 0 (603.0ms)

Iter	Nodes	Cost
0	36450	436214

prune48.1s

Filtered

16657 candidates to 12538 candidates (24.7%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	16652	5	16657
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	16659	9	16668

Merged error: 0b

Counts

16668 → 9

regimes257.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	12
1	32	12
2	32	12

end0.0ms

sample918.0ms

Algorithm

intervals

Results

534.0ms

15412×

body

valid