Details

analyze628.0ms (3.3%)

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)

sample348.0ms (1.8%)

Algorithm

1×

intervals

Results

266.0ms	147×	body	8192	exit
35.0ms	107×	body	1024	nan
14.0ms	256×	body	128	valid
9.0ms	47×	body	512	nan
3.0ms	28×	body	256	nan
1.0ms	13×	body	128	nan
0.0ms	5×	body	128	overflowed
0.0ms	1×	body	2048	nan
0.0ms	3×	body	128	invalid

Compiler

Compiled 17 to 17 computations (0% saved)

simplify193.0ms (1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (99.0ms)

Iter	Nodes	Cost
0	4896	11
1	4896	11

prune4.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.4b

Counts

2 → 2

Compiler

Compiled 22 to 17 computations (22.7% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

0.4b	(pow.f64 l (exp.f64 w))
0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.0b	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.4b	(pow.f64 l (exp.f64 w))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary64_782`
7×	`-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `associate-r*_binary64_700` `unpow-prod-down_binary64_839`
5×	`add-exp-log_binary64_798`
4×	`add-cbrt-cube_binary64_796`
3×	`unswap-sqr_binary64_728` `prod-exp_binary64_809` `associate-l_binary64_701` `sqr-pow_binary64_732` `pow1_binary64_821` `pow-unpow_binary64_837`
2×	`associate-*l/_binary64_703` `add-log-exp_binary64_799` `pow-exp_binary64_828` `pow-to-exp_binary64_829`
1×	`exp-diff_binary64_808` `neg-sub0_binary64_755` `exp-neg_binary64_807` `cbrt-unprod_binary64_793` `*-commutative_binary64_691` `pow-pow_binary64_832`

Counts

2 → 44

Calls

4 calls:

9.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
2.0ms	(pow.f64 l (exp.f64 w))
0.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
0.0ms	(pow.f64 l (exp.f64 w))

series365.0ms (1.9%)

Counts

2 → 18

Calls

2 calls:

218.0ms	(*.f64 (exp.f64 (neg.f64 w)) (pow.f64 l (exp.f64 w)))
147.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 582 to 406 computations (30.2% saved)

simplify98.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

62 → 62

Iterations

Useful iterations: 0 (84.0ms)

Iter	Nodes	Cost
0	4971	996
1	4971	996

prune109.0ms (0.6%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	56	6	62
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	58	6	64

Error

0.1b

Counts

64 → 6

Compiler

Compiled 1072 to 362 computations (66.2% saved)

localize10.0ms (0.1%)

Local error

Found 8 expressions with local error:

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

rewrite86.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

215×	`cbrt-prod_binary64_791`
177×	`times-frac_binary64_766`
176×	`add-sqr-sqrt_binary64_782`
106×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795`
73×	`unpow-prod-down_binary64_839`
31×	`sqr-pow_binary64_732`
28×	`swap-sqr_binary64_727` `associate-r_binary64_700` `associate-l_binary64_701`
25×	`unswap-sqr_binary64_728`
11×	`pow1_binary64_821`
9×	`pow1/3_binary64_842`
7×	`div-inv_binary64_757` `cbrt-div_binary64_792`
6×	`add-exp-log_binary64_798`
4×	`add-log-exp_binary64_799` `add-cbrt-cube_binary64_796`
2×	`pow-sqr_binary64_733` `pow-prod-up_binary64_830` `pow-prod-down_binary64_831`
1×	`pow2_binary64_841` `associate-l/_binary64_703` `prod-exp_binary64_809` `pow-plus_binary64_823` `frac-times_binary64_770` `associate-r/_binary64_702` `cbrt-unprod_binary64_793` `*-commutative_binary64_691`

Counts

4 → 232

Calls

8 calls:

30.0ms	(*.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
7.0ms	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
5.0ms	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
5.0ms	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
0.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))

series1.9s (10.1%)

Counts

4 → 33

Calls

4 calls:

575.0ms	(*.f64 (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
453.0ms	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
447.0ms	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
438.0ms	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))

Compiler

Compiled 2123 to 1161 computations (45.3% saved)

simplify154.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

265 → 265

Iterations

Useful iterations: 0 (73.0ms)

Iter	Nodes	Cost
0	4972	8843
1	4972	8843

prune286.0ms (1.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	264	1	265
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	265	6	271

Error

0.1b

Counts

271 → 6

Compiler

Compiled 10037 to 1624 computations (83.8% saved)

localize13.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.2b	(log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
0.2b	(.f64 (exp.f64 (.f64 2/3 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))
0.0b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
0.0b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
0.4b	(pow.f64 l (exp.f64 w))
0.4b	(pow.f64 l (exp.f64 w))
0.5b	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
4.1b	(exp.f64 (*.f64 2/3 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))))

rewrite35.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

63×	`times-frac_binary64_766`
50×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `exp-sum_binary64_806` `log-prod_binary64_846` `add-sqr-sqrt_binary64_782`
33×	`unpow-prod-down_binary64_839`
25×	`distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710` `cbrt-prod_binary64_791`
11×	`sqr-pow_binary64_732`
6×	`add-exp-log_binary64_798` `add-log-exp_binary64_799` `pow1_binary64_821` `pow-unpow_binary64_837`
4×	`add-cbrt-cube_binary64_796`
3×	`div-inv_binary64_757`
2×	`pow-exp_binary64_828` `pow-to-exp_binary64_829` `pow-pow_binary64_832`
1×	`pow1/3_binary64_842` `exp-prod_binary64_812` `rem-exp-log_binary64_800` `exp-to-pow_binary64_822` `cbrt-div_binary64_792`

Counts

4 → 128

Calls

8 calls:

8.0ms	(exp.f64 (*.f64 2/3 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))))
5.0ms	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
2.0ms	(pow.f64 l (exp.f64 w))
2.0ms	(pow.f64 l (exp.f64 w))
0.0ms	(.f64 (exp.f64 (.f64 2/3 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))) (cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))))

series1.1s (5.9%)

Counts

4 → 33

Calls

4 calls:

433.0ms	(cbrt.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))
387.0ms	(exp.f64 (*.f64 2/3 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))))
154.0ms	(pow.f64 l (exp.f64 w))
147.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 1683 to 1085 computations (35.5% saved)

simplify107.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

161 → 161

Iterations

Useful iterations: 0 (70.0ms)

Iter	Nodes	Cost
0	4937	3507
1	4937	3507

prune165.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	159	2	161
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	160	7	167

Error

0.1b

Counts

167 → 7

Compiler

Compiled 4594 to 1394 computations (69.7% saved)

localize18.0ms (0.1%)

Local error

Found 8 expressions with local error:

0.0b	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
0.0b	(/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w))
0.0b	(sqrt.f64 (exp.f64 w))
0.0b	(sqrt.f64 (exp.f64 w))
0.4b	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
0.4b	(pow.f64 l (exp.f64 w))
0.5b	(cbrt.f64 (/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)))
4.1b	(exp.f64 (*.f64 2/3 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))))

rewrite47.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

75×	`times-frac_binary64_766`
61×	`unpow-prod-down_binary64_839`
59×	`*-un-lft-identity_binary64_760` `add-cube-cbrt_binary64_795` `add-sqr-sqrt_binary64_782`
50×	`exp-sum_binary64_806` `log-prod_binary64_846`
37×	`cbrt-prod_binary64_791`
25×	`distribute-lft-in_binary64_709` `distribute-rgt-in_binary64_710`
15×	`sqr-pow_binary64_732`
9×	`pow-unpow_binary64_837`
7×	`add-exp-log_binary64_798`
6×	`add-log-exp_binary64_799`
5×	`pow-exp_binary64_828` `pow1_binary64_821`
4×	`add-cbrt-cube_binary64_796`
3×	`sqrt-prod_binary64_776` `div-inv_binary64_757` `pow-to-exp_binary64_829`
2×	`pow-pow_binary64_832`
1×	`pow1/3_binary64_842` `exp-prod_binary64_812` `rem-exp-log_binary64_800` `exp-to-pow_binary64_822` `cbrt-div_binary64_792`

Counts

4 → 149

Calls

8 calls:

8.0ms	(exp.f64 (*.f64 2/3 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))))
7.0ms	(cbrt.f64 (/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)))
4.0ms	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
2.0ms	(pow.f64 l (exp.f64 w))
0.0ms	(sqrt.f64 (exp.f64 w))

series1.9s (10%)

Counts

4 → 33

Calls

4 calls:

901.0ms	(cbrt.f64 (/.f64 (pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w))) (exp.f64 w)))
442.0ms	(pow.f64 (pow.f64 l (sqrt.f64 (exp.f64 w))) (sqrt.f64 (exp.f64 w)))
392.0ms	(exp.f64 (*.f64 2/3 (log.f64 (/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w)))))
154.0ms	(pow.f64 l (exp.f64 w))

Compiler

Compiled 2569 to 1505 computations (41.4% saved)

simplify91.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

182 → 182

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5149	5283

prune212.0ms (1.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	181	1	182
Fresh	1	5	6
Picked	0	1	1
Done	0	0	0
Total	182	7	189

Error

0.1b

Counts

189 → 7

Compiler

Compiled 6261 to 1786 computations (71.5% saved)

simplify23.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (7.0ms)

Iter	Nodes	Cost
0	433	1164
1	433	1164

regimes187.0ms (1%)

Compiler: Compiled 2180 to 1345 computations (38.3% saved)

bsearch0.0ms (0%)

regimes28.0ms (0.1%)

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

bsearch0.0ms (0%)

regimes24.0ms (0.1%)

Compiler: Compiled 66 to 72 computations (-9.1% saved)

bsearch0.0ms (0%)

regimes22.0ms (0.1%)

Compiler: Compiled 42 to 54 computations (-28.6% saved)

bsearch0.0ms (0%)

regimes20.0ms (0.1%)

Compiler: Compiled 12 to 30 computations (-150% saved)

bsearch22.0ms (0.1%)

Steps

Iters	Range		Point
8	0.006655945374386598	6.971905321066532	0.14435385778461224

Compiler

Compiled 1 to 2 computations (-100% saved)

regimes15.0ms (0.1%)

Accuracy

Total 0.2b remaining (77.8%)

Threshold costs 0.2b (77.8%)

Compiler

Compiled 10 to 26 computations (-160% saved)

bsearch4.0ms (0%)

Compiler: Compiled 40 to 38 computations (5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	33	61
1	33	61

end0.0ms (0%)

sample10.7s (56.3%)

Algorithm

1×

intervals

Results

7.7s	4592×	body	8192	exit
995.0ms	3184×	body	1024	nan
431.0ms	8000×	body	128	valid
266.0ms	1536×	body	512	nan
80.0ms	801×	body	256	nan
13.0ms	309×	body	128	nan
9.0ms	149×	body	128	overflowed
7.0ms	128×	body	128	invalid
2.0ms	1×	body	8192	nan
1.0ms	1×	body	4096	nan
1.0ms	4×	body	2048	nan

Compiler

Compiled 769 to 489 computations (36.4% saved)

Pareto

0.9490300051799742

Details

analyze628.0ms (3.3%)

sample348.0ms (1.8%)

simplify193.0ms (1%)

prune4.0ms (0%)

localize7.0ms (0%)

rewrite14.0ms (0.1%)

series365.0ms (1.9%)

simplify98.0ms (0.5%)

prune109.0ms (0.6%)

localize10.0ms (0.1%)

rewrite86.0ms (0.5%)

series1.9s (10.1%)

simplify154.0ms (0.8%)

prune286.0ms (1.5%)

localize13.0ms (0.1%)

rewrite35.0ms (0.2%)

series1.1s (5.9%)

simplify107.0ms (0.6%)

prune165.0ms (0.9%)

localize18.0ms (0.1%)

rewrite47.0ms (0.2%)

series1.9s (10%)

simplify91.0ms (0.5%)

prune212.0ms (1.1%)

simplify23.0ms (0.1%)

regimes187.0ms (1%)

bsearch0.0ms (0%)

regimes28.0ms (0.1%)

bsearch0.0ms (0%)

regimes24.0ms (0.1%)

bsearch0.0ms (0%)

regimes22.0ms (0.1%)

bsearch0.0ms (0%)

regimes20.0ms (0.1%)

bsearch22.0ms (0.1%)

regimes15.0ms (0.1%)

bsearch4.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample10.7s (56.3%)

Profiling