Details

sample29.0ms

Algorithm

intervals

Results

14.0ms

264×

body

valid

simplify15.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	26	8
1	39	8
2	47	8
3	49	8
4	49	8

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

Counts

2 → 1

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ (* y b) t))
4.3b	(/ (* y z) t)
5.2b	(/ (* y b) t)
13.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

61×	`*-un-lft-identity`
26×	`times-frac`
24×	`distribute-lft-out`
19×	`add-sqr-sqrt` `add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
11×	`associate-/r*`
9×	`add-log-exp`
6×	`associate-/l*`
5×	`cbrt-undiv` `flip3-+` `div-exp` `flip-+`
4×	`pow1` `frac-add` `associate-/r/`
3×	`frac-2neg` `clear-num` `sum-log` `div-inv`
2×	`prod-exp` `cbrt-unprod` `associate-/l/`
1×	`+-commutative` `associate-+l+`

Counts

4 → 106

Calls

4 calls:

7.0ms	(+ (+ a 1.0) (/ (* y b) t))
4.0ms	(/ (* y z) t)
4.0ms	(/ (* y b) t)
14.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

series162.0ms

Counts

4 → 12

Calls

4 calls:

31.0ms	(+ (+ a 1.0) (/ (* y b) t))
17.0ms	(/ (* y z) t)
19.0ms	(/ (* y b) t)
96.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ (* y b) t)))

simplify61.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	469	909
1	2102	841
2	5001	841

prune307.0ms

Filtered

118 candidates to 78 candidates (66.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	105	13	118
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	106	13	119

Merged error: 13.4b

Counts

119 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (/ y (/ t b)))
4.3b	(/ (* y z) t)
5.5b	(/ y (/ t b))
13.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

101×	`*-un-lft-identity`
98×	`times-frac`
59×	`add-sqr-sqrt` `add-cube-cbrt`
24×	`distribute-lft-out`
21×	`associate-/r*`
16×	`add-exp-log` `add-cbrt-cube`
9×	`add-log-exp`
8×	`associate-/l*`
7×	`div-inv`
6×	`cbrt-undiv` `div-exp`
5×	`flip3-+` `associate-/r/` `flip-+`
4×	`pow1` `frac-add`
3×	`frac-2neg` `clear-num` `sum-log`
2×	`associate-/l/`
1×	`+-commutative` `associate-+l+` `prod-exp` `cbrt-unprod`

Counts

4 → 155

Calls

4 calls:

15.0ms	(+ (+ a 1.0) (/ y (/ t b)))
4.0ms	(/ (* y z) t)
5.0ms	(/ y (/ t b))
21.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

series168.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(+ (+ a 1.0) (/ y (/ t b)))
17.0ms	(/ (* y z) t)
20.0ms	(/ y (/ t b))
102.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (/ y (/ t b))))

simplify87.0ms

Algorithm

egg-herbie

Counts

167 → 167

Iterations

Useful iterations: 1 (22.0ms)

Iter	Nodes	Cost
0	692	1278
1	3029	1205
2	5001	1205

prune417.0ms

Filtered

167 candidates to 120 candidates (71.9%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	163	4	167
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	167	13	180

Merged error: 11.5b

Counts

180 → 13

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (+ a 1.0) (* (/ y t) b))
3.7b	(* (/ y t) b)
4.3b	(/ (* y z) t)
13.8b	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

31×	`*-un-lft-identity`
28×	`add-sqr-sqrt`
25×	`times-frac`
23×	`add-cube-cbrt`
16×	`add-exp-log` `add-cbrt-cube`
13×	`associate-l`
9×	`add-log-exp`
6×	`pow1` `associate-/r*`
5×	`flip3-+` `associate-l/` `flip-+` `associate-/l`
4×	`cbrt-undiv` `div-exp` `frac-add` `associate-/r/` `distribute-lft-out`
3×	`associate-r` `prod-exp` `sum-log` `cbrt-unprod` `div-inv`
2×	`frac-2neg` `clear-num` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `associate-+l+` `pow-prod-down` `*-commutative`

Counts

4 → 105

Calls

4 calls:

5.0ms	(+ (+ a 1.0) (* (/ y t) b))
6.0ms	(* (/ y t) b)
5.0ms	(/ (* y z) t)
15.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

series173.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(+ (+ a 1.0) (* (/ y t) b))
21.0ms	(* (/ y t) b)
19.0ms	(/ (* y z) t)
100.0ms	(/ (+ x (/ (* y z) t)) (+ (+ a 1.0) (* (/ y t) b)))

simplify65.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 1 (16.0ms)

Iter	Nodes	Cost
0	520	844
1	2261	776
2	5002	776

prune280.0ms

Filtered

117 candidates to 82 candidates (70.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	117	13	130

Merged error: 11.5b

Counts

130 → 13

localize21.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt t)
5.1b	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
5.5b	(/ y (/ t b))
13.8b	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ y (/ t b))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

118×	`times-frac`
92×	`*-un-lft-identity`
88×	`add-sqr-sqrt`
72×	`add-cube-cbrt`
32×	`add-exp-log`
25×	`add-cbrt-cube`
22×	`associate-r`
18×	`associate-/r*`
14×	`cbrt-prod`
12×	`distribute-lft-out`
11×	`cbrt-undiv` `div-exp`
8×	`prod-exp` `cbrt-unprod` `div-inv`
7×	`associate-l`
6×	`pow1` `associate-/l*` `unswap-sqr`
5×	`associate-/r/`
4×	`add-log-exp`
3×	`flip3-+` `flip-+`
2×	`frac-2neg` `frac-add` `clear-num` `associate-/l/`
1×	`frac-times` `pow1/3` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 181

Calls

4 calls:

2.0ms	(cbrt t)
26.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
5.0ms	(/ y (/ t b))
19.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ y (/ t b))))

series522.0ms

Counts

4 → 12

Calls

4 calls:

177.0ms	(cbrt t)
51.0ms	(* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))
20.0ms	(/ y (/ t b))
274.0ms	(/ (+ x (* (/ y (* (cbrt t) (cbrt t))) (/ z (cbrt t)))) (+ (+ a 1.0) (/ y (/ t b))))

simplify116.0ms

Algorithm

egg-herbie

Counts

193 → 193

Iterations

Useful iterations: 2 (91.0ms)

Iter	Nodes	Cost
0	946	1928
1	4603	1700
2	5001	1652

prune550.0ms

Filtered

193 candidates to 146 candidates (75.6%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	190	3	193
Fresh	0	11	11
Picked	1	0	1
Done	0	1	1
Total	191	15	206

Merged error: 11.2b

Counts

206 → 15

regimes574.0ms

Accuracy

45.6% (3.8b remaining)

Error of 13.5b against oracle of 9.7b and baseline of 16.7b

bsearch127.0ms

Steps

Iters	Range		Point
8	4.3033858634800414e+64	2.129040553842096e+68	3.0810066021924263e+66
9	-2.8163568369502383e+73	-1.229550161332243e+68	-5.992280226971249e+69

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	41
1	50	41

end0.0ms

sample739.0ms

Algorithm

intervals

Results

447.0ms

8288×

body

valid

Details

sample29.0ms

simplify15.0ms

prune3.0ms

localize12.0ms

rewrite33.0ms

series162.0ms

simplify61.0ms

prune307.0ms

localize12.0ms

rewrite52.0ms

series168.0ms

simplify87.0ms

prune417.0ms

localize12.0ms

rewrite34.0ms

series173.0ms

simplify65.0ms

prune280.0ms

localize21.0ms

rewrite60.0ms

series522.0ms

simplify116.0ms

prune550.0ms

regimes574.0ms

bsearch127.0ms

simplify2.0ms

end0.0ms

sample739.0ms

Profiling