Details

analyze1.9s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample39.0ms

Algorithm

intervals

Results

20.0ms	256×	body	80	valid
1.0ms	7×	body	80	invalid

simplify141.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (139.0ms)

Iter	Nodes	Cost
0	4834	33
1	4834	33

prune11.0ms

Filtered

1 candidates to 1 candidates (0.0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Merged error: 28.3b

Counts

2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
0.1b	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
0.1b	(* (+ (* x y) z) y)
27.6b	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

24×	`add-sqr-sqrt`
18×	`add-cube-cbrt` `*-un-lft-identity`
12×	`add-exp-log` `add-cbrt-cube`
10×	`pow1`
9×	`times-frac` `associate-r` `associate-l`
6×	`associate-*l/`
5×	`flip3-+` `flip-+`
4×	`add-log-exp`
3×	`pow-prod-down` `prod-exp` `associate-/r` `-commutative` `cbrt-unprod` `associate-/l*` `unswap-sqr`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 91

Calls

4 calls:

12.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
6.0ms	(* (+ (* x y) z) y)
25.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

series200.0ms

Counts

4 → 12

Calls

4 calls:

23.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
15.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
9.0ms	(* (+ (* x y) z) y)
153.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify58.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4924	2303
1	4924	2303

prune234.0ms

Filtered

85 candidates to 103 candidates (-21.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	91	12	103
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	92	12	104

Merged error: 27.4b

Counts

104 → 12

localize25.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (+ (* y (+ (* x y) z)) 27464.7644705))
0.1b	(* y (+ (* x y) z))
0.3b	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))
27.8b	(/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t))

rewrite69.0ms

Algorithm

rewrite-expression-head

Rules

90×	`times-frac`
64×	`add-sqr-sqrt`
60×	`add-cube-cbrt` `*-un-lft-identity`
21×	`add-exp-log`
18×	`associate-/r*`
15×	`add-cbrt-cube`
11×	`associate-/r/`
9×	`pow1`
8×	`flip3-+` `div-exp` `flip-+`
6×	`associate-r` `associate-l` `div-inv` `associate-/l*`
4×	`cbrt-undiv` `associate-*r/` `add-log-exp`
2×	`distribute-rgt-in` `rec-exp` `frac-2neg` `distribute-lft-in` `1-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `cbrt-unprod` `associate-/l/` `unswap-sqr`
1×	`pow-flip` `inv-pow`

Counts

4 → 159

Calls

4 calls:

10.0ms	(* y (+ (* y (+ (* x y) z)) 27464.7644705))
6.0ms	(* y (+ (* x y) z))
23.0ms	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))
24.0ms	(/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t))

series402.0ms

Counts

4 → 12

Calls

4 calls:

12.0ms	(* y (+ (* y (+ (* x y) z)) 27464.7644705))
7.0ms	(* y (+ (* x y) z))
144.0ms	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))
238.0ms	(/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t))

simplify90.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (63.0ms)

Iter	Nodes	Cost
0	4987	6447
1	4987	6447

prune289.0ms

Filtered

121 candidates to 171 candidates (-41.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	168	3	171
Fresh	2	9	11
Picked	1	0	1
Done	0	0	0
Total	171	12	183

Merged error: 27.4b

Counts

183 → 12

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (+ (* y x) z))
0.2b	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))
0.3b	(/ 1 (/ 1 (/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))))
27.6b	(/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

528×	`times-frac`
259×	`add-sqr-sqrt`
257×	`add-cube-cbrt` `*-un-lft-identity`
68×	`associate-/r*`
62×	`add-exp-log`
43×	`div-exp`
40×	`associate-/r/`
23×	`div-inv`
22×	`add-cbrt-cube`
19×	`flip3-+` `flip-+`
15×	`rec-exp` `1-exp`
10×	`cbrt-undiv`
9×	`pow1` `associate-/l*`
5×	`pow-flip`
4×	`add-log-exp`
3×	`frac-2neg` `associate-r` `associate-l` `clear-num` `inv-pow`
2×	`associate-*r/` `associate-/l/`
1×	`distribute-rgt-in` `distribute-lft-in` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `remove-double-div` `unswap-sqr`

Counts

4 → 380

Calls

4 calls:

6.0ms	(* y (+ (* y x) z))
27.0ms	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))
31.0ms	(/ 1 (/ 1 (/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))))
25.0ms	(/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))

series418.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* y (+ (* y x) z))
188.0ms	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))
109.0ms	(/ 1 (/ 1 (/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))))
114.0ms	(/ (+ (* y (+ (* y (+ (* y (+ (* y x) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))

simplify189.0ms

Algorithm

egg-herbie

Counts

392 → 392

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4982	19635
1	4982	19635

prune554.0ms

Filtered

196 candidates to 392 candidates (-100.0%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	392	0	392
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	392	12	404

Merged error: 27.4b

Counts

404 → 12

localize29.0ms

Local error

Found 4 expressions with local error:

3.2b	(cbrt (/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))
27.6b	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
27.6b	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
27.6b	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))

rewrite101.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
35×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
15×	`cbrt-prod`
10×	`add-exp-log` `add-cbrt-cube`
9×	`associate-/r` `associate-/l`
8×	`associate-/r/`
7×	`flip3-+` `flip-+`
6×	`associate-/l/`
4×	`pow1` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num`
1×	`cbrt-div` `pow1/3`

Counts

4 → 117

Calls

4 calls:

20.0ms	(cbrt (/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))
25.0ms	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
25.0ms	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
27.0ms	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))

series479.0ms

Counts

4 → 12

Calls

4 calls:

148.0ms	(cbrt (/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))
109.0ms	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
111.0ms	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
111.0ms	(/ (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t) (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))

simplify58.0ms

Algorithm

egg-herbie

Counts

129 → 129

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	4954	5661
1	4954	5661

prune375.0ms

Filtered

111 candidates to 129 candidates (-16.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	129	0	129
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	129	12	141

Merged error: 27.4b

Counts

141 → 12

regimes1.2s

Accuracy

0% (1.2b remaining)

Error of 29.2b against oracle of 27.9b and baseline of 29.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	37
1	45	37

end0.0ms

analyze1.9s

Algorithm

Search

True	Other	False	Iter
0%	99.6%	0.4%	0
0%	99.6%	0.4%	1
0%	99.6%	0.4%	2
0%	99.6%	0.4%	3
0%	99.6%	0.4%	4
0%	99.6%	0.4%	5
0%	99.6%	0.4%	6
0%	99.6%	0.4%	7
0%	99.6%	0.4%	8
0%	99.6%	0.4%	9
0%	99.6%	0.4%	10
0%	99.6%	0.4%	11
0%	99.6%	0.4%	12
0%	99.6%	0.4%	13
0%	99.6%	0.4%	14

sample1.1s

Algorithm

intervals

Results

682.0ms	8000×	body	80	valid
20.0ms	253×	body	80	invalid

Details

analyze1.9s

sample39.0ms

simplify141.0ms

prune11.0ms

localize24.0ms

rewrite55.0ms

series200.0ms

simplify58.0ms

prune234.0ms

localize25.0ms

rewrite69.0ms

series402.0ms

simplify90.0ms

prune289.0ms

localize26.0ms

rewrite110.0ms

series418.0ms

simplify189.0ms

prune554.0ms

localize29.0ms

rewrite101.0ms

series479.0ms

simplify58.0ms

prune375.0ms

regimes1.2s

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.9s

sample1.1s

Profiling