Details

analyze157.0ms (2.9%)

Algorithm

2×	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%	0
0%	100%	0%	1
0%	100%	0%	1
0%	100%	0%	2
0%	100%	0%	2
50%	50%	0%	3
50%	50%	0%	3
75%	25%	0%	4
75%	25%	0%	4
87.5%	12.5%	0%	5
87.5%	12.5%	0%	5
93.7%	6.2%	0%	6
93.7%	6.2%	0%	6
96.8%	3.1%	0%	7
96.8%	3.1%	0%	7
98.4%	1.6%	0%	8
98.4%	1.6%	0%	8
99.2%	0.8%	0%	9
99.2%	0.8%	0%	9
99.6%	0.4%	0%	10
99.6%	0.4%	0%	10
99.8%	0.2%	0%	11
99.8%	0.2%	0%	11
99.9%	0.1%	0%	12
99.9%	0.1%	0%	12
99.9%	0%	0%	13
99.9%	0%	0%	13
99.9%	0%	0%	14
99.9%	0%	0%	14

Compiler

Compiled 24 to 22 computations (8.3% saved)

sample131.0ms (2.4%)

Algorithm

2×

intervals

Results

11.0ms	125×	body	512	valid
8.0ms	291×	body	128	valid
4.0ms	69×	body	256	valid
3.0ms	27×	body	1024	valid

Compiler

Compiled 3107 to 3106 computations (0% saved)

simplify10.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

prune3.0ms (0.1%)

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

13.7b

Counts

2 → 1

Compiler

Compiled 22 to 20 computations (9.1% saved)

localize7.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.2b	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))

rewrite288.0ms (5.4%)

Algorithm

1×	rewrite-expression-head

Error

12.9b

Rules

118×	`*-un-lft-identity_binary64_4170`
95×	`add-sqr-sqrt_binary64_4192`
90×	`times-frac_binary64_4176`
43×	`add-cube-cbrt_binary64_4205`
30×	`distribute-lft-out--_binary64_4122`
27×	`cancel-sign-sub-inv_binary64_4136`
23×	`difference-of-squares_binary64_4139`
11×	`add-exp-log_binary64_4208` `associate-/r*_binary64_4114`
10×	`distribute-lft-out_binary64_4121`
8×	`associate-/r/_binary64_4116`
7×	`add-cbrt-cube_binary64_4206` `difference-of-sqr-1_binary64_4140` `div-inv_binary64_4167`
6×	`associate-/l*_binary64_4115`
5×	`add-log-exp_binary64_4209` `pow1_binary64_4231`
4×	`flip--_binary64_4145` `div-exp_binary64_4221`
3×	`flip3--_binary64_4174`
2×	`flip-+_binary64_4144` `inv-pow_binary64_4255` `pow-flip_binary64_4244` `1-exp_binary64_4214` `rec-exp_binary64_4220` `cbrt-undiv_binary64_4204` `frac-2neg_binary64_4181` `clear-num_binary64_4169`
1×	`diff-log_binary64_4262` `frac-sub_binary64_4179` `sub-neg_binary64_4163` `flip3-+_binary64_4173`

Counts

3 → 151

Calls

3 calls:

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

series218.0ms (4.1%)

Error

0.3b

Counts

3 → 36

Calls

3 calls:

98.0ms	(-.f64 (/.f64 1 (+.f64 x 1)) (/.f64 1 (-.f64 x 1)))
42.0ms	(/.f64 1 (+.f64 x 1))
37.0ms	(/.f64 1 (-.f64 x 1))

Compiler

Compiled 1154 to 987 computations (14.5% saved)

simplify77.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

187 → 187

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	4948	2807
1	4948	2807

prune228.0ms (4.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	185	2	187
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	186	2	188

Error

0.3b

Counts

188 → 2

Compiler

Compiled 3090 to 2476 computations (19.9% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

rewrite94.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

44×	`*-un-lft-identity_binary64_4170`
20×	`times-frac_binary64_4176`
14×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192`
12×	`distribute-lft-out_binary64_4121`
7×	`add-log-exp_binary64_4209`
6×	`distribute-lft-out--_binary64_4122` `difference-of-sqr--1_binary64_4141`
5×	`associate-/l*_binary64_4115`
4×	`add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `associate-+r+_binary64_4102` `associate-/r*_binary64_4114`
3×	`flip3-+_binary64_4173` `flip-+_binary64_4144` `cancel-sign-sub-inv_binary64_4136`
2×	`sum-log_binary64_4261` `pow1_binary64_4231` `associate-+r-_binary64_4104` `associate-/l/_binary64_4117` `associate-/r/_binary64_4116`
1×	`diff-log_binary64_4262` `sub-neg_binary64_4163` `+-commutative_binary64_4100` `div-exp_binary64_4221` `cbrt-undiv_binary64_4204` `frac-2neg_binary64_4181` `div-sub_binary64_4175` `clear-num_binary64_4169` `div-inv_binary64_4167`

Counts

2 → 65

Calls

2 calls:

11.0ms	(/.f64 (+.f64 x (-.f64 -2 x)) (+.f64 (*.f64 x x) -1))
6.0ms	(+.f64 x (-.f64 -2 x))

Compiler

Compiled 1310 to 813 computations (37.9% saved)

series109.0ms (2%)

Error

0.3b

Counts

2 → 15

Calls

2 calls:

84.0ms	(/.f64 (+.f64 x (-.f64 -2 x)) (+.f64 (*.f64 x x) -1))
10.0ms	(+.f64 x (-.f64 -2 x))

Compiler

Compiled 451 to 398 computations (11.8% saved)

simplify72.0ms (1.4%)

Algorithm

1×	egg-herbie

Counts

80 → 80

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	5591	1125

prune82.0ms (1.5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	75	5	80
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	77	5	82

Error

0.0b

Counts

82 → 5

Compiler

Compiled 1183 to 788 computations (33.4% saved)

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

rewrite357.0ms (6.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

234×	`times-frac_binary64_4176`
207×	`*-un-lft-identity_binary64_4170`
170×	`add-sqr-sqrt_binary64_4192`
94×	`add-cube-cbrt_binary64_4205`
38×	`difference-of-squares_binary64_4139`
28×	`distribute-lft-out_binary64_4121`
21×	`associate-/l*_binary64_4115`
20×	`associate-/r/_binary64_4116`
19×	`difference-of-sqr-1_binary64_4140` `distribute-lft-out--_binary64_4122`
11×	`associate-/r*_binary64_4114`
10×	`div-inv_binary64_4167`
9×	`add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `flip3-+_binary64_4173` `flip-+_binary64_4144`
4×	`div-exp_binary64_4221` `cbrt-undiv_binary64_4204`
2×	`pow1_binary64_4231` `add-log-exp_binary64_4209` `frac-2neg_binary64_4181` `clear-num_binary64_4169`
1×	`associate-/l/_binary64_4117` `flip3--_binary64_4174` `flip--_binary64_4145`

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)

series152.0ms (2.8%)

Error

0.0b

Counts

2 → 24

Calls

2 calls:

87.0ms	(/.f64 (/.f64 -2 (+.f64 x 1)) (-.f64 x 1))
40.0ms	(/.f64 -2 (+.f64 x 1))

Compiler

Compiled 816 to 713 computations (12.6% saved)

simplify106.0ms (2%)

Algorithm

1×	egg-herbie

Counts

225 → 225

Iterations

Useful iterations: 0 (57.0ms)

Iter	Nodes	Cost
0	4973	5385
1	4973	5385

prune328.0ms (6.1%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	219	6	225
Fresh	3	1	4
Picked	0	1	1
Done	0	0	0
Total	222	8	230

Error

Counts

230 → 8

Compiler

Compiled 4292 to 3330 computations (22.4% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite40.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

12×	`times-frac_binary64_4176`
10×	`add-cube-cbrt_binary64_4205` `add-sqr-sqrt_binary64_4192` `*-un-lft-identity_binary64_4170`
4×	`difference-of-sqr--1_binary64_4141` `associate-/r*_binary64_4114`
3×	`add-exp-log_binary64_4208` `add-cbrt-cube_binary64_4206` `associate-/l*_binary64_4115`
2×	`associate-/r/_binary64_4116`
1×	`pow1_binary64_4231` `div-exp_binary64_4221` `add-log-exp_binary64_4209` `cbrt-undiv_binary64_4204` `frac-2neg_binary64_4181` `clear-num_binary64_4169` `div-inv_binary64_4167` `flip3-+_binary64_4173` `flip-+_binary64_4144`

Counts

1 → 33

Calls

1 calls:

6.0ms

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

Compiler

Compiled 518 to 352 computations (32% saved)

series94.0ms (1.8%)

Error

Counts

1 → 12

Calls

1 calls:

82.0ms

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

Compiler

Compiled 388 to 349 computations (10.1% saved)

simplify56.0ms (1.1%)

Algorithm

1×	egg-herbie

Counts

45 → 45

Iterations

Useful iterations: 0 (45.0ms)

Iter	Nodes	Cost
0	5016	763

prune41.0ms (0.8%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	45	0	45
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	45	8	53

Error

Counts

53 → 8

Compiler

Compiled 613 to 420 computations (31.5% saved)

regimes330.0ms (6.2%)

Accuracy

Total 0.1b remaining (95.6%)

Threshold costs 0.1b (95.6%)

Compiler

Compiled 3682 to 3146 computations (14.6% 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.3s (43.9%)

Algorithm

1×

intervals

Results

162.0ms	1996×	body	512	valid
138.0ms	4633×	body	128	valid
54.0ms	942×	body	256	valid
44.0ms	429×	body	1024	valid

Compiler

Compiled 1796 to 1534 computations (14.6% saved)

Details

analyze157.0ms (2.9%)

sample131.0ms (2.4%)

simplify10.0ms (0.2%)

prune3.0ms (0.1%)

localize7.0ms (0.1%)

rewrite288.0ms (5.4%)

series218.0ms (4.1%)

simplify77.0ms (1.4%)

prune228.0ms (4.3%)

localize7.0ms (0.1%)

rewrite94.0ms (1.8%)

series109.0ms (2%)

simplify72.0ms (1.4%)

prune82.0ms (1.5%)

localize8.0ms (0.1%)

rewrite357.0ms (6.7%)

series152.0ms (2.8%)

simplify106.0ms (2%)

prune328.0ms (6.1%)

localize5.0ms (0.1%)

rewrite40.0ms (0.7%)

series94.0ms (1.8%)

simplify56.0ms (1.1%)

prune41.0ms (0.8%)

regimes330.0ms (6.2%)

bsearch0.0ms (0%)

simplify2.0ms (0%)

end0.0ms (0%)

sample2.3s (43.9%)

Profiling