Details

sample17.0ms

Algorithm

intervals

Results

8.0ms

290×

body

valid

simplify6.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	4
1	20	4
2	22	4
3	22	4

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: 0.0b

Counts

2 → 1

localize6.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ (/ x 2.0) (* y x)) z)
0.0b	(+ (/ x 2.0) (* y x))

rewrite14.0ms

Algorithm

rewrite-expression-head

Rules

9×	`add-log-exp`
4×	`*-un-lft-identity` `sum-log`
2×	`pow1` `add-exp-log` `+-commutative` `add-sqr-sqrt` `add-cube-cbrt` `flip3-+` `add-cbrt-cube` `flip-+`
1×	`associate-+l+` `distribute-lft-out`

Counts

2 → 25

Calls

2 calls:

8.0ms	(+ (+ (/ x 2.0) (* y x)) z)
6.0ms	(+ (/ x 2.0) (* y x))

series68.0ms

Counts

2 → 6

Calls

2 calls:

27.0ms	(+ (+ (/ x 2.0) (* y x)) z)
41.0ms	(+ (/ x 2.0) (* y x))

simplify50.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 3 (46.0ms)

Iter	Nodes	Cost
0	163	180
1	542	168
2	1917	162
3	5001	160

prune49.0ms

Filtered

31 candidates to 22 candidates (71.0%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	29	2	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	29	3	32

Merged error: 0.0b

Counts

32 → 3

localize8.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ x 2.0) (* y x))
0.0b	(sqrt (+ (/ x 2.0) (* y x)))
0.0b	(sqrt (+ (/ x 2.0) (* y x)))
0.2b	(* (sqrt (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))))

rewrite33.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-sqr-sqrt`
24×	`sqrt-prod`
21×	`pow1`
16×	`sqrt-div`
14×	`add-cube-cbrt` `*-un-lft-identity`
10×	`sqrt-pow1` `pow1/2`
9×	`flip3-+` `flip-+`
8×	`swap-sqr`
6×	`add-exp-log` `associate-r` `associate-l` `add-cbrt-cube` `add-log-exp`
5×	`pow-prod-up`
4×	`frac-times` `unswap-sqr`
3×	`pow-prod-down` `pow-sqr`
2×	`rem-sqrt-square` `associate-r/` `associate-l/`
1×	`+-commutative` `pow2` `pow-plus` `sqrt-unprod` `prod-exp` `sum-log` `rem-square-sqrt` `*-commutative` `cbrt-unprod`

Counts

4 → 98

Calls

4 calls:

6.0ms	(+ (/ x 2.0) (* y x))
5.0ms	(sqrt (+ (/ x 2.0) (* y x)))
5.0ms	(sqrt (+ (/ x 2.0) (* y x)))
15.0ms	(* (sqrt (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))))

series173.0ms

Counts

4 → 12

Calls

4 calls:

39.0ms	(+ (/ x 2.0) (* y x))
48.0ms	(sqrt (+ (/ x 2.0) (* y x)))
46.0ms	(sqrt (+ (/ x 2.0) (* y x)))
41.0ms	(* (sqrt (+ (/ x 2.0) (* y x))) (sqrt (+ (/ x 2.0) (* y x))))

simplify198.0ms

Algorithm

egg-herbie

Counts

110 → 110

Iterations

Useful iterations: 2 (28.0ms)

Iter	Nodes	Cost
0	237	770
1	882	692
2	4930	666
3	5003	666

prune169.0ms

Filtered

110 candidates to 65 candidates (59.1%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	110	0	110
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	110	3	113

Merged error: 0.0b

Counts

113 → 3

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (/ x 2.0) (* y x))
0.1b	(* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x)))
4.9b	(- (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (* z z))
32.1b	(/ (- (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (* z z)) (- (+ (/ x 2.0) (* y x)) z))

rewrite58.0ms

Algorithm

rewrite-expression-head

Rules

31×	`add-sqr-sqrt`
29×	`*-un-lft-identity`
20×	`times-frac`
19×	`add-cube-cbrt`
12×	`difference-of-squares`
11×	`pow1`
8×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
7×	`flip3-+` `flip-+`
5×	`associate-/r*` `distribute-lft-out--`
4×	`frac-times` `associate-/l*`
3×	`flip3--` `swap-sqr` `associate-r` `associate-l` `flip--`
2×	`distribute-rgt-in` `distribute-lft-in` `associate-r/` `associate-l/` `associate--l+` `associate-/r/` `associate-/l/`
1×	`cbrt-undiv` `+-commutative` `pow2` `sub-neg` `frac-2neg` `pow-plus` `diff-log` `div-sub` `div-exp` `pow-prod-down` `prod-exp` `clear-num` `sum-log` `pow-sqr` `*-commutative` `pow-prod-up` `cbrt-unprod` `div-inv` `unswap-sqr`

Counts

4 → 107

Calls

4 calls:

6.0ms	(+ (/ x 2.0) (* y x))
13.0ms	(* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x)))
13.0ms	(- (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (* z z))
24.0ms	(/ (- (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (* z z)) (- (+ (/ x 2.0) (* y x)) z))

series317.0ms

Counts

4 → 12

Calls

4 calls:

43.0ms	(+ (/ x 2.0) (* y x))
38.0ms	(* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x)))
100.0ms	(- (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (* z z))
135.0ms	(/ (- (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (* z z)) (- (+ (/ x 2.0) (* y x)) z))

simplify84.0ms

Algorithm

egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 2 (68.0ms)

Iter	Nodes	Cost
0	506	1635
1	2521	1464
2	5001	1409

prune240.0ms

Filtered

119 candidates to 86 candidates (72.3%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	118	1	119
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	118	4	122

Merged error: 0b

Counts

122 → 4

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(- (/ (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (- (+ (/ x 2.0) (* y x)) z)) (/ (* z z) (- (+ (/ x 2.0) (* y x)) z)))
0.1b	(* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x)))
18.6b	(/ (* z z) (- (+ (/ x 2.0) (* y x)) z))
22.1b	(/ (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (- (+ (/ x 2.0) (* y x)) z))

rewrite84.0ms

Algorithm

rewrite-expression-head

Rules

30×	`add-sqr-sqrt`
22×	`*-un-lft-identity`
16×	`add-exp-log` `add-cbrt-cube`
14×	`times-frac`
12×	`add-cube-cbrt` `flip3-+` `flip-+`
11×	`pow1`
10×	`associate-/r*`
8×	`frac-times` `associate-/r/` `associate-/l/` `difference-of-squares`
6×	`add-log-exp`
5×	`flip3--` `flip--` `distribute-lft-out--`
4×	`cbrt-undiv` `associate-r/` `div-exp` `associate-l/` `div-inv`
3×	`distribute-rgt-out--` `swap-sqr` `associate-r` `associate-l` `prod-exp` `cbrt-unprod`
2×	`frac-2neg` `clear-num` `associate-/l*`
1×	`pow2` `distribute-rgt-in` `sub-neg` `distribute-lft-in` `pow-plus` `diff-log` `pow-prod-down` `pow-sqr` `*-commutative` `pow-prod-up` `frac-sub` `sub-div` `unswap-sqr`

Counts

4 → 119

Calls

4 calls:

35.0ms	(- (/ (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (- (+ (/ x 2.0) (* y x)) z)) (/ (* z z) (- (+ (/ x 2.0) (* y x)) z)))
13.0ms	(* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x)))
11.0ms	(/ (* z z) (- (+ (/ x 2.0) (* y x)) z))
21.0ms	(/ (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (- (+ (/ x 2.0) (* y x)) z))

series440.0ms

Counts

4 → 12

Calls

4 calls:

214.0ms	(- (/ (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (- (+ (/ x 2.0) (* y x)) z)) (/ (* z z) (- (+ (/ x 2.0) (* y x)) z)))
37.0ms	(* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x)))
97.0ms	(/ (* z z) (- (+ (/ x 2.0) (* y x)) z))
91.0ms	(/ (* (+ (/ x 2.0) (* y x)) (+ (/ x 2.0) (* y x))) (- (+ (/ x 2.0) (* y x)) z))

simplify96.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 2 (79.0ms)

Iter	Nodes	Cost
0	558	1760
1	2967	1625
2	5001	1592

prune260.0ms

Filtered

131 candidates to 92 candidates (70.2%)

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	131	0	131
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	131	4	135

Merged error: 0b

Counts

135 → 4

regimes91.0ms

Accuracy

0% (0.0b remaining)

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

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	4
1	11	4

end0.0ms

sample466.0ms

Algorithm

intervals

Results

266.0ms	9196×	body	80	valid
0.0ms	1×	body	1280	valid

Details

sample17.0ms

simplify6.0ms

prune2.0ms

localize6.0ms

rewrite14.0ms

series68.0ms

simplify50.0ms

prune49.0ms

localize8.0ms

rewrite33.0ms

series173.0ms

simplify198.0ms

prune169.0ms

localize13.0ms

rewrite58.0ms

series317.0ms

simplify84.0ms

prune240.0ms

localize12.0ms

rewrite84.0ms

series440.0ms

simplify96.0ms

prune260.0ms

regimes91.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample466.0ms

Profiling