Details

analyze1.5s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.2%	98.5%	0.3%	13
1.8%	97.9%	0.3%	14

sample48.0ms

Algorithm

intervals

Results

19.0ms	256×	body	80	valid
6.0ms	119×	body	80	invalid

simplify4.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	104	17
1	104	17

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

Counts

2 → 1

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (* z t) 16.0)
0.0b	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
0.0b	(+ (* x y) (/ (* z t) 16.0))
0.0b	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)

rewrite34.0ms

Algorithm

rewrite-expression-head

Rules

20×	`add-log-exp`
13×	`*-un-lft-identity`
9×	`add-exp-log` `add-cbrt-cube`
8×	`add-sqr-sqrt`
6×	`add-cube-cbrt` `sum-log`
4×	`pow1` `diff-log`
3×	`flip3-+` `times-frac` `associate-/r*` `flip-+`
2×	`cbrt-undiv` `+-commutative` `sub-neg` `associate-+l+` `div-exp` `associate--l+` `frac-sub` `distribute-lft-out` `distribute-lft-out--`
1×	`associate-+l-` `flip3--` `frac-2neg` `prod-exp` `clear-num` `flip--` `cbrt-unprod` `div-inv` `associate-/l*` `difference-of-squares`

Counts

4 → 67

Calls

4 calls:

4.0ms	(/ (* z t) 16.0)
12.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
4.0ms	(+ (* x y) (/ (* z t) 16.0))
11.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)

series89.0ms

Counts

4 → 12

Calls

4 calls:

7.0ms	(/ (* z t) 16.0)
25.0ms	(- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0))
11.0ms	(+ (* x y) (/ (* z t) 16.0))
45.0ms	(+ (- (+ (* x y) (/ (* z t) 16.0)) (/ (* a b) 4.0)) c)

simplify39.0ms

Algorithm

egg-herbie

Counts

79 → 79

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5685	1192

prune114.0ms

Filtered

61 candidates to 79 candidates (-29.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	77	2	79
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	77	3	80

Merged error: 0.0b

Counts

80 → 3

localize18.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))) (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
1.0b	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
1.0b	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
1.0b	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

25×	`cbrt-prod`
23×	`add-sqr-sqrt`
18×	`cbrt-div`
15×	`add-cube-cbrt` `*-un-lft-identity`
11×	`pow1`
9×	`flip3-+` `pow1/3` `flip-+`
6×	`add-exp-log` `swap-sqr` `associate-r` `associate-l`
4×	`frac-times` `add-cbrt-cube` `add-log-exp` `unswap-sqr`
2×	`associate-r/` `pow-prod-down` `associate-l/` `pow-sqr` `pow-prod-up`
1×	`pow2` `pow-plus` `prod-exp` `*-commutative` `cbrt-unprod`

Counts

4 → 87

Calls

4 calls:

16.0ms	(* (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))) (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
7.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
6.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
7.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))

series299.0ms

Counts

4 → 12

Calls

4 calls:

115.0ms	(* (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))) (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
60.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
62.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
63.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))

simplify44.0ms

Algorithm

egg-herbie

Counts

99 → 99

Iterations

Useful iterations: 0 (29.0ms)

Iter	Nodes	Cost
0	4921	2577
1	4921	2577

prune265.0ms

Filtered

80 candidates to 99 candidates (-23.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	98	1	99
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	98	4	102

Merged error: 0b

Counts

102 → 4

localize25.0ms

Local error

Found 4 expressions with local error:

0.9b	(pow (cbrt (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))) 4)
1.0b	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
1.0b	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
1.0b	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))

rewrite30.0ms

Algorithm

rewrite-expression-head

Rules

18×	`cbrt-prod`
11×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
9×	`unpow-prod-down`
6×	`cbrt-div`
5×	`pow1` `add-exp-log`
4×	`pow1/3` `add-cbrt-cube` `add-log-exp`
3×	`pow-unpow` `flip3-+` `flip-+`
2×	`pow-pow`
1×	`pow-to-exp` `pow-exp` `sqr-pow`

Counts

4 → 63

Calls

4 calls:

9.0ms	(pow (cbrt (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))) 4)
7.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
7.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
6.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))

series323.0ms

Counts

4 → 12

Calls

4 calls:

139.0ms	(pow (cbrt (cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))) 4)
61.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
62.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))
60.0ms	(cbrt (+ (* x y) (- (* t (/ z 16.0)) (* b (/ a 4.0)))))

simplify63.0ms

Algorithm

egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4925	1620
1	4925	1620

prune249.0ms

Filtered

62 candidates to 75 candidates (-21.0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	75	0	75
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	75	4	79

Merged error: 0b

Counts

79 → 4

localize20.0ms

Local error

Found 4 expressions with local error:

0.0b	(* t (/ z 16.0))
0.1b	(sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
0.1b	(sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
0.3b	(* (sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0)))))) (sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0)))))))

rewrite45.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 119

Calls

4 calls:

6.0ms	(* t (/ z 16.0))
7.0ms	(sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
8.0ms	(sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
20.0ms	(* (sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0)))))) (sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0)))))))

series914.0ms

Counts

4 → 12

Calls

4 calls:

4.0ms	(* t (/ z 16.0))
430.0ms	(sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
429.0ms	(sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0))))))
50.0ms	(* (sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0)))))) (sqrt (+ (* x y) (+ c (- (* t (/ z 16.0)) (* b (/ a 4.0)))))))

simplify35.0ms

Algorithm

egg-herbie

Counts

131 → 131

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5132	2751

prune200.0ms

Filtered

83 candidates to 131 candidates (-57.8%)

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

regimes1.3s

Accuracy

0% (0.1b 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	22	17
1	22	17

end0.0ms

analyze1.4s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
1.2%	98.5%	0.3%	13
1.8%	97.9%	0.3%	14

sample1.1s

Algorithm

intervals

Results

459.0ms	8000×	body	80	valid
205.0ms	3797×	body	80	invalid

Details

analyze1.5s

sample48.0ms

simplify4.0ms

prune10.0ms

localize13.0ms

rewrite34.0ms

series89.0ms

simplify39.0ms

prune114.0ms

localize18.0ms

rewrite38.0ms

series299.0ms

simplify44.0ms

prune265.0ms

localize25.0ms

rewrite30.0ms

series323.0ms

simplify63.0ms

prune249.0ms

localize20.0ms

rewrite45.0ms

series914.0ms

simplify35.0ms

prune200.0ms

regimes1.3s

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.4s

sample1.1s

Profiling