Details

sample20.0ms

Algorithm

intervals

Results

10.0ms

277×

body

valid

simplify17.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	4
1	44	4
2	82	4
3	132	4
4	175	4
5	208	4
6	221	4
7	221	4

prune5.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	0	1	1
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Merged error: 7.2b

Counts

2 → 1

localize6.0ms

Local error

Found 1 expressions with local error:

7.2b	(/ x (/ (* z (- y t)) 2.0))

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

33×	`times-frac`
17×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
10×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/r*`
5×	`cbrt-undiv` `div-exp` `div-inv`
3×	`associate-/l*`
1×	`pow1` `frac-2neg` `prod-exp` `clear-num` `associate-/r/` `cbrt-unprod` `add-log-exp`

Counts

1 → 48

Calls

1 calls:

10.0ms

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

series43.0ms

Counts

1 → 3

Calls

1 calls:

43.0ms

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

simplify35.0ms

Algorithm

egg-herbie

Counts

51 → 51

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	279	366
1	1211	329
2	5001	328

prune119.0ms

Filtered

51 candidates to 40 candidates (78.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	44	7	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	44	8	52

Merged error: 0.0b

Counts

52 → 8

localize7.0ms

Local error

Found 1 expressions with local error:

5.1b	(/ (/ x z) (/ (- y t) 2.0))

rewrite41.0ms

Algorithm

rewrite-expression-head

Rules

637×	`times-frac`
351×	`add-sqr-sqrt` `*-un-lft-identity`
267×	`add-cube-cbrt`
42×	`distribute-lft-out--` `difference-of-squares`
35×	`div-inv`
19×	`associate-/r*`
13×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
8×	`cbrt-undiv` `div-exp`
1×	`pow1` `frac-2neg` `clear-num` `associate-/r/` `associate-/l/` `add-log-exp`

Counts

1 → 299

Calls

1 calls:

18.0ms

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

series48.0ms

Counts

1 → 3

Calls

1 calls:

48.0ms

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

simplify67.0ms

Algorithm

egg-herbie

Counts

302 → 302

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1564	3639
1	5001	3548

prune641.0ms

Filtered

302 candidates to 217 candidates (71.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	297	5	302
Fresh	4	2	6
Picked	1	0	1
Done	0	1	1
Total	302	8	310

Merged error: 0b

Counts

310 → 8

localize8.0ms

Local error

Found 2 expressions with local error:

0.4b	(/ 1 (/ (/ (- y t) 2.0) (/ x z)))
5.1b	(/ (/ (- y t) 2.0) (/ x z))

rewrite223.0ms

Algorithm

rewrite-expression-head

Rules

3845×	`times-frac`
1921×	`add-sqr-sqrt` `*-un-lft-identity`
1525×	`add-cube-cbrt`
265×	`associate-/r*`
198×	`distribute-lft-out--` `difference-of-squares`
168×	`div-inv`
58×	`add-exp-log`
42×	`div-exp`
32×	`add-cbrt-cube`
22×	`associate-/l*`
21×	`cbrt-undiv`
6×	`associate-/r/`
5×	`rec-exp` `1-exp`
3×	`pow1`
2×	`frac-2neg` `div-sub` `clear-num` `add-log-exp`
1×	`pow-flip` `associate-/l/` `inv-pow`

Counts

2 → 1344

Calls

2 calls:

52.0ms	(/ 1 (/ (/ (- y t) 2.0) (/ x z)))
15.0ms	(/ (/ (- y t) 2.0) (/ x z))

series175.0ms

Counts

2 → 6

Calls

2 calls:

118.0ms	(/ 1 (/ (/ (- y t) 2.0) (/ x z)))
57.0ms	(/ (/ (- y t) 2.0) (/ x z))

simplify269.0ms

Algorithm

egg-herbie

Counts

1350 → 1350

Iterations

Useful iterations: 1 (76.0ms)

Iter	Nodes	Cost
0	4515	19112
1	5001	18552

prune2.6s

Filtered

1350 candidates to 790 candidates (58.5%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	1349	1	1350
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	1350	8	1358

Merged error: 0b

Counts

1358 → 8

localize9.0ms

Local error

Found 3 expressions with local error:

0.4b	(* (/ x z) (sqrt 2.0))
0.5b	(/ (- y t) (sqrt 2.0))
5.2b	(/ (* (/ x z) (sqrt 2.0)) (/ (- y t) (sqrt 2.0)))

rewrite42.0ms

Algorithm

rewrite-expression-head

Rules

135×	`times-frac`
113×	`add-sqr-sqrt`
103×	`*-un-lft-identity`
65×	`add-cube-cbrt`
53×	`sqrt-prod`
40×	`associate-/r*`
31×	`add-exp-log` `add-cbrt-cube`
19×	`distribute-lft-out--` `difference-of-squares`
13×	`cbrt-undiv` `div-exp` `associate-l`
6×	`associate-r` `prod-exp` `cbrt-unprod` `associate-/l*`
5×	`pow1` `div-inv`
4×	`unswap-sqr`
3×	`associate-/l/` `add-log-exp`
2×	`frac-2neg` `associate-*l/` `clear-num`
1×	`flip3--` `div-sub` `pow-prod-down` `associate-/r/` `*-commutative` `flip--`

Counts

3 → 186

Calls

3 calls:

8.0ms	(* (/ x z) (sqrt 2.0))
7.0ms	(/ (- y t) (sqrt 2.0))
15.0ms	(/ (* (/ x z) (sqrt 2.0)) (/ (- y t) (sqrt 2.0)))

series296.0ms

Counts

3 → 9

Calls

3 calls:

48.0ms	(* (/ x z) (sqrt 2.0))
91.0ms	(/ (- y t) (sqrt 2.0))
157.0ms	(/ (* (/ x z) (sqrt 2.0)) (/ (- y t) (sqrt 2.0)))

simplify76.0ms

Algorithm

egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 2 (60.0ms)

Iter	Nodes	Cost
0	671	1589
1	3315	1427
2	5001	1374

prune302.0ms

Filtered

195 candidates to 110 candidates (56.4%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	195	0	195
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	195	8	203

Merged error: 0b

Counts

203 → 8

regimes163.0ms

Accuracy

60.7% (2.5b remaining)

Error of 2.5b against oracle of 0.0b and baseline of 6.3b

bsearch59.0ms

Steps

Iters	Range		Point
8	1.0776744539577754e-18	3.7709696211764504e-16	3.7342983488853427e-16
5	-4.361883898670521e+62	-1.299336563286216e+62	-1.3282117993492304e+62

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	14
1	27	14

end0.0ms

sample532.0ms

Algorithm

intervals

Results

311.0ms

8693×

body

valid

Details

sample20.0ms

simplify17.0ms

prune5.0ms

localize6.0ms

rewrite12.0ms

series43.0ms

simplify35.0ms

prune119.0ms

localize7.0ms

rewrite41.0ms

series48.0ms

simplify67.0ms

prune641.0ms

localize8.0ms

rewrite223.0ms

series175.0ms

simplify269.0ms

prune2.6s

localize9.0ms

rewrite42.0ms

series296.0ms

simplify76.0ms

prune302.0ms

regimes163.0ms

bsearch59.0ms

simplify1.0ms

end0.0ms

sample532.0ms

Profiling