Details

sample56.0ms

Algorithm

intervals

Results

23.0ms

266×

body

valid

simplify144.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (142.0ms)

Iter	Nodes	Cost
0	4834	33
1	4834	33

prune12.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: 27.6b

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

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

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

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

series177.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (+ (* (+ y a) y) b) y)
10.0ms	(* (+ (* x y) z) y)
14.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
144.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify48.0ms

Algorithm

egg-herbie

Counts

103 → 103

Iterations

Useful iterations: 0 (37.0ms)

Iter	Nodes	Cost
0	5487	2165

prune216.0ms

Filtered

85 candidates to 103 candidates (-21.2%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	95	8	103
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	95	9	104

Merged error: 26.4b

Counts

104 → 9

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b	(* y (+ (* x y) z))
0.1b	(* y (+ (* y (+ (* x y) z)) 27464.7644705))
0.2b	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))
27.0b	(/ (+ (* 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:

6.0ms	(* y (+ (* x y) z))
9.0ms	(* y (+ (* y (+ (* x y) z)) 27464.7644705))
22.0ms	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))
26.0ms	(/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t))

series381.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(* y (+ (* x y) z))
10.0ms	(* y (+ (* y (+ (* x y) z)) 27464.7644705))
137.0ms	(/ 1 (/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))
227.0ms	(/ (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t))

simplify91.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4992	6447
1	4992	6447

prune282.0ms

Filtered

121 candidates to 171 candidates (-41.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	167	4	171
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	169	11	180

Merged error: 26.4b

Counts

180 → 11

localize24.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 115

Calls

4 calls:

6.0ms	(* (+ (* x y) z) y)
9.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
12.0ms	(/ 1 (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
28.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))

series196.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(* (+ (* x y) z) y)
17.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
24.0ms	(/ 1 (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
146.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))

simplify46.0ms

Algorithm

egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (32.0ms)

Iter	Nodes	Cost
0	5086	2861

prune197.0ms

Filtered

89 candidates to 127 candidates (-42.7%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	124	3	127
Fresh	2	6	8
Picked	1	0	1
Done	0	2	2
Total	127	11	138

Merged error: 26.4b

Counts

138 → 11

localize35.0ms

Local error

Found 4 expressions with local error:

18.1b	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
18.1b	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
18.1b	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
22.5b	(/ (/ 1 (* (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))) (/ (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))

rewrite141.0ms

Algorithm

rewrite-expression-head

Rules

723×	`times-frac`
306×	`cbrt-div`
265×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
233×	`associate-/r/`
169×	`flip3-+` `flip-+`
153×	`cbrt-prod`
100×	`frac-times`
50×	`associate-r/` `associate-l/`
49×	`add-exp-log`
42×	`div-inv`
29×	`div-exp`
24×	`associate-/r*`
18×	`add-cbrt-cube`
15×	`associate-/l*`
13×	`cbrt-undiv`
6×	`prod-exp`
4×	`pow1` `rec-exp` `1-exp` `add-log-exp`
3×	`pow1/3`
2×	`cbrt-unprod`
1×	`frac-2neg` `clear-num` `associate-/l/`

Counts

4 → 470

Calls

4 calls:

11.0ms	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
11.0ms	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
11.0ms	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
64.0ms	(/ (/ 1 (* (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))) (/ (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))

series303.0ms

Counts

4 → 12

Calls

4 calls:

55.0ms	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
52.0ms	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
54.0ms	(cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i))
141.0ms	(/ (/ 1 (* (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)))) (/ (cbrt (+ (* y (+ (* y (+ (* y (+ y a)) b)) c)) i)) (+ (* y (+ (* y (+ (* y (+ (* x y) z)) 27464.7644705)) 230661.510616)) t)))

simplify270.0ms

Algorithm

egg-herbie

Counts

482 → 482

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	5054	57898

prune1.0s

Filtered

325 candidates to 482 candidates (-48.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	481	1	482
Fresh	0	8	8
Picked	1	0	1
Done	0	2	2
Total	482	11	493

Merged error: 26.4b

Counts

493 → 11

regimes1.3s

Accuracy

66% (0.3b remaining)

Error of 27.7b against oracle of 27.3b and baseline of 28.4b

bsearch2.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	70
1	45	70

end0.0ms

sample1.4s

Algorithm

intervals

Results

723.0ms

8245×

body

valid

Details

sample56.0ms

simplify144.0ms

prune12.0ms

localize23.0ms

rewrite52.0ms

series177.0ms

simplify48.0ms

prune216.0ms

localize24.0ms

rewrite69.0ms

series381.0ms

simplify91.0ms

prune282.0ms

localize24.0ms

rewrite59.0ms

series196.0ms

simplify46.0ms

prune197.0ms

localize35.0ms

rewrite141.0ms

series303.0ms

simplify270.0ms

prune1.0s

regimes1.3s

bsearch2.0ms

simplify1.0ms

end0.0ms

sample1.4s

Profiling