Details

sample415.0ms

Algorithm

intervals

Results

51.0ms	456×	body	80	nan
29.0ms	304×	body	80	valid

simplify132.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	49	14
1	155	14
2	684	14
3	3898	14
4	5001	14

prune6.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: 32.9b

Counts

2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

5.9b	(* (* n (pow (/ l Om) 2.0)) (- U U*))
8.8b	(/ (* l l) Om)
8.9b	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
19.6b	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

32×	`add-exp-log`
30×	`prod-diff`
26×	`add-sqr-sqrt` `*-un-lft-identity`
25×	`pow1`
24×	`add-cube-cbrt`
23×	`add-cbrt-cube`
22×	`associate-*r/`
21×	`distribute-rgt-in` `distribute-lft-in`
16×	`prod-exp`
13×	`pow-prod-down`
11×	`flip3--` `flip--`
10×	`associate--l+` `cbrt-unprod`
8×	`associate-r` `frac-sub`
6×	`sub-neg` `sqrt-div`
4×	`expm1-log1p-u` `sqrt-pow1` `log1p-expm1-u` `add-log-exp`
3×	`times-frac` `div-exp` `associate-/r*`
2×	`cbrt-undiv` `associate-l` `pow-exp` `*-commutative`
1×	`pow-to-exp` `frac-2neg` `pow1/2` `clear-num` `sqrt-prod` `div-inv` `associate-/l*` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 141

Calls

4 calls:

12.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
5.0ms	(/ (* l l) Om)
13.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
15.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

series6.1s

Counts

4 → 12

Calls

4 calls:

351.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
18.0ms	(/ (* l l) Om)
1.3s	(* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
4.5s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

simplify51.0ms

Algorithm

egg-herbie

Counts

153 → 153

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1176	2339
1	5001	2015

prune521.0ms

Filtered

153 candidates to 93 candidates (60.8%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	141	12	153
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	142	12	154

Merged error: 22.7b

Counts

154 → 12

localize23.0ms

Local error

Found 4 expressions with local error:

4.4b	(* n (pow (/ l Om) 2.0))
5.9b	(* (* n (pow (/ l Om) 2.0)) (- U U*))
8.9b	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
19.6b	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

rewrite51.0ms

Algorithm

rewrite-expression-head

Rules

41×	`add-sqr-sqrt`
35×	`add-exp-log`
33×	`*-un-lft-identity`
31×	`add-cube-cbrt`
30×	`prod-diff`
25×	`pow1` `associate-r`
22×	`associate-*r/`
21×	`distribute-rgt-in` `distribute-lft-in`
20×	`add-cbrt-cube`
19×	`prod-exp`
15×	`unpow-prod-down`
13×	`pow-prod-down`
11×	`flip3--` `flip--`
10×	`times-frac` `associate--l+` `cbrt-unprod`
8×	`frac-sub`
6×	`sub-neg` `sqrt-div`
5×	`associate-l`
4×	`expm1-log1p-u` `sqrt-pow1` `pow-exp` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
2×	`pow-to-exp` `div-exp` `sqr-pow`
1×	`pow1/2` `sqrt-prod` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 157

Calls

4 calls:

8.0ms	(* n (pow (/ l Om) 2.0))
11.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
12.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
13.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

series6.3s

Counts

4 → 12

Calls

4 calls:

140.0ms	(* n (pow (/ l Om) 2.0))
351.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
1.3s	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))
4.5s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))

simplify51.0ms

Algorithm

egg-herbie

Counts

169 → 169

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1229	2461
1	5001	2136

prune515.0ms

Filtered

169 candidates to 103 candidates (60.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	165	4	169
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	169	12	181

Merged error: 21.0b

Counts

181 → 12

localize25.0ms

Local error

Found 4 expressions with local error:

5.4b	(* n (pow (/ l Om) (/ 2.0 2)))
5.9b	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
8.9b	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
19.6b	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

99×	`add-exp-log`
67×	`prod-exp`
41×	`add-sqr-sqrt`
33×	`*-un-lft-identity`
31×	`add-cube-cbrt`
30×	`prod-diff`
25×	`pow1` `associate-r`
24×	`add-cbrt-cube`
22×	`associate-*r/`
21×	`distribute-rgt-in` `distribute-lft-in`
20×	`pow-exp`
15×	`unpow-prod-down`
13×	`pow-prod-down` `cbrt-unprod`
11×	`flip3--` `flip--`
10×	`pow-to-exp` `times-frac` `div-exp` `associate--l+`
8×	`frac-sub`
6×	`sub-neg` `sqrt-div`
5×	`associate-l`
4×	`expm1-log1p-u` `sqrt-pow1` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
2×	`sqr-pow`
1×	`pow1/2` `sqrt-prod` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 174

Calls

4 calls:

8.0ms	(* n (pow (/ l Om) (/ 2.0 2)))
17.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
13.0ms	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
13.0ms	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

series6.3s

Counts

4 → 12

Calls

4 calls:

154.0ms	(* n (pow (/ l Om) (/ 2.0 2)))
338.0ms	(* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))
1.2s	(* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*))))
4.6s	(sqrt (* (* (* 2.0 n) U) (- (- t (* 2.0 (* l (/ l Om)))) (* (* (* n (pow (/ l Om) (/ 2.0 2))) (pow (/ l Om) (/ 2.0 2))) (- U U*)))))

simplify65.0ms

Algorithm

egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1355	3511
1	5002	2841

prune555.0ms

Filtered

186 candidates to 107 candidates (57.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	184	2	186
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	185	13	198

Merged error: 20.8b

Counts

198 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

4.4b	(* n (pow (/ l Om) 2.0))
5.3b	(* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
5.9b	(* (* n (pow (/ l Om) 2.0)) (- U U*))
19.6b	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))

rewrite60.0ms

Algorithm

rewrite-expression-head

Rules

51×	`distribute-rgt-in` `distribute-lft-in`
44×	`add-sqr-sqrt`
42×	`prod-diff`
38×	`add-exp-log`
36×	`*-un-lft-identity`
34×	`add-cube-cbrt` `associate-*r/`
31×	`pow1`
23×	`associate-r` `add-cbrt-cube`
21×	`prod-exp`
20×	`associate--l+`
17×	`pow-prod-down`
15×	`unpow-prod-down`
12×	`cbrt-unprod`
11×	`flip3--` `flip--`
10×	`sub-neg` `times-frac`
8×	`frac-sub`
6×	`sqrt-div`
5×	`sqrt-pow1` `associate-l`
4×	`expm1-log1p-u` `pow-exp` `log1p-expm1-u` `add-log-exp` `unswap-sqr`
3×	`*-commutative`
2×	`pow-to-exp` `div-exp` `sqr-pow`
1×	`pow1/2` `sqrt-prod` `div-inv` `distribute-lft-out--` `difference-of-squares`

Counts

4 → 179

Calls

4 calls:

8.0ms	(* n (pow (/ l Om) 2.0))
17.0ms	(* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
11.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
16.0ms	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))

series6.2s

Counts

4 → 12

Calls

4 calls:

134.0ms	(* n (pow (/ l Om) 2.0))
1.3s	(* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*)))))
352.0ms	(* (* n (pow (/ l Om) 2.0)) (- U U*))
4.5s	(sqrt (* (* 2.0 n) (* U (- (- t (* 2.0 (* l (/ l Om)))) (* (* n (pow (/ l Om) 2.0)) (- U U*))))))

simplify64.0ms

Algorithm

egg-herbie

Counts

191 → 191

Iterations

Useful iterations: 1 (30.0ms)

Iter	Nodes	Cost
0	1406	2974
1	5001	2579

prune468.0ms

Filtered

191 candidates to 103 candidates (53.9%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	188	3	191
Fresh	1	11	12
Picked	0	1	1
Done	0	0	0
Total	189	15	204

Merged error: 17.3b

Counts

204 → 15

regimes808.0ms

Accuracy

31.6% (9.1b remaining)

Error of 27.7b against oracle of 18.7b and baseline of 31.9b

bsearch123.0ms

Steps

Iters	Range		Point
9	-1.703250821478267e-307	1.215292681693888e-303	2.784735509687325e-308

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	34
1	46	34

end0.0ms

sample3.1s

Algorithm

intervals

Results

1.4s	15121×	body	80	nan
833.0ms	9265×	body	80	valid

Details

sample415.0ms

simplify132.0ms

prune6.0ms

localize21.0ms

rewrite60.0ms

series6.1s

simplify51.0ms

prune521.0ms

localize23.0ms

rewrite51.0ms

series6.3s

simplify51.0ms

prune515.0ms

localize25.0ms

rewrite60.0ms

series6.3s

simplify65.0ms

prune555.0ms

localize17.0ms

rewrite60.0ms

series6.2s

simplify64.0ms

prune468.0ms

regimes808.0ms

bsearch123.0ms

simplify2.0ms

end0.0ms

sample3.1s

Profiling