Details

analyze948.0ms (4.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
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)

sample615.0ms (2.7%)

Algorithm

1×

intervals

Results

468.0ms	160×	body	8192	exit
62.0ms	125×	body	1024	nan
29.0ms	256×	body	128	valid
14.0ms	47×	body	512	nan
6.0ms	36×	body	256	nan
1.0ms	1×	body	2048	nan
1.0ms	12×	body	128	nan
1.0ms	4×	body	128	overflowed
0.0ms	1×	body	128	invalid

Compiler

Compiled 17 to 17 computations (0% saved)

simplify251.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (137.0ms)

Iter	Nodes	Cost
0	4896	11
1	4896	11

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

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

rewrite12.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`times-frac_binary64_766`
20×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
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×	`associate-/r*_binary64_704` `div-exp_binary64_811` `pow1_binary64_821` `pow-unpow_binary64_837`
2×	`add-log-exp_binary64_799` `pow-exp_binary64_828` `pow-to-exp_binary64_829`
1×	`frac-2neg_binary64_771` `cbrt-undiv_binary64_794` `div-inv_binary64_757` `clear-num_binary64_759` `pow-pow_binary64_832`

Counts

2 → 62

Calls

2 calls:

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

series188.0ms (0.8%)

Counts

2 → 6

Calls

2 calls:

115.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
72.0ms	(pow.f64 l (exp.f64 w))

simplify127.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (111.0ms)

Iter	Nodes	Cost
0	4959	1218
1	4959	1218

prune304.0ms (1.3%)

Pruning

30 alts after pruning (29 fresh and 1 done)

	Pruned	Kept	Total
New	40	28	68
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	40	30	70

Merged error: 0.0b

Counts

70 → 30

Compiler

Compiled 1491 to 493 computations (66.9% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

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

rewrite11.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 43

Calls

2 calls:

6.0ms	(/.f64 (*.f64 1 (pow.f64 l (exp.f64 w))) (exp.f64 w))
2.0ms	(pow.f64 l (exp.f64 w))

series161.0ms (0.7%)

Counts

2 → 6

Calls

2 calls:

100.0ms	(/.f64 (*.f64 1 (pow.f64 l (exp.f64 w))) (exp.f64 w))
61.0ms	(pow.f64 l (exp.f64 w))

simplify60.0ms (0.3%)

Algorithm

1×	egg-herbie

Counts

49 → 49

Iterations

Useful iterations: 0 (47.0ms)

Iter	Nodes	Cost
0	5080	647

prune193.0ms (0.8%)

Pruning

36 alts after pruning (34 fresh and 2 done)

	Pruned	Kept	Total
New	43	6	49
Fresh	0	28	28
Picked	0	1	1
Done	0	1	1
Total	43	36	79

Merged error: 0.0b

Counts

79 → 36

Compiler

Compiled 1232 to 531 computations (56.9% saved)

localize14.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite36.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 52

Calls

2 calls:

24.0ms	(/.f64 (.f64 1 (.f64 1 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
4.0ms	(pow.f64 l (exp.f64 w))

series226.0ms (1%)

Counts

2 → 6

Calls

2 calls:

118.0ms	(/.f64 (.f64 1 (.f64 1 (pow.f64 l (exp.f64 w)))) (exp.f64 w))
107.0ms	(pow.f64 l (exp.f64 w))

simplify220.0ms (1%)

Algorithm

1×	egg-herbie

Counts

58 → 58

Iterations

Useful iterations: 0 (192.0ms)

Iter	Nodes	Cost
0	4901	749
1	4901	749

prune317.0ms (1.4%)

Pruning

42 alts after pruning (39 fresh and 3 done)

	Pruned	Kept	Total
New	51	7	58
Fresh	1	32	33
Picked	0	1	1
Done	0	2	2
Total	52	42	94

Merged error: 0.0b

Counts

94 → 42

Compiler

Compiled 1462 to 658 computations (55% saved)

localize19.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite51.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`prod-exp_binary64_809`
67×	`add-exp-log_binary64_798`
41×	`1-exp_binary64_804`
31×	`div-exp_binary64_811`
16×	`add-cbrt-cube_binary64_796`
9×	`pow-exp_binary64_828` `pow-to-exp_binary64_829`
6×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `cbrt-unprod_binary64_793` `add-sqr-sqrt_binary64_782`
4×	`cbrt-undiv_binary64_794`
3×	`associate-/r*_binary64_704` `pow1_binary64_821` `pow-unpow_binary64_837` `times-frac_binary64_766` `unpow-prod-down_binary64_839`
2×	`add-log-exp_binary64_799`
1×	`frac-2neg_binary64_771` `div-inv_binary64_757` `associate-/l*_binary64_705` `sqr-pow_binary64_732` `clear-num_binary64_759` `pow-pow_binary64_832`

Counts

2 → 69

Calls

2 calls:

31.0ms	(/.f64 (.f64 1 (.f64 1 (*.f64 1 (pow.f64 l (exp.f64 w))))) (exp.f64 w))
6.0ms	(pow.f64 l (exp.f64 w))

series216.0ms (1%)

Counts

2 → 6

Calls

2 calls:

133.0ms	(/.f64 (.f64 1 (.f64 1 (*.f64 1 (pow.f64 l (exp.f64 w))))) (exp.f64 w))
82.0ms	(pow.f64 l (exp.f64 w))

simplify215.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

75 → 75

Iterations

Useful iterations: 0 (190.0ms)

Iter	Nodes	Cost
0	4901	939
1	4901	939

prune277.0ms (1.2%)

Pruning

49 alts after pruning (45 fresh and 4 done)

	Pruned	Kept	Total
New	67	8	75
Fresh	1	37	38
Picked	0	1	1
Done	0	3	3
Total	68	49	117

Merged error: 0.0b

Counts

117 → 49

Compiler

Compiled 911 to 284 computations (68.8% saved)

regimes650.0ms (2.9%)

Compiler: Compiled 4904 to 3124 computations (36.3% saved)

bsearch758.0ms (3.3%)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	11	11
1	11	11

end0.0ms (0%)

sample16.8s (74%)

Algorithm

1×

intervals

Results

11.5s	4609×	body	8192	exit
1.4s	3233×	body	1024	nan
633.0ms	8000×	body	128	valid
407.0ms	1612×	body	512	nan
122.0ms	795×	body	256	nan
24.0ms	353×	body	128	nan
15.0ms	4×	body	8192	nan
13.0ms	131×	body	128	overflowed
9.0ms	108×	body	128	invalid
5.0ms	5×	body	2048	nan

Compiler

Compiled 1652 to 1056 computations (36.1% saved)

Pareto

Details

analyze948.0ms (4.2%)

sample615.0ms (2.7%)

simplify251.0ms (1.1%)

prune6.0ms (0%)

localize5.0ms (0%)

rewrite12.0ms (0.1%)

series188.0ms (0.8%)

simplify127.0ms (0.6%)

prune304.0ms (1.3%)

localize6.0ms (0%)

rewrite11.0ms (0%)

series161.0ms (0.7%)

simplify60.0ms (0.3%)

prune193.0ms (0.8%)

localize14.0ms (0.1%)

rewrite36.0ms (0.2%)

series226.0ms (1%)

simplify220.0ms (1%)

prune317.0ms (1.4%)

localize19.0ms (0.1%)

rewrite51.0ms (0.2%)

series216.0ms (1%)

simplify215.0ms (0.9%)

prune277.0ms (1.2%)

regimes650.0ms (2.9%)

bsearch758.0ms (3.3%)

simplify4.0ms (0%)

end0.0ms (0%)

sample16.8s (74%)

Profiling