Details

analyze1.9s

Algorithm

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
15.6%	84.3%	0.1%	8
15.6%	84.3%	0.1%	9
15.6%	84.3%	0.1%	10
30.4%	69.4%	0.1%	11
30.4%	69.4%	0.1%	12
30.4%	69.4%	0.1%	13
39.6%	60.3%	0.1%	14

sample104.0ms

Algorithm

intervals

Results

41.0ms	48×	body	1280	valid
24.0ms	36×	body	640	valid
16.0ms	141×	body	80	valid
11.0ms	26×	body	320	valid
1.0ms	5×	body	160	valid

simplify118.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (109.0ms)

Iter	Nodes	Cost
0	4872	37
1	4872	37

prune3.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: 19.4b

Counts

2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.1b	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
0.2b	(pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
8.3b	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.9b	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

28×	`add-exp-log_binary64`
20×	`pow1_binary64`
18×	`add-cbrt-cube_binary64`
15×	`*-un-lft-identity_binary64`
12×	`prod-exp_binary64` `add-sqr-sqrt_binary64`
11×	`add-cube-cbrt_binary64`
10×	`associate-r_binary64`
9×	`pow-prod-down_binary64` `cbrt-unprod_binary64`
8×	`sqrt-prod_binary64`
7×	`unpow-prod-down_binary64`
4×	`add-log-exp_binary64` `pow-exp_binary64` `sqrt-div_binary64`
3×	`pow-unpow_binary64` `times-frac_binary64` `div-exp_binary64`
2×	`flip3-+_binary64` `distribute-lft-out_binary64` `associate-r/_binary64` `associate-l_binary64` `flip-+_binary64` `-commutative_binary64`
1×	`pow-to-exp_binary64` `pow1/2_binary64` `unpow2_binary64` `pow-pow_binary64` `sqr-pow_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `div-inv_binary64`

Counts

4 → 86

Calls

4 calls:

6.0ms	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
8.0ms	(pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
15.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
8.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

series479.0ms

Counts

4 → 12

Calls

4 calls:

37.0ms	(.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))
109.0ms	(pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)
174.0ms	(.f64 (.f64 (.f64 -2 J) (cos.f64 (/.f64 K 2))) (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
159.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

simplify74.0ms

Algorithm

egg-herbie

Counts

98 → 98

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5201	2394

prune121.0ms

Filtered

62 candidates to 98 candidates (-58.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	92	6	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	92	7	99

Merged error: 14.4b

Counts

99 → 7

localize18.0ms

Local error

Found 4 expressions with local error:

8.4b	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
8.4b	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.9b	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
9.9b	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite39.0ms

Algorithm

rewrite-expression-head

Rules

32×	`sqrt-prod_binary64`
18×	`*-un-lft-identity_binary64`
16×	`add-sqr-sqrt_binary64`
12×	`sqrt-div_binary64`
10×	`pow1_binary64` `add-cube-cbrt_binary64` `sqrt-pow1_binary64`
6×	`pow1/2_binary64` `rem-sqrt-square_binary64`
4×	`flip3-+_binary64` `add-log-exp_binary64` `distribute-lft-out_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`

Counts

4 → 76

Calls

4 calls:

9.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
8.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
10.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

series869.0ms

Counts

4 → 12

Calls

4 calls:

284.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
291.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
145.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
149.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

simplify81.0ms

Algorithm

egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (53.0ms)

Iter	Nodes	Cost
0	4957	2368
1	4957	2368

prune170.0ms

Filtered

60 candidates to 88 candidates (-46.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	87	1	88
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	88	7	95

Merged error: 14.4b

Counts

95 → 7

localize24.0ms

Local error

Found 4 expressions with local error:

8.4b	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
9.9b	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
16.9b	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
16.9b	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

rewrite37.0ms

Algorithm

rewrite-expression-head

Rules

17×	`*-un-lft-identity_binary64`
16×	`sqrt-prod_binary64`
12×	`add-sqr-sqrt_binary64`
9×	`add-cube-cbrt_binary64`
8×	`cbrt-prod_binary64`
7×	`pow1_binary64`
6×	`sqrt-div_binary64`
5×	`sqrt-pow1_binary64`
4×	`cbrt-div_binary64` `flip3-+_binary64` `add-log-exp_binary64` `distribute-lft-out_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `flip-+_binary64`
3×	`pow1/2_binary64` `rem-sqrt-square_binary64`
2×	`pow1/3_binary64`

Counts

4 → 66

Calls

4 calls:

9.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
8.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
8.0ms	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
8.0ms	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

series1.0s

Counts

4 → 12

Calls

4 calls:

290.0ms	(sqrt.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))
143.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
288.0ms	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
287.0ms	(cbrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))

simplify127.0ms

Algorithm

egg-herbie

Counts

78 → 78

Iterations

Useful iterations: 0 (101.0ms)

Iter	Nodes	Cost
0	4889	2264
1	4889	2264

prune226.0ms

Filtered

58 candidates to 78 candidates (-34.5%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	78	0	78
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	78	7	85

Merged error: 14.4b

Counts

85 → 7

localize28.0ms

Local error

Found 4 expressions with local error:

4.7b	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 6)))
4.9b	(sqrt.f64 (+.f64 (.f64 1 1) (-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))))
15.4b	(-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
23.1b	(/.f64 (.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 6))) (.f64 (cos.f64 (/.f64 K 2)) (.f64 J -2))) (sqrt.f64 (+.f64 (.f64 1 1) (-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))))

rewrite77.0ms

Algorithm

rewrite-expression-head

Rules

18×	`add-exp-log_binary64` `add-cbrt-cube_binary64`
16×	`sqrt-prod_binary64`
15×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
10×	`add-cube-cbrt_binary64`
8×	`sqrt-div_binary64`
7×	`associate-/r*_binary64` `times-frac_binary64`
6×	`add-log-exp_binary64` `pow1_binary64` `cbrt-unprod_binary64` `prod-exp_binary64`
4×	`flip3-+_binary64` `distribute-lft-out_binary64` `cbrt-undiv_binary64` `div-exp_binary64` `flip-+_binary64`
2×	`associate-/l/_binary64` `pow1/2_binary64` `associate-/r/_binary64` `sqrt-pow1_binary64` `rem-sqrt-square_binary64` `associate-*l/_binary64`
1×	`sub-neg_binary64` `flip3--_binary64` `diff-log_binary64` `distribute-rgt-out--_binary64` `clear-num_binary64` `frac-2neg_binary64` `associate-/l*_binary64` `div-inv_binary64` `flip--_binary64`

Counts

4 → 81

Calls

4 calls:

8.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 6)))
16.0ms	(sqrt.f64 (+.f64 (.f64 1 1) (-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))))
14.0ms	(-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
37.0ms	(/.f64 (.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 6))) (.f64 (cos.f64 (/.f64 K 2)) (.f64 J -2))) (sqrt.f64 (+.f64 (.f64 1 1) (-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))))

series1.2s

Counts

4 → 12

Calls

4 calls:

169.0ms	(sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 6)))
281.0ms	(sqrt.f64 (+.f64 (.f64 1 1) (-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (*.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))))
250.0ms	(-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)))
519.0ms	(/.f64 (.f64 (sqrt.f64 (+.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 6))) (.f64 (cos.f64 (/.f64 K 2)) (.f64 J -2))) (sqrt.f64 (+.f64 (.f64 1 1) (-.f64 (.f64 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2) (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2)) (.f64 1 (pow.f64 (/.f64 U (.f64 (.f64 2 J) (cos.f64 (/.f64 K 2)))) 2))))))

simplify80.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5271	5406

prune262.0ms

Filtered

67 candidates to 93 candidates (-38.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	90	3	93
Fresh	1	3	4
Picked	1	0	1
Done	1	1	2
Total	93	7	100

Merged error: 10.0b

Counts

100 → 7

regimes162.0ms

Accuracy

93.3% (0.6b remaining)

Error of 9.9b against oracle of 9.3b and baseline of 18.4b

bsearch1.0ms

simplify4.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	43	126
1	43	126

end0.0ms

sample3.1s

Algorithm

intervals

Results

1.2s	1416×	body	1280	valid
728.0ms	1241×	body	640	valid
508.0ms	4365×	body	80	valid
289.0ms	667×	body	320	valid
84.0ms	311×	body	160	valid
1.0ms	2×	body	640	invalid
1.0ms	1×	body	1280	invalid
0.0ms	2×	body	80	invalid

Details

analyze1.9s

sample104.0ms

simplify118.0ms

prune3.0ms

localize19.0ms

rewrite40.0ms

series479.0ms

simplify74.0ms

prune121.0ms

localize18.0ms

rewrite39.0ms

series869.0ms

simplify81.0ms

prune170.0ms

localize24.0ms

rewrite37.0ms

series1.0s

simplify127.0ms

prune226.0ms

localize28.0ms

rewrite77.0ms

series1.2s

simplify80.0ms

prune262.0ms

regimes162.0ms

bsearch1.0ms

simplify4.0ms

end0.0ms

sample3.1s

Profiling