Details

sample20.0ms

Algorithm

intervals

Results

10.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: 2.6b

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.0b	(- (* 1.1283791670955126 (exp z)) (* x y))
5.7b	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

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

8.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
5.0ms	(* 1.1283791670955126 (exp z))
4.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
6.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

series175.0ms

Counts

4 → 12

Calls

4 calls:

33.0ms	(+ x (/ y (- (* 1.1283791670955126 (exp z)) (* x y))))
16.0ms	(* 1.1283791670955126 (exp z))
57.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
69.0ms	(/ y (- (* 1.1283791670955126 (exp z)) (* x y)))

simplify39.0ms

Algorithm

egg-herbie

Counts

83 → 83

Iterations

Useful iterations: 2 (31.0ms)

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

prune194.0ms

Filtered

83 candidates to 63 candidates (75.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	79	4	83
Fresh	0	0	0
Picked	0	1	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.0b	(- (* 1.1283791670955126 (exp z)) (* x y))
5.6b	(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

rewrite40.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))
10.0ms	(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

series216.0ms

Counts

4 → 12

Calls

4 calls:

40.0ms	(+ x (/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)))
52.0ms	(/ 1 (/ (- (* 1.1283791670955126 (exp z)) (* x y)) y))
53.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
71.0ms	(/ (- (* 1.1283791670955126 (exp z)) (* x y)) y)

simplify72.0ms

Algorithm

egg-herbie

Counts

143 → 143

Iterations

Useful iterations: 2 (53.0ms)

Iter	Nodes	Cost
0	545	1469
1	2439	1265
2	5001	1255

prune228.0ms

Filtered

143 candidates to 87 candidates (60.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	142	1	143
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	144	4	148

Merged error: 0b

Counts

148 → 4

localize9.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 105

Calls

4 calls:

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

series147.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(+ x (/ 1 (- (* 1.1283791670955126 (/ (exp z) y)) x)))
15.0ms	(/ (exp z) y)
75.0ms	(/ 1 (- (* 1.1283791670955126 (/ (exp z) y)) x))
20.0ms	(* 1.1283791670955126 (/ (exp z) y))

simplify49.0ms

Algorithm

egg-herbie

Counts

117 → 117

Iterations

Useful iterations: 2 (40.0ms)

Iter	Nodes	Cost
0	429	750
1	1716	680
2	5002	676

prune199.0ms

Filtered

117 candidates to 80 candidates (68.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	117	0	117
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	117	4	121

Merged error: 0b

Counts

121 → 4

localize16.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt y)
1.0b	(- (* 1.1283791670955126 (exp z)) (* x y))
1.3b	(/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y)))
4.6b	(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y))))

rewrite30.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)))
14.0ms	(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y))))

series571.0ms

Counts

4 → 12

Calls

4 calls:

220.0ms	(cbrt y)
57.0ms	(- (* 1.1283791670955126 (exp z)) (* x y))
203.0ms	(/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y)))
89.0ms	(* (* (cbrt y) (cbrt y)) (/ (cbrt y) (- (* 1.1283791670955126 (exp z)) (* x y))))

simplify79.0ms

Algorithm

egg-herbie

Counts

123 → 123

Iterations

Useful iterations: 2 (61.0ms)

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

prune328.0ms

Filtered

123 candidates to 100 candidates (81.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	123	4	127

Merged error: 0b

Counts

127 → 4

regimes150.0ms

Accuracy

0% (0.0b 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	15	6
1	15	6

end0.0ms

sample506.0ms

Algorithm

intervals

Results

326.0ms

8001×

body

valid

Details

sample20.0ms

simplify5.0ms

prune2.0ms

localize8.0ms

rewrite24.0ms

series175.0ms

simplify39.0ms

prune194.0ms

localize9.0ms

rewrite40.0ms

series216.0ms

simplify72.0ms

prune228.0ms

localize9.0ms

rewrite36.0ms

series147.0ms

simplify49.0ms

prune199.0ms

localize16.0ms

rewrite30.0ms

series571.0ms

simplify79.0ms

prune328.0ms

regimes150.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample506.0ms

Profiling