Details

analyze390.0ms (18.3%)

Algorithm

1×	search
2×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7521	9
0	1	1
1	1	1

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Symmetry

Compiler

Compiled 7 to 6 computations (14.3% saved)

sample13.0ms (0.6%)

Algorithm

1×

intervals

Results

6.0ms

256×

body

128

valid

Compiler

Compiled 13 to 12 computations (7.7% saved)

simplify295.0ms (13.9%)

Algorithm

1×	egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (290.0ms)

Iter	Nodes	Cost
0	7521	9

prune2.0ms (0.1%)

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

Error

0.0b

Counts

2 → 1

Compiler

Compiled 12 to 10 computations (16.7% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.0b	(sqrt.f64 (-.f64 1 (*.f64 x x)))

rewrite18.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

5×	`sqrt-prod_binary64_5891`
4×	`add-sqr-sqrt_binary64_5897`
3×	`*-un-lft-identity_binary64_5875`
2×	`pow1_binary64_5936` `add-cube-cbrt_binary64_5910` `sqrt-div_binary64_5892` `difference-of-squares_binary64_5844`
1×	`pow1/2_binary64_5955` `add-log-exp_binary64_5914` `add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911` `sqrt-pow1_binary64_5893` `flip3--_binary64_5879` `flip--_binary64_5850` `rem-sqrt-square_binary64_5888`

Counts

1 → 17

Calls

1 calls:

3.0ms

(sqrt.f64 (-.f64 1 (*.f64 x x)))

Compiler

Compiled 228 to 141 computations (38.2% saved)

series32.0ms (1.5%)

Error

0.0b

Counts

1 → 6

Calls

1 calls:

24.0ms

(sqrt.f64 (-.f64 1 (*.f64 x x)))

Compiler

Compiled 127 to 116 computations (8.7% saved)

simplify142.0ms (6.7%)

Algorithm

1×	egg-herbie

Counts

23 → 23

Iterations

Useful iterations: 0 (134.0ms)

Iter	Nodes	Cost
0	4759	284
1	4759	284

prune19.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	22	1	23
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	2	24

Error

Counts

24 → 2

Compiler

Compiled 248 to 167 computations (32.7% saved)

localize8.0ms (0.4%)

Local error

Found 2 expressions with local error:

0.0b	(sqrt.f64 (+.f64 1 (*.f64 x x)))
0.0b	(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 x 4))) (sqrt.f64 (+.f64 1 (*.f64 x x))))

rewrite244.0ms (11.5%)

Algorithm

1×	rewrite-expression-head

Error

Rules

115×	`sqrt-prod_binary64_5891`
95×	`add-sqr-sqrt_binary64_5897`
80×	`*-un-lft-identity_binary64_5875`
78×	`times-frac_binary64_5881`
45×	`add-cube-cbrt_binary64_5910`
42×	`difference-of-squares_binary64_5844`
14×	`unpow-prod-down_binary64_5954` `sqr-pow_binary64_5847`
13×	`associate-/l*_binary64_5820`
7×	`distribute-lft-out--_binary64_5827`
6×	`sqrt-div_binary64_5892` `associate-/r*_binary64_5819`
4×	`add-exp-log_binary64_5913` `add-cbrt-cube_binary64_5911`
3×	`pow1_binary64_5936`
2×	`add-log-exp_binary64_5914` `associate-/l/_binary64_5822` `flip3-+_binary64_5878` `associate-/r/_binary64_5821` `flip-+_binary64_5849`
1×	`div-exp_binary64_5926` `cbrt-undiv_binary64_5909` `sqrt-undiv_binary64_5896` `frac-2neg_binary64_5886` `clear-num_binary64_5874` `div-inv_binary64_5872` `flip3--_binary64_5879` `flip--_binary64_5850` `pow1/2_binary64_5955` `sqrt-pow1_binary64_5893` `rem-sqrt-square_binary64_5888`

Counts

2 → 129

Calls

2 calls:

13.0ms	(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 x 4))) (sqrt.f64 (+.f64 1 (*.f64 x x))))
3.0ms	(sqrt.f64 (+.f64 1 (*.f64 x x)))

Compiler

Compiled 3633 to 2666 computations (26.6% saved)

series89.0ms (4.2%)

Error

Counts

2 → 16

Calls

2 calls:

42.0ms	(sqrt.f64 (+.f64 1 (*.f64 x x)))
35.0ms	(/.f64 (sqrt.f64 (-.f64 1 (pow.f64 x 4))) (sqrt.f64 (+.f64 1 (*.f64 x x))))

Compiler

Compiled 505 to 440 computations (12.9% saved)

simplify93.0ms (4.4%)

Algorithm

1×	egg-herbie

Counts

145 → 145

Iterations

Useful iterations: 0 (52.0ms)

Iter	Nodes	Cost
0	4942	4409
1	4942	4409

prune188.0ms (8.8%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

147 → 2

Compiler

Compiled 3365 to 2370 computations (29.6% saved)

regimes76.0ms (3.6%)

Accuracy

Total 0.0b remaining (93.9%)

Threshold costs 0.0b (93.9%)

Compiler

Compiled 620 to 466 computations (24.8% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	21	18
1	21	18

Removed

()

end0.0ms (0%)

sample510.0ms (24%)

Algorithm

1×

intervals

Results

194.0ms

8000×

body

128

valid

Compiler

Compiled 110 to 86 computations (21.8% saved)

Details

analyze390.0ms (18.3%)

sample13.0ms (0.6%)

simplify295.0ms (13.9%)

prune2.0ms (0.1%)

localize4.0ms (0.2%)

rewrite18.0ms (0.9%)

series32.0ms (1.5%)

simplify142.0ms (6.7%)

prune19.0ms (0.9%)

localize8.0ms (0.4%)

rewrite244.0ms (11.5%)

series89.0ms (4.2%)

simplify93.0ms (4.4%)

prune188.0ms (8.8%)

regimes76.0ms (3.6%)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

end0.0ms (0%)

sample510.0ms (24%)

Profiling