Details

analyze3.0ms

Algorithm

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	25%	25%	3
50%	12.5%	37.5%	4
50%	6.2%	43.8%	5
50%	3.1%	46.9%	6
50%	1.6%	48.5%	7
50%	0.8%	49.2%	8
50%	0.4%	49.6%	9
50%	0.2%	49.8%	10
50%	0.1%	49.9%	11
50%	0%	50%	12
50%	0%	50%	13
50%	0%	50%	14

sample16.0ms

Algorithm

intervals

Results

10.0ms

256×

body

valid

simplify62.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	4970	14
1	4970	14

prune7.0ms

Filtered

1 candidates to 1 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 → 2

localize8.0ms

Local error

Found 3 expressions with local error:

0.0b	(+ x (+ 1.0 (* 4.0 (sqrt x))))
0.0b	(* 6.0 (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))
0.1b	(/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))

rewrite32.0ms

Algorithm

rewrite-expression-head

Rules

67×	`*-un-lft-identity`
48×	`add-sqr-sqrt`
41×	`times-frac`
26×	`associate-r`
25×	`add-cube-cbrt`
12×	`distribute-lft-out`
10×	`add-exp-log` `add-cbrt-cube`
9×	`distribute-lft-out--` `difference-of-squares`
8×	`add-log-exp`
5×	`pow1` `associate-/l*`
4×	`associate-/r*` `associate-/r/`
3×	`flip3-+` `associate-l` `sum-log` `flip-+`
2×	`cbrt-undiv` `div-exp` `prod-exp` `cbrt-unprod` `div-inv` `associate-/l/` `unswap-sqr`
1×	`+-commutative` `associate-+r+` `flip3--` `frac-2neg` `div-sub` `associate-r/` `pow-prod-down` `clear-num` `-commutative` `flip--`

Counts

3 → 105

Calls

3 calls:

5.0ms	(+ x (+ 1.0 (* 4.0 (sqrt x))))
16.0ms	(* 6.0 (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))
8.0ms	(/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))

series19.0ms

Counts

3 → 9

Calls

3 calls:

4.0ms	(+ x (+ 1.0 (* 4.0 (sqrt x))))
8.0ms	(* 6.0 (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))
8.0ms	(/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))

simplify33.0ms

Algorithm

egg-herbie

Counts

114 → 114

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	5591	1958

prune158.0ms

Filtered

82 candidates to 114 candidates (-39.0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	112	2	114
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	113	3	116

Merged error: 0b

Counts

116 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.0b	(exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))
0.0b	(* 6.0 (log (exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))))
0.0b	(log (exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))))
0.1b	(/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))

rewrite52.0ms

Algorithm

rewrite-expression-head

Rules

126×	`*-un-lft-identity`
86×	`add-sqr-sqrt`
80×	`times-frac`
78×	`exp-prod`
54×	`log-pow`
50×	`add-cube-cbrt`
30×	`associate-r`
21×	`distribute-lft-out`
17×	`distribute-lft-out--` `difference-of-squares`
9×	`log-prod`
8×	`pow1` `add-exp-log` `associate-/r/` `add-cbrt-cube`
5×	`associate-/l*` `add-log-exp`
4×	`flip3-+` `associate-/r*` `flip-+` `div-inv`
3×	`distribute-rgt-in` `distribute-lft-in` `div-sub` `associate-l`
2×	`exp-diff` `associate-/l/`
1×	`cbrt-undiv` `log-div` `flip3--` `frac-2neg` `div-exp` `rem-log-exp` `pow-prod-down` `prod-exp` `clear-num` `*-commutative` `flip--` `cbrt-unprod` `rem-exp-log` `unswap-sqr`

Counts

4 → 171

Calls

4 calls:

9.0ms	(exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))
17.0ms	(* 6.0 (log (exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))))
10.0ms	(log (exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))))
9.0ms	(/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))

series36.0ms

Counts

4 → 12

Calls

4 calls:

9.0ms	(exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))
12.0ms	(* 6.0 (log (exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x))))))))
7.0ms	(log (exp (/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))))
8.0ms	(/ (- x 1.0) (+ x (+ 1.0 (* 4.0 (sqrt x)))))

simplify69.0ms

Algorithm

egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (51.0ms)

Iter	Nodes	Cost
0	4977	3258
1	4977	3258

prune301.0ms

Filtered

131 candidates to 183 candidates (-39.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	183	0	183
Fresh	0	2	2
Picked	0	1	1
Done	0	0	0
Total	183	3	186

Merged error: 0b

Counts

186 → 3

localize8.0ms

Local error

Found 2 expressions with local error:

0.0b	(+ (+ x 1.0) (* 4.0 (sqrt x)))
0.1b	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

rewrite18.0ms

Algorithm

rewrite-expression-head

Rules

7×	`add-exp-log` `add-cbrt-cube` `add-log-exp`
4×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
3×	`times-frac` `associate-/r*` `sum-log`
2×	`pow1` `cbrt-undiv` `flip3-+` `associate-*r/` `div-exp` `associate-/r/` `flip-+` `associate-/l/`
1×	`+-commutative` `associate-+l+` `flip3--` `frac-2neg` `prod-exp` `clear-num` `flip--` `cbrt-unprod` `div-inv` `associate-/l*`

Counts

2 → 38

Calls

2 calls:

5.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
12.0ms	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

series12.0ms

Counts

2 → 6

Calls

2 calls:

4.0ms	(+ (+ x 1.0) (* 4.0 (sqrt x)))
8.0ms	(/ (* 6.0 (- x 1.0)) (+ (+ x 1.0) (* 4.0 (sqrt x))))

simplify36.0ms

Algorithm

egg-herbie

Counts

44 → 44

Iterations

Useful iterations: 0 (30.0ms)

Iter	Nodes	Cost
0	5137	731

prune60.0ms

Filtered

37 candidates to 44 candidates (-18.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	44	0	44
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	44	3	47

Merged error: 0b

Counts

47 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))
0.0b	(* 6.0 (/ (/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))))
0.1b	(/ (/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x))))))
0.3b	(/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x))))))

rewrite168.0ms

Algorithm

rewrite-expression-head

Rules

1144×	`times-frac`
1019×	`*-un-lft-identity`
714×	`add-sqr-sqrt`
665×	`sqrt-prod`
463×	`add-cube-cbrt`
293×	`associate-r`
165×	`distribute-lft-out`
113×	`distribute-lft-out--` `difference-of-squares`
46×	`associate-/l*`
38×	`sqrt-div`
36×	`associate-/r/`
20×	`add-exp-log` `add-cbrt-cube`
19×	`flip3-+` `flip-+`
18×	`div-inv`
14×	`associate-/r*`
7×	`pow1` `cbrt-undiv` `div-exp` `unswap-sqr`
4×	`add-log-exp`
3×	`div-sub` `associate-l` `prod-exp` `cbrt-unprod` `associate-/l/`
2×	`frac-2neg` `clear-num`
1×	`rem-sqrt-square` `flip3--` `sqrt-pow1` `pow1/2` `associate-r/` `pow-prod-down` `-commutative` `flip--`

Counts

4 → 752

Calls

4 calls:

4.0ms	(sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))
70.0ms	(* 6.0 (/ (/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))))
24.0ms	(/ (/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x))))))
9.0ms	(/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x))))))

series44.0ms

Counts

4 → 12

Calls

4 calls:

13.0ms	(sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))
8.0ms	(* 6.0 (/ (/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))))
7.0ms	(/ (/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x)))))) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x))))))
16.0ms	(/ (- x 1.0) (sqrt (+ x (+ 1.0 (* 4.0 (sqrt x))))))

simplify160.0ms

Algorithm

egg-herbie

Counts

764 → 764

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5083	21055

prune1.2s

Filtered

264 candidates to 764 candidates (-189.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	764	0	764
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	764	3	767

Merged error: 0b

Counts

767 → 3

regimes59.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 (1.0ms)

Iter	Nodes	Cost
0	27	16
1	27	16

end0.0ms

sample410.0ms

Algorithm

intervals

Results

312.0ms	8000×	body	80	valid
0.0ms	3×	body	80	nan

Details

analyze3.0ms

sample16.0ms

simplify62.0ms

prune7.0ms

localize8.0ms

rewrite32.0ms

series19.0ms

simplify33.0ms

prune158.0ms

localize15.0ms

rewrite52.0ms

series36.0ms

simplify69.0ms

prune301.0ms

localize8.0ms

rewrite18.0ms

series12.0ms

simplify36.0ms

prune60.0ms

localize11.0ms

rewrite168.0ms

series44.0ms

simplify160.0ms

prune1.2s

regimes59.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample410.0ms

Profiling