Details

analyze1.5s (14.3%)

Algorithm

2×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4914	91
1	4914	91
0	4	4
1	4	4

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	7
3.1%	96.7%	0.2%	8
3.1%	96.7%	0.2%	8
17.2%	82.7%	0.2%	9
17.2%	82.7%	0.2%	9
21.8%	78%	0.2%	10
21.8%	78%	0.2%	10
30%	68.8%	1.2%	11
30%	68.8%	1.2%	11
31.8%	65.3%	2.9%	12
31.8%	65.3%	2.9%	12
40.1%	55.3%	4.6%	13
40.1%	55.3%	4.6%	13
44.5%	50.1%	5.4%	14
44.5%	50.1%	5.4%	14

Compiler

Compiled 20 to 18 computations (10% saved)

sample765.0ms (7.1%)

Algorithm

2×

intervals

Results

16.0ms	512×	body	128	valid
7.0ms	184×	body	128	invalid

Compiler

Compiled 3399 to 4415 computations (-29.9% saved)

simplify54.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	734	13
1	734	13

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	0	1
Fresh	0	1	1
Picked	0	0	0
Done	0	0	0
Total	1	1	2

Error

1.9b

Counts

2 → 1

Compiler

Compiled 18 to 16 computations (11.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite95.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

21×	`add-sqr-sqrt_binary64_11012`
16×	`*-un-lft-identity_binary64_10990`
14×	`add-cube-cbrt_binary64_11025`
13×	`associate-l_binary64_10931`
12×	`cancel-sign-sub-inv_binary64_10956`
10×	`times-frac_binary64_10996`
8×	`distribute-rgt-in_binary64_10940` `distribute-lft-in_binary64_10939` `associate-+l+_binary64_10923`
7×	`add-exp-log_binary64_11028` `add-cbrt-cube_binary64_11026`
5×	`associate-r_binary64_10930`
4×	`pow1_binary64_11051` `add-log-exp_binary64_11029` `sub-neg_binary64_10983`
2×	`prod-exp_binary64_11039` `cbrt-unprod_binary64_11023` `flip3--_binary64_10994` `frac-times_binary64_11000` `flip--_binary64_10965` `unswap-sqr_binary64_10958` `associate-*r/_binary64_10932`
1×	`pow-prod-down_binary64_11061` `div-exp_binary64_11041` `cbrt-undiv_binary64_11024` `associate-l/_binary64_10933` `div-inv_binary64_10987` `difference-of-squares_binary64_10959` `distribute-lft-out--_binary64_10942` `-commutative_binary64_10921` `sum-log_binary64_11081` `flip3-+_binary64_10993` `flip-+_binary64_10964` `+-commutative_binary64_10920`

Counts

2 → 65

Calls

2 calls:

10.0ms	(*.f64 (/.f64 x y) (-.f64 z t))
9.0ms	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)

Compiler

Compiled 1137 to 292 computations (74.3% saved)

series741.0ms (6.9%)

Error

0.0b

Counts

2 → 42

Calls

2 calls:

408.0ms	(+.f64 (*.f64 (/.f64 x y) (-.f64 z t)) t)
306.0ms	(*.f64 (/.f64 x y) (-.f64 z t))

Compiler

Compiled 1118 to 646 computations (42.2% saved)

simplify70.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4983	1361
1	4983	1361

prune91.0ms (0.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	99	8	107
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	99	9	108

Error

0.0b

Counts

108 → 9

Compiler

Compiled 1461 to 298 computations (79.6% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

2.0b	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
12.3b	(cbrt.f64 (/.f64 x y))
12.3b	(cbrt.f64 (/.f64 x y))
12.3b	(cbrt.f64 (/.f64 x y))

rewrite170.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

39×	`cbrt-div_binary64_11022` `cbrt-prod_binary64_11021`
29×	`frac-times_binary64_11000`
27×	`times-frac_binary64_10996`
25×	`add-cube-cbrt_binary64_11025` `add-sqr-sqrt_binary64_11012` `*-un-lft-identity_binary64_10990`
17×	`associate-*l/_binary64_10933`
16×	`pow1_binary64_11051` `add-exp-log_binary64_11028`
15×	`associate-*r/_binary64_10932`
10×	`add-cbrt-cube_binary64_11026`
8×	`pow-prod-down_binary64_11061` `prod-exp_binary64_11039` `cbrt-unprod_binary64_11023` `flip3--_binary64_10994` `flip--_binary64_10965`
4×	`add-log-exp_binary64_11029`
3×	`pow1/3_binary64_11072` `div-inv_binary64_10987`
1×	`associate-l_binary64_10931` `associate-r_binary64_10930` `*-commutative_binary64_10921`

Counts

4 → 111

Calls

4 calls:

21.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
3.0ms	(cbrt.f64 (/.f64 x y))
2.0ms	(cbrt.f64 (/.f64 x y))
2.0ms	(cbrt.f64 (/.f64 x y))

Compiler

Compiled 3130 to 578 computations (81.5% saved)

series1.3s (12.2%)

Error

0.0b

Counts

4 → 36

Calls

4 calls:

373.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
308.0ms	(cbrt.f64 (/.f64 x y))
301.0ms	(cbrt.f64 (/.f64 x y))
301.0ms	(cbrt.f64 (/.f64 x y))

Compiler

Compiled 2037 to 1303 computations (36% saved)

simplify47.0ms (0.4%)

Algorithm

1×	egg-herbie

Counts

147 → 147

Iterations

Useful iterations: 0 (20.0ms)

Iter	Nodes	Cost
0	5165	2385

prune153.0ms (1.4%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	145	2	147
Fresh	2	5	7
Picked	0	1	1
Done	0	1	1
Total	147	9	156

Error

Counts

156 → 9

Compiler

Compiled 3391 to 673 computations (80.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.6b	(cbrt.f64 y)
2.0b	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
12.3b	(cbrt.f64 (/.f64 x y))
12.3b	(cbrt.f64 (/.f64 x y))

rewrite157.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

29×	`cbrt-prod_binary64_11021` `frac-times_binary64_11000`
26×	`cbrt-div_binary64_11022`
25×	`add-exp-log_binary64_11028`
19×	`add-cube-cbrt_binary64_11025` `add-sqr-sqrt_binary64_11012` `*-un-lft-identity_binary64_10990`
18×	`times-frac_binary64_10996`
17×	`associate-*l/_binary64_10933`
16×	`pow1_binary64_11051`
15×	`add-cbrt-cube_binary64_11026` `associate-*r/_binary64_10932`
13×	`prod-exp_binary64_11039` `cbrt-unprod_binary64_11023`
8×	`pow-prod-down_binary64_11061` `flip3--_binary64_10994` `flip--_binary64_10965`
4×	`add-log-exp_binary64_11029`
3×	`pow1/3_binary64_11072`
2×	`div-inv_binary64_10987` `div-exp_binary64_11041` `cbrt-undiv_binary64_11024`
1×	`associate-l_binary64_10931` `associate-r_binary64_10930` `*-commutative_binary64_10921`

Counts

4 → 104

Calls

4 calls:

22.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
2.0ms	(cbrt.f64 (/.f64 x y))
2.0ms	(cbrt.f64 (/.f64 x y))
1.0ms	(cbrt.f64 y)

Compiler

Compiled 3053 to 564 computations (81.5% saved)

series1.1s (9.9%)

Error

Counts

4 → 33

Calls

4 calls:

331.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (cbrt.f64 (/.f64 x y))) (*.f64 (-.f64 z t) (/.f64 (cbrt.f64 x) (cbrt.f64 y))))
298.0ms	(cbrt.f64 (/.f64 x y))
292.0ms	(cbrt.f64 (/.f64 x y))
113.0ms	(cbrt.f64 y)

Compiler

Compiled 1782 to 1177 computations (34% saved)

simplify107.0ms (1%)

Algorithm

1×	egg-herbie

Counts

137 → 137

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4977	2403
1	4977	2403

prune140.0ms (1.3%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	137	0	137
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	137	9	146

Error

Counts

146 → 9

Compiler

Compiled 3259 to 733 computations (77.5% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

2.0b	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (.f64 (cbrt.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 (/.f64 x (cbrt.f64 y))))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
3.6b	(cbrt.f64 (/.f64 x (cbrt.f64 y)))
12.3b	(cbrt.f64 (/.f64 x y))
12.3b	(cbrt.f64 (/.f64 x y))

rewrite294.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

99×	`cbrt-div_binary64_11022`
81×	`frac-times_binary64_11000`
57×	`cbrt-prod_binary64_11021`
43×	`associate-*r/_binary64_10932`
41×	`associate-*l/_binary64_10933`
36×	`times-frac_binary64_10996`
31×	`add-cube-cbrt_binary64_11025` `add-sqr-sqrt_binary64_11012` `*-un-lft-identity_binary64_10990`
25×	`pow1_binary64_11051` `add-exp-log_binary64_11028`
16×	`flip3--_binary64_10994` `flip--_binary64_10965`
15×	`pow-prod-down_binary64_11061` `prod-exp_binary64_11039` `cbrt-unprod_binary64_11023`
14×	`add-cbrt-cube_binary64_11026`
4×	`add-log-exp_binary64_11029`
3×	`pow1/3_binary64_11072` `div-inv_binary64_10987`
1×	`associate-l_binary64_10931` `associate-r_binary64_10930` `*-commutative_binary64_10921`

Counts

4 → 150

Calls

4 calls:

25.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (.f64 (cbrt.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 (/.f64 x (cbrt.f64 y))))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
3.0ms	(cbrt.f64 (/.f64 x (cbrt.f64 y)))
2.0ms	(cbrt.f64 (/.f64 x y))
2.0ms	(cbrt.f64 (/.f64 x y))

Compiler

Compiled 5963 to 1614 computations (72.9% saved)

series1.4s (13.4%)

Error

Counts

4 → 36

Calls

4 calls:

446.0ms	(cbrt.f64 (/.f64 x (cbrt.f64 y)))
345.0ms	(.f64 (.f64 (cbrt.f64 (/.f64 x y)) (.f64 (cbrt.f64 (/.f64 1 (.f64 (cbrt.f64 y) (cbrt.f64 y)))) (cbrt.f64 (/.f64 x (cbrt.f64 y))))) (*.f64 (-.f64 z t) (cbrt.f64 (/.f64 x y))))
301.0ms	(cbrt.f64 (/.f64 x y))
297.0ms	(cbrt.f64 (/.f64 x y))

Compiler

Compiled 2529 to 1624 computations (35.8% saved)

simplify100.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

186 → 186

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	4979	5326
1	4979	5326

prune269.0ms (2.5%)

Pruning

9 alts after pruning (5 fresh and 4 done)

	Pruned	Kept	Total
New	186	0	186
Fresh	0	5	5
Picked	0	1	1
Done	0	3	3
Total	186	9	195

Error

Counts

195 → 9

Compiler

Compiled 6293 to 1843 computations (70.7% saved)

regimes587.0ms (5.5%)

Accuracy

Total 0.9b remaining (99.7%)

Threshold costs 0.9b (99.7%)

Compiler

Compiled 5684 to 3839 computations (32.5% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	28	37
1	28	37

end0.0ms (0%)

sample1.5s (14%)

Algorithm

1×

intervals

Results

265.0ms	8000×	body	128	valid
93.0ms	2601×	body	128	invalid

Compiler

Compiled 965 to 647 computations (33% saved)

Details

analyze1.5s (14.3%)

sample765.0ms (7.1%)

simplify54.0ms (0.5%)

prune2.0ms (0%)

localize7.0ms (0.1%)

rewrite95.0ms (0.9%)

series741.0ms (6.9%)

simplify70.0ms (0.6%)

prune91.0ms (0.8%)

localize11.0ms (0.1%)

rewrite170.0ms (1.6%)

series1.3s (12.2%)

simplify47.0ms (0.4%)

prune153.0ms (1.4%)

localize14.0ms (0.1%)

rewrite157.0ms (1.5%)

series1.1s (9.9%)

simplify107.0ms (1%)

prune140.0ms (1.3%)

localize24.0ms (0.2%)

rewrite294.0ms (2.7%)

series1.4s (13.4%)

simplify100.0ms (0.9%)

prune269.0ms (2.5%)

regimes587.0ms (5.5%)

bsearch0.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample1.5s (14%)

Profiling