Details

sample28.0ms

Algorithm

intervals

Results

11.0ms

316×

body

valid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	97	11
1	97	11

prune3.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: 4.1b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

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

rewrite49.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-sqr-sqrt`
45×	`*-un-lft-identity`
31×	`times-frac`
15×	`add-cube-cbrt`
12×	`distribute-lft-out--` `difference-of-squares`
10×	`associate-r`
7×	`add-exp-log` `add-cbrt-cube`
5×	`pow1` `associate-/r*` `add-log-exp`
3×	`sub-neg` `flip3--` `associate-r/` `associate-l` `flip--` `associate-/l`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-/r/` `frac-sub`
1×	`cbrt-undiv` `frac-2neg` `diff-log` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

3 → 89

Calls

3 calls:

5.0ms	(/ t (- 1.0 z))
20.0ms	(- (/ y z) (/ t (- 1.0 z)))
21.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

series28.0ms

Counts

3 → 9

Calls

3 calls:

5.0ms	(/ t (- 1.0 z))
8.0ms	(- (/ y z) (/ t (- 1.0 z)))
15.0ms	(* x (- (/ y z) (/ t (- 1.0 z))))

simplify32.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (24.0ms)

Iter	Nodes	Cost
0	5866	1153

prune166.0ms

Filtered

71 candidates to 98 candidates (-38.0%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	83	15	98
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	15	99

Merged error: 0.8b

Counts

99 → 15

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* x (/ y z)) (* x (/ (neg t) (- 1.0 z))))
0.0b	(/ (neg t) (- 1.0 z))
3.4b	(* x (/ (neg t) (- 1.0 z)))
6.8b	(* x (/ y z))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

120×	`add-sqr-sqrt`
111×	`times-frac`
110×	`*-un-lft-identity`
69×	`associate-r`
68×	`add-cube-cbrt`
33×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
21×	`distribute-lft-out--` `difference-of-squares`
16×	`add-exp-log` `add-cbrt-cube`
11×	`neg-mul-1`
10×	`associate-/l*`
8×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`associate-/r*`
4×	`associate-*r/` `distribute-frac-neg` `prod-exp` `associate-/r/` `cbrt-unprod` `unswap-sqr`
3×	`cbrt-undiv` `div-exp` `distribute-rgt-neg-out` `div-inv`
2×	`flip3--` `pow-prod-down` `*-commutative` `flip--`
1×	`+-commutative` `neg-sub0` `frac-2neg` `flip3-+` `div-sub` `unsub-neg` `frac-add` `clear-num` `sum-log` `flip-+` `distribute-lft-out`

Counts

4 → 204

Calls

4 calls:

5.0ms	(+ (* x (/ y z)) (* x (/ (neg t) (- 1.0 z))))
7.0ms	(/ (neg t) (- 1.0 z))
18.0ms	(* x (/ (neg t) (- 1.0 z)))
7.0ms	(* x (/ y z))

series44.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(+ (* x (/ y z)) (* x (/ (neg t) (- 1.0 z))))
6.0ms	(/ (neg t) (- 1.0 z))
11.0ms	(* x (/ (neg t) (- 1.0 z)))
5.0ms	(* x (/ y z))

simplify56.0ms

Algorithm

egg-herbie

Counts

216 → 216

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5173	2227

prune246.0ms

Filtered

146 candidates to 216 candidates (-47.9%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	209	7	216
Fresh	11	3	14
Picked	1	0	1
Done	0	0	0
Total	221	10	231

Merged error: 0.0b

Counts

231 → 10

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.9b	(/ 1 (/ (- 1.0 z) t))
4.0b	(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

rewrite108.0ms

Algorithm

rewrite-expression-head

Rules

172×	`add-sqr-sqrt`
170×	`times-frac`
126×	`*-un-lft-identity`
72×	`add-cube-cbrt`
36×	`difference-of-squares`
22×	`associate-/r*` `distribute-lft-out--`
19×	`add-exp-log`
16×	`associate-r`
13×	`add-cbrt-cube`
8×	`div-exp` `div-inv` `associate-/l*`
7×	`pow1`
6×	`add-log-exp`
4×	`cbrt-undiv`
3×	`sub-neg` `flip3--` `associate-r/` `associate-l*` `flip--`
2×	`distribute-rgt-in` `rec-exp` `frac-2neg` `distribute-lft-in` `1-exp` `clear-num` `frac-sub` `associate-/l/`
1×	`pow-flip` `diff-log` `div-sub` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `inv-pow` `unswap-sqr`

Counts

4 → 202

Calls

4 calls:

6.0ms	(/ (- 1.0 z) t)
38.0ms	(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
10.0ms	(/ 1 (/ (- 1.0 z) t))
43.0ms	(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

series32.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(/ (- 1.0 z) t)
8.0ms	(- (/ y z) (/ 1 (/ (- 1.0 z) t)))
5.0ms	(/ 1 (/ (- 1.0 z) t))
15.0ms	(* x (- (/ y z) (/ 1 (/ (- 1.0 z) t))))

simplify68.0ms

Algorithm

egg-herbie

Counts

214 → 214

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	5003	2602

prune233.0ms

Filtered

137 candidates to 214 candidates (-56.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	214	0	214
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	214	10	224

Merged error: 0.0b

Counts

224 → 10

localize15.0ms

Local error

Found 4 expressions with local error:

6.8b	(* x (/ y z))
10.0b	(cbrt (/ (neg t) (- 1.0 z)))
10.0b	(cbrt (/ (neg t) (- 1.0 z)))
10.0b	(cbrt (/ (neg t) (- 1.0 z)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

168×	`cbrt-prod`
160×	`times-frac`
155×	`add-sqr-sqrt`
150×	`*-un-lft-identity`
90×	`add-cube-cbrt`
45×	`distribute-lft-neg-in` `distribute-rgt-neg-in`
30×	`distribute-lft-out--` `difference-of-squares`
15×	`neg-mul-1`
13×	`associate-r`
9×	`add-exp-log` `add-cbrt-cube`
6×	`pow1` `associate-/r/`
4×	`div-inv` `add-log-exp`
3×	`cbrt-div` `flip3--` `pow1/3` `associate-l` `flip--`
2×	`prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `associate-r/` `div-exp` `pow-prod-down` `-commutative`

Counts

4 → 227

Calls

4 calls:

6.0ms	(* x (/ y z))
7.0ms	(cbrt (/ (neg t) (- 1.0 z)))
7.0ms	(cbrt (/ (neg t) (- 1.0 z)))
7.0ms	(cbrt (/ (neg t) (- 1.0 z)))

series70.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(* x (/ y z))
20.0ms	(cbrt (/ (neg t) (- 1.0 z)))
20.0ms	(cbrt (/ (neg t) (- 1.0 z)))
25.0ms	(cbrt (/ (neg t) (- 1.0 z)))

simplify64.0ms

Algorithm

egg-herbie

Counts

239 → 239

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	4956	3341
1	4956	3341

prune460.0ms

Filtered

165 candidates to 239 candidates (-44.8%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	239	0	239
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	239	10	249

Merged error: 0.0b

Counts

249 → 10

regimes489.0ms

Accuracy

27.6% (3.5b remaining)

Error of 3.6b against oracle of 0.1b and baseline of 4.9b

bsearch47.0ms

Steps

Iters	Range		Point
7	2.099205872862433e-82	3.503076347768383e-80	2.60432243696029e-80
9	-3.7637705162568966e-208	-4.575400019543372e-214	-2.5946646211805664e-209

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	38
1	42	38

end0.0ms

sample780.0ms

Algorithm

intervals

Results

356.0ms

10064×

body

valid

Details

sample28.0ms

simplify4.0ms

prune3.0ms

localize7.0ms

rewrite49.0ms

series28.0ms

simplify32.0ms

prune166.0ms

localize12.0ms

rewrite45.0ms

series44.0ms

simplify56.0ms

prune246.0ms

localize9.0ms

rewrite108.0ms

series32.0ms

simplify68.0ms

prune233.0ms

localize15.0ms

rewrite39.0ms

series70.0ms

simplify64.0ms

prune460.0ms

regimes489.0ms

bsearch47.0ms

simplify1.0ms

end0.0ms

sample780.0ms

Profiling