Details

analyze86.0ms (2.1%)

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
50%	50%	0.1%	5
56.2%	43.7%	0.1%	6
74.9%	25%	0.1%	7
76.5%	23.4%	0.1%	8
84.3%	15.6%	0.1%	9
86.2%	13.7%	0.1%	10
91.3%	8.6%	0.1%	11
92.6%	7.3%	0.1%	12
95.4%	4.5%	0.1%	13
96.1%	3.8%	0.1%	14

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample39.0ms (1%)

Algorithm

1×

intervals

Results

11.0ms	45×	body	1024	valid
8.0ms	13×	body	256	valid
8.0ms	170×	body	128	valid
4.0ms	28×	body	512	valid

Compiler

Compiled 13 to 13 computations (0% saved)

simplify175.0ms (4.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (3.0ms)

Iter	Nodes	Cost
0	17	9
1	17	9

prune3.0ms (0.1%)

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

Merged error: 0.1b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite24.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

23×	`add-sqr-sqrt_binary64_2509`
19×	`times-frac_binary64_2493`
18×	`*-un-lft-identity_binary64_2487` `add-cube-cbrt_binary64_2522`
13×	`associate-r_binary64_2427`
9×	`add-exp-log_binary64_2525` `add-cbrt-cube_binary64_2523`
4×	`pow1_binary64_2548`
3×	`associate-/r_binary64_2431` `associate-/l_binary64_2432` `associate-l_binary64_2428`
2×	`unswap-sqr_binary64_2455` `prod-exp_binary64_2536` `div-inv_binary64_2484` `cbrt-unprod_binary64_2520` `div-exp_binary64_2538` `add-log-exp_binary64_2526` `cbrt-undiv_binary64_2521`
1×	`-commutative_binary64_2418` `frac-2neg_binary64_2498` `clear-num_binary64_2486` `pow-prod-down_binary64_2558` `associate-r/_binary64_2429`

Counts

2 → 59

Calls

2 calls:

10.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
9.0ms	(/.f64 (sin.f64 y) y)

series140.0ms (3.4%)

Counts

2 → 6

Calls

2 calls:

97.0ms	(*.f64 x (/.f64 (sin.f64 y) y))
43.0ms	(/.f64 (sin.f64 y) y)

simplify117.0ms (2.9%)

Algorithm

1×	egg-herbie

Counts

65 → 65

Iterations

Useful iterations: 0 (103.0ms)

Iter	Nodes	Cost
0	4696	782
1	4696	782

prune248.0ms (6.1%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	57	8	65
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	57	9	66

Merged error: 0b

Counts

66 → 9

Compiler

Compiled 3231 to 1690 computations (47.7% saved)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite50.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

156×	`times-frac_binary64_2493`
103×	`add-sqr-sqrt_binary64_2509`
91×	`*-un-lft-identity_binary64_2487`
89×	`add-cube-cbrt_binary64_2522`
44×	`associate-r_binary64_2427`
35×	`add-exp-log_binary64_2525`
19×	`add-cbrt-cube_binary64_2523`
16×	`associate-/r*_binary64_2431`
15×	`div-exp_binary64_2538`
10×	`div-inv_binary64_2484`
7×	`prod-exp_binary64_2536` `cbrt-undiv_binary64_2521`
6×	`associate-/l*_binary64_2432` `pow1_binary64_2548`
5×	`unswap-sqr_binary64_2455`
4×	`rec-exp_binary64_2537` `1-exp_binary64_2531`
3×	`cbrt-unprod_binary64_2520` `add-log-exp_binary64_2526` `associate-l_binary64_2428`
2×	`associate-/r/_binary64_2433` `frac-2neg_binary64_2498` `clear-num_binary64_2486`
1×	`un-div-inv_binary64_2485` `-commutative_binary64_2418` `pow-flip_binary64_2561` `pow-prod-down_binary64_2558` `inv-pow_binary64_2572` `associate-r/_binary64_2429`

Counts

3 → 176

Calls

3 calls:

20.0ms	(*.f64 x (/.f64 1 (/.f64 y (sin.f64 y))))
8.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))
4.0ms	(/.f64 y (sin.f64 y))

series197.0ms (4.8%)

Counts

3 → 9

Calls

3 calls:

87.0ms	(*.f64 x (/.f64 1 (/.f64 y (sin.f64 y))))
66.0ms	(/.f64 y (sin.f64 y))
44.0ms	(/.f64 1 (/.f64 y (sin.f64 y)))

simplify107.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

185 → 185

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	4993	2654
1	4993	2654

prune168.0ms (4.1%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	184	1	185
Fresh	1	6	7
Picked	0	1	1
Done	0	1	1
Total	185	9	194

Merged error: 0b

Counts

194 → 9

Compiler

Compiled 3019 to 1094 computations (63.8% saved)

localize11.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.5b	(.f64 (cbrt.f64 (.f64 (/.f64 (sin.f64 y) y) x)) (cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x)))
8.0b	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))
8.0b	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))
8.0b	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))

rewrite28.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`pow1_binary64_2548`
10×	`add-sqr-sqrt_binary64_2509`
9×	`pow1/3_binary64_2569`
8×	`-un-lft-identity_binary64_2487` `associate-l/_binary64_2430` `add-cube-cbrt_binary64_2522`
7×	`cbrt-prod_binary64_2518` `cbrt-div_binary64_2519`
6×	`add-exp-log_binary64_2525`
4×	`add-cbrt-cube_binary64_2523` `add-log-exp_binary64_2526` `associate-l_binary64_2428` `swap-sqr_binary64_2454` `associate-r_binary64_2427`
2×	`pow-prod-up_binary64_2557` `pow-sqr_binary64_2460` `pow-prod-down_binary64_2558`
1×	`unswap-sqr_binary64_2455` `-commutative_binary64_2418` `prod-exp_binary64_2536` `frac-times_binary64_2497` `pow-plus_binary64_2550` `pow2_binary64_2568` `cbrt-unprod_binary64_2520` `associate-r/_binary64_2429`

Counts

4 → 64

Calls

4 calls:

7.0ms	(.f64 (cbrt.f64 (.f64 (/.f64 (sin.f64 y) y) x)) (cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x)))
5.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))
5.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))
5.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))

series763.0ms (18.7%)

Counts

4 → 12

Calls

4 calls:

253.0ms	(.f64 (cbrt.f64 (.f64 (/.f64 (sin.f64 y) y) x)) (cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x)))
172.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))
171.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))
167.0ms	(cbrt.f64 (*.f64 (/.f64 (sin.f64 y) y) x))

simplify96.0ms (2.3%)

Algorithm

1×	egg-herbie

Counts

76 → 76

Iterations

Useful iterations: 0 (78.0ms)

Iter	Nodes	Cost
0	4903	1017
1	4903	1017

prune77.0ms (1.9%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	76	0	76
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	76	9	85

Merged error: 0b

Counts

85 → 9

Compiler

Compiled 2016 to 403 computations (80% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (sin.f64 y))
0.6b	(cbrt.f64 (sin.f64 y))
0.6b	(cbrt.f64 (sin.f64 y))
3.5b	(.f64 (.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) x) (/.f64 (cbrt.f64 (sin.f64 y)) y))

rewrite31.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-exp-log_binary64_2525`
22×	`associate-r_binary64_2427`
20×	`*-un-lft-identity_binary64_2487` `add-cube-cbrt_binary64_2522` `add-sqr-sqrt_binary64_2509`
18×	`cbrt-prod_binary64_2518` `times-frac_binary64_2493` `add-cbrt-cube_binary64_2523`
13×	`pow1_binary64_2548`
12×	`prod-exp_binary64_2536` `cbrt-unprod_binary64_2520`
6×	`pow-prod-down_binary64_2558`
4×	`add-log-exp_binary64_2526`
3×	`pow1/3_binary64_2569` `div-exp_binary64_2538` `cbrt-undiv_binary64_2521`
1×	`-commutative_binary64_2418` `div-inv_binary64_2484` `associate-l_binary64_2428` `associate-r/_binary64_2429`

Counts

4 → 80

Calls

4 calls:

18.0ms	(.f64 (.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) x) (/.f64 (cbrt.f64 (sin.f64 y)) y))
2.0ms	(cbrt.f64 (sin.f64 y))
2.0ms	(cbrt.f64 (sin.f64 y))
2.0ms	(cbrt.f64 (sin.f64 y))

series458.0ms (11.2%)

Counts

4 → 12

Calls

4 calls:

138.0ms	(cbrt.f64 (sin.f64 y))
124.0ms	(cbrt.f64 (sin.f64 y))
116.0ms	(cbrt.f64 (sin.f64 y))
79.0ms	(.f64 (.f64 (*.f64 (cbrt.f64 (sin.f64 y)) (cbrt.f64 (sin.f64 y))) x) (/.f64 (cbrt.f64 (sin.f64 y)) y))

simplify68.0ms (1.7%)

Algorithm

1×	egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 0 (49.0ms)

Iter	Nodes	Cost
0	4926	1132
1	4926	1132

prune67.0ms (1.6%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	92	0	92
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	92	9	101

Merged error: 0b

Counts

101 → 9

Compiler

Compiled 1511 to 393 computations (74% saved)

regimes69.0ms (1.7%)

Compiler: Compiled 404 to 262 computations (35.1% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	7	9
1	7	9

end0.0ms (0%)

sample1.0s (25.3%)

Algorithm

1×

intervals

Results

283.0ms	1275×	body	1024	valid
265.0ms	5389×	body	128	valid
118.0ms	859×	body	512	valid
46.0ms	475×	body	256	valid
1.0ms	2×	body	2048	valid

Compiler

Compiled 108 to 72 computations (33.3% saved)

Details

analyze86.0ms (2.1%)

sample39.0ms (1%)

simplify175.0ms (4.3%)

prune3.0ms (0.1%)

localize6.0ms (0.1%)

rewrite24.0ms (0.6%)

series140.0ms (3.4%)

simplify117.0ms (2.9%)

prune248.0ms (6.1%)

localize7.0ms (0.2%)

rewrite50.0ms (1.2%)

series197.0ms (4.8%)

simplify107.0ms (2.6%)

prune168.0ms (4.1%)

localize11.0ms (0.3%)

rewrite28.0ms (0.7%)

series763.0ms (18.7%)

simplify96.0ms (2.3%)

prune77.0ms (1.9%)

localize13.0ms (0.3%)

rewrite31.0ms (0.8%)

series458.0ms (11.2%)

simplify68.0ms (1.7%)

prune67.0ms (1.6%)

regimes69.0ms (1.7%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample1.0s (25.3%)

Profiling