Details

analyze701.0ms (3.5%)

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
25%	74.9%	0.1%	3
25%	74.9%	0.1%	4
31.2%	68.7%	0.1%	5
31.2%	59.3%	9.5%	6
34.3%	54.6%	11%	7
34.3%	49.2%	16.5%	8
35.9%	46.4%	17.7%	9
35.9%	42.1%	22%	10
36.7%	40.6%	22.7%	11
36.7%	39.1%	24.2%	12
37.1%	38.3%	24.7%	13
37.1%	36.7%	26.2%	14

Compiler

Compiled 9 to 8 computations (11.1% saved)

sample429.0ms (2.1%)

Algorithm

1×

intervals

Results

336.0ms	161×	body	8192	exit
39.0ms	100×	body	1024	nan
19.0ms	256×	body	128	valid
12.0ms	58×	body	512	nan
4.0ms	29×	body	256	nan
1.0ms	7×	body	128	overflowed
1.0ms	11×	body	128	nan
0.0ms	4×	body	128	invalid

Compiler

Compiled 17 to 17 computations (0% saved)

simplify239.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (76.0ms)

Iter	Nodes	Cost
0	5961	11

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

Merged error: 0.2b

Counts

2 → 2

Compiler

Compiled 22 to 17 computations (22.7% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
0.2b	(pow.f64 l (exp.f64 w))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`times-frac_binary64_757`
20×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751` `add-sqr-sqrt_binary64_772`
15×	`unpow-prod-down_binary64_827`
7×	`associate-/l*_binary64_698`
5×	`sqr-pow_binary64_723` `add-exp-log_binary64_786`
4×	`add-cbrt-cube_binary64_784`
3×	`associate-/r*_binary64_697` `pow1_binary64_809` `pow-unpow_binary64_825` `div-exp_binary64_799`
2×	`pow-to-exp_binary64_817` `pow-exp_binary64_816` `add-log-exp_binary64_787`
1×	`pow-pow_binary64_820` `div-inv_binary64_748` `cbrt-undiv_binary64_782` `frac-2neg_binary64_762` `clear-num_binary64_750`

Counts

2 → 62

Calls

2 calls:

6.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
3.0ms	(pow.f64 l (exp.f64 w))

series290.0ms (1.4%)

Counts

2 → 6

Calls

2 calls:

175.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
114.0ms	(pow.f64 l (exp.f64 w))

simplify69.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	5027	1210

prune60.0ms (0.3%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	64	4	68
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	66	4	70

Merged error: 0.1b

Counts

70 → 4

Compiler

Compiled 1046 to 262 computations (75% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

0.0b	(sqrt.f64 (exp.f64 w))
0.2b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.2b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))))

rewrite180.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

539×	`add-sqr-sqrt_binary64_772`
456×	`times-frac_binary64_757`
373×	`sqrt-prod_binary64_766`
284×	`unpow-prod-down_binary64_827`
188×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751`
100×	`swap-sqr_binary64_718`
81×	`unswap-sqr_binary64_719`
66×	`sqr-pow_binary64_723`
64×	`associate-l_binary64_694` `associate-r_binary64_693`
54×	`add-exp-log_binary64_786`
24×	`div-exp_binary64_799`
16×	`prod-exp_binary64_797` `pow1_binary64_809` `add-cbrt-cube_binary64_784`
10×	`pow-to-exp_binary64_817` `pow-exp_binary64_816`
6×	`pow-pow_binary64_820` `sqrt-pow1_binary64_768` `pow-unpow_binary64_825`
4×	`add-log-exp_binary64_787` `div-inv_binary64_748` `cbrt-undiv_binary64_782` `cbrt-unprod_binary64_781`
3×	`exp-prod_binary64_800` `pow1/2_binary64_828`
2×	`sqrt-pow2_binary64_769`
1×	`frac-times_binary64_761` `rem-sqrt-square_binary64_764` `pow-plus_binary64_811` `pow-sqr_binary64_724` `pow-prod-up_binary64_818` `pow-prod-down_binary64_819` `-commutative_binary64_684` `associate-r/_binary64_695` `pow2_binary64_829` `associate-*l/_binary64_696`

Counts

4 → 407

Calls

4 calls:

81.0ms	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))))
4.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
3.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
2.0ms	(sqrt.f64 (exp.f64 w))

series575.0ms (2.9%)

Counts

4 → 12

Calls

4 calls:

312.0ms	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))))
126.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
114.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
24.0ms	(sqrt.f64 (exp.f64 w))

simplify203.0ms (1%)

Algorithm

1×	egg-herbie

Counts

419 → 419

Iterations

Useful iterations: 0 (59.0ms)

Iter	Nodes	Cost
0	4968	16948
1	4968	16948

prune434.0ms (2.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	417	2	419
Fresh	1	2	3
Picked	1	0	1
Done	0	0	0
Total	419	4	423

Merged error: 0.0b

Counts

423 → 4

Compiler

Compiled 13134 to 2439 computations (81.4% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.2b	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
0.2b	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
0.4b	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))

rewrite209.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

492×	`add-sqr-sqrt_binary64_772`
356×	`times-frac_binary64_757`
320×	`unpow-prod-down_binary64_827`
273×	`sqrt-prod_binary64_766`
117×	`unswap-sqr_binary64_719`
108×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751`
88×	`associate-r_binary64_693`
84×	`sqr-pow_binary64_723`
80×	`add-exp-log_binary64_786`
64×	`associate-l_binary64_694`
38×	`div-exp_binary64_799`
28×	`pow-exp_binary64_816`
24×	`prod-exp_binary64_797`
18×	`pow-to-exp_binary64_817`
16×	`add-cbrt-cube_binary64_784`
15×	`pow-unpow_binary64_825`
10×	`pow1_binary64_809`
7×	`pow-pow_binary64_820`
4×	`add-log-exp_binary64_787` `cbrt-undiv_binary64_782` `cbrt-unprod_binary64_781`
2×	`pow1/2_binary64_828` `div-inv_binary64_748` `sqrt-pow1_binary64_768` `sqrt-pow2_binary64_769`
1×	`frac-times_binary64_761` `pow-prod-down_binary64_819` `-commutative_binary64_684` `associate-r/_binary64_695` `associate-*l/_binary64_696`

Counts

4 → 387

Calls

4 calls:

106.0ms	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
6.0ms	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
4.0ms	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
4.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

series1.3s (6.3%)

Counts

4 → 12

Calls

4 calls:

735.0ms	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))))
273.0ms	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
134.0ms	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
123.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

simplify208.0ms (1%)

Algorithm

1×	egg-herbie

Counts

399 → 399

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	4972	21339
1	4972	21339

prune467.0ms (2.3%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	397	2	399
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	398	5	403

Merged error: 0.0b

Counts

403 → 5

Compiler

Compiled 16722 to 1997 computations (88.1% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (sqrt.f64 (exp.f64 w))))
0.2b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.2b	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
0.4b	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))

rewrite272.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Rules

621×	`add-sqr-sqrt_binary64_772`
528×	`unpow-prod-down_binary64_827`
448×	`times-frac_binary64_757`
333×	`sqrt-prod_binary64_766`
153×	`unswap-sqr_binary64_719`
123×	`add-cube-cbrt_binary64_783` `*-un-lft-identity_binary64_751`
116×	`sqr-pow_binary64_723`
112×	`associate-r_binary64_693`
104×	`add-exp-log_binary64_786`
64×	`associate-l_binary64_694`
52×	`div-exp_binary64_799`
50×	`pow-exp_binary64_816`
32×	`prod-exp_binary64_797`
24×	`pow-to-exp_binary64_817`
18×	`pow-unpow_binary64_825`
16×	`add-cbrt-cube_binary64_784`
10×	`pow1_binary64_809`
7×	`pow-pow_binary64_820`
4×	`add-log-exp_binary64_787` `cbrt-undiv_binary64_782` `cbrt-unprod_binary64_781`
2×	`pow1/2_binary64_828` `div-inv_binary64_748` `sqrt-pow1_binary64_768` `sqrt-pow2_binary64_769`
1×	`frac-times_binary64_761` `pow-prod-down_binary64_819` `-commutative_binary64_684` `associate-r/_binary64_695` `associate-*l/_binary64_696`

Counts

4 → 458

Calls

4 calls:

129.0ms	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))
6.0ms	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (sqrt.f64 (exp.f64 w))))
4.0ms	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
4.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

series1.4s (6.8%)

Counts

4 → 12

Calls

4 calls:

783.0ms	(*.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (sqrt.f64 (exp.f64 w))) (/.f64 (pow.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (sqrt.f64 (exp.f64 w)))) (sqrt.f64 (exp.f64 w))))
334.0ms	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (sqrt.f64 (exp.f64 w))))
143.0ms	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
110.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

simplify275.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

470 → 470

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4989	32210
1	4989	32210

prune626.0ms (3.1%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	469	1	470
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	470	5	475

Merged error: 0b

Counts

475 → 5

Compiler

Compiled 24378 to 2500 computations (89.7% saved)

regimes34.0ms (0.2%)

Compiler: Compiled 324 to 166 computations (48.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	52
1	16	52

end0.0ms (0%)

sample12.1s (60.2%)

Algorithm

1×

intervals

Results

9.2s	4605×	body	8192	exit
1.2s	3276×	body	1024	nan
561.0ms	8000×	body	128	valid
330.0ms	1589×	body	512	nan
100.0ms	812×	body	256	nan
18.0ms	335×	body	128	nan
11.0ms	136×	body	128	overflowed
8.0ms	115×	body	128	invalid
8.0ms	2×	body	8192	nan
3.0ms	2×	body	4096	nan
3.0ms	6×	body	2048	nan

Compiler

Compiled 199 to 102 computations (48.7% saved)

Details

analyze701.0ms (3.5%)

sample429.0ms (2.1%)

simplify239.0ms (1.2%)

prune3.0ms (0%)

localize6.0ms (0%)

rewrite14.0ms (0.1%)

series290.0ms (1.4%)

simplify69.0ms (0.3%)

prune60.0ms (0.3%)

localize9.0ms (0%)

rewrite180.0ms (0.9%)

series575.0ms (2.9%)

simplify203.0ms (1%)

prune434.0ms (2.2%)

localize14.0ms (0.1%)

rewrite209.0ms (1%)

series1.3s (6.3%)

simplify208.0ms (1%)

prune467.0ms (2.3%)

localize17.0ms (0.1%)

rewrite272.0ms (1.4%)

series1.4s (6.8%)

simplify275.0ms (1.4%)

prune626.0ms (3.1%)

regimes34.0ms (0.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample12.1s (60.2%)

Profiling