Details

analyze583.0ms (10.2%)

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
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
42.1%	57.7%	0.1%	9
56.9%	42.9%	0.1%	10
59.5%	40.4%	0.1%	11
68.1%	31.8%	0.1%	12
75.1%	24.4%	0.5%	13
75.7%	23.3%	1%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample57.0ms (1%)

Algorithm

1×

intervals

Results

18.0ms	192×	body	128	valid
12.0ms	32×	body	1024	valid
7.0ms	26×	body	512	valid
2.0ms	4×	body	1024	invalid
1.0ms	6×	body	256	valid
1.0ms	15×	body	128	invalid
1.0ms	4×	body	512	invalid

Compiler

Compiled 17 to 18 computations (-5.9% saved)

simplify139.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	68	12
1	68	12

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

2.8b

Counts

2 → 1

Compiler

Compiled 16 to 14 computations (12.5% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (sin.f64 y) y)
0.1b	(*.f64 x (/.f64 (sin.f64 y) y))
2.7b	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)

rewrite25.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

26×	`add-sqr-sqrt_binary64_8966`
22×	`times-frac_binary64_8950`
21×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944`
19×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
13×	`associate-r_binary64_8884`
6×	`div-exp_binary64_8995` `associate-/r*_binary64_8888` `cbrt-undiv_binary64_8978`
5×	`pow1_binary64_9005`
4×	`prod-exp_binary64_8993` `associate-/l*_binary64_8889` `cbrt-unprod_binary64_8977`
3×	`associate-l_binary64_8885` `div-inv_binary64_8941` `add-log-exp_binary64_8983`
2×	`associate-*r/_binary64_8886` `clear-num_binary64_8943` `frac-2neg_binary64_8955` `unswap-sqr_binary64_8912`
1×	`*-commutative_binary64_8875` `associate-/l/_binary64_8891` `pow-prod-down_binary64_9015`

Counts

3 → 83

Calls

3 calls:

8.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
7.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
4.0ms	(/.f64 (sin.f64 y) y)

series151.0ms (2.7%)

Counts

3 → 9

Calls

3 calls:

72.0ms	(/.f64 (*.f64 x (/.f64 (sin.f64 y) y)) z)
47.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
32.0ms	(/.f64 (sin.f64 y) y)

simplify84.0ms (1.5%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (66.0ms)

Iter	Nodes	Cost
0	5174	1158

prune67.0ms (1.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	86	6	92
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	7	93

Error

0.0b

Counts

93 → 7

Compiler

Compiled 1228 to 340 computations (72.3% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (sin.f64 y) y)
0.1b	(/.f64 (/.f64 (sin.f64 y) y) z)
2.1b	(*.f64 x (/.f64 (/.f64 (sin.f64 y) y) z))

rewrite47.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

153×	`times-frac_binary64_8950`
98×	`add-sqr-sqrt_binary64_8966`
89×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944`
43×	`associate-r_binary64_8884`
19×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
16×	`associate-/l*_binary64_8889`
10×	`div-inv_binary64_8941`
7×	`div-exp_binary64_8995` `cbrt-undiv_binary64_8978`
6×	`associate-/r*_binary64_8888`
5×	`pow1_binary64_9005`
3×	`associate-l_binary64_8885` `prod-exp_binary64_8993` `unswap-sqr_binary64_8912` `add-log-exp_binary64_8983` `cbrt-unprod_binary64_8977`
2×	`clear-num_binary64_8943` `frac-2neg_binary64_8955`
1×	`associate-r/_binary64_8886` `-commutative_binary64_8875` `associate-/l/_binary64_8891` `pow-prod-down_binary64_9015`

Counts

3 → 162

Calls

3 calls:

19.0ms	(*.f64 x (/.f64 (/.f64 (sin.f64 y) y) z))
7.0ms	(/.f64 (/.f64 (sin.f64 y) y) z)
6.0ms	(/.f64 (sin.f64 y) y)

series170.0ms (3%)

Counts

3 → 9

Calls

3 calls:

93.0ms	(*.f64 x (/.f64 (/.f64 (sin.f64 y) y) z))
51.0ms	(/.f64 (/.f64 (sin.f64 y) y) z)
25.0ms	(/.f64 (sin.f64 y) y)

simplify139.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 0 (90.0ms)

Iter	Nodes	Cost
0	4974	2931
1	4974	2931

prune155.0ms (2.7%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	168	3	171
Fresh	1	4	5
Picked	1	0	1
Done	1	0	1
Total	171	7	178

Error

Counts

178 → 7

Compiler

Compiled 2838 to 612 computations (78.4% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (sin.f64 y) y)
0.1b	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 1 z))
2.1b	(.f64 x (.f64 (/.f64 (sin.f64 y) y) (/.f64 1 z)))

rewrite50.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

59×	`add-exp-log_binary64_8982`
43×	`add-sqr-sqrt_binary64_8966`
35×	`add-cbrt-cube_binary64_8980`
34×	`times-frac_binary64_8950`
28×	`*-un-lft-identity_binary64_8944`
26×	`add-cube-cbrt_binary64_8979`
25×	`prod-exp_binary64_8993`
17×	`div-exp_binary64_8995`
16×	`associate-l_binary64_8885`
14×	`associate-r_binary64_8884`
13×	`cbrt-unprod_binary64_8977`
10×	`pow1_binary64_9005`
9×	`cbrt-undiv_binary64_8978`
6×	`associate-*r/_binary64_8886` `unswap-sqr_binary64_8912`
4×	`rec-exp_binary64_8994` `pow-prod-down_binary64_9015` `1-exp_binary64_8988`
3×	`associate-/r_binary64_8888` `associate-/l_binary64_8889` `div-inv_binary64_8941` `add-log-exp_binary64_8983`
2×	`frac-times_binary64_8954` `associate-l/_binary64_8887` `-commutative_binary64_8875` `un-div-inv_binary64_8942`
1×	`clear-num_binary64_8943` `frac-2neg_binary64_8955`

Counts

3 → 116

Calls

3 calls:

22.0ms	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 1 z))
14.0ms	(.f64 x (.f64 (/.f64 (sin.f64 y) y) (/.f64 1 z)))
4.0ms	(/.f64 (sin.f64 y) y)

series186.0ms (3.3%)

Counts

3 → 9

Calls

3 calls:

96.0ms	(.f64 x (.f64 (/.f64 (sin.f64 y) y) (/.f64 1 z)))
55.0ms	(*.f64 (/.f64 (sin.f64 y) y) (/.f64 1 z))
36.0ms	(/.f64 (sin.f64 y) y)

simplify112.0ms (2%)

Algorithm

1×	egg-herbie

Counts

125 → 125

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4988	1622
1	4988	1622

prune147.0ms (2.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	124	1	125
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	126	6	132

Error

Counts

132 → 6

Compiler

Compiled 1767 to 566 computations (68% saved)

localize11.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 z (/.f64 (sin.f64 y) y))
0.1b	(/.f64 (sin.f64 y) y)
2.2b	(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))

rewrite81.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

480×	`times-frac_binary64_8950`
238×	`add-cube-cbrt_binary64_8979` `*-un-lft-identity_binary64_8944` `add-sqr-sqrt_binary64_8966`
60×	`associate-/r*_binary64_8888`
23×	`div-inv_binary64_8941`
19×	`add-cbrt-cube_binary64_8980` `add-exp-log_binary64_8982`
10×	`div-exp_binary64_8995` `cbrt-undiv_binary64_8978`
9×	`associate-/l*_binary64_8889`
6×	`associate-/r/_binary64_8890`
3×	`pow1_binary64_9005` `clear-num_binary64_8943` `frac-2neg_binary64_8955` `add-log-exp_binary64_8983`

Counts

3 → 293

Calls

3 calls:

14.0ms	(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
6.0ms	(/.f64 z (/.f64 (sin.f64 y) y))
4.0ms	(/.f64 (sin.f64 y) y)

series274.0ms (4.8%)

Counts

3 → 9

Calls

3 calls:

121.0ms	(/.f64 z (/.f64 (sin.f64 y) y))
117.0ms	(/.f64 x (/.f64 z (/.f64 (sin.f64 y) y)))
36.0ms	(/.f64 (sin.f64 y) y)

simplify216.0ms (3.8%)

Algorithm

1×	egg-herbie

Counts

302 → 302

Iterations

Useful iterations: 0 (91.0ms)

Iter	Nodes	Cost
0	4959	7392
1	4959	7392

prune319.0ms (5.6%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	302	0	302
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	302	6	308

Error

Counts

308 → 6

Compiler

Compiled 5601 to 875 computations (84.4% saved)

regimes543.0ms (9.5%)

Accuracy

Total 1.4b remaining (99.8%)

Threshold costs 0b (0%)

Compiler

Compiled 2082 to 1532 computations (26.4% saved)

bsearch1.0ms (0%)

Compiler: Compiled 6 to 6 computations (0% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	16	38
1	16	38

end0.0ms (0%)

sample2.1s (37.1%)

Algorithm

1×

intervals

Results

445.0ms	5448×	body	128	valid
441.0ms	1334×	body	1024	valid
191.0ms	796×	body	512	valid
67.0ms	418×	body	256	valid
47.0ms	520×	body	128	invalid
16.0ms	68×	body	512	invalid
8.0ms	25×	body	1024	invalid
8.0ms	53×	body	256	invalid
2.0ms	4×	body	2048	valid

Compiler

Compiled 373 to 265 computations (29% saved)

Details

analyze583.0ms (10.2%)

sample57.0ms (1%)

simplify139.0ms (2.4%)

prune2.0ms (0%)

localize6.0ms (0.1%)

rewrite25.0ms (0.4%)

series151.0ms (2.7%)

simplify84.0ms (1.5%)

prune67.0ms (1.2%)

localize7.0ms (0.1%)

rewrite47.0ms (0.8%)

series170.0ms (3%)

simplify139.0ms (2.4%)

prune155.0ms (2.7%)

localize8.0ms (0.1%)

rewrite50.0ms (0.9%)

series186.0ms (3.3%)

simplify112.0ms (2%)

prune147.0ms (2.6%)

localize11.0ms (0.2%)

rewrite81.0ms (1.4%)

series274.0ms (4.8%)

simplify216.0ms (3.8%)

prune319.0ms (5.6%)

regimes543.0ms (9.5%)

bsearch1.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample2.1s (37.1%)

Profiling