Details

analyze668.0ms (2.9%)

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)

sample448.0ms (2%)

Algorithm

1×

intervals

Results

348.0ms	171×	body	8192	exit
41.0ms	110×	body	1024	nan
18.0ms	256×	body	128	valid
15.0ms	68×	body	512	nan
4.0ms	1×	body	8192	nan
3.0ms	22×	body	256	nan
1.0ms	11×	body	128	nan
1.0ms	7×	body	128	overflowed
0.0ms	6×	body	128	invalid

Compiler

Compiled 17 to 17 computations (0% saved)

simplify246.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (80.0ms)

Iter	Nodes	Cost
0	5961	11

prune5.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 37 to 29 computations (21.6% 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))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`times-frac_binary64_773`
20×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
15×	`unpow-prod-down_binary64_846`
7×	`associate-/l*_binary64_712`
5×	`sqr-pow_binary64_739` `add-exp-log_binary64_805`
4×	`add-cbrt-cube_binary64_803`
3×	`associate-/r*_binary64_711` `pow1_binary64_828` `pow-unpow_binary64_844` `div-exp_binary64_818`
2×	`pow-to-exp_binary64_836` `pow-exp_binary64_835` `add-log-exp_binary64_806`
1×	`frac-2neg_binary64_778` `cbrt-undiv_binary64_801` `clear-num_binary64_766` `div-inv_binary64_764` `pow-pow_binary64_839`

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

series286.0ms (1.2%)

Counts

2 → 6

Calls

2 calls:

173.0ms	(/.f64 (pow.f64 l (exp.f64 w)) (exp.f64 w))
113.0ms	(pow.f64 l (exp.f64 w))

simplify87.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

68 → 68

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4948	1214
1	4948	1214

prune118.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

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

Merged error: 0.1b

Counts

70 → 5

Compiler

Compiled 1904 to 745 computations (60.9% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

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

rewrite39.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

53×	`unpow-prod-down_binary64_846`
49×	`add-sqr-sqrt_binary64_789`
41×	`*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
33×	`times-frac_binary64_773`
19×	`cbrt-prod_binary64_798`
12×	`add-exp-log_binary64_805` `pow1_binary64_828`
11×	`sqr-pow_binary64_739` `associate-/l*_binary64_712`
9×	`pow-exp_binary64_835`
7×	`pow-unpow_binary64_844`
6×	`associate-l_binary64_708` `associate-r_binary64_707` `pow1/3_binary64_849` `swap-sqr_binary64_734` `add-cbrt-cube_binary64_803`
5×	`pow-to-exp_binary64_836` `div-exp_binary64_818`
4×	`unswap-sqr_binary64_735` `add-log-exp_binary64_806`
3×	`associate-/r*_binary64_711`
2×	`pow-prod-up_binary64_837` `pow-prod-down_binary64_838` `pow-sqr_binary64_740` `pow-pow_binary64_839`
1×	`frac-2neg_binary64_778` `pow2_binary64_848` `cbrt-undiv_binary64_801` `cbrt-unprod_binary64_800` `pow-plus_binary64_830` `prod-exp_binary64_816` `*-commutative_binary64_698` `clear-num_binary64_766` `div-inv_binary64_764`

Counts

4 → 144

Calls

4 calls:

9.0ms	(/.f64 (pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w))) (exp.f64 w))
8.0ms	(*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))
5.0ms	(pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
2.0ms	(pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))

series1.3s (5.9%)

Counts

4 → 12

Calls

4 calls:

549.0ms	(/.f64 (pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w))) (exp.f64 w))
451.0ms	(pow.f64 (pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))) (cbrt.f64 (exp.f64 w)))
208.0ms	(pow.f64 l (*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w))))
139.0ms	(*.f64 (cbrt.f64 (exp.f64 w)) (cbrt.f64 (exp.f64 w)))

simplify85.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

156 → 156

Iterations

Useful iterations: 0 (46.0ms)

Iter	Nodes	Cost
0	4959	3642
1	4959	3642

prune406.0ms (1.8%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	153	3	156
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	155	6	161

Merged error: 0.0b

Counts

161 → 6

Compiler

Compiled 3991 to 1669 computations (58.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`unpow-prod-down_binary64_846`
26×	`pow-unpow_binary64_844`
23×	`cbrt-prod_binary64_798`
20×	`add-sqr-sqrt_binary64_789` `*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
14×	`pow-exp_binary64_835`
10×	`add-exp-log_binary64_805`
9×	`sqr-pow_binary64_739`
6×	`pow-to-exp_binary64_836`
5×	`pow1_binary64_828`
4×	`add-log-exp_binary64_806` `add-cbrt-cube_binary64_803`
3×	`pow-pow_binary64_839`
1×	`pow1/3_binary64_849`

Counts

4 → 101

Calls

4 calls:

7.0ms	(pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
6.0ms	(pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)))
4.0ms	(pow.f64 l (pow.f64 (exp.f64 w) 2/3))
3.0ms	(cbrt.f64 (pow.f64 (exp.f64 w) 2/3))

series1.5s (6.6%)

Counts

4 → 12

Calls

4 calls:

702.0ms	(pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))
461.0ms	(pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3)))
206.0ms	(pow.f64 l (pow.f64 (exp.f64 w) 2/3))
139.0ms	(cbrt.f64 (pow.f64 (exp.f64 w) 2/3))

simplify102.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

113 → 113

Iterations

Useful iterations: 0 (69.0ms)

Iter	Nodes	Cost
0	4940	2893
1	4940	2893

prune208.0ms (0.9%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	112	1	113
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	113	6	119

Merged error: 0.0b

Counts

119 → 6

Compiler

Compiled 3841 to 1987 computations (48.3% saved)

localize25.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite105.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

291×	`unpow-prod-down_binary64_846`
217×	`cbrt-prod_binary64_798`
116×	`add-sqr-sqrt_binary64_789`
69×	`sqr-pow_binary64_739`
64×	`unswap-sqr_binary64_735`
36×	`*-un-lft-identity_binary64_767` `add-cube-cbrt_binary64_802`
18×	`associate-l_binary64_708` `associate-r_binary64_707` `swap-sqr_binary64_734`
11×	`pow1_binary64_828`
9×	`pow1/3_binary64_849`
6×	`add-exp-log_binary64_805`
4×	`add-log-exp_binary64_806` `add-cbrt-cube_binary64_803`
2×	`pow-prod-up_binary64_837` `pow-prod-down_binary64_838` `pow-sqr_binary64_740`
1×	`pow2_binary64_848` `cbrt-unprod_binary64_800` `pow-plus_binary64_830` `prod-exp_binary64_816` `*-commutative_binary64_698`

Counts

4 → 205

Calls

4 calls:

27.0ms	(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))))
6.0ms	(cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))
6.0ms	(cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))
6.0ms	(cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))

series3.8s (16.5%)

Counts

4 → 12

Calls

4 calls:

1.1s	(*.f64 (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))) (cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w))))))
889.0ms	(cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))
887.0ms	(cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))
868.0ms	(cbrt.f64 (pow.f64 (pow.f64 (pow.f64 l (pow.f64 (exp.f64 w) 2/3)) (cbrt.f64 (pow.f64 (exp.f64 w) 2/3))) (cbrt.f64 (cbrt.f64 (exp.f64 w)))))

simplify174.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

217 → 217

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5082	17002

prune1.2s (5.3%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	216	1	217
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	217	6	223

Merged error: 0.0b

Counts

223 → 6

Compiler

Compiled 18785 to 10111 computations (46.2% saved)

regimes42.0ms (0.2%)

Compiler: Compiled 412 to 268 computations (35% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	6	11

end0.0ms (0%)

sample11.9s (52.1%)

Algorithm

1×

intervals

Results

9.2s	4725×	body	8192	exit
1.1s	3091×	body	1024	nan
537.0ms	8000×	body	128	valid
325.0ms	1634×	body	512	nan
96.0ms	830×	body	256	nan
19.0ms	371×	body	128	nan
9.0ms	137×	body	128	overflowed
9.0ms	121×	body	128	invalid
5.0ms	3×	body	4096	nan
4.0ms	1×	body	8192	nan
1.0ms	1×	body	2048	nan

Compiler

Compiled 220 to 145 computations (34.1% saved)

Details

analyze668.0ms (2.9%)

sample448.0ms (2%)

simplify246.0ms (1.1%)

prune5.0ms (0%)

localize5.0ms (0%)

rewrite14.0ms (0.1%)

series286.0ms (1.2%)

simplify87.0ms (0.4%)

prune118.0ms (0.5%)

localize9.0ms (0%)

rewrite39.0ms (0.2%)

series1.3s (5.9%)

simplify85.0ms (0.4%)

prune406.0ms (1.8%)

localize15.0ms (0.1%)

rewrite30.0ms (0.1%)

series1.5s (6.6%)

simplify102.0ms (0.4%)

prune208.0ms (0.9%)

localize25.0ms (0.1%)

rewrite105.0ms (0.5%)

series3.8s (16.5%)

simplify174.0ms (0.8%)

prune1.2s (5.3%)

regimes42.0ms (0.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample11.9s (52.1%)

Profiling