Details

sample49.0ms

Algorithm

intervals

Results

17.0ms

349×

body

valid

simplify36.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (34.0ms)

Iter	Nodes	Cost
0	733	9
1	733	9

prune14.0ms

Filtered

1 candidates to 1 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: 0.1b

Counts

2 → 2

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ x y) (- z t)) t)
7.3b	(* (/ x y) (- z t))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

17×	`add-sqr-sqrt`
13×	`associate-l`
12×	`*-un-lft-identity`
10×	`add-cube-cbrt` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
5×	`associate-r`
4×	`pow1` `distribute-rgt-in` `sub-neg` `associate-+l+` `distribute-lft-in` `add-log-exp`
2×	`frac-times` `flip3--` `associate-*r/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `pow-prod-down` `associate-l/` `sum-log` `-commutative` `flip-+` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

2 → 57

Calls

2 calls:

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

series26.0ms

Counts

2 → 6

Calls

2 calls:

11.0ms	(+ (* (/ x y) (- z t)) t)
15.0ms	(* (/ x y) (- z t))

simplify42.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	4963	619
1	4963	619

prune81.0ms

Filtered

43 candidates to 63 candidates (-46.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	58	5	63
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	58	7	65

Merged error: 0.0b

Counts

65 → 7

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- z t))
0.6b	(cbrt (- z t))
1.8b	(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
5.9b	(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

136×	`cbrt-div`
98×	`frac-times`
68×	`flip3--` `flip--`
50×	`associate-*r/`
37×	`associate-*l/`
34×	`add-exp-log`
24×	`add-sqr-sqrt`
21×	`*-un-lft-identity` `add-cbrt-cube`
18×	`pow1`
17×	`prod-exp` `cbrt-unprod`
15×	`cbrt-prod` `add-cube-cbrt`
14×	`associate-l`
10×	`times-frac`
9×	`associate-r` `pow-prod-down`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`distribute-lft-out--` `difference-of-squares`
2×	`pow1/3` `*-commutative` `unswap-sqr`
1×	`div-inv`

Counts

4 → 164

Calls

4 calls:

3.0ms	(cbrt (- z t))
3.0ms	(cbrt (- z t))
21.0ms	(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
17.0ms	(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

series101.0ms

Counts

4 → 12

Calls

4 calls:

26.0ms	(cbrt (- z t))
26.0ms	(cbrt (- z t))
17.0ms	(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
32.0ms	(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

simplify56.0ms

Algorithm

egg-herbie

Counts

176 → 176

Iterations

Useful iterations: 0 (38.0ms)

Iter	Nodes	Cost
0	5322	3383

prune169.0ms

Filtered

105 candidates to 176 candidates (-67.6%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	175	1	176
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	175	8	183

Merged error: 0.0b

Counts

183 → 8

localize10.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt (- z t))
1.8b	(* (* (* (/ x y) (cbrt (- z t))) (cbrt (- z t))) (cbrt (- z t)))
2.3b	(* (* (/ x y) (cbrt (- z t))) (cbrt (- z t)))
3.6b	(* (/ x y) (cbrt (- z t)))

rewrite62.0ms

Algorithm

rewrite-expression-head

Rules

138×	`cbrt-div`
100×	`frac-times`
69×	`flip3--` `flip--`
50×	`associate-*l/`
36×	`add-sqr-sqrt` `associate-*r/`
32×	`add-exp-log`
26×	`*-un-lft-identity`
24×	`associate-r`
22×	`cbrt-prod`
20×	`pow1`
18×	`add-cube-cbrt`
16×	`prod-exp` `add-cbrt-cube` `cbrt-unprod`
15×	`associate-l`
11×	`times-frac`
10×	`pow-prod-down`
4×	`distribute-lft-out--` `add-log-exp` `difference-of-squares` `unswap-sqr`
3×	`cbrt-undiv` `div-exp` `*-commutative`
1×	`pow1/3` `div-inv`

Counts

4 → 181

Calls

4 calls:

3.0ms	(cbrt (- z t))
20.0ms	(* (* (* (/ x y) (cbrt (- z t))) (cbrt (- z t))) (cbrt (- z t)))
14.0ms	(* (* (/ x y) (cbrt (- z t))) (cbrt (- z t)))
12.0ms	(* (/ x y) (cbrt (- z t)))

series103.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt (- z t))
13.0ms	(* (* (* (/ x y) (cbrt (- z t))) (cbrt (- z t))) (cbrt (- z t)))
37.0ms	(* (* (/ x y) (cbrt (- z t))) (cbrt (- z t)))
26.0ms	(* (/ x y) (cbrt (- z t)))

simplify95.0ms

Algorithm

egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4969	3664
1	4969	3664

prune195.0ms

Filtered

119 candidates to 193 candidates (-62.2%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	193	0	193
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	193	8	201

Merged error: 0.0b

Counts

201 → 8

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(- t (* x (/ t y)))
0.0b	(+ (* (/ x y) z) (- t (* x (/ t y))))
4.7b	(* (/ x y) z)
6.7b	(* x (/ t y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
20×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
16×	`associate-r` `associate-l`
14×	`add-exp-log` `add-cbrt-cube`
11×	`add-log-exp`
8×	`pow1`
4×	`prod-exp` `cbrt-unprod` `unswap-sqr`
3×	`associate-*l/`
2×	`cbrt-undiv` `sub-neg` `associate-+r+` `flip3--` `diff-log` `div-exp` `pow-prod-down` `frac-add` `sum-log` `*-commutative` `flip--` `div-inv`
1×	`+-commutative` `associate-+r-` `flip3-+` `associate-*r/` `flip-+`

Counts

4 → 93

Calls

4 calls:

3.0ms	(- t (* x (/ t y)))
8.0ms	(+ (* (/ x y) z) (- t (* x (/ t y))))
6.0ms	(* (/ x y) z)
7.0ms	(* x (/ t y))

series28.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(- t (* x (/ t y)))
11.0ms	(+ (* (/ x y) z) (- t (* x (/ t y))))
5.0ms	(* (/ x y) z)
5.0ms	(* x (/ t y))

simplify43.0ms

Algorithm

egg-herbie

Counts

105 → 105

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	4973	987
1	4973	987

prune294.0ms

Filtered

74 candidates to 105 candidates (-41.9%)

Pruning

8 alts after pruning (4 fresh and 4 done)

	Pruned	Kept	Total
New	105	0	105
Fresh	0	4	4
Picked	0	1	1
Done	0	3	3
Total	105	8	113

Merged error: 0.0b

Counts

113 → 8

regimes536.0ms

Accuracy

19.1% (1.6b remaining)

Error of 1.6b against oracle of 0.0b and baseline of 2.0b

bsearch50.0ms

Steps

Iters	Range		Point
9	5.543960384653781e-239	1.045628470355134e-233	2.365282027239989e-237
7	-1.7548136732009188e-92	-1.8994883016392857e-94	-1.7155085536601324e-92

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	42	46
1	42	46

end0.0ms

sample768.0ms

Algorithm

intervals

Results

313.0ms

10587×

body

valid

Details

sample49.0ms

simplify36.0ms

prune14.0ms

localize11.0ms

rewrite29.0ms

series26.0ms

simplify42.0ms

prune81.0ms

localize10.0ms

rewrite55.0ms

series101.0ms

simplify56.0ms

prune169.0ms

localize10.0ms

rewrite62.0ms

series103.0ms

simplify95.0ms

prune195.0ms

localize9.0ms

rewrite26.0ms

series28.0ms

simplify43.0ms

prune294.0ms

regimes536.0ms

bsearch50.0ms

simplify1.0ms

end0.0ms

sample768.0ms

Profiling