Details

analyze1.1s (5.7%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5431	154
0	2	2
1	2	2

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)

sample179.0ms (0.9%)

Algorithm

1×

intervals

Results

109.0ms	121×	body	1024	valid
30.0ms	49×	body	512	valid
13.0ms	67×	body	128	valid
12.0ms	19×	body	256	valid

Compiler

Compiled 101 to 83 computations (17.8% saved)

simplify50.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4940	77
1	4940	77

prune9.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

Error

0.4b

Counts

2 → 2

Compiler

Compiled 146 to 116 computations (20.5% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
0.6b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
1.2b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite508.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

47×	`cancel-sign-sub-inv_binary64_5841`
44×	`add-sqr-sqrt_binary64_5897`
35×	`*-un-lft-identity_binary64_5875`
30×	`distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824`
29×	`add-cube-cbrt_binary64_5910`
19×	`times-frac_binary64_5881`
11×	`pow1_binary64_5936` `add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
9×	`associate-l_binary64_5816`
8×	`add-log-exp_binary64_5914` `sub-neg_binary64_5868` `sqrt-prod_binary64_5891`
7×	`associate-r_binary64_5815`
6×	`associate-*r/_binary64_5817`
5×	`difference-of-squares_binary64_5844`
4×	`flip3--_binary64_5879` `flip--_binary64_5850` `pow-prod-down_binary64_5946` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908`
3×	`distribute-lft-out--_binary64_5827`
2×	`diff-log_binary64_5967` `*-commutative_binary64_5806` `unswap-sqr_binary64_5843` `div-inv_binary64_5872`
1×	`diff-cos_binary64_6026`

Counts

4 → 128

Calls

4 calls:

15.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
12.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
5.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 7300 to 4859 computations (33.4% saved)

series378.0ms (1.9%)

Error

0.4b

Counts

4 → 24

Calls

4 calls:

150.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
107.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
65.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 3121 to 2378 computations (23.8% saved)

simplify77.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

152 → 152

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	5009	2522

prune489.0ms (2.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	144	8	152
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	145	9	154

Error

0.1b

Counts

154 → 9

Compiler

Compiled 8504 to 5685 computations (33.1% saved)

localize38.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite547.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

53×	`cancel-sign-sub-inv_binary64_5841`
46×	`distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824`
42×	`add-sqr-sqrt_binary64_5897`
35×	`*-un-lft-identity_binary64_5875`
31×	`add-cube-cbrt_binary64_5910`
19×	`times-frac_binary64_5881`
16×	`associate-+r+_binary64_5807`
14×	`associate-*r/_binary64_5817`
11×	`pow1_binary64_5936` `add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911` `sub-neg_binary64_5868`
9×	`associate-l_binary64_5816`
8×	`add-log-exp_binary64_5914`
7×	`associate-r_binary64_5815`
4×	`flip3--_binary64_5879` `flip--_binary64_5850` `pow-prod-down_binary64_5946` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908` `sqrt-prod_binary64_5891`
3×	`difference-of-squares_binary64_5844`
2×	`distribute-lft-out--_binary64_5827` `*-commutative_binary64_5806` `unswap-sqr_binary64_5843` `div-inv_binary64_5872` `frac-add_binary64_5883`
1×	`diff-cos_binary64_6026` `diff-log_binary64_5967` `sum-log_binary64_5966` `flip3-+_binary64_5878` `flip-+_binary64_5849` `+-commutative_binary64_5805`

Counts

4 → 137

Calls

4 calls:

17.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
15.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
11.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Compiler

Compiled 8324 to 5658 computations (32% saved)

series727.0ms (3.6%)

Error

0.1b

Counts

4 → 34

Calls

4 calls:

319.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1))))
154.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
104.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
65.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))

Compiler

Compiled 4672 to 3575 computations (23.5% saved)

simplify85.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4898	3762
1	4898	3762

prune547.0ms (2.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	167	4	171
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	170	10	180

Error

0.1b

Counts

180 → 10

Compiler

Compiled 10078 to 6855 computations (32% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite504.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

47×	`add-sqr-sqrt_binary64_5897`
41×	`cancel-sign-sub-inv_binary64_5841`
36×	`*-un-lft-identity_binary64_5875`
27×	`add-cube-cbrt_binary64_5910`
22×	`distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824`
19×	`times-frac_binary64_5881`
17×	`associate-r_binary64_5815`
11×	`pow1_binary64_5936` `add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
10×	`associate-*r/_binary64_5817`
8×	`add-log-exp_binary64_5914` `sqrt-prod_binary64_5891` `associate-+r+_binary64_5807`
7×	`sub-neg_binary64_5868` `difference-of-squares_binary64_5844` `associate-l_binary64_5816`
4×	`flip3--_binary64_5879` `flip--_binary64_5850` `distribute-lft-out--_binary64_5827` `pow-prod-down_binary64_5946` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908`
2×	`difference-of-sqr-1_binary64_5845` `*-commutative_binary64_5806` `unswap-sqr_binary64_5843` `div-inv_binary64_5872` `frac-add_binary64_5883`
1×	`diff-cos_binary64_6026` `diff-log_binary64_5967` `sum-log_binary64_5966` `flip3-+_binary64_5878` `flip-+_binary64_5849` `+-commutative_binary64_5805`

Counts

4 → 129

Calls

4 calls:

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

Compiler

Compiled 7837 to 5339 computations (31.9% saved)

series713.0ms (3.6%)

Error

0.1b

Counts

4 → 34

Calls

4 calls:

316.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (.f64 (.f64 (cos.f64 x) 3/2) (-.f64 (sqrt.f64 5) 1)))
149.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
104.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
65.0ms	(.f64 (.f64 (cos.f64 x) 3/2) (-.f64 (sqrt.f64 5) 1))

Compiler

Compiled 4672 to 3575 computations (23.5% saved)

simplify108.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

163 → 163

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4983	3523
1	4983	3523

prune572.0ms (2.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	163	0	163
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	163	10	173

Error

0.1b

Counts

173 → 10

Compiler

Compiled 9598 to 6553 computations (31.7% saved)

localize35.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite642.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

38×	`add-sqr-sqrt_binary64_5897`
35×	`cancel-sign-sub-inv_binary64_5841`
31×	`*-un-lft-identity_binary64_5875`
30×	`associate-*r/_binary64_5817`
29×	`flip3--_binary64_5879` `flip--_binary64_5850`
28×	`frac-times_binary64_5885`
25×	`add-cube-cbrt_binary64_5910`
19×	`times-frac_binary64_5881`
18×	`distribute-rgt-in_binary64_5825` `distribute-lft-in_binary64_5824`
15×	`pow1_binary64_5936` `add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
14×	`associate-*l/_binary64_5818`
12×	`associate-r_binary64_5815`
8×	`add-log-exp_binary64_5914`
7×	`pow-prod-down_binary64_5946` `prod-exp_binary64_5924` `cbrt-unprod_binary64_5908` `associate-l_binary64_5816`
5×	`sub-neg_binary64_5868`
4×	`difference-of-squares_binary64_5844` `sqrt-prod_binary64_5891`
3×	`distribute-lft-out--_binary64_5827`
2×	`diff-cos_binary64_6026` `unswap-sqr_binary64_5843` `div-inv_binary64_5872` `*-commutative_binary64_5806`
1×	`diff-log_binary64_5967` `sum-log_binary64_5966` `frac-add_binary64_5883` `flip3-+_binary64_5878` `flip-+_binary64_5849` `+-commutative_binary64_5805`

Counts

4 → 142

Calls

4 calls:

30.0ms	(.f64 (.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)))
18.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (/.f64 (*.f64 (cos.f64 x) 6) (+.f64 (sqrt.f64 5) 1)))
16.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Compiler

Compiled 9717 to 6138 computations (36.8% saved)

series1.0s (5.1%)

Error

0.1b

Counts

4 → 39

Calls

4 calls:

379.0ms	(.f64 (.f64 (*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16))) (-.f64 (sin.f64 y) (/.f64 (sin.f64 x) 16))) (-.f64 (cos.f64 x) (cos.f64 y)))
293.0ms	(+.f64 (.f64 (cos.f64 y) (.f64 3/2 (/.f64 4 (+.f64 (sqrt.f64 5) 3)))) (/.f64 (*.f64 (cos.f64 x) 6) (+.f64 (sqrt.f64 5) 1)))
155.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
107.0ms	(-.f64 (cos.f64 x) (cos.f64 y))

Compiler

Compiled 5506 to 4264 computations (22.6% saved)

simplify82.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

181 → 181

Iterations

Useful iterations: 0 (21.0ms)

Iter	Nodes	Cost
0	4996	6927
1	4996	6927

prune624.0ms (3.1%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	179	2	181
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	181	10	191

Error

0.1b

Counts

191 → 10

Compiler

Compiled 11186 to 7326 computations (34.5% saved)

regimes1.2s (5.8%)

Accuracy

Total 0.3b remaining (74.3%)

Threshold costs 0.3b (74.3%)

Compiler

Compiled 17822 to 14098 computations (20.9% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (2.0ms)

Iter	Nodes	Cost
0	112	77
1	112	77

end0.0ms (0%)

sample9.7s (48.3%)

Algorithm

1×

intervals

Results

3.3s	3527×	body	1024	valid
858.0ms	1364×	body	512	valid
496.0ms	2468×	body	128	valid
266.0ms	625×	body	256	valid
29.0ms	16×	body	2048	valid

Compiler

Compiled 6005 to 4751 computations (20.9% saved)

Details

analyze1.1s (5.7%)

sample179.0ms (0.9%)

simplify50.0ms (0.3%)

prune9.0ms (0%)

localize37.0ms (0.2%)

rewrite508.0ms (2.5%)

series378.0ms (1.9%)

simplify77.0ms (0.4%)

prune489.0ms (2.4%)

localize38.0ms (0.2%)

rewrite547.0ms (2.7%)

series727.0ms (3.6%)

simplify85.0ms (0.4%)

prune547.0ms (2.7%)

localize37.0ms (0.2%)

rewrite504.0ms (2.5%)

series713.0ms (3.6%)

simplify108.0ms (0.5%)

prune572.0ms (2.9%)

localize35.0ms (0.2%)

rewrite642.0ms (3.2%)

series1.0s (5.1%)

simplify82.0ms (0.4%)

prune624.0ms (3.1%)

regimes1.2s (5.8%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample9.7s (48.3%)

Profiling