Details

analyze129.0ms (1.8%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	76	16
1	76	16
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
75%	25%	0%	4
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	14

Compiler

Compiled 12 to 11 computations (8.3% saved)

sample27.0ms (0.4%)

Algorithm

1×

intervals

Results

7.0ms	58×	body	512	valid
6.0ms	156×	body	128	valid
3.0ms	34×	body	256	valid
1.0ms	8×	body	1024	valid

Compiler

Compiled 23 to 22 computations (4.3% saved)

simplify11.0ms (0.2%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (5.0ms)

Iter	Nodes	Cost
0	76	16
1	76	16

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

14.1b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(/.f64 1 (+.f64 x 1))
0.0b	(/.f64 1 (-.f64 x 1))
2.8b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))

rewrite338.0ms (4.8%)

Algorithm

1×	rewrite-expression-head

Error

13.3b

Rules

118×	`*-un-lft-identity_binary64_3147`
95×	`add-sqr-sqrt_binary64_3169`
90×	`times-frac_binary64_3153`
43×	`add-cube-cbrt_binary64_3182`
30×	`distribute-lft-out--_binary64_3099`
27×	`cancel-sign-sub-inv_binary64_3113`
23×	`difference-of-squares_binary64_3116`
11×	`add-exp-log_binary64_3185` `associate-/r*_binary64_3091`
10×	`distribute-lft-out_binary64_3098`
8×	`associate-/r/_binary64_3093`
7×	`add-cbrt-cube_binary64_3183` `difference-of-sqr-1_binary64_3117` `div-inv_binary64_3144`
6×	`associate-/l*_binary64_3092`
5×	`add-log-exp_binary64_3186` `pow1_binary64_3208`
4×	`flip--_binary64_3122` `div-exp_binary64_3198`
3×	`flip3--_binary64_3151`
2×	`flip-+_binary64_3121` `inv-pow_binary64_3232` `pow-flip_binary64_3221` `1-exp_binary64_3191` `rec-exp_binary64_3197` `cbrt-undiv_binary64_3181` `frac-2neg_binary64_3158` `clear-num_binary64_3146`
1×	`diff-log_binary64_3239` `frac-sub_binary64_3156` `sub-neg_binary64_3140` `flip3-+_binary64_3150`

Counts

3 → 151

Calls

3 calls:

44.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
6.0ms	(/.f64 1 (-.f64 x 1))
5.0ms	(/.f64 1 (+.f64 x 1))

Compiler

Compiled 2962 to 2486 computations (16.1% saved)

series220.0ms (3.1%)

Error

0.4b

Counts

3 → 32

Calls

3 calls:

104.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
50.0ms	(/.f64 1 (-.f64 x 1))
28.0ms	(/.f64 1 (+.f64 x 1))

Compiler

Compiled 1068 to 916 computations (14.2% saved)

simplify95.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

183 → 183

Iterations

Useful iterations: 0 (60.0ms)

Iter	Nodes	Cost
0	5463	2718

prune221.0ms (3.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	181	2	183
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	182	2	184

Error

0.4b

Counts

184 → 2

Compiler

Compiled 2997 to 2417 computations (19.4% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

0.4b	(/.f64 -2 (+.f64 (*.f64 x x) -1))

rewrite47.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

12×	`times-frac_binary64_3153`
10×	`add-cube-cbrt_binary64_3182` `add-sqr-sqrt_binary64_3169` `*-un-lft-identity_binary64_3147`
4×	`difference-of-sqr--1_binary64_3118` `associate-/r*_binary64_3091`
3×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `associate-/l*_binary64_3092`
2×	`associate-/r/_binary64_3093`
1×	`pow1_binary64_3208` `div-exp_binary64_3198` `add-log-exp_binary64_3186` `cbrt-undiv_binary64_3181` `frac-2neg_binary64_3158` `clear-num_binary64_3146` `div-inv_binary64_3144` `flip3-+_binary64_3150` `flip-+_binary64_3121`

Counts

1 → 33

Calls

1 calls:

9.0ms

(/.f64 -2 (+.f64 (*.f64 x x) -1))

Compiler

Compiled 518 to 352 computations (32% saved)

series76.0ms (1.1%)

Error

0.4b

Counts

1 → 10

Calls

1 calls:

65.0ms

(/.f64 -2 (+.f64 (*.f64 x x) -1))

Compiler

Compiled 337 to 305 computations (9.5% saved)

simplify78.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

43 → 43

Iterations

Useful iterations: 0 (62.0ms)

Iter	Nodes	Cost
0	5053	728

prune51.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	40	3	43
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	41	4	45

Error

0.0b

Counts

45 → 4

Compiler

Compiled 637 to 442 computations (30.6% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.0b	(/.f64 -2 (+.f64 x 1))
0.1b	(/.f64 (/.f64 -2 (+.f64 x 1)) (-.f64 x 1))

rewrite370.0ms (5.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

234×	`times-frac_binary64_3153`
207×	`*-un-lft-identity_binary64_3147`
170×	`add-sqr-sqrt_binary64_3169`
94×	`add-cube-cbrt_binary64_3182`
38×	`difference-of-squares_binary64_3116`
28×	`distribute-lft-out_binary64_3098`
21×	`associate-/l*_binary64_3092`
20×	`associate-/r/_binary64_3093`
19×	`difference-of-sqr-1_binary64_3117` `distribute-lft-out--_binary64_3099`
11×	`associate-/r*_binary64_3091`
10×	`div-inv_binary64_3144`
9×	`add-exp-log_binary64_3185` `add-cbrt-cube_binary64_3183` `flip3-+_binary64_3150` `flip-+_binary64_3121`
4×	`div-exp_binary64_3198` `cbrt-undiv_binary64_3181`
2×	`pow1_binary64_3208` `add-log-exp_binary64_3186` `frac-2neg_binary64_3158` `clear-num_binary64_3146`
1×	`associate-/l/_binary64_3094` `flip3--_binary64_3151` `flip--_binary64_3122`

Counts

2 → 201

Calls

2 calls:

13.0ms	(/.f64 (/.f64 -2 (+.f64 x 1)) (-.f64 x 1))
5.0ms	(/.f64 -2 (+.f64 x 1))

Compiler

Compiled 4298 to 3468 computations (19.3% saved)

series143.0ms (2%)

Error

0.0b

Counts

2 → 21

Calls

2 calls:

65.0ms	(/.f64 (/.f64 -2 (+.f64 x 1)) (-.f64 x 1))
58.0ms	(/.f64 -2 (+.f64 x 1))

Compiler

Compiled 744 to 652 computations (12.4% saved)

simplify139.0ms (2%)

Algorithm

1×	egg-herbie

Counts

222 → 222

Iterations

Useful iterations: 0 (79.0ms)

Iter	Nodes	Cost
0	4938	5328
1	4938	5328

prune295.0ms (4.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	220	2	222
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	221	5	226

Error

Counts

226 → 5

Compiler

Compiled 4159 to 3224 computations (22.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 (cbrt.f64 (/.f64 -2 (+.f64 x 1))) (cbrt.f64 (/.f64 -2 (+.f64 x 1))))
0.8b	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))
0.8b	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))
0.8b	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))

rewrite635.0ms (9.1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

150×	`cbrt-prod_binary64_3178`
128×	`*-un-lft-identity_binary64_3147`
102×	`times-frac_binary64_3153`
92×	`add-sqr-sqrt_binary64_3169`
68×	`add-cube-cbrt_binary64_3182`
27×	`distribute-lft-out_binary64_3098` `swap-sqr_binary64_3114`
21×	`associate-l_binary64_3088` `associate-r_binary64_3087`
14×	`associate-/r/_binary64_3093`
11×	`pow1_binary64_3208`
9×	`pow1/3_binary64_3229` `unswap-sqr_binary64_3115`
7×	`cbrt-div_binary64_3179` `div-inv_binary64_3144` `flip3-+_binary64_3150` `flip-+_binary64_3121`
6×	`add-exp-log_binary64_3185`
4×	`add-log-exp_binary64_3186` `add-cbrt-cube_binary64_3183`
2×	`pow-prod-down_binary64_3218` `pow-prod-up_binary64_3217` `pow-sqr_binary64_3120`
1×	`pow2_binary64_3228` `pow-plus_binary64_3210` `prod-exp_binary64_3196` `cbrt-unprod_binary64_3180` `frac-times_binary64_3157` `associate-l/_binary64_3090` `associate-r/_binary64_3089` `*-commutative_binary64_3078`

Counts

4 → 180

Calls

4 calls:

29.0ms	(*.f64 (cbrt.f64 (/.f64 -2 (+.f64 x 1))) (cbrt.f64 (/.f64 -2 (+.f64 x 1))))
5.0ms	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))
5.0ms	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))
5.0ms	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))

Compiler

Compiled 6205 to 5305 computations (14.5% saved)

series311.0ms (4.4%)

Error

Counts

4 → 21

Calls

4 calls:

89.0ms	(*.f64 (cbrt.f64 (/.f64 -2 (+.f64 x 1))) (cbrt.f64 (/.f64 -2 (+.f64 x 1))))
75.0ms	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))
62.0ms	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))
54.0ms	(cbrt.f64 (/.f64 -2 (+.f64 x 1)))

Compiler

Compiled 1732 to 1543 computations (10.9% saved)

simplify112.0ms (1.6%)

Algorithm

1×	egg-herbie

Counts

201 → 201

Iterations

Useful iterations: 0 (48.0ms)

Iter	Nodes	Cost
0	4917	4192
1	4917	4192

prune480.0ms (6.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	201	0	201
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	201	5	206

Error

Counts

206 → 5

Compiler

Compiled 6187 to 5259 computations (15% saved)

regimes330.0ms (4.7%)

Accuracy

Total 0.1b remaining (91%)

Threshold costs 0.1b (91%)

Compiler

Compiled 3519 to 3020 computations (14.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	19	13
1	19	13

end0.0ms (0%)

sample2.8s (40.7%)

Algorithm

1×

intervals

Results

203.0ms	1945×	body	512	valid
178.0ms	4626×	body	128	valid
67.0ms	988×	body	256	valid
66.0ms	441×	body	1024	valid

Compiler

Compiled 1702 to 1460 computations (14.2% saved)

Details

analyze129.0ms (1.8%)

sample27.0ms (0.4%)

simplify11.0ms (0.2%)

prune2.0ms (0%)

localize10.0ms (0.1%)

rewrite338.0ms (4.8%)

series220.0ms (3.1%)

simplify95.0ms (1.4%)

prune221.0ms (3.2%)

localize9.0ms (0.1%)

rewrite47.0ms (0.7%)

series76.0ms (1.1%)

simplify78.0ms (1.1%)

prune51.0ms (0.7%)

localize5.0ms (0.1%)

rewrite370.0ms (5.3%)

series143.0ms (2%)

simplify139.0ms (2%)

prune295.0ms (4.2%)

localize10.0ms (0.1%)

rewrite635.0ms (9.1%)

series311.0ms (4.4%)

simplify112.0ms (1.6%)

prune480.0ms (6.9%)

regimes330.0ms (4.7%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.8s (40.7%)

Profiling