Details

analyze2.8s (1.4%)

Algorithm

1×

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
50%	50%	0.1%	4
74.9%	25%	0.1%	5
74.9%	25%	0.1%	6
74.9%	25%	0.1%	7
74.9%	25%	0.1%	8
74.9%	25%	0.1%	9
74.9%	25%	0.1%	10
74.9%	25%	0.1%	11
74.9%	25%	0.1%	12
74.9%	25%	0.1%	13
74.9%	25%	0.1%	14

Compiler

Compiled 51 to 41 computations (19.6% saved)

sample807.0ms (0.4%)

Algorithm

1×

intervals

Results

592.0ms	112×	body	1024	valid
89.0ms	33×	body	512	valid
53.0ms	90×	body	128	valid
34.0ms	21×	body	256	valid

Compiler

Compiled 101 to 83 computations (17.8% saved)

simplify458.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (133.0ms)

Iter	Nodes	Cost
0	4940	77
1	4940	77

prune22.0ms (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.4b

Counts

2 → 2

Compiler

Compiled 146 to 116 computations (20.5% saved)

localize56.0ms (0%)

Local error

Found 4 expressions with local error:

0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite179.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

47×	`cancel-sign-sub-inv_binary64_4818`
44×	`add-sqr-sqrt_binary64_4874`
35×	`*-un-lft-identity_binary64_4852`
30×	`distribute-lft-in_binary64_4801` `distribute-rgt-in_binary64_4802`
29×	`add-cube-cbrt_binary64_4887`
19×	`times-frac_binary64_4858`
11×	`add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888` `pow1_binary64_4913`
9×	`associate-l_binary64_4793`
8×	`sub-neg_binary64_4845` `add-log-exp_binary64_4891` `sqrt-prod_binary64_4868`
7×	`associate-r_binary64_4792`
6×	`associate-*r/_binary64_4794`
5×	`difference-of-squares_binary64_4821`
4×	`flip3--_binary64_4856` `cbrt-unprod_binary64_4885` `prod-exp_binary64_4901` `flip--_binary64_4827` `pow-prod-down_binary64_4923`
3×	`distribute-lft-out--_binary64_4804`
2×	`unswap-sqr_binary64_4820` `div-inv_binary64_4849` `diff-log_binary64_4944` `*-commutative_binary64_4783`
1×	`diff-cos_binary64_5003`

Counts

4 → 128

Calls

4 calls:

53.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
38.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
8.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
8.0ms	(-.f64 3 (sqrt.f64 5))

series500.0ms (0.3%)

Counts

4 → 10

Calls

4 calls:

279.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
132.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
88.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
0.0ms	(-.f64 3 (sqrt.f64 5))

simplify209.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

138 → 138

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	5119	2405

prune3.9s (2%)

Pruning

46 alts after pruning (45 fresh and 1 done)

	Pruned	Kept	Total
New	94	44	138
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	94	46	140

Merged error: 0.1b

Counts

140 → 46

Compiler

Compiled 9896 to 6839 computations (30.9% saved)

localize361.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5))))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite303.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

53×	`cancel-sign-sub-inv_binary64_4818`
46×	`distribute-lft-in_binary64_4801` `distribute-rgt-in_binary64_4802`
42×	`add-sqr-sqrt_binary64_4874`
35×	`*-un-lft-identity_binary64_4852`
31×	`add-cube-cbrt_binary64_4887`
19×	`times-frac_binary64_4858`
16×	`associate-+r+_binary64_4784`
14×	`associate-*r/_binary64_4794`
11×	`add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888` `sub-neg_binary64_4845` `pow1_binary64_4913`
9×	`associate-l_binary64_4793`
8×	`add-log-exp_binary64_4891`
7×	`associate-r_binary64_4792`
4×	`flip3--_binary64_4856` `cbrt-unprod_binary64_4885` `prod-exp_binary64_4901` `flip--_binary64_4827` `sqrt-prod_binary64_4868` `pow-prod-down_binary64_4923`
3×	`difference-of-squares_binary64_4821`
2×	`distribute-lft-out--_binary64_4804` `unswap-sqr_binary64_4820` `frac-add_binary64_4860` `div-inv_binary64_4849` `*-commutative_binary64_4783`
1×	`+-commutative_binary64_4782` `flip-+_binary64_4826` `diff-cos_binary64_5003` `diff-log_binary64_4944` `flip3-+_binary64_4855` `sum-log_binary64_4943`

Counts

4 → 137

Calls

4 calls:

35.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5))))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
32.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
24.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
15.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series1.1s (0.6%)

Counts

4 → 12

Calls

4 calls:

570.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 3 (sqrt.f64 5))))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
235.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
202.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
78.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))

simplify265.0ms (0.1%)

Algorithm

1×	egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (100.0ms)

Iter	Nodes	Cost
0	5099	3267

prune5.9s (3%)

Pruning

87 alts after pruning (86 fresh and 1 done)

	Pruned	Kept	Total
New	100	49	149
Fresh	7	37	44
Picked	0	1	1
Done	1	0	1
Total	108	87	195

Merged error: 0.1b

Counts

195 → 87

Compiler

Compiled 13519 to 9671 computations (28.5% saved)

localize246.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
0.3b	(+.f64 (.f64 (.f64 (cos.f64 y) 6) (+.f64 1 (sqrt.f64 5))) (.f64 (.f64 (cos.f64 x) 6) (+.f64 3 (sqrt.f64 5))))
0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
1.6b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite538.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

55×	`cancel-sign-sub-inv_binary64_4818`
53×	`add-sqr-sqrt_binary64_4874`
43×	`*-un-lft-identity_binary64_4852`
38×	`times-frac_binary64_4858`
37×	`add-cube-cbrt_binary64_4887`
30×	`distribute-lft-in_binary64_4801` `distribute-rgt-in_binary64_4802`
18×	`associate-*r/_binary64_4794`
12×	`associate-r_binary64_4792`
11×	`add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888` `pow1_binary64_4913`
8×	`flip3--_binary64_4856` `add-log-exp_binary64_4891` `flip--_binary64_4827`
7×	`associate-l_binary64_4793`
5×	`difference-of-squares_binary64_4821` `flip-+_binary64_4826` `sub-neg_binary64_4845` `flip3-+_binary64_4855`
4×	`frac-times_binary64_4862` `cbrt-unprod_binary64_4885` `frac-add_binary64_4860` `div-inv_binary64_4849` `prod-exp_binary64_4901` `sqrt-prod_binary64_4868` `pow-prod-down_binary64_4923`
3×	`distribute-lft-out--_binary64_4804`
2×	`unswap-sqr_binary64_4820` `associate-+l+_binary64_4785` `associate-+r+_binary64_4784` `associate-l/_binary64_4795` `-commutative_binary64_4783`
1×	`+-commutative_binary64_4782` `diff-cos_binary64_5003` `diff-log_binary64_4944` `sum-log_binary64_4943`

Counts

4 → 148

Calls

4 calls:

164.0ms	(.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
106.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
80.0ms	(+.f64 (.f64 (.f64 (cos.f64 y) 6) (+.f64 1 (sqrt.f64 5))) (.f64 (.f64 (cos.f64 x) 6) (+.f64 3 (sqrt.f64 5))))
35.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

series1.3s (0.7%)

Counts

4 → 12

Calls

4 calls:

569.0ms	(+.f64 (.f64 (.f64 (cos.f64 y) 6) (+.f64 1 (sqrt.f64 5))) (.f64 (.f64 (cos.f64 x) 6) (+.f64 3 (sqrt.f64 5))))
353.0ms	(.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
242.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
164.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

simplify537.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 0 (167.0ms)

Iter	Nodes	Cost
0	5224	5399

prune9.4s (4.8%)

Pruning

134 alts after pruning (132 fresh and 2 done)

	Pruned	Kept	Total
New	107	53	160
Fresh	6	79	85
Picked	0	1	1
Done	0	1	1
Total	113	134	247

Merged error: 0.1b

Counts

247 → 134

Compiler

Compiled 19687 to 14550 computations (26.1% saved)

localize75.0ms (0%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
0.3b	(+.f64 (.f64 (.f64 (cos.f64 y) 6) (+.f64 1 (sqrt.f64 5))) (.f64 (.f64 (cos.f64 x) 6) (+.f64 3 (sqrt.f64 5))))
0.4b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
1.6b	(+.f64 (cos.f64 x) (neg.f64 (cos.f64 y)))

rewrite164.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`cancel-sign-sub-inv_binary64_4818`
50×	`add-sqr-sqrt_binary64_4874`
44×	`*-un-lft-identity_binary64_4852`
38×	`times-frac_binary64_4858`
36×	`add-cube-cbrt_binary64_4887`
30×	`distribute-lft-in_binary64_4801` `distribute-rgt-in_binary64_4802`
18×	`associate-*r/_binary64_4794`
12×	`associate-r_binary64_4792`
11×	`add-exp-log_binary64_4890` `add-cbrt-cube_binary64_4888` `pow1_binary64_4913`
10×	`add-log-exp_binary64_4891`
7×	`associate-l_binary64_4793` `flip3--_binary64_4856` `flip--_binary64_4827`
6×	`flip-+_binary64_4826` `flip3-+_binary64_4855`
4×	`difference-of-squares_binary64_4821` `frac-times_binary64_4862` `cbrt-unprod_binary64_4885` `frac-add_binary64_4860` `sub-neg_binary64_4845` `div-inv_binary64_4849` `prod-exp_binary64_4901` `sqrt-prod_binary64_4868` `pow-prod-down_binary64_4923`
3×	`sum-log_binary64_4943`
2×	`distribute-lft-out--_binary64_4804` `+-commutative_binary64_4782` `unswap-sqr_binary64_4820` `associate-+l+_binary64_4785` `distribute-lft-out_binary64_4803` `associate-+r+_binary64_4784` `associate-l/_binary64_4795` `-commutative_binary64_4783`
1×	`unsub-neg_binary64_4846` `neg-log_binary64_4945` `neg-sub0_binary64_4847` `distribute-rgt-neg-in_binary64_4810` `associate-+r-_binary64_4786`

Counts

4 → 147

Calls

4 calls:

40.0ms	(.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
28.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
23.0ms	(+.f64 (.f64 (.f64 (cos.f64 y) 6) (+.f64 1 (sqrt.f64 5))) (.f64 (.f64 (cos.f64 x) 6) (+.f64 3 (sqrt.f64 5))))
10.0ms	(+.f64 (cos.f64 x) (neg.f64 (cos.f64 y)))

series1.4s (0.7%)

Counts

4 → 12

Calls

4 calls:

594.0ms	(.f64 (.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16)))
469.0ms	(+.f64 (.f64 (.f64 (cos.f64 y) 6) (+.f64 1 (sqrt.f64 5))) (.f64 (.f64 (cos.f64 x) 6) (+.f64 3 (sqrt.f64 5))))
226.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
127.0ms	(+.f64 (cos.f64 x) (neg.f64 (cos.f64 y)))

simplify498.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

159 → 159

Iterations

Useful iterations: 0 (132.0ms)

Iter	Nodes	Cost
0	5328	5360

prune12.1s (6.2%)

Pruning

163 alts after pruning (160 fresh and 3 done)

	Pruned	Kept	Total
New	118	41	159
Fresh	12	119	131
Picked	0	1	1
Done	0	2	2
Total	130	163	293

Merged error: 0.1b

Counts

293 → 163

Compiler

Compiled 11054 to 7624 computations (31% saved)

regimes20.1s (10.4%)

Compiler: Compiled 66737 to 53215 computations (20.3% saved)

bsearch20.7s (10.6%)

simplify61.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	90	93
1	90	93

end0.0ms (0%)

sample1.8min (56.8%)

Algorithm

1×

intervals

Results

13.9s	3510×	body	1024	valid
3.9s	1339×	body	512	valid
2.0s	2541×	body	128	valid
1.1s	596×	body	256	valid
98.0ms	14×	body	2048	valid

Compiler

Compiled 22800 to 18186 computations (20.2% saved)

Pareto

0.6665884234720449

Details

analyze2.8s (1.4%)

sample807.0ms (0.4%)

simplify458.0ms (0.2%)

prune22.0ms (0%)

localize56.0ms (0%)

rewrite179.0ms (0.1%)

series500.0ms (0.3%)

simplify209.0ms (0.1%)

prune3.9s (2%)

localize361.0ms (0.2%)

rewrite303.0ms (0.2%)

series1.1s (0.6%)

simplify265.0ms (0.1%)

prune5.9s (3%)

localize246.0ms (0.1%)

rewrite538.0ms (0.3%)

series1.3s (0.7%)

simplify537.0ms (0.3%)

prune9.4s (4.8%)

localize75.0ms (0%)

rewrite164.0ms (0.1%)

series1.4s (0.7%)

simplify498.0ms (0.3%)

prune12.1s (6.2%)

regimes20.1s (10.4%)

bsearch20.7s (10.6%)

simplify61.0ms (0%)

end0.0ms (0%)

sample1.8min (56.8%)

Profiling