Details

sample13.0ms

Algorithm

intervals

Results

6.0ms

256×

body

valid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	4
1	17	4
2	19	4
3	21	4
4	22	4
5	22	4

prune2.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: 0.1b

Counts

2 → 1

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
0.1b	(* (/ 841.0 108.0) x)

rewrite13.0ms

Algorithm

rewrite-expression-head

Rules

15×	`add-sqr-sqrt`
13×	`associate-l`
10×	`add-cube-cbrt` `*-un-lft-identity` `times-frac`
7×	`add-exp-log` `add-cbrt-cube`
4×	`pow1` `add-log-exp`
3×	`associate-r`
2×	`associate-*l/` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`cbrt-undiv` `+-commutative` `flip3-+` `div-exp` `pow-prod-down` `frac-add` `sum-log` `*-commutative` `flip-+` `div-inv`

Counts

2 → 44

Calls

2 calls:

6.0ms	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
6.0ms	(* (/ 841.0 108.0) x)

series5.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(+ (* (/ 841.0 108.0) x) (/ 4.0 29.0))
2.0ms	(* (/ 841.0 108.0) x)

simplify73.0ms

Algorithm

egg-herbie

Counts

50 → 50

Iterations

Useful iterations: 2 (22.0ms)

Iter	Nodes	Cost
0	241	217
1	828	198
2	3241	196
3	5001	196

prune74.0ms

Filtered

50 candidates to 38 candidates (24.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	48	2	50
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	48	3	51

Merged error: 0.0b

Counts

51 → 3

localize5.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (/ (* 841.0 x) 108.0) (/ 4.0 29.0))
0.3b	(/ (* 841.0 x) 108.0)

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 34

Calls

2 calls:

9.0ms	(+ (/ (* 841.0 x) 108.0) (/ 4.0 29.0))
4.0ms	(/ (* 841.0 x) 108.0)

series5.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(+ (/ (* 841.0 x) 108.0) (/ 4.0 29.0))
2.0ms	(/ (* 841.0 x) 108.0)

simplify80.0ms

Algorithm

egg-herbie

Counts

40 → 40

Iterations

Useful iterations: 2 (20.0ms)

Iter	Nodes	Cost
0	201	178
1	789	159
2	3556	158
3	5002	158

prune45.0ms

Filtered

40 candidates to 29 candidates (27.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	40	0	40
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	40	3	43

Merged error: 0.0b

Counts

43 → 3

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
0.1b	(* (cbrt (/ 841.0 108.0)) x)
0.4b	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
1.0b	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

rewrite56.0ms

Algorithm

rewrite-expression-head

Rules

79×	`cbrt-prod`
76×	`add-sqr-sqrt`
52×	`times-frac`
45×	`add-cube-cbrt` `*-un-lft-identity`
33×	`associate-l`
29×	`cbrt-div`
25×	`pow1`
20×	`add-exp-log` `associate-r` `associate-*l/`
16×	`swap-sqr`
12×	`unswap-sqr`
11×	`frac-times` `pow-prod-down` `add-cbrt-cube`
10×	`prod-exp` `cbrt-unprod`
7×	`associate-*r/` `frac-add`
6×	`pow1/3` `add-log-exp`
5×	`div-inv`
3×	`*-commutative`
2×	`pow-sqr` `pow-prod-up`
1×	`+-commutative` `pow2` `flip3-+` `pow-plus` `sum-log` `flip-+`

Counts

4 → 159

Calls

4 calls:

19.0ms	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
6.0ms	(* (cbrt (/ 841.0 108.0)) x)
13.0ms	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
12.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

series22.0ms

Counts

4 → 10

Calls

4 calls:

10.0ms	(+ (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) (/ 4.0 29.0))
4.0ms	(* (cbrt (/ 841.0 108.0)) x)
8.0ms	(* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x))
0.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))

simplify63.0ms

Algorithm

egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 2 (48.0ms)

Iter	Nodes	Cost
0	494	1461
1	1820	1299
2	5002	1248

prune336.0ms

Filtered

169 candidates to 113 candidates (33.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	168	1	169
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	168	4	172

Merged error: 0b

Counts

172 → 4

localize24.0ms

Local error

Found 4 expressions with local error:

1.0b	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
1.0b	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
1.0b	(pow (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) 3)
20.3b	(/ (+ (pow (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) 3) (pow (/ 4.0 29.0) 3)) (+ (+ (* (pow (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) 3) (* x x)) (* (neg (/ 841.0 108.0)) (* x (/ 4.0 29.0)))) (* (/ 4.0 29.0) (/ 4.0 29.0))))

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

128×	`cbrt-prod`
127×	`add-sqr-sqrt`
99×	`times-frac`
87×	`*-un-lft-identity`
79×	`add-cube-cbrt`
68×	`associate-*l/`
67×	`frac-add`
60×	`cbrt-div`
53×	`associate-*r/`
44×	`cube-div`
37×	`frac-times`
35×	`associate-/r/`
32×	`swap-sqr` `associate-r` `associate-l`
26×	`pow1`
18×	`pow1/3` `distribute-neg-frac` `unswap-sqr`
13×	`add-exp-log`
9×	`pow-pow` `div-inv` `associate-/l/`
7×	`add-cbrt-cube`
6×	`pow-prod-down` `pow-sqr` `pow-prod-up`
5×	`flip3-+` `flip-+` `associate-/l*`
4×	`sum-cubes` `distribute-lft-out` `add-log-exp`
3×	`pow2` `pow-unpow` `pow-plus` `prod-exp` `associate-/r*` `cbrt-unprod`
2×	`pow-exp` `*-commutative` `rem-cube-cbrt`
1×	`cbrt-undiv` `cube-mult` `pow-to-exp` `unpow-prod-down` `frac-2neg` `unpow3` `cube-prod` `div-exp` `clear-num` `sqr-pow`

Counts

4 → 267

Calls

4 calls:

11.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
12.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
8.0ms	(pow (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) 3)
36.0ms	(/ (+ (pow (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) 3) (pow (/ 4.0 29.0) 3)) (+ (+ (* (pow (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) 3) (* x x)) (* (neg (/ 841.0 108.0)) (* x (/ 4.0 29.0)))) (* (/ 4.0 29.0) (/ 4.0 29.0))))

series16.0ms

Counts

4 → 6

Calls

4 calls:

0.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
0.0ms	(* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0)))
0.0ms	(pow (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) 3)
16.0ms	(/ (+ (pow (* (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) (* (cbrt (/ 841.0 108.0)) x)) 3) (pow (/ 4.0 29.0) 3)) (+ (+ (* (pow (* (cbrt (/ 841.0 108.0)) (cbrt (/ 841.0 108.0))) 3) (* x x)) (* (neg (/ 841.0 108.0)) (* x (/ 4.0 29.0)))) (* (/ 4.0 29.0) (/ 4.0 29.0))))

simplify80.0ms

Algorithm

egg-herbie

Counts

273 → 273

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1049	5161
1	5001	4847

prune1.9s

Filtered

273 candidates to 189 candidates (30.8%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	273	0	273
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	273	4	277

Merged error: 0b

Counts

277 → 4

regimes102.0ms

Accuracy

0% (0.1b remaining)

Error of 0.1b against oracle of 0.0b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample325.0ms

Algorithm

intervals

Results

202.0ms	8004×	body	80	valid
0.0ms	3×	body	640	valid
0.0ms	1×	body	1280	valid
0.0ms	1×	body	320	valid

Details

sample13.0ms

simplify8.0ms

prune2.0ms

localize5.0ms

rewrite13.0ms

series5.0ms

simplify73.0ms

prune74.0ms

localize5.0ms

rewrite14.0ms

series5.0ms

simplify80.0ms

prune45.0ms

localize9.0ms

rewrite56.0ms

series22.0ms

simplify63.0ms

prune336.0ms

localize24.0ms

rewrite82.0ms

series16.0ms

simplify80.0ms

prune1.9s

regimes102.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample325.0ms

Profiling