Details

analyze1.0s

Algorithm: search

sample28.0ms

Algorithm

intervals

Results

15.0ms	256×	body	80	valid
0.0ms	11×	body	80	invalid

simplify67.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

prune4.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: 1.1b

Counts

2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

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

rewrite67.0ms

Algorithm

rewrite-expression-head

Rules

239×	`*-un-lft-identity`
203×	`times-frac`
136×	`add-sqr-sqrt`
87×	`add-cube-cbrt`
44×	`distribute-lft-out`
43×	`distribute-lft-out--`
23×	`difference-of-squares`
22×	`associate-/r*`
10×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`div-inv`
5×	`add-log-exp`
4×	`cbrt-undiv` `div-exp` `associate-/l/`
3×	`pow1` `div-sub`
2×	`flip3--` `frac-2neg` `clear-num` `flip--`
1×	`associate-+l-` `sub-neg` `flip3-+` `diff-log` `associate-/r/` `flip-+` `associate--r-`

Counts

3 → 192

Calls

3 calls:

35.0ms	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
8.0ms	(/ (+ (- t z) 1.0) a)
13.0ms	(/ (- y z) (/ (+ (- t z) 1.0) a))

series70.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(- x (/ (- y z) (/ (+ (- t z) 1.0) a)))
7.0ms	(/ (+ (- t z) 1.0) a)
29.0ms	(/ (- y z) (/ (+ (- t z) 1.0) a))

simplify73.0ms

Algorithm

egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	707	1950
1	2629	1888
2	5001	1887

prune216.0ms

Filtered

119 candidates to 201 candidates (-68.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	197	4	201
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	197	5	202

Merged error: 0b

Counts

202 → 5

localize10.0ms

Local error

Found 3 expressions with local error:

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

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 114

Calls

3 calls:

2.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
12.0ms	(/ (- y z) (+ (- t z) 1.0))
15.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

series72.0ms

Counts

3 → 9

Calls

3 calls:

33.0ms	(- x (* (/ (- y z) (+ (- t z) 1.0)) a))
11.0ms	(/ (- y z) (+ (- t z) 1.0))
28.0ms	(* (/ (- y z) (+ (- t z) 1.0)) a)

simplify44.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	436	882
1	1450	824
2	5001	823

prune119.0ms

Filtered

77 candidates to 123 candidates (-59.7%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	122	1	123
Fresh	1	2	3
Picked	0	1	1
Done	0	1	1
Total	123	5	128

Merged error: 0b

Counts

128 → 5

localize10.0ms

Local error

Found 4 expressions with local error:

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

rewrite48.0ms

Algorithm

rewrite-expression-head

Rules

63×	`*-un-lft-identity`
34×	`add-sqr-sqrt`
32×	`add-exp-log` `times-frac`
25×	`add-cube-cbrt`
24×	`associate-r`
20×	`add-cbrt-cube`
14×	`distribute-lft-out`
13×	`prod-exp`
12×	`pow1`
10×	`associate-*l/`
8×	`distribute-lft-out--`
7×	`cbrt-unprod`
6×	`div-exp` `associate-l` `add-log-exp`
5×	`flip3--` `associate-/r*` `flip--`
4×	`frac-times` `pow-prod-down` `associate-/r/`
3×	`cbrt-undiv` `rec-exp` `1-exp` `associate-/l*` `unswap-sqr`
2×	`flip3-+` `associate-r/` `un-div-inv` `-commutative` `flip-+` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `clear-num` `inv-pow` `difference-of-squares`

Counts

4 → 131

Calls

4 calls:

2.0ms	(- x (* (* (- y z) (/ 1 (+ (- t z) 1.0))) a))
10.0ms	(/ 1 (+ (- t z) 1.0))
16.0ms	(* (- y z) (/ 1 (+ (- t z) 1.0)))
15.0ms	(* (* (- y z) (/ 1 (+ (- t z) 1.0))) a)

series78.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(- x (* (* (- y z) (/ 1 (+ (- t z) 1.0))) a))
5.0ms	(/ 1 (+ (- t z) 1.0))
11.0ms	(* (- y z) (/ 1 (+ (- t z) 1.0)))
29.0ms	(* (* (- y z) (/ 1 (+ (- t z) 1.0))) a)

simplify58.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (47.0ms)

Iter	Nodes	Cost
0	510	937
1	2283	792
2	5002	750

prune125.0ms

Filtered

82 candidates to 143 candidates (-74.4%)

Pruning

5 alts after pruning (2 fresh and 3 done)

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

Merged error: 0b

Counts

148 → 5

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (+ (- t z) 1.0) a)
0.3b	(pow (/ (+ (- t z) 1.0) a) 3)
8.3b	(/ (- y z) (cbrt (pow (/ (+ (- t z) 1.0) a) 3)))
27.1b	(cbrt (pow (/ (+ (- t z) 1.0) a) 3))

rewrite81.0ms

Algorithm

rewrite-expression-head

Rules

576×	`*-un-lft-identity`
490×	`times-frac`
316×	`add-sqr-sqrt`
308×	`cbrt-prod`
220×	`add-cube-cbrt`
152×	`unpow-prod-down` `cube-prod`
104×	`distribute-lft-out`
100×	`distribute-lft-out--`
50×	`associate-/r*`
48×	`difference-of-squares`
18×	`div-inv`
11×	`add-exp-log`
10×	`add-cbrt-cube` `associate-/l*`
8×	`cube-mult` `unpow3` `sqr-pow`
5×	`pow1`
4×	`associate-/l/` `add-log-exp`
3×	`cbrt-undiv` `cube-div` `pow-unpow` `div-exp`
2×	`cbrt-div` `frac-2neg` `div-sub` `pow-exp` `clear-num` `rem-cube-cbrt`
1×	`pow-to-exp` `associate-+l-` `flip3--` `pow-pow` `flip3-+` `pow1/3` `associate-/r/` `flip--` `rem-cbrt-cube` `flip-+`

Counts

4 → 453

Calls

4 calls:

8.0ms	(/ (+ (- t z) 1.0) a)
9.0ms	(pow (/ (+ (- t z) 1.0) a) 3)
24.0ms	(/ (- y z) (cbrt (pow (/ (+ (- t z) 1.0) a) 3)))
10.0ms	(cbrt (pow (/ (+ (- t z) 1.0) a) 3))

series94.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(/ (+ (- t z) 1.0) a)
21.0ms	(pow (/ (+ (- t z) 1.0) a) 3)
48.0ms	(/ (- y z) (cbrt (pow (/ (+ (- t z) 1.0) a) 3)))
17.0ms	(cbrt (pow (/ (+ (- t z) 1.0) a) 3))

simplify131.0ms

Algorithm

egg-herbie

Counts

465 → 465

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	937	5504
1	3955	4576
2	5003	4550

prune272.0ms

Filtered

157 candidates to 465 candidates (-196.2%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	465	0	465
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	465	5	470

Merged error: 0b

Counts

470 → 5

regimes521.0ms

Accuracy

0% (0.3b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	6
1	14	6

end0.0ms

analyze1.2s

Algorithm: search

sample611.0ms

Algorithm

intervals

Results

337.0ms	7997×	body	80	valid
19.0ms	480×	body	80	invalid
0.0ms	2×	body	320	valid
0.0ms	1×	body	640	valid

Details

analyze1.0s

sample28.0ms

simplify67.0ms

prune4.0ms

localize9.0ms

rewrite67.0ms

series70.0ms

simplify73.0ms

prune216.0ms

localize10.0ms

rewrite34.0ms

series72.0ms

simplify44.0ms

prune119.0ms

localize10.0ms

rewrite48.0ms

series78.0ms

simplify58.0ms

prune125.0ms

localize13.0ms

rewrite81.0ms

series94.0ms

simplify131.0ms

prune272.0ms

regimes521.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.2s

sample611.0ms

Profiling