Details

analyze973.0ms (10.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	3
37.5%	62.5%	0%	4
43.7%	56.2%	0%	5
46.9%	53.1%	0%	6
48.4%	51.5%	0%	7
49.2%	50.8%	0%	8
49.6%	50.4%	0%	9
49.8%	50.2%	0%	10
49.9%	50.1%	0%	11
49.9%	50%	0%	12
50%	50%	0%	13
50%	49.9%	0%	14

Compiler

Compiled 17 to 15 computations (11.8% saved)

sample70.0ms (0.7%)

Algorithm

1×

intervals

Results

33.0ms	57×	body	1024	valid
15.0ms	146×	body	128	valid
11.0ms	33×	body	512	valid
4.0ms	20×	body	256	valid

Compiler

Compiled 33 to 30 computations (9.1% saved)

simplify182.0ms (1.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	50	22
1	50	22

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

Counts

2 → 1

Compiler

Compiled 60 to 52 computations (13.3% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b

(*.f64 (*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2))) (sin.f64 (*.f64 x 1/2)))

0.3b

(*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2)))

16.5b

(/.f64 (*.f64 (*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2))) (sin.f64 (*.f64 x 1/2))) (sin.f64 x))

rewrite36.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-cbrt-cube_binary64_18347` `add-exp-log_binary64_18349`
19×	`add-sqr-sqrt_binary64_18333`
14×	`-un-lft-identity_binary64_18311` `associate-l*_binary64_18252` `add-cube-cbrt_binary64_18346`
13×	`times-frac_binary64_18317`
12×	`cbrt-unprod_binary64_18344` `prod-exp_binary64_18360`
10×	`pow1_binary64_18372`
7×	`cbrt-undiv_binary64_18345` `div-exp_binary64_18362`
6×	`associate-r_binary64_18251`
5×	`associate-*l/_binary64_18254`
4×	`pow-prod-down_binary64_18382`
3×	`associate-/r*_binary64_18255` `add-log-exp_binary64_18350`
2×	`unswap-sqr_binary64_18279` `div-inv_binary64_18308` `*-commutative_binary64_18242`
1×	`associate-/l*_binary64_18256` `clear-num_binary64_18310` `frac-2neg_binary64_18322` `associate-/l/_binary64_18258`

Counts

3 → 79

Calls

3 calls:

11.0ms

(/.f64 (*.f64 (*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2))) (sin.f64 (*.f64 x 1/2))) (sin.f64 x))

9.0ms

(*.f64 (*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2))) (sin.f64 (*.f64 x 1/2)))

8.0ms

(*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2)))

series221.0ms (2.3%)

Counts

3 → 9

Calls

3 calls:

129.0ms

(/.f64 (*.f64 (*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2))) (sin.f64 (*.f64 x 1/2))) (sin.f64 x))

60.0ms

(*.f64 (*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2))) (sin.f64 (*.f64 x 1/2)))

31.0ms

(*.f64 (/.f64 8 3) (sin.f64 (*.f64 x 1/2)))

simplify85.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	4984	1380
1	4984	1380

prune500.0ms (5.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	76	12	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	77	12	89

Merged error: 0.1b

Counts

89 → 12

Compiler

Compiled 7319 to 5991 computations (18.1% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.2b	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
0.2b	(/.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
0.3b	(.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2)))

rewrite34.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`times-frac_binary64_18317`
38×	`add-sqr-sqrt_binary64_18333`
33×	`*-un-lft-identity_binary64_18311` `add-cube-cbrt_binary64_18346`
31×	`add-cbrt-cube_binary64_18347` `add-exp-log_binary64_18349`
16×	`associate-/r*_binary64_18255`
13×	`associate-l_binary64_18252` `cbrt-undiv_binary64_18345` `div-exp_binary64_18362`
6×	`cbrt-unprod_binary64_18344` `prod-exp_binary64_18360`
5×	`div-inv_binary64_18308` `pow1_binary64_18372`
4×	`associate-/l*_binary64_18256`
3×	`associate-r_binary64_18251` `add-log-exp_binary64_18350`
2×	`unswap-sqr_binary64_18279` `clear-num_binary64_18310` `frac-2neg_binary64_18322` `associate-*l/_binary64_18254`
1×	`associate-/r/_binary64_18257` `*-commutative_binary64_18242` `associate-/l/_binary64_18258` `pow-prod-down_binary64_18382`

Counts

3 → 110

Calls

3 calls:

11.0ms	(/.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
8.0ms	(.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2)))
5.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))

series227.0ms (2.4%)

Counts

3 → 9

Calls

3 calls:

125.0ms	(/.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
68.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
34.0ms	(.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2)))

simplify114.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (85.0ms)

Iter	Nodes	Cost
0	4912	2307
1	4912	2307

prune397.0ms (4.1%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	115	4	119
Fresh	6	5	11
Picked	1	0	1
Done	0	0	0
Total	122	9	131

Merged error: 0b

Counts

131 → 9

Compiler

Compiled 6139 to 4988 computations (18.7% saved)

localize11.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (.f64 8 (sin.f64 (.f64 x 1/2))) 3)
0.2b	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
0.2b	(/.f64 (/.f64 (.f64 8 (sin.f64 (.f64 x 1/2))) 3) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))

rewrite47.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

217×	`times-frac_binary64_18317`
97×	`*-un-lft-identity_binary64_18311` `add-cube-cbrt_binary64_18346` `add-sqr-sqrt_binary64_18333`
31×	`add-cbrt-cube_binary64_18347` `add-exp-log_binary64_18349`
25×	`div-inv_binary64_18308`
19×	`associate-/r*_binary64_18255`
16×	`cbrt-undiv_binary64_18345` `div-exp_binary64_18362`
11×	`associate-/l*_binary64_18256`
3×	`clear-num_binary64_18310` `frac-2neg_binary64_18322` `pow1_binary64_18372` `cbrt-unprod_binary64_18344` `add-log-exp_binary64_18350` `prod-exp_binary64_18360`
1×	`associate-/r/_binary64_18257` `associate-/l/_binary64_18258`

Counts

3 → 183

Calls

3 calls:

15.0ms	(/.f64 (/.f64 (.f64 8 (sin.f64 (.f64 x 1/2))) 3) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
6.0ms	(/.f64 (.f64 8 (sin.f64 (.f64 x 1/2))) 3)
5.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))

series208.0ms (2.2%)

Counts

3 → 9

Calls

3 calls:

112.0ms	(/.f64 (/.f64 (.f64 8 (sin.f64 (.f64 x 1/2))) 3) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
60.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
36.0ms	(/.f64 (.f64 8 (sin.f64 (.f64 x 1/2))) 3)

simplify119.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5479	6065

prune379.0ms (3.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	190	2	192
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	192	9	201

Merged error: 0b

Counts

201 → 9

Compiler

Compiled 5874 to 4452 computations (24.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 3/8 (sin.f64 (*.f64 x 1/2)))
0.2b	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
0.2b	(/.f64 (/.f64 1 (/.f64 3/8 (sin.f64 (.f64 x 1/2)))) (/.f64 (sin.f64 x) (sin.f64 (.f64 x 1/2))))
0.3b	(/.f64 1 (/.f64 3/8 (sin.f64 (*.f64 x 1/2))))

rewrite198.0ms (2.1%)

Algorithm

1×	rewrite-expression-head

Rules

1994×	`times-frac_binary64_18317`
867×	`*-un-lft-identity_binary64_18311` `add-cube-cbrt_binary64_18346` `add-sqr-sqrt_binary64_18333`
109×	`div-inv_binary64_18308`
64×	`add-exp-log_binary64_18349`
53×	`associate-/l*_binary64_18256`
44×	`div-exp_binary64_18362`
34×	`add-cbrt-cube_binary64_18347`
32×	`associate-/r*_binary64_18255`
20×	`cbrt-undiv_binary64_18345`
16×	`associate-/r/_binary64_18257`
6×	`rec-exp_binary64_18361` `1-exp_binary64_18355`
5×	`pow1_binary64_18372`
4×	`clear-num_binary64_18310` `frac-2neg_binary64_18322` `add-log-exp_binary64_18350`
1×	`inv-pow_binary64_18396` `pow-flip_binary64_18385` `associate-/l/_binary64_18258`

Counts

4 → 791

Calls

4 calls:

32.0ms	(/.f64 (/.f64 1 (/.f64 3/8 (sin.f64 (.f64 x 1/2)))) (/.f64 (sin.f64 x) (sin.f64 (.f64 x 1/2))))
7.0ms	(/.f64 1 (/.f64 3/8 (sin.f64 (*.f64 x 1/2))))
5.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
4.0ms	(/.f64 3/8 (sin.f64 (*.f64 x 1/2)))

series254.0ms (2.6%)

Counts

4 → 12

Calls

4 calls:

113.0ms	(/.f64 (/.f64 1 (/.f64 3/8 (sin.f64 (.f64 x 1/2)))) (/.f64 (sin.f64 x) (sin.f64 (.f64 x 1/2))))
56.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
45.0ms	(/.f64 3/8 (sin.f64 (*.f64 x 1/2)))
40.0ms	(/.f64 1 (/.f64 3/8 (sin.f64 (*.f64 x 1/2))))

simplify332.0ms (3.4%)

Algorithm

1×	egg-herbie

Counts

803 → 803

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5080	37251

prune2.8s (28.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	801	2	803
Fresh	1	6	7
Picked	0	1	1
Done	1	0	1
Total	803	9	812

Merged error: 0b

Counts

812 → 9

Compiler

Compiled 26479 to 20112 computations (24% saved)

regimes24.0ms (0.2%)

Compiler: Compiled 148 to 127 computations (14.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	22
1	11	22

end0.0ms (0%)

sample2.4s (25.1%)

Algorithm

1×

intervals

Results

1.1s	1963×	body	1024	valid
472.0ms	4556×	body	128	valid
331.0ms	980×	body	512	valid
112.0ms	496×	body	256	valid
6.0ms	5×	body	2048	valid

Compiler

Compiled 193 to 167 computations (13.5% saved)

Details

analyze973.0ms (10.1%)

sample70.0ms (0.7%)

simplify182.0ms (1.9%)

prune6.0ms (0.1%)

localize11.0ms (0.1%)

rewrite36.0ms (0.4%)

series221.0ms (2.3%)

simplify85.0ms (0.9%)

prune500.0ms (5.2%)

localize11.0ms (0.1%)

rewrite34.0ms (0.4%)

series227.0ms (2.4%)

simplify114.0ms (1.2%)

prune397.0ms (4.1%)

localize11.0ms (0.1%)

rewrite47.0ms (0.5%)

series208.0ms (2.2%)

simplify119.0ms (1.2%)

prune379.0ms (3.9%)

localize11.0ms (0.1%)

rewrite198.0ms (2.1%)

series254.0ms (2.6%)

simplify332.0ms (3.4%)

prune2.8s (28.8%)

regimes24.0ms (0.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.4s (25.1%)

Profiling