Details

analyze1.2s (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)

sample729.0ms (2.2%)

Algorithm

1×

intervals

Results

557.0ms	168×	body	8192	exit
68.0ms	114×	body	1024	nan
26.0ms	256×	body	128	valid
14.0ms	44×	body	512	nan
5.0ms	26×	body	256	nan
1.0ms	7×	body	128	overflowed
1.0ms	1×	body	2048	nan
1.0ms	8×	body	128	nan
0.0ms	2×	body	128	invalid

Compiler

Compiled 17 to 17 computations (0% saved)

simplify369.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (201.0ms)

Iter	Nodes	Cost
0	4896	11
1	4896	11

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

0.3b

Counts

2 → 2

Compiler

Compiled 22 to 17 computations (22.7% saved)

localize10.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite126.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

21×	`times-frac_binary64_766`
20×	`add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782` `*-un-lft-identity_binary64_760`
15×	`unpow-prod-down_binary64_839`
7×	`associate-/l*_binary64_705`
5×	`add-exp-log_binary64_798` `sqr-pow_binary64_732`
4×	`add-cbrt-cube_binary64_796`
3×	`pow-unpow_binary64_837` `pow1_binary64_821` `div-exp_binary64_811` `associate-/r*_binary64_704`
2×	`pow-to-exp_binary64_829` `pow-exp_binary64_828` `add-log-exp_binary64_799`
1×	`pow-pow_binary64_832` `cbrt-undiv_binary64_794` `frac-2neg_binary64_771` `clear-num_binary64_759` `div-inv_binary64_757`

Counts

2 → 62

Calls

2 calls:

11.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
4.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 946 to 222 computations (76.5% saved)

series668.0ms (2%)

Error

0.3b

Counts

2 → 18

Calls

2 calls:

357.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
274.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 956 to 520 computations (45.6% saved)

simplify133.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (92.0ms)

Iter	Nodes	Cost
0	4974	1490
1	4974	1490

prune134.0ms (0.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	74	6	80
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	76	6	82

Error

0.1b

Counts

82 → 6

Compiler

Compiled 1285 to 369 computations (71.3% saved)

localize23.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.0b	(*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.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)) (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))

rewrite675.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

180×	`add-sqr-sqrt_binary64_782`
146×	`times-frac_binary64_766`
106×	`add-exp-log_binary64_798`
92×	`unpow-prod-down_binary64_839`
70×	`associate-r_binary64_700`
66×	`cbrt-prod_binary64_791`
61×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
49×	`unswap-sqr_binary64_728`
46×	`sqrt-prod_binary64_776`
45×	`div-exp_binary64_811`
41×	`prod-exp_binary64_809`
28×	`sqr-pow_binary64_732`
20×	`associate-l_binary64_701`
18×	`add-cbrt-cube_binary64_796`
17×	`pow1_binary64_821` `pow-to-exp_binary64_829` `pow-exp_binary64_828`
9×	`cbrt-unprod_binary64_793`
7×	`cbrt-undiv_binary64_794`
6×	`pow-unpow_binary64_837` `pow-pow_binary64_832` `pow1/3_binary64_842` `swap-sqr_binary64_727`
4×	`add-log-exp_binary64_799`
3×	`pow-prod-down_binary64_831`
2×	`div-inv_binary64_757` `*-commutative_binary64_691` `pow1/2_binary64_840` `sqrt-pow1_binary64_778` `sqrt-pow2_binary64_779` `pow-prod-up_binary64_830` `pow-sqr_binary64_733`
1×	`frac-times_binary64_770` `associate-l/_binary64_703` `associate-r/_binary64_702` `pow2_binary64_841` `pow-plus_binary64_823`

Counts

4 → 255

Calls

4 calls:

80.0ms	(.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
13.0ms	(*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))
6.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
6.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 9044 to 1043 computations (88.5% saved)

series1.2s (3.6%)

Error

0.1b

Counts

4 → 33

Calls

4 calls:

549.0ms	(.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
233.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
216.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))
143.0ms	(*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))

Compiler

Compiled 2744 to 1212 computations (55.8% saved)

simplify245.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

288 → 288

Iterations

Useful iterations: 0 (88.0ms)

Iter	Nodes	Cost
0	5268	8551

prune570.0ms (1.7%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	286	2	288
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	288	6	294

Error

0.1b

Counts

294 → 6

Compiler

Compiled 8451 to 1977 computations (76.6% saved)

localize30.0ms (0.1%)

Local error

Found 4 expressions with local error:

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.2b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (cbrt.f64 (exp.f64 w))))

rewrite870.0ms (2.6%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

230×	`add-sqr-sqrt_binary64_782`
216×	`unpow-prod-down_binary64_839`
206×	`times-frac_binary64_766`
155×	`add-exp-log_binary64_798`
88×	`associate-r_binary64_700`
73×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
72×	`cbrt-prod_binary64_791`
71×	`div-exp_binary64_811`
65×	`unswap-sqr_binary64_728`
60×	`prod-exp_binary64_809`
59×	`sqrt-prod_binary64_776`
50×	`sqr-pow_binary64_732`
46×	`pow-exp_binary64_828`
30×	`pow-to-exp_binary64_829`
18×	`add-cbrt-cube_binary64_796`
15×	`pow-unpow_binary64_837`
14×	`associate-l_binary64_701`
10×	`pow1_binary64_821`
8×	`cbrt-unprod_binary64_793`
7×	`cbrt-undiv_binary64_794` `pow-pow_binary64_832`
4×	`add-log-exp_binary64_799`
2×	`div-inv_binary64_757` `pow1/2_binary64_840` `sqrt-pow1_binary64_778` `sqrt-pow2_binary64_779`
1×	`pow-prod-down_binary64_831` `frac-times_binary64_770` `associate-l/_binary64_703` `associate-r/_binary64_702` `*-commutative_binary64_691`

Counts

4 → 305

Calls

4 calls:

91.0ms	(.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (cbrt.f64 (exp.f64 w))))
9.0ms	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
7.0ms	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
6.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 13545 to 1436 computations (89.4% saved)

series2.4s (7.2%)

Error

0.1b

Counts

4 → 36

Calls

4 calls:

1.2s	(.f64 (/.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (cbrt.f64 (exp.f64 w))))
612.0ms	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
269.0ms	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
239.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 5490 to 1948 computations (64.5% saved)

simplify314.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

341 → 341

Iterations

Useful iterations: 0 (56.0ms)

Iter	Nodes	Cost
0	5297	16370

prune774.0ms (2.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	338	3	341
Fresh	1	4	5
Picked	1	0	1
Done	0	0	0
Total	340	7	347

Error

0.0b

Counts

347 → 7

Compiler

Compiled 14013 to 1718 computations (87.7% saved)

localize29.0ms (0.1%)

Local error

Found 4 expressions with local error:

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.2b	(pow.f64 (sqrt.f64 l) (exp.f64 w))
0.4b	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (cbrt.f64 (exp.f64 w))))

rewrite753.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

204×	`unpow-prod-down_binary64_839`
195×	`add-sqr-sqrt_binary64_782`
132×	`times-frac_binary64_766`
88×	`associate-r_binary64_700`
72×	`add-cube-cbrt_binary64_795` `*-un-lft-identity_binary64_760`
66×	`cbrt-prod_binary64_791`
57×	`sqrt-prod_binary64_776`
52×	`unswap-sqr_binary64_728`
47×	`add-exp-log_binary64_798`
46×	`sqr-pow_binary64_732`
24×	`pow-exp_binary64_828`
18×	`prod-exp_binary64_809`
16×	`pow-to-exp_binary64_829`
15×	`div-exp_binary64_811` `pow-unpow_binary64_837`
10×	`associate-l_binary64_701`
8×	`pow1_binary64_821` `add-cbrt-cube_binary64_796`
7×	`pow-pow_binary64_832`
4×	`add-log-exp_binary64_799`
2×	`cbrt-unprod_binary64_793` `pow1/2_binary64_840` `sqrt-pow1_binary64_778` `sqrt-pow2_binary64_779`
1×	`cbrt-undiv_binary64_794` `associate-r/_binary64_702` `div-inv_binary64_757` `-commutative_binary64_691`

Counts

4 → 257

Calls

4 calls:

69.0ms	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (cbrt.f64 (exp.f64 w))))
9.0ms	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
7.0ms	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
6.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 11287 to 1465 computations (87% saved)

series2.5s (7.6%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

1.3s	(*.f64 (pow.f64 (sqrt.f64 l) (exp.f64 w)) (/.f64 (pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (cbrt.f64 (exp.f64 w))))
654.0ms	(pow.f64 (pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
248.0ms	(pow.f64 (sqrt.f64 l) (sqrt.f64 (exp.f64 w)))
196.0ms	(pow.f64 (sqrt.f64 l) (exp.f64 w))

Compiler

Compiled 5767 to 2089 computations (63.8% saved)

simplify287.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

293 → 293

Iterations

Useful iterations: 0 (95.0ms)

Iter	Nodes	Cost
0	5003	11348

prune600.0ms (1.8%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	293	0	293
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	293	7	300

Error

0.0b

Counts

300 → 7

Compiler

Compiled 12231 to 1647 computations (86.5% saved)

regimes546.0ms (1.6%)

Accuracy

Total 0.2b remaining (75.9%)

Threshold costs 0.2b (75.9%)

Compiler

Compiled 4496 to 2035 computations (54.7% saved)

bsearch0.0ms (0%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	13	28
1	13	28

end0.0ms (0%)

sample18.3s (54.6%)

Algorithm

1×

intervals

Results

12.5s	4609×	body	8192	exit
1.5s	3115×	body	1024	nan
704.0ms	8000×	body	128	valid
425.0ms	1522×	body	512	nan
137.0ms	812×	body	256	nan
21.0ms	305×	body	128	nan
18.0ms	161×	body	128	overflowed
14.0ms	3×	body	8192	nan
11.0ms	118×	body	128	invalid
5.0ms	2×	body	4096	nan
4.0ms	6×	body	2048	nan

Compiler

Compiled 1518 to 691 computations (54.5% saved)

Details

analyze1.2s (3.5%)

sample729.0ms (2.2%)

simplify369.0ms (1.1%)

prune7.0ms (0%)

localize10.0ms (0%)

rewrite126.0ms (0.4%)

series668.0ms (2%)

simplify133.0ms (0.4%)

prune134.0ms (0.4%)

localize23.0ms (0.1%)

rewrite675.0ms (2%)

series1.2s (3.6%)

simplify245.0ms (0.7%)

prune570.0ms (1.7%)

localize30.0ms (0.1%)

rewrite870.0ms (2.6%)

series2.4s (7.2%)

simplify314.0ms (0.9%)

prune774.0ms (2.3%)

localize29.0ms (0.1%)

rewrite753.0ms (2.2%)

series2.5s (7.6%)

simplify287.0ms (0.9%)

prune600.0ms (1.8%)

regimes546.0ms (1.6%)

bsearch0.0ms (0%)

simplify4.0ms (0%)

end0.0ms (0%)

sample18.3s (54.6%)

Profiling