Details

sample42.0ms

Algorithm

intervals

Results

21.0ms

267×

body

valid

simplify94.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	48	16
1	102	16
2	292	16
3	803	16
4	2143	16
5	3616	16
6	4166	16
7	5002	16

prune4.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: 32.4b

Counts

2 → 1

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite59.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×	`expm1-log1p-u` `log1p-expm1-u` `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 → 99

Calls

4 calls:

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

series509.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(* (+ (* (+ y a) y) b) y)
52.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
82.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
336.0ms	(/ (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify70.0ms

Algorithm

egg-herbie

Counts

111 → 111

Iterations

Useful iterations: 2 (56.0ms)

Iter	Nodes	Cost
0	539	1272
1	2202	1125
2	5003	1105

prune551.0ms

Filtered

111 candidates to 97 candidates (87.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	100	11	111
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	101	11	112

Merged error: 31.1b

Counts

112 → 11

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

49×	`add-exp-log`
24×	`prod-exp`
22×	`add-cbrt-cube`
19×	`add-sqr-sqrt`
13×	`pow1` `add-cube-cbrt` `-un-lft-identity` `associate-r*`
12×	`1-exp` `div-exp`
9×	`associate-l`
7×	`cbrt-unprod`
6×	`rec-exp` `times-frac` `associate-*l/`
4×	`cbrt-undiv` `expm1-log1p-u` `flip3-+` `pow-prod-down` `flip-+` `log1p-expm1-u` `add-log-exp`
3×	`-commutative` `associate-/l` `unswap-sqr`
2×	`frac-times` `pow-flip` `div-inv`
1×	`frac-2neg` `associate-r/` `clear-num` `associate-/r` `un-div-inv` `inv-pow`

Counts

4 → 118

Calls

4 calls:

10.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
13.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
4.0ms	(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
21.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))

series521.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(* (+ (* (+ (* x y) z) y) 27464.7644705) y)
81.0ms	(* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)
55.0ms	(/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1))
329.0ms	(* (+ (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y) t) (/ 1 (* (fma (fma (fma (+ y a) y b) y c) y i) 1)))

simplify70.0ms

Algorithm

egg-herbie

Counts

130 → 130

Iterations

Useful iterations: 2 (55.0ms)

Iter	Nodes	Cost
0	548	1250
1	2228	1058
2	5001	989

prune518.0ms

Filtered

130 candidates to 90 candidates (69.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	9	10
Picked	0	1	1
Done	0	0	0
Total	130	11	141

Merged error: 31.1b

Counts

141 → 11

localize28.0ms

Local error

Found 4 expressions with local error:

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

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 78

Calls

4 calls:

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

series841.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
170.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
170.0ms	(cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))
331.0ms	(/ (+ (* (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616))) (* (cbrt (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616)) y)) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify55.0ms

Algorithm

egg-herbie

Counts

90 → 90

Iterations

Useful iterations: 2 (35.0ms)

Iter	Nodes	Cost
0	381	2282
1	1293	2076
2	5001	1933

prune526.0ms

Filtered

90 candidates to 84 candidates (93.3%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	90	0	90
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	90	11	101

Merged error: 31.1b

Counts

101 → 11

localize33.0ms

Local error

Found 4 expressions with local error:

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

rewrite68.0ms

Algorithm

rewrite-expression-head

Rules

12×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`times-frac`
6×	`add-exp-log` `cbrt-div` `associate-*l/` `add-cbrt-cube`
5×	`flip3-+` `flip-+`
4×	`pow1` `expm1-log1p-u` `log1p-expm1-u` `add-log-exp`
3×	`cbrt-prod` `pow1/3` `associate-/r` `associate-/l`
2×	`associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-exp` `clear-num` `div-inv`

Counts

4 → 72

Calls

4 calls:

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

series1.1s

Counts

4 → 12

Calls

4 calls:

200.0ms	(cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))
197.0ms	(cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))
199.0ms	(cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))
492.0ms	(/ (+ (* (* (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y)) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) (cbrt (* (+ (* (+ (* (+ (* x y) z) y) 27464.7644705) y) 230661.510616) y))) t) (+ (* (+ (* (+ (* (+ y a) y) b) y) c) y) i))

simplify121.0ms

Algorithm

egg-herbie

Counts

84 → 84

Iterations

Useful iterations: 3 (101.0ms)

Iter	Nodes	Cost
0	402	2339
1	1205	2123
2	4589	2001
3	5001	1964

prune466.0ms

Filtered

84 candidates to 78 candidates (92.9%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	84	0	84
Fresh	0	8	8
Picked	0	1	1
Done	0	2	2
Total	84	11	95

Merged error: 31.1b

Counts

95 → 11

regimes559.0ms

Accuracy

0% (1.1b remaining)

Error of 29.6b against oracle of 28.5b and baseline of 29.6b

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	39	15
1	41	15
2	41	15

end0.0ms

sample1.0s

Algorithm

intervals

Results

687.0ms

8242×

body

valid

Details

sample42.0ms

simplify94.0ms

prune4.0ms

localize27.0ms

rewrite59.0ms

series509.0ms

simplify70.0ms

prune551.0ms

localize28.0ms

rewrite51.0ms

series521.0ms

simplify70.0ms

prune518.0ms

localize28.0ms

rewrite84.0ms

series841.0ms

simplify55.0ms

prune526.0ms

localize33.0ms

rewrite68.0ms

series1.1s

simplify121.0ms

prune466.0ms

regimes559.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample1.0s

Profiling