Details

sample19.0ms

Algorithm

intervals

Results

10.0ms

265×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	10	3
1	17	3
2	17	3

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.3b

Counts

2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

2.3b	(/ x (- y (* z t)))

rewrite5.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `times-frac`
3×	`add-exp-log` `associate-/r` `add-cbrt-cube` `associate-/l`
2×	`associate-/r/`
1×	`pow1` `cbrt-undiv` `flip3--` `frac-2neg` `div-exp` `clear-num` `flip--` `div-inv` `add-log-exp`

Counts

1 → 29

Calls

1 calls:

4.0ms

(/ x (- y (* z t)))

series32.0ms

Counts

1 → 3

Calls

1 calls:

32.0ms

(/ x (- y (* z t)))

simplify102.0ms

Algorithm

egg-herbie

Counts

32 → 32

Iterations

Useful iterations: 3 (33.0ms)

Iter	Nodes	Cost
0	132	186
1	418	172
2	1286	172
3	4167	171
4	5002	171

prune70.0ms

Filtered

32 candidates to 25 candidates (78.1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	27	5	32
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	27	6	33

Merged error: 2.3b

Counts

33 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ 1 (- y (* z t)))
2.2b	(* x (/ 1 (- y (* z t))))

rewrite16.0ms

Algorithm

rewrite-expression-head

Rules

25×	`add-sqr-sqrt`
20×	`times-frac`
19×	`*-un-lft-identity`
18×	`add-cube-cbrt`
15×	`add-exp-log` `associate-r`
9×	`add-cbrt-cube`
5×	`pow1`
4×	`div-exp` `prod-exp` `associate-/r/`
3×	`associate-l` `associate-/r` `associate-/l` `unswap-sqr`
2×	`cbrt-undiv` `rec-exp` `flip3--` `1-exp` `flip--` `cbrt-unprod` `div-inv` `add-log-exp`
1×	`pow-flip` `frac-2neg` `associate-r/` `pow-prod-down` `clear-num` `un-div-inv` `-commutative` `inv-pow`

Counts

2 → 71

Calls

2 calls:

5.0ms	(/ 1 (- y (* z t)))
9.0ms	(* x (/ 1 (- y (* z t))))

series82.0ms

Counts

2 → 6

Calls

2 calls:

49.0ms	(/ 1 (- y (* z t)))
33.0ms	(* x (/ 1 (- y (* z t))))

simplify71.0ms

Algorithm

egg-herbie

Counts

77 → 77

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	239	419
1	1015	361
2	3683	331
3	5001	331

prune98.0ms

Filtered

77 candidates to 43 candidates (55.8%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	77	0	77
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	77	6	83

Merged error: 2.3b

Counts

83 → 6

localize7.0ms

Local error

Found 2 expressions with local error:

0.6b	(/ 1 (/ (- y (* z t)) x))
2.2b	(/ (- y (* z t)) x)

rewrite20.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
52×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
16×	`associate-/r*`
15×	`add-exp-log`
9×	`add-cbrt-cube`
8×	`div-exp`
6×	`div-inv` `associate-/l*`
4×	`cbrt-undiv`
3×	`pow1`
2×	`rec-exp` `frac-2neg` `1-exp` `clear-num` `associate-/l/` `add-log-exp`
1×	`flip3--` `pow-flip` `div-sub` `associate-/r/` `flip--` `inv-pow`

Counts

2 → 106

Calls

2 calls:

10.0ms	(/ 1 (/ (- y (* z t)) x))
5.0ms	(/ (- y (* z t)) x)

series138.0ms

Counts

2 → 6

Calls

2 calls:

98.0ms	(/ 1 (/ (- y (* z t)) x))
40.0ms	(/ (- y (* z t)) x)

simplify42.0ms

Algorithm

egg-herbie

Counts

112 → 112

Iterations

Useful iterations: 2 (33.0ms)

Iter	Nodes	Cost
0	373	877
1	1663	781
2	5001	707

prune167.0ms

Filtered

112 candidates to 59 candidates (52.7%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	110	2	112
Fresh	1	2	3
Picked	1	0	1
Done	0	2	2
Total	112	6	118

Merged error: 2.3b

Counts

118 → 6

localize14.0ms

Local error

Found 2 expressions with local error:

0.2b	(/ 1 (- y (* z t)))
2.3b	(/ (/ 1 (- y (* z t))) (/ 1 x))

rewrite64.0ms

Algorithm

rewrite-expression-head

Rules

474×	`times-frac`
220×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
46×	`add-exp-log`
34×	`div-exp`
32×	`div-inv`
31×	`associate-/r/`
18×	`associate-/l*`
16×	`associate-/r*` `add-cbrt-cube`
15×	`flip3--` `flip--`
9×	`cbrt-undiv` `rec-exp` `1-exp`
3×	`pow1`
2×	`frac-2neg` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

2 → 288

Calls

2 calls:

8.0ms	(/ 1 (- y (* z t)))
22.0ms	(/ (/ 1 (- y (* z t))) (/ 1 x))

series154.0ms

Counts

2 → 6

Calls

2 calls:

46.0ms	(/ 1 (- y (* z t)))
108.0ms	(/ (/ 1 (- y (* z t))) (/ 1 x))

simplify60.0ms

Algorithm

egg-herbie

Counts

294 → 294

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1340	3560
1	5002	2986

prune331.0ms

Filtered

294 candidates to 134 candidates (45.6%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	293	1	294
Fresh	1	2	3
Picked	0	1	1
Done	0	2	2
Total	294	6	300

Merged error: 2.3b

Counts

300 → 6

regimes213.0ms

Accuracy

0% (0.1b remaining)

Error of 2.7b against oracle of 2.7b and baseline of 2.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	3
1	8	3

end0.0ms

sample447.0ms

Algorithm

intervals

Results

246.0ms

8352×

body

valid

Details

sample19.0ms

simplify5.0ms

prune2.0ms

localize5.0ms

rewrite5.0ms

series32.0ms

simplify102.0ms

prune70.0ms

localize7.0ms

rewrite16.0ms

series82.0ms

simplify71.0ms

prune98.0ms

localize7.0ms

rewrite20.0ms

series138.0ms

simplify42.0ms

prune167.0ms

localize14.0ms

rewrite64.0ms

series154.0ms

simplify60.0ms

prune331.0ms

regimes213.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample447.0ms

Profiling