Details

analyze1.0s

Algorithm: search

sample43.0ms

Algorithm

intervals

Results

17.0ms	256×	body	80	valid
7.0ms	90×	body	80	invalid
3.0ms	63×	body	80	nan

simplify105.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 2 (3.0ms)

Iter	Nodes	Cost
0	24	7
1	48	7
2	96	6
3	256	6
4	891	6
5	3963	6
6	5002	6

prune8.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: 1.8b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ 1.0 (* 10.0 k))
0.0b	(+ (+ 1.0 (* 10.0 k)) (* k k))
0.2b	(* a (pow k m))
1.8b	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite21.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 74

Calls

4 calls:

2.0ms	(+ 1.0 (* 10.0 k))
4.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
5.0ms	(* a (pow k m))
8.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

series54.0ms

Counts

4 → 12

Calls

4 calls:

3.0ms	(+ 1.0 (* 10.0 k))
3.0ms	(+ (+ 1.0 (* 10.0 k)) (* k k))
17.0ms	(* a (pow k m))
32.0ms	(/ (* a (pow k m)) (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify57.0ms

Algorithm

egg-herbie

Counts

86 → 86

Iterations

Useful iterations: 2 (49.0ms)

Iter	Nodes	Cost
0	471	611
1	2227	545
2	5002	538

prune103.0ms

Filtered

63 candidates to 86 candidates (-36.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	84	2	86
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	84	3	87

Merged error: 1.8b

Counts

87 → 3

localize12.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
0.0b	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
12.6b	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
12.6b	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

rewrite57.0ms

Algorithm

rewrite-expression-head

Rules

131×	`add-sqr-sqrt`
110×	`times-frac`
64×	`sqrt-prod`
61×	`add-cube-cbrt` `*-un-lft-identity`
48×	`associate-r`
30×	`add-exp-log`
24×	`unpow-prod-down` `associate-l`
21×	`unswap-sqr`
18×	`add-cbrt-cube`
12×	`sqr-pow`
11×	`div-exp`
10×	`sqrt-div`
8×	`pow1` `prod-exp`
6×	`associate-/r*` `associate-/r/`
5×	`cbrt-undiv` `flip3-+` `flip-+`
4×	`cbrt-unprod` `add-log-exp`
3×	`div-inv` `associate-/l*`
2×	`pow-to-exp` `rem-sqrt-square` `sqrt-pow1` `pow1/2` `pow-exp`
1×	`frac-times` `frac-2neg` `associate-r/` `pow-prod-down` `associate-l/` `clear-num` `*-commutative`

Counts

4 → 188

Calls

4 calls:

8.0ms	(/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
32.0ms	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

series57.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k))))
32.0ms	(* (/ a (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))) (/ (pow k m) (sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))))
3.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))
4.0ms	(sqrt (+ (+ 1.0 (* 10.0 k)) (* k k)))

simplify108.0ms

Algorithm

egg-herbie

Counts

200 → 200

Iterations

Useful iterations: 2 (78.0ms)

Iter	Nodes	Cost
0	924	3148
1	4287	2938
2	5001	2834

prune349.0ms

Filtered

132 candidates to 200 candidates (-51.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	200	0	200
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	200	3	203

Merged error: 1.8b

Counts

203 → 3

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (/ (+ 1.0 (* k (+ 10.0 k))) a) (pow k m))
0.0b	(* k (+ 10.0 k))
0.2b	(/ 1 (/ (/ (+ 1.0 (* k (+ 10.0 k))) a) (pow k m)))
4.1b	(/ (+ 1.0 (* k (+ 10.0 k))) a)

rewrite82.0ms

Algorithm

rewrite-expression-head

Rules

1073×	`times-frac`
500×	`add-sqr-sqrt` `*-un-lft-identity`
498×	`add-cube-cbrt`
198×	`unpow-prod-down`
105×	`associate-/r*`
70×	`add-exp-log`
66×	`sqr-pow`
51×	`div-exp`
43×	`div-inv`
22×	`add-cbrt-cube`
19×	`associate-/l*`
10×	`cbrt-undiv`
8×	`pow-to-exp` `pow-exp`
7×	`pow1` `rec-exp` `1-exp`
4×	`associate-r` `add-log-exp`
3×	`frac-2neg` `associate-l` `clear-num` `associate-/l/`
2×	`flip3-+` `associate-*r/` `flip-+`
1×	`distribute-rgt-in` `pow-flip` `distribute-lft-in` `pow-prod-down` `prod-exp` `associate-/r/` `*-commutative` `cbrt-unprod` `distribute-lft-out` `inv-pow` `unswap-sqr`

Counts

4 → 602

Calls

4 calls:

9.0ms	(/ (/ (+ 1.0 (* k (+ 10.0 k))) a) (pow k m))
6.0ms	(* k (+ 10.0 k))
20.0ms	(/ 1 (/ (/ (+ 1.0 (* k (+ 10.0 k))) a) (pow k m)))
5.0ms	(/ (+ 1.0 (* k (+ 10.0 k))) a)

series75.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(/ (/ (+ 1.0 (* k (+ 10.0 k))) a) (pow k m))
4.0ms	(* k (+ 10.0 k))
35.0ms	(/ 1 (/ (/ (+ 1.0 (* k (+ 10.0 k))) a) (pow k m)))
6.0ms	(/ (+ 1.0 (* k (+ 10.0 k))) a)

simplify313.0ms

Algorithm

egg-herbie

Counts

614 → 614

Iterations

Useful iterations: 1 (43.0ms)

Iter	Nodes	Cost
0	2203	9184
1	5001	8752

prune996.0ms

Filtered

380 candidates to 614 candidates (-61.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	613	1	614
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	613	4	617

Merged error: 1.8b

Counts

617 → 4

localize18.0ms

Local error

Found 4 expressions with local error:

0.2b	(/ 1 (+ (* 1.0 (/ 1 a)) (- (* 10.0 (/ k a)) (* 1.0 (+ (/ (* (log 1) m) a) (/ (* m (log k)) a))))))
0.2b	(/ (* m (log k)) a)
0.2b	(* 10.0 (/ k a))
0.3b	(* m (log k))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

33×	`add-sqr-sqrt`
26×	`add-cube-cbrt` `*-un-lft-identity`
22×	`times-frac`
20×	`add-exp-log`
18×	`associate-*r/` `add-cbrt-cube`
17×	`associate-r`
12×	`frac-add` `associate-/r/`
10×	`pow1`
6×	`log-prod` `associate-l` `associate-/r*` `frac-sub`
5×	`div-exp` `un-div-inv`
4×	`cbrt-undiv` `prod-exp` `cbrt-unprod` `associate-/l*` `add-log-exp`
3×	`distribute-rgt-in` `distribute-lft-in` `flip3-+` `flip-+` `div-inv` `unswap-sqr`
2×	`flip3--` `frac-2neg` `pow-prod-down` `clear-num` `*-commutative` `flip--`
1×	`rec-exp` `pow-flip` `1-exp` `log-pow` `inv-pow`

Counts

4 → 121

Calls

4 calls:

12.0ms	(/ 1 (+ (* 1.0 (/ 1 a)) (- (* 10.0 (/ k a)) (* 1.0 (+ (/ (* (log 1) m) a) (/ (* m (log k)) a))))))
5.0ms	(/ (* m (log k)) a)
6.0ms	(* 10.0 (/ k a))
4.0ms	(* m (log k))

series60.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(/ 1 (+ (* 1.0 (/ 1 a)) (- (* 10.0 (/ k a)) (* 1.0 (+ (/ (* (log 1) m) a) (/ (* m (log k)) a))))))
13.0ms	(/ (* m (log k)) a)
3.0ms	(* 10.0 (/ k a))
7.0ms	(* m (log k))

simplify92.0ms

Algorithm

egg-herbie

Counts

133 → 133

Iterations

Useful iterations: 2 (77.0ms)

Iter	Nodes	Cost
0	763	1538
1	3586	1416
2	5001	1400

prune171.0ms

Filtered

85 candidates to 133 candidates (-56.5%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	132	1	133
Fresh	0	0	0
Picked	1	0	1
Done	0	3	3
Total	133	4	137

Merged error: 1.8b

Counts

137 → 4

regimes194.0ms

Accuracy

0% (0.0b remaining)

Error of 1.8b against oracle of 1.8b and baseline of 1.8b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	7
1	16	7

end0.0ms

analyze996.0ms

Algorithm: search

sample1.2s

Algorithm

intervals

Results

530.0ms	8000×	body	80	valid
255.0ms	3094×	body	80	invalid
91.0ms	2044×	body	80	nan

Details

analyze1.0s

sample43.0ms

simplify105.0ms

prune8.0ms

localize10.0ms

rewrite21.0ms

series54.0ms

simplify57.0ms

prune103.0ms

localize12.0ms

rewrite57.0ms

series57.0ms

simplify108.0ms

prune349.0ms

localize10.0ms

rewrite82.0ms

series75.0ms

simplify313.0ms

prune996.0ms

localize18.0ms

rewrite31.0ms

series60.0ms

simplify92.0ms

prune171.0ms

regimes194.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze996.0ms

sample1.2s

Profiling