Details

sample20.0ms

Algorithm

intervals

Results

9.0ms

314×

body

valid

simplify18.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	15	5
1	25	5
2	41	5
3	63	5
4	80	5
5	96	5
6	113	5
7	121	5
8	124	5
9	124	5

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: 4.6b

Counts

2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b	(/ t (- 1.0 z))
0.0b	(- (/ y z) (/ t (- 1.0 z)))
4.4b	(* x (- (/ y z) (/ t (- 1.0 z))))

rewrite167.0ms

Algorithm

rewrite-expression-head

Rules

1192×	`times-frac`
1082×	`add-sqr-sqrt`
1078×	`*-un-lft-identity`
819×	`prod-diff`
814×	`add-cube-cbrt`
275×	`distribute-rgt-in` `distribute-lft-in`
129×	`distribute-lft-out--` `difference-of-squares`
104×	`div-inv`
80×	`associate-/r/`
42×	`flip3--` `flip--`
13×	`fma-neg`
10×	`associate-r`
7×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r*` `add-log-exp`
3×	`expm1-log1p-u` `sub-neg` `associate-r/` `associate-l` `log1p-expm1-u` `associate-/l`
2×	`frac-sub`
1×	`cbrt-undiv` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

3 → 927

Calls

3 calls:

5.0ms	(/ t (- 1.0 z))
29.0ms	(- (/ y z) (/ t (- 1.0 z)))
43.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

series118.0ms

Counts

3 → 9

Calls

3 calls:

34.0ms	(/ t (- 1.0 z))
32.0ms	(- (/ y z) (/ t (- 1.0 z)))
52.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify247.0ms

Algorithm

egg-herbie

Counts

936 → 936

Iterations

Useful iterations: 1 (39.0ms)

Iter	Nodes	Cost
0	1661	27825
1	5001	22260

prune1.5s

Filtered

936 candidates to 376 candidates (40.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	925	11	936
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	926	11	937

Merged error: 0.5b

Counts

937 → 11

localize14.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ t (- 1.0 z))
0.0b	(/ t (- 1.0 z))
0.1b	(fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1)))
4.4b	(* x (+ (fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1))) (* (/ t (- 1.0 z)) (+ (- 1) 1))))

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
42×	`*-un-lft-identity`
30×	`times-frac`
26×	`add-cube-cbrt`
10×	`add-exp-log` `associate-/r*` `add-cbrt-cube`
8×	`distribute-lft-out--` `difference-of-squares`
6×	`pow1` `associate-/l*`
4×	`expm1-log1p-u` `associate-/r/` `log1p-expm1-u` `add-log-exp`
3×	`associate-r` `associate-l`
2×	`cbrt-undiv` `flip3--` `frac-2neg` `associate-*r/` `div-exp` `clear-num` `flip--` `div-inv`
1×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `flip-+` `fma-udef` `unswap-sqr`

Counts

4 → 112

Calls

4 calls:

5.0ms	(/ t (- 1.0 z))
5.0ms	(/ t (- 1.0 z))
1.0ms	(fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1)))
5.0ms	(* x (+ (fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1))) (* (/ t (- 1.0 z)) (+ (- 1) 1))))

series167.0ms

Counts

4 → 12

Calls

4 calls:

32.0ms	(/ t (- 1.0 z))
36.0ms	(/ t (- 1.0 z))
43.0ms	(fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1)))
56.0ms	(* x (+ (fma y (/ 1 z) (- (* (/ t (- 1.0 z)) 1))) (* (/ t (- 1.0 z)) (+ (- 1) 1))))

simplify56.0ms

Algorithm

egg-herbie

Counts

124 → 124

Iterations

Useful iterations: 2 (45.0ms)

Iter	Nodes	Cost
0	387	969
1	1798	870
2	5003	827

prune336.0ms

Filtered

124 candidates to 98 candidates (79.0%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	122	2	124
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	124	11	135

Merged error: 0.0b

Counts

135 → 11

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (- 1.0 z) t)
0.0b	(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
0.2b	(/ 1 (/ (- 1.0 z) t))
4.4b	(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite571.0ms

Algorithm

rewrite-expression-head

Rules

5831×	`times-frac`
4016×	`add-sqr-sqrt`
3970×	`*-un-lft-identity`
3214×	`add-cube-cbrt`
2418×	`prod-diff`
808×	`distribute-rgt-in` `distribute-lft-in`
387×	`difference-of-squares`
373×	`distribute-lft-out--`
351×	`div-inv`
40×	`associate-/r/`
22×	`associate-/r*`
19×	`add-exp-log`
16×	`associate-r`
13×	`fma-neg` `add-cbrt-cube`
8×	`div-exp` `associate-/l*`
7×	`pow1`
6×	`add-log-exp`
4×	`cbrt-undiv` `expm1-log1p-u` `log1p-expm1-u`
3×	`sub-neg` `flip3--` `associate-r/` `associate-l*` `flip--`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `frac-sub` `associate-/l/`
1×	`pow-flip` `diff-log` `div-sub` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `inv-pow` `unswap-sqr`

Counts

4 → 2641

Calls

4 calls:

7.0ms	(/ (- 1.0 z) t)
64.0ms	(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
8.0ms	(/ 1 (/ (- 1.0 z) t))
112.0ms	(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series151.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(/ (- 1.0 z) t)
34.0ms	(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
34.0ms	(/ 1 (/ (- 1.0 z) t))
46.0ms	(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

simplify1.2s

Algorithm

egg-herbie

Counts

2653 → 2653

Iterations

Useful iterations: 1 (104.0ms)

Iter	Nodes	Cost
0	4305	107328
1	5001	89169

prune1.7s

Filtered

2653 candidates to 451 candidates (17.0%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	2652	1	2653
Fresh	1	8	9
Picked	0	1	1
Done	0	1	1
Total	2653	11	2664

Merged error: 0.0b

Counts

2664 → 11

localize20.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt t)
0.7b	(pow (cbrt t) 3)
3.1b	(* x (/ (- (pow (cbrt t) 3)) (- 1.0 z)))
6.0b	(* x (/ y z))

rewrite125.0ms

Algorithm

rewrite-expression-head

Rules

219×	`associate-r`
211×	`times-frac`
205×	`add-sqr-sqrt`
195×	`*-un-lft-identity`
115×	`add-cube-cbrt`
90×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
69×	`cbrt-prod`
66×	`unpow-prod-down` `cube-prod`
40×	`distribute-lft-out--` `difference-of-squares`
15×	`add-exp-log`
14×	`add-cbrt-cube`
11×	`cube-mult` `unpow3` `sqr-pow`
9×	`pow1`
6×	`associate-l`
5×	`neg-mul-1`
4×	`expm1-log1p-u` `prod-exp` `cbrt-unprod` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`pow-unpow`
2×	`cbrt-undiv` `pow-pow` `pow1/3` `associate-r/` `div-exp` `pow-prod-down` `associate-/r/` `-commutative` `div-inv`
1×	`pow-to-exp` `flip3--` `distribute-frac-neg` `pow-exp` `distribute-rgt-neg-out` `flip--` `rem-cube-cbrt`

Counts

4 → 307

Calls

4 calls:

1.0ms	(cbrt t)
4.0ms	(pow (cbrt t) 3)
88.0ms	(* x (/ (- (pow (cbrt t) 3)) (- 1.0 z)))
9.0ms	(* x (/ y z))

series460.0ms

Counts

4 → 12

Calls

4 calls:

165.0ms	(cbrt t)
202.0ms	(pow (cbrt t) 3)
73.0ms	(* x (/ (- (pow (cbrt t) 3)) (- 1.0 z)))
19.0ms	(* x (/ y z))

simplify48.0ms

Algorithm

egg-herbie

Counts

319 → 319

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1101	1688
1	5002	1442

prune712.0ms

Filtered

319 candidates to 162 candidates (50.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	316	3	319
Fresh	1	7	8
Picked	1	0	1
Done	1	1	2
Total	319	11	330

Merged error: 0b

Counts

330 → 11

regimes300.0ms

Accuracy

86.6% (0.6b remaining)

Error of 0.7b against oracle of 0.0b and baseline of 4.7b

bsearch2.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	66
1	71	66
2	71	66

end0.0ms

sample588.0ms

Algorithm

intervals

Results

320.0ms

10059×

body

valid