Details

analyze1.0s (14.9%)

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
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
12.5%	87.4%	0.1%	7
18.7%	81.1%	0.1%	8
26.5%	72.9%	0.5%	9
38.2%	60.7%	1.1%	10
41.7%	54.9%	3.4%	11
47.6%	47.4%	5%	12
53.4%	39.4%	7.2%	13
54.9%	34.5%	10.6%	14

sample70.0ms (1%)

Algorithm

1×

intervals

Results

18.0ms	190×	body	80	valid
14.0ms	30×	body	1280	valid
8.0ms	24×	body	640	valid
5.0ms	59×	body	80	invalid
4.0ms	9×	body	1280	invalid
3.0ms	9×	body	640	invalid
3.0ms	12×	body	320	valid
1.0ms	6×	body	320	invalid
0.0ms	2×	body	160	invalid

simplify78.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (75.0ms)

Iter	Nodes	Cost
0	4845	16
1	4845	16

prune6.0ms (0.1%)

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: 27.9b

Counts

2 → 1

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (pow.f64 c 2.0) (.f64 (.f64 x (pow.f64 s 2.0)) x)))
6.2b	(.f64 (.f64 x (pow.f64 s 2.0)) x)
8.4b	(*.f64 x (pow.f64 s 2.0))
17.5b	(.f64 (pow.f64 c 2.0) (.f64 (*.f64 x (pow.f64 s 2.0)) x))

rewrite40.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

122×	`add-exp-log_binary64`
82×	`prod-exp_binary64`
34×	`add-cbrt-cube_binary64`
18×	`pow-to-exp_binary64` `pow-exp_binary64`
17×	`add-sqr-sqrt_binary64`
16×	`cbrt-unprod_binary64` `div-exp_binary64`
12×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
11×	`associate-r_binary64` `associate-l_binary64`
7×	`unpow-prod-down_binary64`
6×	`pow1_binary64`
4×	`add-log-exp_binary64` `cbrt-undiv_binary64`
3×	`sqr-pow_binary64` `unswap-sqr_binary64` `associate-/l_binary64` `times-frac_binary64` `-commutative_binary64`
1×	`pow-prod-down_binary64` `associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64`

Counts

4 → 115

Calls

4 calls:

11.0ms	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (pow.f64 c 2.0) (.f64 (.f64 x (pow.f64 s 2.0)) x)))
9.0ms	(.f64 (pow.f64 c 2.0) (.f64 (*.f64 x (pow.f64 s 2.0)) x))
6.0ms	(.f64 (.f64 x (pow.f64 s 2.0)) x)
5.0ms	(*.f64 x (pow.f64 s 2.0))

series276.0ms (4.1%)

Counts

4 → 12

Calls

4 calls:

114.0ms	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (pow.f64 c 2.0) (.f64 (.f64 x (pow.f64 s 2.0)) x)))
87.0ms	(.f64 (pow.f64 c 2.0) (.f64 (*.f64 x (pow.f64 s 2.0)) x))
38.0ms	(*.f64 x (pow.f64 s 2.0))
37.0ms	(.f64 (.f64 x (pow.f64 s 2.0)) x)

simplify56.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

127 → 127

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5079	1530

prune215.0ms (3.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	118	9	127
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	119	9	128

Merged error: 15.4b

Counts

128 → 9

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.2b	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2)))
0.3b	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (pow.f64 c 2.0) (.f64 (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x)))
6.2b	(.f64 (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x)
17.5b	(.f64 (pow.f64 c 2.0) (.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x))

rewrite60.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

416×	`add-exp-log_binary64`
343×	`prod-exp_binary64`
84×	`pow-to-exp_binary64` `pow-exp_binary64`
52×	`add-cbrt-cube_binary64`
43×	`div-exp_binary64`
29×	`cbrt-unprod_binary64`
11×	`-un-lft-identity_binary64` `associate-r*_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
9×	`associate-l_binary64`
6×	`pow1_binary64` `unpow-prod-down_binary64`
5×	`cbrt-undiv_binary64`
4×	`add-log-exp_binary64`
3×	`associate-/l_binary64` `times-frac_binary64` `-commutative_binary64`
2×	`sqr-pow_binary64`
1×	`pow-prod-down_binary64` `associate-/r*_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64`

Counts

4 → 186

Calls

4 calls:

16.0ms	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (pow.f64 c 2.0) (.f64 (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x)))
13.0ms	(.f64 (pow.f64 c 2.0) (.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x))
12.0ms	(.f64 (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x)
8.0ms	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2)))

series276.0ms (4.1%)

Counts

4 → 12

Calls

4 calls:

112.0ms	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (pow.f64 c 2.0) (.f64 (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x)))
90.0ms	(.f64 (pow.f64 c 2.0) (.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x))
37.0ms	(.f64 (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2))) x)
36.0ms	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 s (/.f64 2.0 2)))

simplify65.0ms (1%)

Algorithm

1×	egg-herbie

Counts

198 → 198

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4987	2478
1	4987	2478

prune298.0ms (4.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	193	5	198
Fresh	4	4	8
Picked	0	1	1
Done	0	0	0
Total	197	10	207

Merged error: 10.1b

Counts

207 → 10

localize14.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.3b

(*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2))))

0.3b

(/.f64 (cos.f64 (*.f64 2.0 x)) (*.f64 (pow.f64 c 2.0) (*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2))))))

17.5b

(*.f64 (pow.f64 c 2.0) (*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2)))))

rewrite54.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

466×	`add-exp-log_binary64`
382×	`prod-exp_binary64`
90×	`pow-to-exp_binary64` `pow-exp_binary64`
58×	`add-cbrt-cube_binary64`
52×	`div-exp_binary64`
34×	`cbrt-unprod_binary64`
10×	`pow1_binary64`
9×	`add-sqr-sqrt_binary64`
8×	`associate-l_binary64`
7×	`*-un-lft-identity_binary64` `add-cube-cbrt_binary64`
6×	`cbrt-undiv_binary64`
4×	`unpow-prod-down_binary64`
3×	`add-log-exp_binary64` `unswap-sqr_binary64` `associate-/l*_binary64` `times-frac_binary64`
2×	`associate-r_binary64` `sqr-pow_binary64` `*-commutative_binary64`
1×	`pow-prod-down_binary64` `associate-/r*_binary64` `swap-sqr_binary64` `pow-prod-up_binary64` `pow-plus_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `pow-sqr_binary64` `pow2_binary64`

Counts

3 → 186

Calls

3 calls:

16.0ms

(/.f64 (cos.f64 (*.f64 2.0 x)) (*.f64 (pow.f64 c 2.0) (*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2))))))

14.0ms

(*.f64 (pow.f64 c 2.0) (*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2)))))

9.0ms

(*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2))))

series237.0ms (3.5%)

Counts

3 → 9

Calls

3 calls:

111.0ms

(/.f64 (cos.f64 (*.f64 2.0 x)) (*.f64 (pow.f64 c 2.0) (*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2))))))

89.0ms

(*.f64 (pow.f64 c 2.0) (*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2)))))

37.0ms

(*.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (*.f64 x (pow.f64 s (/.f64 2.0 2))))

simplify54.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

195 → 195

Iterations

Useful iterations: 0 (31.0ms)

Iter	Nodes	Cost
0	5022	2629

prune286.0ms (4.2%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	192	3	195
Fresh	3	5	8
Picked	0	1	1
Done	0	1	1
Total	195	10	205

Merged error: 1.9b

Counts

205 → 10

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))) (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))))
0.3b	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))) (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))))
3.4b	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))
3.4b	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))

rewrite110.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

1631×	`add-exp-log_binary64`
1472×	`prod-exp_binary64`
378×	`pow-to-exp_binary64` `pow-exp_binary64`
170×	`div-exp_binary64`
97×	`add-cbrt-cube_binary64`
60×	`cbrt-unprod_binary64`
15×	`associate-r_binary64`
11×	`pow1_binary64`
10×	`*-un-lft-identity_binary64` `cbrt-undiv_binary64` `add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`unpow-prod-down_binary64`
4×	`add-log-exp_binary64`
3×	`associate-l_binary64` `associate-/l_binary64` `times-frac_binary64` `-commutative_binary64`
2×	`sqr-pow_binary64`
1×	`pow-prod-down_binary64` `associate-/r*_binary64` `swap-sqr_binary64` `pow-prod-up_binary64` `pow-plus_binary64` `clear-num_binary64` `frac-2neg_binary64` `div-inv_binary64` `pow-sqr_binary64` `pow2_binary64`

Counts

4 → 451

Calls

4 calls:

27.0ms	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))) (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))))
17.0ms	(.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))) (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))))
8.0ms	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))
8.0ms	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))

series378.0ms (5.6%)

Counts

4 → 12

Calls

4 calls:

113.0ms	(.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))) (.f64 (*.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))))
111.0ms	(/.f64 (cos.f64 (.f64 2.0 x)) (.f64 (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2))) (.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))))
77.0ms	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))
77.0ms	(.f64 (.f64 x (pow.f64 s (/.f64 2.0 2))) (pow.f64 c (/.f64 2.0 2)))

simplify92.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

463 → 463

Iterations

Useful iterations: 0 (41.0ms)

Iter	Nodes	Cost
0	5056	6652

prune722.0ms (10.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	457	6	463
Fresh	2	5	7
Picked	1	0	1
Done	2	0	2
Total	462	11	473

Merged error: 1.7b

Counts

473 → 11

regimes442.0ms (6.5%)

Accuracy

Total 0.3b remaining (10.9%)

Threshold costs 0.3b (10.9%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	17	32
1	17	32

end0.0ms (0%)

sample1.9s (28%)

Algorithm

1×

intervals

Results

536.0ms	5976×	body	80	valid
346.0ms	717×	body	1280	valid
241.0ms	720×	body	640	valid
159.0ms	1793×	body	80	invalid
97.0ms	389×	body	320	valid
84.0ms	264×	body	640	invalid
69.0ms	144×	body	1280	invalid
40.0ms	171×	body	320	invalid
34.0ms	198×	body	160	valid
17.0ms	104×	body	160	invalid

Details

analyze1.0s (14.9%)

sample70.0ms (1%)

simplify78.0ms (1.1%)

prune6.0ms (0.1%)

localize13.0ms (0.2%)

rewrite40.0ms (0.6%)

series276.0ms (4.1%)

simplify56.0ms (0.8%)

prune215.0ms (3.2%)

localize15.0ms (0.2%)

rewrite60.0ms (0.9%)

series276.0ms (4.1%)

simplify65.0ms (1%)

prune298.0ms (4.4%)

localize14.0ms (0.2%)

rewrite54.0ms (0.8%)

series237.0ms (3.5%)

simplify54.0ms (0.8%)

prune286.0ms (4.2%)

localize14.0ms (0.2%)

rewrite110.0ms (1.6%)

series378.0ms (5.6%)

simplify92.0ms (1.4%)

prune722.0ms (10.6%)

regimes442.0ms (6.5%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample1.9s (28%)

Profiling