Details

analyze801.0ms (12.2%)

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)

sample77.0ms (1.2%)

Algorithm

1×

intervals

Results

37.0ms	70×	body	1024	valid
18.0ms	137×	body	128	valid
10.0ms	30×	body	512	valid
4.0ms	19×	body	256	valid

Compiler

Compiled 33 to 30 computations (9.1% saved)

simplify177.0ms (2.7%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	50	22
1	50	22

prune10.0ms (0.2%)

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

Counts

2 → 1

Compiler

Compiled 60 to 52 computations (13.3% saved)

localize12.0ms (0.2%)

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.4b

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

17.1b

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

rewrite39.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-exp-log_binary64_10437` `add-cbrt-cube_binary64_10435`
19×	`add-sqr-sqrt_binary64_10421`
14×	`add-cube-cbrt_binary64_10434` `associate-l_binary64_10340` `*-un-lft-identity_binary64_10399`
13×	`times-frac_binary64_10405`
12×	`cbrt-unprod_binary64_10432` `prod-exp_binary64_10448`
10×	`pow1_binary64_10460`
7×	`cbrt-undiv_binary64_10433` `div-exp_binary64_10450`
6×	`associate-r_binary64_10339`
5×	`associate-*l/_binary64_10342`
4×	`pow-prod-down_binary64_10470`
3×	`associate-/r*_binary64_10343` `add-log-exp_binary64_10438`
2×	`*-commutative_binary64_10330` `div-inv_binary64_10396` `unswap-sqr_binary64_10367`
1×	`associate-/l*_binary64_10344` `associate-/l/_binary64_10346` `frac-2neg_binary64_10410` `clear-num_binary64_10398`

Counts

3 → 79

Calls

3 calls:

13.0ms

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

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

series214.0ms (3.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))

52.0ms

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

33.0ms

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

simplify85.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

88 → 88

Iterations

Useful iterations: 0 (65.0ms)

Iter	Nodes	Cost
0	4984	1380
1	4984	1380

prune649.0ms (9.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	74	14	88
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	75	14	89

Merged error: 0.1b

Counts

89 → 14

Compiler

Compiled 9257 to 7797 computations (15.8% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite38.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

50×	`times-frac_binary64_10405`
38×	`add-sqr-sqrt_binary64_10421`
33×	`add-cube-cbrt_binary64_10434` `*-un-lft-identity_binary64_10399`
31×	`add-exp-log_binary64_10437` `add-cbrt-cube_binary64_10435`
16×	`associate-/r*_binary64_10343`
13×	`cbrt-undiv_binary64_10433` `associate-l_binary64_10340` `div-exp_binary64_10450`
6×	`cbrt-unprod_binary64_10432` `prod-exp_binary64_10448`
5×	`pow1_binary64_10460` `div-inv_binary64_10396`
4×	`associate-/l*_binary64_10344`
3×	`add-log-exp_binary64_10438` `associate-r_binary64_10339`
2×	`associate-*l/_binary64_10342` `frac-2neg_binary64_10410` `unswap-sqr_binary64_10367` `clear-num_binary64_10398`
1×	`associate-/l/_binary64_10346` `*-commutative_binary64_10330` `associate-/r/_binary64_10345` `pow-prod-down_binary64_10470`

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))))
11.0ms	(.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2)))
5.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))

series214.0ms (3.3%)

Counts

3 → 9

Calls

3 calls:

122.0ms	(/.f64 (.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2))) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
57.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
34.0ms	(.f64 (/.f64 8 3) (sin.f64 (.f64 x 1/2)))

simplify99.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

119 → 119

Iterations

Useful iterations: 0 (71.0ms)

Iter	Nodes	Cost
0	4912	2307
1	4912	2307

prune412.0ms (6.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	113	6	119
Fresh	8	5	13
Picked	1	0	1
Done	0	0	0
Total	122	11	133

Merged error: 0b

Counts

133 → 11

Compiler

Compiled 6320 to 5169 computations (18.2% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite50.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

217×	`times-frac_binary64_10405`
97×	`add-cube-cbrt_binary64_10434` `add-sqr-sqrt_binary64_10421` `*-un-lft-identity_binary64_10399`
31×	`add-exp-log_binary64_10437` `add-cbrt-cube_binary64_10435`
25×	`div-inv_binary64_10396`
19×	`associate-/r*_binary64_10343`
16×	`cbrt-undiv_binary64_10433` `div-exp_binary64_10450`
11×	`associate-/l*_binary64_10344`
3×	`pow1_binary64_10460` `frac-2neg_binary64_10410` `add-log-exp_binary64_10438` `cbrt-unprod_binary64_10432` `prod-exp_binary64_10448` `clear-num_binary64_10398`
1×	`associate-/l/_binary64_10346` `associate-/r/_binary64_10345`

Counts

3 → 183

Calls

3 calls:

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

series217.0ms (3.3%)

Counts

3 → 9

Calls

3 calls:

122.0ms	(/.f64 (/.f64 (.f64 8 (sin.f64 (.f64 x 1/2))) 3) (/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2))))
59.0ms	(/.f64 (sin.f64 x) (sin.f64 (*.f64 x 1/2)))
36.0ms	(/.f64 (.f64 8 (sin.f64 (.f64 x 1/2))) 3)

simplify118.0ms (1.8%)

Algorithm

1×	egg-herbie

Counts

192 → 192

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	5479	6065

prune356.0ms (5.4%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	191	1	192
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	193	10	203

Merged error: 0b

Counts

203 → 10

Compiler

Compiled 5784 to 4396 computations (24% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite31.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64_10421`
20×	`add-cube-cbrt_binary64_10434` `*-un-lft-identity_binary64_10399`
19×	`add-exp-log_binary64_10437` `add-cbrt-cube_binary64_10435` `times-frac_binary64_10405`
14×	`associate-l_binary64_10340`
10×	`pow1_binary64_10460`
7×	`cbrt-unprod_binary64_10432` `prod-exp_binary64_10448`
6×	`associate-r_binary64_10339`
4×	`pow-prod-down_binary64_10470`
3×	`cbrt-undiv_binary64_10433` `associate-/r_binary64_10343` `associate-/l_binary64_10344` `associate-*l/_binary64_10342` `add-log-exp_binary64_10438` `div-exp_binary64_10450`
2×	`*-commutative_binary64_10330` `div-inv_binary64_10396` `unswap-sqr_binary64_10367`
1×	`frac-2neg_binary64_10410` `clear-num_binary64_10398`

Counts

3 → 80

Calls

3 calls:

10.0ms	(.f64 (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) 8/3) (sin.f64 (.f64 x 1/2)))
8.0ms	(.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) 8/3)
6.0ms	(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))

series238.0ms (3.6%)

Counts

3 → 9

Calls

3 calls:

112.0ms	(.f64 (.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) 8/3) (sin.f64 (.f64 x 1/2)))
72.0ms	(.f64 (/.f64 (sin.f64 (.f64 x 1/2)) (sin.f64 x)) 8/3)
54.0ms	(/.f64 (sin.f64 (*.f64 x 1/2)) (sin.f64 x))

simplify80.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

89 → 89

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	5339	1589

prune112.0ms (1.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	89	0	89
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	89	10	99

Merged error: 0b

Counts

99 → 10

Compiler

Compiled 1906 to 1403 computations (26.4% saved)

regimes24.0ms (0.4%)

Compiler: Compiled 157 to 141 computations (10.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	14	25
1	14	25

end0.0ms (0%)

sample2.5s (37.6%)

Algorithm

1×

intervals

Results

1.1s	2015×	body	1024	valid
468.0ms	4424×	body	128	valid
346.0ms	1020×	body	512	valid
127.0ms	535×	body	256	valid
7.0ms	6×	body	2048	valid

Compiler

Compiled 204 to 183 computations (10.3% saved)

Details

analyze801.0ms (12.2%)

sample77.0ms (1.2%)

simplify177.0ms (2.7%)

prune10.0ms (0.2%)

localize12.0ms (0.2%)

rewrite39.0ms (0.6%)

series214.0ms (3.3%)

simplify85.0ms (1.3%)

prune649.0ms (9.9%)

localize11.0ms (0.2%)

rewrite38.0ms (0.6%)

series214.0ms (3.3%)

simplify99.0ms (1.5%)

prune412.0ms (6.3%)

localize11.0ms (0.2%)

rewrite50.0ms (0.8%)

series217.0ms (3.3%)

simplify118.0ms (1.8%)

prune356.0ms (5.4%)

localize10.0ms (0.1%)

rewrite31.0ms (0.5%)

series238.0ms (3.6%)

simplify80.0ms (1.2%)

prune112.0ms (1.7%)

regimes24.0ms (0.4%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.5s (37.6%)

Profiling