Details

analyze887.0ms (4.9%)

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

Symmetry

Compiler

Compiled 51 to 41 computations (19.6% saved)

sample167.0ms (0.9%)

Algorithm

1×

intervals

Results

102.0ms	113×	body	1024	valid
27.0ms	45×	body	512	valid
15.0ms	80×	body	128	valid
7.0ms	17×	body	256	valid
1.0ms	1×	body	2048	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

prune8.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)

localize34.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.7b	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
1.0b	(-.f64 3 (sqrt.f64 5))
2.1b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite470.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

47×	`cancel-sign-sub-inv_binary64_4477`
44×	`add-sqr-sqrt_binary64_4533`
35×	`*-un-lft-identity_binary64_4511`
30×	`distribute-rgt-in_binary64_4461` `distribute-lft-in_binary64_4460`
29×	`add-cube-cbrt_binary64_4546`
19×	`times-frac_binary64_4517`
11×	`pow1_binary64_4572` `add-exp-log_binary64_4549` `add-cbrt-cube_binary64_4547`
9×	`associate-l_binary64_4452`
8×	`add-log-exp_binary64_4550` `sub-neg_binary64_4504` `sqrt-prod_binary64_4527`
7×	`associate-r_binary64_4451`
6×	`associate-*r/_binary64_4453`
5×	`difference-of-squares_binary64_4480`
4×	`flip3--_binary64_4515` `flip--_binary64_4486` `pow-prod-down_binary64_4582` `prod-exp_binary64_4560` `cbrt-unprod_binary64_4544`
3×	`distribute-lft-out--_binary64_4463`
2×	`diff-log_binary64_4603` `*-commutative_binary64_4442` `unswap-sqr_binary64_4479` `div-inv_binary64_4508`
1×	`diff-cos_binary64_4662`

Counts

4 → 128

Calls

4 calls:

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

Compiler

Compiled 7300 to 4859 computations (33.4% saved)

series431.0ms (2.4%)

Error

0.4b

Counts

4 → 30

Calls

4 calls:

166.0ms	(*.f64 (sqrt.f64 2) (-.f64 (sin.f64 x) (/.f64 (sin.f64 y) 16)))
114.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
76.0ms	(.f64 3/2 (.f64 (cos.f64 x) (-.f64 (sqrt.f64 5) 1)))
0.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 3760 to 2873 computations (23.6% saved)

simplify83.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

158 → 158

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5019	2752

prune526.0ms (2.9%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	151	7	158
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	152	8	160

Error

0.1b

Counts

160 → 8

Compiler

Compiled 8847 to 5906 computations (33.2% saved)

localize37.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.8b	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
1.0b	(-.f64 3 (sqrt.f64 5))
1.0b	(cbrt.f64 16)
2.1b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite625.0ms (3.4%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

75×	`cbrt-prod_binary64_4542`
72×	`times-frac_binary64_4517`
65×	`add-sqr-sqrt_binary64_4533`
63×	`*-un-lft-identity_binary64_4511`
59×	`add-cube-cbrt_binary64_4546`
40×	`unpow-prod-down_binary64_4590` `cube-prod_binary64_4539`
9×	`cancel-sign-sub-inv_binary64_4477`
8×	`add-log-exp_binary64_4550`
7×	`add-exp-log_binary64_4549`
5×	`pow1_binary64_4572` `add-cbrt-cube_binary64_4547`
4×	`sqrt-prod_binary64_4527`
3×	`difference-of-squares_binary64_4480` `pow-unpow_binary64_4588`
2×	`diff-log_binary64_4603` `flip3--_binary64_4515` `sub-neg_binary64_4504` `flip--_binary64_4486` `distribute-lft-out--_binary64_4463` `div-inv_binary64_4508` `pow-exp_binary64_4579` `rem-cube-cbrt_binary64_4534`
1×	`diff-cos_binary64_4662` `pow1/3_binary64_4593` `pow-pow_binary64_4583` `pow-to-exp_binary64_4580` `div-exp_binary64_4562` `unpow3_binary64_4577` `cube-mult_binary64_4541` `cube-div_binary64_4540` `cbrt-undiv_binary64_4545` `sqr-pow_binary64_4483`

Counts

4 → 148

Calls

4 calls:

9.0ms	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
7.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
5.0ms	(-.f64 3 (sqrt.f64 5))
1.0ms	(cbrt.f64 16)

Compiler

Compiled 9775 to 6668 computations (31.8% saved)

series394.0ms (2.2%)

Error

0.1b

Counts

4 → 18

Calls

4 calls:

226.0ms	(pow.f64 (/.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 16)) 3)
120.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
0.0ms	(cbrt.f64 16)
0.0ms	(-.f64 3 (sqrt.f64 5))

Compiler

Compiled 2590 to 2052 computations (20.8% saved)

simplify77.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

166 → 166

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4905	2493
1	4905	2493

prune603.0ms (3.3%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	165	1	166
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	165	9	174

Error

0.1b

Counts

174 → 9

Compiler

Compiled 10480 to 7216 computations (31.1% saved)

localize50.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(pow.f64 (sqrt.f64 (cbrt.f64 16)) 3)
1.0b	(pow.f64 (sqrt.f64 (cbrt.f64 16)) 3)
1.1b	(pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 6)
2.1b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite553.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

27×	`unpow-prod-down_binary64_4590`
25×	`add-sqr-sqrt_binary64_4533` `*-un-lft-identity_binary64_4511`
24×	`sqrt-prod_binary64_4527`
23×	`add-cube-cbrt_binary64_4546`
21×	`cbrt-prod_binary64_4542`
18×	`cube-prod_binary64_4539`
10×	`pow-pow_binary64_4583`
9×	`pow1_binary64_4572` `pow-unpow_binary64_4588`
7×	`add-exp-log_binary64_4549`
6×	`add-log-exp_binary64_4550` `add-cbrt-cube_binary64_4547`
4×	`sqrt-pow1_binary64_4529`
3×	`cancel-sign-sub-inv_binary64_4477` `pow1/3_binary64_4593` `pow-to-exp_binary64_4580` `pow-exp_binary64_4579` `sqr-pow_binary64_4483`
2×	`pow1/2_binary64_4591` `unpow3_binary64_4577` `cube-mult_binary64_4541` `rem-cube-cbrt_binary64_4534` `sqrt-pow2_binary64_4530`
1×	`diff-cos_binary64_4662` `diff-log_binary64_4603` `flip3--_binary64_4515` `sub-neg_binary64_4504` `flip--_binary64_4486` `difference-of-squares_binary64_4480` `distribute-lft-out--_binary64_4463`

Counts

4 → 119

Calls

4 calls:

5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
5.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 6)
4.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 16)) 3)
4.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 16)) 3)

Compiler

Compiled 9113 to 6385 computations (29.9% saved)

series343.0ms (1.9%)

Error

0.1b

Counts

4 → 18

Calls

4 calls:

154.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 6)
127.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
0.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 16)) 3)
0.0ms	(pow.f64 (sqrt.f64 (cbrt.f64 16)) 3)

Compiler

Compiled 3156 to 2489 computations (21.1% saved)

simplify73.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5303	1624

prune685.0ms (3.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	136	1	137
Fresh	0	7	7
Picked	1	0	1
Done	1	0	1
Total	138	8	146

Error

0.1b

Counts

146 → 8

Compiler

Compiled 10606 to 7429 computations (30% saved)

localize57.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(cbrt.f64 (cbrt.f64 16))
1.0b	(cbrt.f64 (cbrt.f64 16))
1.1b	(pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 6)
2.1b	(-.f64 (cos.f64 x) (cos.f64 y))

rewrite356.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

27×	`cbrt-prod_binary64_4542`
15×	`add-sqr-sqrt_binary64_4533` `*-un-lft-identity_binary64_4511`
13×	`add-cube-cbrt_binary64_4546`
9×	`unpow-prod-down_binary64_4590`
6×	`add-log-exp_binary64_4550`
5×	`pow1_binary64_4572` `add-exp-log_binary64_4549`
4×	`add-cbrt-cube_binary64_4547`
3×	`cancel-sign-sub-inv_binary64_4477` `pow-unpow_binary64_4588` `pow1/3_binary64_4593`
2×	`pow-pow_binary64_4583`
1×	`diff-cos_binary64_4662` `diff-log_binary64_4603` `flip3--_binary64_4515` `sub-neg_binary64_4504` `flip--_binary64_4486` `difference-of-squares_binary64_4480` `distribute-lft-out--_binary64_4463` `pow-to-exp_binary64_4580` `pow-exp_binary64_4579` `sqr-pow_binary64_4483`

Counts

4 → 69

Calls

4 calls:

5.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
4.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 6)
2.0ms	(cbrt.f64 (cbrt.f64 16))
2.0ms	(cbrt.f64 (cbrt.f64 16))

Compiler

Compiled 5815 to 4187 computations (28% saved)

series378.0ms (2.1%)

Error

0.1b

Counts

4 → 18

Calls

4 calls:

174.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (sin.f64 y))) 6)
135.0ms	(-.f64 (cos.f64 x) (cos.f64 y))
0.0ms	(cbrt.f64 (cbrt.f64 16))
0.0ms	(cbrt.f64 (cbrt.f64 16))

Compiler

Compiled 3492 to 2825 computations (19.1% saved)

simplify70.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

87 → 87

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4908	1048
1	4908	1048

prune430.0ms (2.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	86	1	87
Fresh	0	7	7
Picked	1	0	1
Done	0	0	0
Total	87	8	95

Error

0.1b

Counts

95 → 8

Compiler

Compiled 7160 to 5199 computations (27.4% saved)

regimes1.0s (5.8%)

Accuracy

Total 0.3b remaining (75.3%)

Threshold costs 0.3b (75.3%)

Compiler

Compiled 16640 to 13264 computations (20.3% saved)

bsearch0.0ms (0%)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	202	138
1	202	138

Removed

()

end0.0ms (0%)

sample9.7s (53.6%)

Algorithm

1×

intervals

Results

3.4s	3512×	body	1024	valid
851.0ms	1359×	body	512	valid
488.0ms	2519×	body	128	valid
238.0ms	590×	body	256	valid
34.0ms	20×	body	2048	valid

Compiler

Compiled 5646 to 4505 computations (20.2% saved)

Details

analyze887.0ms (4.9%)

sample167.0ms (0.9%)

simplify50.0ms (0.3%)

prune8.0ms (0%)

localize34.0ms (0.2%)

rewrite470.0ms (2.6%)

series431.0ms (2.4%)

simplify83.0ms (0.5%)

prune526.0ms (2.9%)

localize37.0ms (0.2%)

rewrite625.0ms (3.4%)

series394.0ms (2.2%)

simplify77.0ms (0.4%)

prune603.0ms (3.3%)

localize50.0ms (0.3%)

rewrite553.0ms (3%)

series343.0ms (1.9%)

simplify73.0ms (0.4%)

prune685.0ms (3.8%)

localize57.0ms (0.3%)

rewrite356.0ms (2%)

series378.0ms (2.1%)

simplify70.0ms (0.4%)

prune430.0ms (2.4%)

regimes1.0s (5.8%)

bsearch0.0ms (0%)

simplify5.0ms (0%)

end0.0ms (0%)

sample9.7s (53.6%)

Profiling