Details

sample19.0ms

Algorithm

intervals

Results

9.0ms

256×

body

valid

simplify5.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	15	6
1	22	6
2	22	6

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

Counts

2 → 1

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
0.0b	(* 1.1283791670955126 (exp z))
1.2b	(- (* 1.1283791670955126 (exp z)) (* x y))
7.5b	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 71

Calls

4 calls:

9.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
5.0ms	(* 1.1283791670955126 (exp z))
7.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
6.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

series180.0ms

Counts

4 → 12

Calls

4 calls:

38.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
16.0ms	(* 1.1283791670955126 (exp z))
57.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
68.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify41.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (34.0ms)

Iter	Nodes	Cost
0	329	592
1	1175	552
2	5001	551

prune172.0ms

Filtered

83 candidates to 63 candidates (75.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	78	5	83
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	79	5	84

Merged error: 0b

Counts

84 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ x (/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)))
0.1b	(/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y))
1.2b	(- (* 1.1283791670955126 (exp z)) (* x y))
7.5b	(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

84×	`times-frac`
57×	`*-un-lft-identity`
54×	`add-sqr-sqrt` `add-cube-cbrt`
17×	`add-exp-log`
16×	`associate-/r*`
11×	`add-cbrt-cube`
8×	`div-exp` `add-log-exp`
7×	`div-inv`
6×	`associate-/l*`
5×	`pow1`
4×	`cbrt-undiv`
2×	`rec-exp` `flip3--` `frac-2neg` `1-exp` `clear-num` `flip--` `associate-/l/` `distribute-lft-out`
1×	`+-commutative` `sub-neg` `pow-flip` `flip3-+` `diff-log` `div-sub` `sum-log` `associate-/r/` `flip-+` `inv-pow`

Counts

4 → 131

Calls

4 calls:

14.0ms	(+ x (/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)))
8.0ms	(/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y))
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
7.0ms	(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

series213.0ms

Counts

4 → 12

Calls

4 calls:

42.0ms	(+ x (/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)))
46.0ms	(/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y))
55.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
70.0ms	(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

simplify67.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	545	1467
1	2439	1263
2	5001	1253

prune218.0ms

Filtered

143 candidates to 86 candidates (60.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	143	0	143
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	143	5	148

Merged error: 0b

Counts

148 → 5

localize12.0ms

Local error

Found 4 expressions with local error:

0.6b	(cbrt y)
1.2b	(- (* 1.1283791670955126 (exp z)) (* x y))
3.3b	(/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y)))
4.3b	(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 111

Calls

4 calls:

1.0ms	(cbrt y)
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
7.0ms	(/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y)))
15.0ms	(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y))))

series526.0ms

Counts

4 → 12

Calls

4 calls:

169.0ms	(cbrt y)
58.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
208.0ms	(/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y)))
91.0ms	(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify87.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (71.0ms)

Iter	Nodes	Cost
0	563	1309
1	2718	1138
2	5001	1103

prune330.0ms

Filtered

123 candidates to 100 candidates (81.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	123	5	128

Merged error: 0b

Counts

128 → 5

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(* 1.1283791670955126 (exp z))
0.3b	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
1.2b	(- (* 1.1283791670955126 (exp z)) (* x y))
7.7b	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
23×	`*-un-lft-identity`
22×	`add-cube-cbrt`
20×	`times-frac`
18×	`add-exp-log` `associate-r`
13×	`add-cbrt-cube`
9×	`pow1`
6×	`associate-l` `add-log-exp`
5×	`prod-exp`
4×	`div-exp` `associate-/r/` `unswap-sqr`
3×	`flip3--` `associate-/r` `flip--` `cbrt-unprod` `associate-/l`
2×	`cbrt-undiv` `rec-exp` `1-exp` `pow-prod-down` `*-commutative` `div-inv`
1×	`sub-neg` `pow-flip` `frac-2neg` `diff-log` `associate-*r/` `clear-num` `un-div-inv` `inv-pow`

Counts

4 → 101

Calls

4 calls:

5.0ms	(* 1.1283791670955126 (exp z))
6.0ms	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
10.0ms	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

series191.0ms

Counts

4 → 12

Calls

4 calls:

16.0ms	(* 1.1283791670955126 (exp z))
56.0ms	(/ 1 (- (* 1.1283791670955126 (exp z)) (* x y)))
52.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
67.0ms	(* y (/ 1 (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify55.0ms

Algorithm

egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 2 (46.0ms)

Iter	Nodes	Cost
0	403	822
1	1831	729
2	5001	699

prune174.0ms

Filtered

113 candidates to 71 candidates (62.8%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	113	0	113
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	113	5	118

Merged error: 0b

Counts

118 → 5

regimes120.0ms

Accuracy

64.2% (1.1b remaining)

Error of 1.1b against oracle of 0.0b and baseline of 3.1b

bsearch1.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	10
1	22	10

end0.0ms

sample477.0ms

Algorithm

intervals

Results

299.0ms

8000×

body

valid

Details

sample19.0ms

simplify5.0ms

prune2.0ms

localize8.0ms

rewrite29.0ms

series180.0ms

simplify41.0ms

prune172.0ms

localize9.0ms

rewrite37.0ms

series213.0ms

simplify67.0ms

prune218.0ms

localize12.0ms

rewrite31.0ms

series526.0ms

simplify87.0ms

prune330.0ms

localize9.0ms

rewrite28.0ms

series191.0ms

simplify55.0ms

prune174.0ms

regimes120.0ms

bsearch1.0ms

simplify1.0ms

end0.0ms

sample477.0ms

Profiling