Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 22 to 17 computations (22.7% saved)

sample17.0ms (0.2%)

Algorithm

1×

intervals

Results

7.0ms	256×	pre	128	true
5.0ms	256×	body	128	valid

Compiler

Compiled 29 to 25 computations (13.8% saved)

simplify208.0ms (2.6%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	472	10
1	472	10

prune2.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: 8.6b

Counts

2 → 1

Compiler

Compiled 14 to 12 computations (14.3% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

1.0b	(/.f64 x0 (-.f64 1 x1))
7.8b	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)

rewrite25.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64_2853`
28×	`*-un-lft-identity_binary64_2831`
19×	`times-frac_binary64_2837`
14×	`add-cube-cbrt_binary64_2866`
10×	`difference-of-squares_binary64_2800`
6×	`associate-/r*_binary64_2775`
5×	`distribute-lft-out--_binary64_2783`
4×	`add-log-exp_binary64_2870` `add-cbrt-cube_binary64_2867` `add-exp-log_binary64_2869`
3×	`cancel-sign-sub-inv_binary64_2797` `associate-/l*_binary64_2776`
2×	`pow1_binary64_2892` `flip3--_binary64_2835` `flip--_binary64_2806` `associate-/r/_binary64_2777`
1×	`frac-2neg_binary64_2842` `div-inv_binary64_2828` `cbrt-undiv_binary64_2865` `diff-log_binary64_2923` `sub-neg_binary64_2824` `div-exp_binary64_2882` `clear-num_binary64_2830`

Counts

2 → 58

Calls

2 calls:

15.0ms	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)
6.0ms	(/.f64 x0 (-.f64 1 x1))

series123.0ms (1.5%)

Counts

2 → 6

Calls

2 calls:

66.0ms	(-.f64 (/.f64 x0 (-.f64 1 x1)) x0)
57.0ms	(/.f64 x0 (-.f64 1 x1))

simplify53.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

64 → 64

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	4939	940
1	4939	940

prune68.0ms (0.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	62	2	64
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	63	2	65

Merged error: 6.9b

Counts

65 → 2

Compiler

Compiled 1183 to 760 computations (35.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.5b	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
0.5b	(/.f64 (.f64 x0 (-.f64 (/.f64 x0 (.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
1.0b	(/.f64 x0 (-.f64 1 x1))
6.2b	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)

rewrite80.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64_2831`
34×	`add-sqr-sqrt_binary64_2853`
23×	`times-frac_binary64_2837`
18×	`add-cube-cbrt_binary64_2866`
11×	`add-cbrt-cube_binary64_2867` `add-exp-log_binary64_2869`
10×	`difference-of-squares_binary64_2800` `associate-/r*_binary64_2775`
8×	`add-log-exp_binary64_2870`
5×	`distribute-lft-out--_binary64_2783`
4×	`pow1_binary64_2892` `associate-/l*_binary64_2776` `associate-/r/_binary64_2777`
3×	`cbrt-undiv_binary64_2865` `distribute-lft-out_binary64_2782` `flip3--_binary64_2835` `cancel-sign-sub-inv_binary64_2797` `div-exp_binary64_2882` `flip--_binary64_2806`
2×	`frac-2neg_binary64_2842` `associate-/l/_binary64_2778` `flip3-+_binary64_2834` `div-inv_binary64_2828` `flip-+_binary64_2805` `clear-num_binary64_2830` `associate-*r/_binary64_2773`
1×	`cbrt-unprod_binary64_2864` `diff-log_binary64_2923` `sub-neg_binary64_2824` `prod-exp_binary64_2880` `+-commutative_binary64_2761` `sum-log_binary64_2922`

Counts

4 → 97

Calls

4 calls:

35.0ms	(/.f64 (.f64 x0 (-.f64 (/.f64 x0 (.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
18.0ms	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)
11.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
6.0ms	(/.f64 x0 (-.f64 1 x1))

series500.0ms (6.3%)

Counts

4 → 12

Calls

4 calls:

255.0ms	(/.f64 (.f64 x0 (-.f64 (/.f64 x0 (.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)) (+.f64 x0 (/.f64 x0 (-.f64 1 x1))))
125.0ms	(-.f64 (/.f64 x0 (*.f64 (-.f64 1 x1) (-.f64 1 x1))) x0)
63.0ms	(+.f64 x0 (/.f64 x0 (-.f64 1 x1)))
58.0ms	(/.f64 x0 (-.f64 1 x1))

simplify63.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

109 → 109

Iterations

Useful iterations: 0 (40.0ms)

Iter	Nodes	Cost
0	5042	2277

prune151.0ms (1.9%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	107	2	109
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	109	2	111

Merged error: 5.8b

Counts

111 → 2

Compiler

Compiled 3568 to 2253 computations (36.9% saved)

localize23.0ms (0.3%)

Local error

Found 4 expressions with local error:

1.0b	(/.f64 x0 (-.f64 1 x1))
1.0b	(pow.f64 (-.f64 1 x1) 3)
1.3b	(pow.f64 (-.f64 1 x1) 6)
4.6b	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) (pow.f64 x0 3))

rewrite147.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Rules

155×	`add-sqr-sqrt_binary64_2853`
66×	`difference-of-squares_binary64_2800` `times-frac_binary64_2837`
56×	`unpow-prod-down_binary64_2910`
46×	`*-un-lft-identity_binary64_2831`
44×	`sqr-pow_binary64_2803`
34×	`cube-prod_binary64_2859`
23×	`add-cube-cbrt_binary64_2866`
12×	`cancel-sign-sub-inv_binary64_2797`
8×	`distribute-lft-out--_binary64_2783` `add-exp-log_binary64_2869`
7×	`add-cbrt-cube_binary64_2867`
6×	`pow1_binary64_2892` `add-log-exp_binary64_2870` `pow-unpow_binary64_2908` `associate-/r*_binary64_2775`
3×	`flip3--_binary64_2835` `flip--_binary64_2806` `associate-/l*_binary64_2776`
2×	`pow-exp_binary64_2899` `pow-pow_binary64_2903` `cube-mult_binary64_2861` `cube-div_binary64_2860` `pow-to-exp_binary64_2900` `unpow3_binary64_2897` `associate-/r/_binary64_2777`
1×	`frac-2neg_binary64_2842` `div-inv_binary64_2828` `cbrt-undiv_binary64_2865` `diff-log_binary64_2923` `sub-neg_binary64_2824` `rem-cube-cbrt_binary64_2854` `div-exp_binary64_2882` `clear-num_binary64_2830`

Counts

4 → 168

Calls

4 calls:

95.0ms	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) (pow.f64 x0 3))
6.0ms	(/.f64 x0 (-.f64 1 x1))
6.0ms	(pow.f64 (-.f64 1 x1) 3)
6.0ms	(pow.f64 (-.f64 1 x1) 6)

series274.0ms (3.4%)

Counts

4 → 12

Calls

4 calls:

189.0ms	(-.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) (pow.f64 x0 3))
46.0ms	(/.f64 x0 (-.f64 1 x1))
20.0ms	(pow.f64 (-.f64 1 x1) 3)
19.0ms	(pow.f64 (-.f64 1 x1) 6)

simplify62.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

180 → 180

Iterations

Useful iterations: 0 (25.0ms)

Iter	Nodes	Cost
0	4989	4060
1	4989	4060

prune534.0ms (6.7%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	178	2	180
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	180	2	182

Merged error: 4.1b

Counts

182 → 2

Compiler

Compiled 10656 to 6961 computations (34.7% saved)

localize39.0ms (0.5%)

Local error

Found 4 expressions with local error:

1.3b	(pow.f64 (-.f64 1 x1) 6)
1.3b	(pow.f64 (/.f64 x0 (-.f64 1 x1)) 6)
1.9b	(pow.f64 (-.f64 1 x1) 12)
4.5b	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))

rewrite491.0ms (6.1%)

Algorithm

1×	rewrite-expression-head

Rules

607×	`add-sqr-sqrt_binary64_2853`
496×	`unpow-prod-down_binary64_2910`
380×	`cube-prod_binary64_2859`
290×	`difference-of-squares_binary64_2800`
258×	`times-frac_binary64_2837`
240×	`sqr-pow_binary64_2803`
51×	`*-un-lft-identity_binary64_2831`
30×	`cancel-sign-sub-inv_binary64_2797`
26×	`add-cube-cbrt_binary64_2866`
10×	`distribute-lft-out--_binary64_2783`
9×	`pow-unpow_binary64_2908` `add-exp-log_binary64_2869`
7×	`pow1_binary64_2892`
6×	`add-log-exp_binary64_2870`
4×	`pow-exp_binary64_2899` `add-cbrt-cube_binary64_2867`
3×	`pow-pow_binary64_2903` `cube-mult_binary64_2861` `pow-to-exp_binary64_2900` `unpow3_binary64_2897`
2×	`flip3--_binary64_2835` `flip--_binary64_2806` `associate-/r/_binary64_2777`
1×	`div-inv_binary64_2828` `diff-log_binary64_2923` `sub-neg_binary64_2824` `div-exp_binary64_2882` `difference-cubes_binary64_2833`

Counts

4 → 406

Calls

4 calls:

345.0ms	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))
9.0ms	(pow.f64 (/.f64 x0 (-.f64 1 x1)) 6)
6.0ms	(pow.f64 (-.f64 1 x1) 6)
6.0ms	(pow.f64 (-.f64 1 x1) 12)

series401.0ms (5%)

Counts

4 → 12

Calls

4 calls:

261.0ms	(-.f64 (pow.f64 (/.f64 (pow.f64 x0 3) (pow.f64 (-.f64 1 x1) 6)) 3) (pow.f64 (pow.f64 x0 3) 3))
101.0ms	(pow.f64 (/.f64 x0 (-.f64 1 x1)) 6)
21.0ms	(pow.f64 (-.f64 1 x1) 12)
19.0ms	(pow.f64 (-.f64 1 x1) 6)

simplify190.0ms (2.4%)

Algorithm

1×	egg-herbie

Counts

418 → 418

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5091	17732

prune3.5s (44.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	416	2	418
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	416	4	420

Merged error: 4.0b

Counts

420 → 4

Compiler

Compiled 37503 to 26531 computations (29.3% saved)

regimes81.0ms (1%)

Compiler: Compiled 1164 to 899 computations (22.8% saved)

bsearch1.0ms (0%)

Compiler: Compiled 3 to 4 computations (-33.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	94	214
1	94	214

end0.0ms (0%)

sample911.0ms (11.4%)

Algorithm

1×

intervals

Results

209.0ms	8000×	pre	128	true
168.0ms	8000×	body	128	valid

Compiler

Compiled 492 to 371 computations (24.6% saved)

Details

analyze3.0ms (0%)

sample17.0ms (0.2%)

simplify208.0ms (2.6%)

prune2.0ms (0%)

localize4.0ms (0.1%)

rewrite25.0ms (0.3%)

series123.0ms (1.5%)

simplify53.0ms (0.7%)

prune68.0ms (0.9%)

localize10.0ms (0.1%)

rewrite80.0ms (1%)

series500.0ms (6.3%)

simplify63.0ms (0.8%)

prune151.0ms (1.9%)

localize23.0ms (0.3%)

rewrite147.0ms (1.8%)

series274.0ms (3.4%)

simplify62.0ms (0.8%)

prune534.0ms (6.7%)

localize39.0ms (0.5%)

rewrite491.0ms (6.1%)

series401.0ms (5%)

simplify190.0ms (2.4%)

prune3.5s (44.1%)

regimes81.0ms (1%)

bsearch1.0ms (0%)

simplify3.0ms (0%)

end0.0ms (0%)

sample911.0ms (11.4%)

Profiling