Details

sample23.0ms

Algorithm

intervals

Results

11.0ms

268×

body

valid

simplify75.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	25	6
1	58	6
2	107	6
3	188	6
4	364	6
5	722	6
6	1067	6
7	1452	6
8	1963	6
9	2143	6
10	2145	6
11	2145	6

prune2.0ms

Filtered

1 candidates to 0 candidates (0.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: 2.0b

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
0.0b	(+ (- t z) 1.0)
0.0b	(/ (+ (- t z) 1.0) a)
9.2b	(/ (- y z) (/ (+ (- t z) 1.0) a))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

245×	`*-un-lft-identity`
203×	`times-frac`
137×	`add-sqr-sqrt`
88×	`add-cube-cbrt`
46×	`distribute-lft-out`
44×	`distribute-lft-out--`
23×	`difference-of-squares`
22×	`associate-/r*`
11×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
10×	`associate-/l*`
8×	`div-inv`
4×	`pow1` `cbrt-undiv` `div-exp` `associate-/l/`
3×	`div-sub`
2×	`associate-+l-` `sub-neg` `associate-+l+` `flip3--` `frac-2neg` `flip3-+` `diff-log` `clear-num` `sum-log` `flip--` `flip-+`
1×	`+-commutative` `associate-/r/` `associate--r-`

Counts

4 → 209

Calls

4 calls:

32.0ms	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
6.0ms	(+ (- t z) 1.0)
9.0ms	(/ (+ (- t z) 1.0) a)
15.0ms	(/ (- y z) (/ (+ (- t z) 1.0) a))

series255.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
16.0ms	(+ (- t z) 1.0)
31.0ms	(/ (+ (- t z) 1.0) a)
120.0ms	(/ (- y z) (/ (+ (- t z) 1.0) a))

simplify78.0ms

Algorithm

egg-herbie

Counts

221 → 221

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	743	2019
1	2694	1950
2	5002	1949

prune422.0ms

Filtered

221 candidates to 131 candidates (59.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	216	5	221
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	217	5	222

Merged error: 0b

Counts

222 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
0.0b	(+ (- t z) 1.0)
0.0b	(/ (- y z) (+ (- t z) 1.0))
1.2b	(* (/ (- y z) (+ (- t z) 1.0)) a)

rewrite44.0ms

Algorithm

rewrite-expression-head

Rules

110×	`*-un-lft-identity`
55×	`add-sqr-sqrt`
51×	`times-frac`
31×	`associate-l`
28×	`add-cube-cbrt`
24×	`distribute-lft-out`
23×	`distribute-lft-out--`
11×	`add-exp-log` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
6×	`pow1`
5×	`associate-/r` `associate-/l`
4×	`associate-/r/`
3×	`flip3-+` `associate-r` `flip-+`
2×	`cbrt-undiv` `sub-neg` `associate-+l+` `flip3--` `diff-log` `div-exp` `prod-exp` `sum-log` `flip--` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `associate-+l-` `frac-2neg` `div-sub` `pow-prod-down` `associate-l/` `clear-num` `-commutative`

Counts

4 → 131

Calls

4 calls:

3.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
6.0ms	(+ (- t z) 1.0)
14.0ms	(/ (- y z) (+ (- t z) 1.0))
16.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

series266.0ms

Counts

4 → 12

Calls

4 calls:

85.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
13.0ms	(+ (- t z) 1.0)
49.0ms	(/ (- y z) (+ (- t z) 1.0))
119.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

simplify49.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (37.0ms)

Iter	Nodes	Cost
0	457	951
1	1479	886
2	5002	885

prune244.0ms

Filtered

143 candidates to 89 candidates (62.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	143	5	148

Merged error: 0b

Counts

148 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(- x (* (- y z) (/ a (+ (- t z) 1.0))))
0.0b	(+ (- t z) 1.0)
0.0b	(/ a (+ (- t z) 1.0))
8.6b	(* (- y z) (/ a (+ (- t z) 1.0)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 112

Calls

4 calls:

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

series205.0ms

Counts

4 → 12

Calls

4 calls:

90.0ms	(- x (* (- y z) (/ a (+ (- t z) 1.0))))
14.0ms	(+ (- t z) 1.0)
35.0ms	(/ a (+ (- t z) 1.0))
66.0ms	(* (- y z) (/ a (+ (- t z) 1.0)))

simplify54.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 1 (13.0ms)

Iter	Nodes	Cost
0	443	755
1	1843	692
2	5003	692

prune223.0ms

Filtered

124 candidates to 83 candidates (66.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	124	0	124
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	124	5	129

Merged error: 0b

Counts

129 → 5

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- y z))
0.5b	(cbrt (- y z))
2.6b	(* (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt a) (cbrt a))) (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a))))
4.5b	(/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))

rewrite170.0ms

Algorithm

rewrite-expression-head

Rules

1086×	`*-un-lft-identity`
1054×	`times-frac`
610×	`cbrt-prod`
576×	`add-sqr-sqrt`
434×	`add-cube-cbrt`
277×	`associate-r`
204×	`distribute-lft-out`
173×	`distribute-lft-out--`
78×	`add-exp-log`
71×	`difference-of-squares`
39×	`prod-exp` `cbrt-unprod`
36×	`add-cbrt-cube`
34×	`associate-/r*`
30×	`cbrt-div`
28×	`associate-*l/`
22×	`pow1`
19×	`div-inv`
18×	`cbrt-undiv` `div-exp`
16×	`frac-times`
15×	`flip3--` `flip--`
13×	`pow-prod-down`
8×	`associate-/l*`
5×	`associate-*r/`
4×	`add-log-exp`
2×	`pow1/3` `associate-/r/` `associate-/l/`
1×	`frac-2neg` `associate-l` `clear-num` `*-commutative`

Counts

4 → 699

Calls

4 calls:

3.0ms	(cbrt (- y z))
3.0ms	(cbrt (- y z))
80.0ms	(* (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt a) (cbrt a))) (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a))))
21.0ms	(/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))

series678.0ms

Counts

4 → 12

Calls

4 calls:

137.0ms	(cbrt (- y z))
140.0ms	(cbrt (- y z))
92.0ms	(* (* (* (cbrt (- y z)) (cbrt (- y z))) (* (cbrt a) (cbrt a))) (/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a))))
309.0ms	(/ (cbrt (- y z)) (/ (+ (- t z) 1.0) (cbrt a)))

simplify156.0ms

Algorithm

egg-herbie

Counts

711 → 711

Iterations

Useful iterations: 1 (48.0ms)

Iter	Nodes	Cost
0	2100	12025
1	5002	11728

prune1.8s

Filtered

711 candidates to 409 candidates (57.5%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	710	1	711
Fresh	1	1	2
Picked	0	1	1
Done	0	2	2
Total	711	5	716

Merged error: 0b

Counts

716 → 5

regimes135.0ms

Accuracy

0% (0.2b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	6
1	14	6

end0.0ms

sample605.0ms

Algorithm

intervals

Results

357.0ms	8452×	body	80	valid
0.0ms	2×	body	320	valid
0.0ms	1×	body	640	valid

Details

sample23.0ms

simplify75.0ms

prune2.0ms

localize13.0ms

rewrite77.0ms

series255.0ms

simplify78.0ms

prune422.0ms

localize10.0ms

rewrite44.0ms

series266.0ms

simplify49.0ms

prune244.0ms

localize10.0ms

rewrite40.0ms

series205.0ms

simplify54.0ms

prune223.0ms

localize18.0ms

rewrite170.0ms

series678.0ms

simplify156.0ms

prune1.8s

regimes135.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample605.0ms

Profiling