Details

analyze990.0ms (12%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
0%	99.8%	0.2%	9
4.7%	95.1%	0.2%	10
12.7%	87.1%	0.2%	11
15.9%	83.9%	0.2%	12
18.4%	81.3%	0.2%	13
29.5%	70.3%	0.2%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample23.0ms (0.3%)

Algorithm

1×

intervals

Results

10.0ms	255×	body	128	valid
1.0ms	21×	body	128	invalid
0.0ms	1×	body	256	valid

Compiler

Compiled 23 to 26 computations (-13% saved)

simplify274.0ms (3.3%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (108.0ms)

Iter	Nodes	Cost
0	4973	16
1	4973	16

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: 12.4b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
0.0b	(*.f64 (-.f64 y z) t)
13.2b	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))

rewrite37.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`*-un-lft-identity_binary64_15579` `add-sqr-sqrt_binary64_15600`
10×	`add-exp-log_binary64_15614` `add-cbrt-cube_binary64_15612`
7×	`add-cube-cbrt_binary64_15611`
5×	`times-frac_binary64_15585` `associate-/r_binary64_15525` `pow1_binary64_15637` `add-log-exp_binary64_15615` `associate-l*_binary64_15522`
4×	`associate-*l/_binary64_15524`
3×	`distribute-lft-out--_binary64_15533` `associate-r_binary64_15521` `flip--_binary64_15554` `flip3--_binary64_15583` `difference-of-squares_binary64_15548`
2×	`cbrt-undiv_binary64_15610` `div-exp_binary64_15627` `associate-/l/_binary64_15528` `associate-/r/_binary64_15527` `prod-exp_binary64_15625` `cbrt-unprod_binary64_15609`
1×	`distribute-lft-out_binary64_15532` `pow-prod-down_binary64_15647` `clear-num_binary64_15578` `+-commutative_binary64_15511` `div-inv_binary64_15576` `flip3-+_binary64_15582` `frac-2neg_binary64_15590` `sum-log_binary64_15667` `associate-/l_binary64_15526` `-commutative_binary64_15512` `flip-+_binary64_15553` `unswap-sqr_binary64_15547`

Counts

3 → 63

Calls

3 calls:

13.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
12.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
8.0ms	(*.f64 (-.f64 y z) t)

series450.0ms (5.5%)

Counts

3 → 9

Calls

3 calls:

230.0ms	(+.f64 x (/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z)))
155.0ms	(/.f64 (*.f64 (-.f64 y z) t) (-.f64 a z))
65.0ms	(*.f64 (-.f64 y z) t)

simplify56.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 0 (39.0ms)

Iter	Nodes	Cost
0	5878	1014

prune70.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	65	7	72
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	66	7	73

Merged error: 0.0b

Counts

73 → 7

Compiler

Compiled 1245 to 351 computations (71.8% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
4.4b	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))

rewrite65.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`add-sqr-sqrt_binary64_15600`
38×	`*-un-lft-identity_binary64_15579`
36×	`times-frac_binary64_15585`
32×	`cbrt-prod_binary64_15607`
30×	`associate-r_binary64_15521`
25×	`add-exp-log_binary64_15614`
24×	`add-cube-cbrt_binary64_15611`
20×	`cbrt-div_binary64_15608`
18×	`add-cbrt-cube_binary64_15612`
17×	`associate-l_binary64_15522`
10×	`flip--_binary64_15554` `flip3--_binary64_15583` `associate-/r/_binary64_15527`
8×	`prod-exp_binary64_15625` `cbrt-unprod_binary64_15609`
7×	`distribute-lft-out--_binary64_15533` `cbrt-undiv_binary64_15610` `div-exp_binary64_15627` `difference-of-squares_binary64_15548`
6×	`pow1_binary64_15637` `unswap-sqr_binary64_15547`
5×	`frac-times_binary64_15589`
4×	`add-log-exp_binary64_15615`
3×	`associate-l/_binary64_15524` `associate-r/_binary64_15523` `pow1/3_binary64_15658`
2×	`div-inv_binary64_15576`
1×	`pow-prod-down_binary64_15647` `*-commutative_binary64_15512`

Counts

4 → 122

Calls

4 calls:

35.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))
6.0ms	(cbrt.f64 (-.f64 a z))
4.0ms	(cbrt.f64 (-.f64 a z))
4.0ms	(cbrt.f64 (-.f64 a z))

series914.0ms (11.1%)

Counts

4 → 12

Calls

4 calls:

267.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (/.f64 t (cbrt.f64 (-.f64 a z))))
219.0ms	(cbrt.f64 (-.f64 a z))
216.0ms	(cbrt.f64 (-.f64 a z))
210.0ms	(cbrt.f64 (-.f64 a z))

simplify75.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 0 (42.0ms)

Iter	Nodes	Cost
0	5458	2949

prune132.0ms (1.6%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	132	2	134
Fresh	0	6	6
Picked	1	0	1
Done	0	0	0
Total	133	8	141

Merged error: 0.0b

Counts

141 → 8

Compiler

Compiled 3889 to 808 computations (79.2% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
0.6b	(cbrt.f64 (-.f64 a z))
1.5b	(.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 t (cbrt.f64 (cbrt.f64 (-.f64 a z)))))

rewrite108.0ms (1.3%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`add-sqr-sqrt_binary64_15600`
76×	`times-frac_binary64_15585`
69×	`add-exp-log_binary64_15614`
63×	`cbrt-prod_binary64_15607`
46×	`cbrt-div_binary64_15608`
45×	`*-un-lft-identity_binary64_15579`
42×	`add-cbrt-cube_binary64_15612`
39×	`associate-r_binary64_15521`
31×	`add-cube-cbrt_binary64_15611`
29×	`associate-l_binary64_15522`
27×	`cbrt-undiv_binary64_15610` `div-exp_binary64_15627`
24×	`prod-exp_binary64_15625` `cbrt-unprod_binary64_15609`
18×	`associate-/r/_binary64_15527`
16×	`flip--_binary64_15554` `flip3--_binary64_15583`
12×	`unswap-sqr_binary64_15547`
9×	`frac-times_binary64_15589`
7×	`distribute-lft-out--_binary64_15533` `difference-of-squares_binary64_15548`
6×	`pow1_binary64_15637`
5×	`associate-l/_binary64_15524` `associate-r/_binary64_15523`
4×	`add-log-exp_binary64_15615`
3×	`div-inv_binary64_15576` `pow1/3_binary64_15658`
1×	`pow-prod-down_binary64_15647` `*-commutative_binary64_15512`

Counts

4 → 165

Calls

4 calls:

67.0ms	(.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 t (cbrt.f64 (cbrt.f64 (-.f64 a z)))))
4.0ms	(cbrt.f64 (-.f64 a z))
4.0ms	(cbrt.f64 (-.f64 a z))
4.0ms	(cbrt.f64 (-.f64 a z))

series926.0ms (11.3%)

Counts

4 → 12

Calls

4 calls:

277.0ms	(.f64 (/.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (cbrt.f64 (-.f64 a z))) (cbrt.f64 (cbrt.f64 (-.f64 a z))))) (/.f64 t (cbrt.f64 (cbrt.f64 (-.f64 a z)))))
221.0ms	(cbrt.f64 (-.f64 a z))
220.0ms	(cbrt.f64 (-.f64 a z))
207.0ms	(cbrt.f64 (-.f64 a z))

simplify106.0ms (1.3%)

Algorithm

1×	egg-herbie

Counts

177 → 177

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5486	5296

prune220.0ms (2.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	177	0	177
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	177	8	185

Merged error: 0.0b

Counts

185 → 8

Compiler

Compiled 6709 to 1759 computations (73.8% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.8b	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))))
5.2b	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))
5.2b	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))
5.2b	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))

rewrite95.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

135×	`cbrt-prod_binary64_15607`
78×	`times-frac_binary64_15585`
73×	`add-sqr-sqrt_binary64_15600`
71×	`*-un-lft-identity_binary64_15579`
51×	`add-cube-cbrt_binary64_15611`
29×	`cbrt-div_binary64_15608`
25×	`add-exp-log_binary64_15614`
17×	`associate-l_binary64_15522`
15×	`add-cbrt-cube_binary64_15612`
14×	`associate-/r/_binary64_15527`
11×	`prod-exp_binary64_15625` `cbrt-unprod_binary64_15609`
10×	`distribute-lft-out--_binary64_15533` `difference-of-squares_binary64_15548`
9×	`flip--_binary64_15554` `pow1_binary64_15637` `frac-times_binary64_15589` `flip3--_binary64_15583`
7×	`associate-*r/_binary64_15523`
5×	`associate-*l/_binary64_15524`
4×	`div-inv_binary64_15576` `cbrt-undiv_binary64_15610` `div-exp_binary64_15627` `add-log-exp_binary64_15615`
3×	`pow-prod-down_binary64_15647` `pow1/3_binary64_15658`
2×	`unswap-sqr_binary64_15547`
1×	`associate-r_binary64_15521` `*-commutative_binary64_15512`

Counts

4 → 166

Calls

4 calls:

44.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))))
7.0ms	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))
7.0ms	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))
7.0ms	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))

series1.9s (23.1%)

Counts

4 → 12

Calls

4 calls:

780.0ms	(.f64 (/.f64 (-.f64 y z) (.f64 (cbrt.f64 (-.f64 a z)) (cbrt.f64 (-.f64 a z)))) (*.f64 (cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z)))) (cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))))
381.0ms	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))
369.0ms	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))
365.0ms	(cbrt.f64 (/.f64 t (cbrt.f64 (-.f64 a z))))

simplify116.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

178 → 178

Iterations

Useful iterations: 0 (61.0ms)

Iter	Nodes	Cost
0	4962	5246
1	4962	5246

prune229.0ms (2.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	177	1	178
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	177	9	186

Merged error: 0b

Counts

186 → 9

Compiler

Compiled 8434 to 1361 computations (83.9% saved)

regimes329.0ms (4%)

Compiler: Compiled 2835 to 1860 computations (34.4% saved)

bsearch2.0ms (0%)

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

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	40	70
1	40	70

end0.0ms (0%)

sample1.0s (12.8%)

Algorithm

1×

intervals

Results

323.0ms	7994×	body	128	valid
32.0ms	732×	body	128	invalid
0.0ms	2×	body	2048	valid
0.0ms	2×	body	1024	valid
0.0ms	2×	body	256	valid

Compiler

Compiled 483 to 297 computations (38.5% saved)

Details

analyze990.0ms (12%)

sample23.0ms (0.3%)

simplify274.0ms (3.3%)

prune3.0ms (0%)

localize9.0ms (0.1%)

rewrite37.0ms (0.5%)

series450.0ms (5.5%)

simplify56.0ms (0.7%)

prune70.0ms (0.9%)

localize13.0ms (0.2%)

rewrite65.0ms (0.8%)

series914.0ms (11.1%)

simplify75.0ms (0.9%)

prune132.0ms (1.6%)

localize18.0ms (0.2%)

rewrite108.0ms (1.3%)

series926.0ms (11.3%)

simplify106.0ms (1.3%)

prune220.0ms (2.7%)

localize17.0ms (0.2%)

rewrite95.0ms (1.2%)

series1.9s (23.1%)

simplify116.0ms (1.4%)

prune229.0ms (2.8%)

regimes329.0ms (4%)

bsearch2.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.0s (12.8%)

Profiling