Details

sample45.0ms

Algorithm

intervals

Results

16.0ms

333×

body

valid

simplify196.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	4
1	31	4
2	57	4
3	91	4
4	117	4
5	136	4
6	158	4
7	212	4
8	421	4
9	880	4
10	1618	4
11	2991	4
12	4757	4
13	5001	4

prune6.0ms

Filtered

1 candidates to 0 candidates (100.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: 1.4b

Counts

2 → 1

localize11.0ms

Local error

Found 2 expressions with local error:

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

rewrite23.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:

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

series26.0ms

Counts

2 → 6

Calls

2 calls:

13.0ms	(+ (* (/ x y) (- z t)) t)
13.0ms	(* (/ x y) (- z t))

simplify33.0ms

Algorithm

egg-herbie

Counts

63 → 63

Iterations

Useful iterations: 1 (7.0ms)

Iter	Nodes	Cost
0	314	342
1	1191	302
2	5002	302

prune80.0ms

Filtered

63 candidates to 43 candidates (31.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	58	5	63
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	58	6	64

Merged error: 0.0b

Counts

64 → 6

localize14.0ms

Local error

Found 4 expressions with local error:

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

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

73×	`add-exp-log`
39×	`add-cbrt-cube`
37×	`prod-exp` `cbrt-unprod`
17×	`cbrt-undiv` `div-exp`
9×	`pow1` `cbrt-prod` `frac-times` `associate-*r/`
8×	`distribute-rgt-in` `add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity` `distribute-lft-in`
5×	`associate-l`
4×	`sub-neg` `flip3--` `flip--` `add-log-exp`
3×	`pow1/3` `pow-prod-down` `associate-*l/`
1×	`times-frac` `associate-r` `*-commutative` `div-inv`

Counts

4 → 98

Calls

4 calls:

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

series80.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt y)
21.0ms	(cbrt y)
21.0ms	(cbrt y)
13.0ms	(* (/ (* (cbrt x) (cbrt x)) (* (cbrt y) (cbrt y))) (* (/ (cbrt x) (cbrt y)) (- z t)))

simplify73.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (63.0ms)

Iter	Nodes	Cost
0	610	1418
1	3084	907
2	5001	740

prune99.0ms

Filtered

110 candidates to 62 candidates (43.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	110	6	116

Merged error: 0b

Counts

116 → 6

localize12.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (- z t))
0.6b	(* (cbrt (- z t)) (cbrt (- z t)))
2.2b	(* (* (/ x y) (* (cbrt (- z t)) (cbrt (- z t)))) (cbrt (- z t)))
5.6b	(* (/ x y) (* (cbrt (- z t)) (cbrt (- z t))))

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

146×	`cbrt-div`
102×	`frac-times`
73×	`flip3--` `flip--`
52×	`associate-*r/`
45×	`add-sqr-sqrt`
40×	`*-un-lft-identity`
39×	`associate-*l/`
38×	`cbrt-prod`
36×	`add-exp-log`
25×	`pow1`
22×	`add-cube-cbrt` `associate-l`
21×	`add-cbrt-cube`
18×	`prod-exp` `cbrt-unprod`
17×	`associate-r`
11×	`pow-prod-down`
10×	`times-frac` `swap-sqr`
8×	`distribute-lft-out--`
7×	`pow1/3`
6×	`difference-of-squares` `unswap-sqr`
4×	`cbrt-undiv` `div-exp` `add-log-exp`
3×	`*-commutative`
2×	`pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `div-inv`

Counts

4 → 205

Calls

4 calls:

3.0ms	(cbrt (- z t))
10.0ms	(* (cbrt (- z t)) (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))))

series107.0ms

Counts

4 → 12

Calls

4 calls:

27.0ms	(cbrt (- z t))
30.0ms	(* (cbrt (- z t)) (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))))

simplify97.0ms

Algorithm

egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 2 (74.0ms)

Iter	Nodes	Cost
0	904	2669
1	3389	2434
2	5001	2327

prune196.0ms

Filtered

217 candidates to 123 candidates (43.3%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	217	0	217
Fresh	0	4	4
Picked	0	1	1
Done	0	1	1
Total	217	6	223

Merged error: 0b

Counts

223 → 6

localize11.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt (+ (* (/ x y) (- z t)) t))
7.5b	(* (/ x y) (- z t))
7.5b	(* (/ x y) (- z t))
7.5b	(* (/ x y) (- z t))

rewrite43.0ms

Algorithm

rewrite-expression-head

Rules

50×	`add-sqr-sqrt`
39×	`associate-l`
35×	`*-un-lft-identity`
30×	`times-frac`
29×	`add-cube-cbrt`
19×	`add-exp-log` `add-cbrt-cube`
15×	`associate-r`
10×	`pow1`
6×	`distribute-rgt-in` `frac-times` `sub-neg` `flip3--` `distribute-lft-in` `associate-*r/` `prod-exp` `flip--` `cbrt-unprod` `unswap-sqr`
4×	`add-log-exp`
3×	`cbrt-undiv` `cbrt-prod` `div-exp` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `distribute-lft-out--` `difference-of-squares`
2×	`cbrt-div`
1×	`flip3-+` `pow1/3` `flip-+`

Counts

4 → 139

Calls

4 calls:

7.0ms	(cbrt (+ (* (/ x y) (- z t)) t))
13.0ms	(* (/ x y) (- z t))
9.0ms	(* (/ x y) (- z t))
9.0ms	(* (/ x y) (- z t))

series97.0ms

Counts

4 → 12

Calls

4 calls:

59.0ms	(cbrt (+ (* (/ x y) (- z t)) t))
12.0ms	(* (/ x y) (- z t))
13.0ms	(* (/ x y) (- z t))
13.0ms	(* (/ x y) (- z t))

simplify40.0ms

Algorithm

egg-herbie

Counts

151 → 151

Iterations

Useful iterations: 2 (29.0ms)

Iter	Nodes	Cost
0	369	825
1	1310	751
2	5002	743

prune128.0ms

Filtered

151 candidates to 107 candidates (29.1%)

Pruning

6 alts after pruning (3 fresh and 3 done)

	Pruned	Kept	Total
New	151	0	151
Fresh	0	3	3
Picked	0	1	1
Done	0	2	2
Total	151	6	157

Merged error: 0b

Counts

157 → 6

regimes436.0ms

Accuracy

10.6% (1.7b remaining)

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

bsearch21.0ms

Steps

Iters	Range		Point
8	-5.1310247312242024e+106	-1.074647743034268e+104	-1.062950925833645e+105

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	8
1	18	8

end0.0ms

sample791.0ms

Algorithm

intervals

Results

314.0ms

10670×

body

valid

Details

sample45.0ms

simplify196.0ms

prune6.0ms

localize11.0ms

rewrite23.0ms

series26.0ms

simplify33.0ms

prune80.0ms

localize14.0ms

rewrite28.0ms

series80.0ms

simplify73.0ms

prune99.0ms

localize12.0ms

rewrite59.0ms

series107.0ms

simplify97.0ms

prune196.0ms

localize11.0ms

rewrite43.0ms

series97.0ms

simplify40.0ms

prune128.0ms

regimes436.0ms

bsearch21.0ms

simplify1.0ms

end0.0ms

sample791.0ms

Profiling