Details

analyze421.0ms (15.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
25%	50%	25%	4
25%	37.5%	37.5%	5
25%	31.2%	43.8%	6
25%	28.1%	46.9%	7
25%	26.5%	48.5%	8
25%	25.8%	49.2%	9
25%	25.4%	49.6%	10
25%	25.2%	49.8%	11
25%	25.1%	49.9%	12
25%	25%	50%	13
25%	25%	50%	14

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample63.0ms (2.3%)

Algorithm

1×

intervals

Results

20.0ms	130×	body	2048	nan
14.0ms	256×	body	128	valid
9.0ms	73×	body	1024	nan
4.0ms	41×	body	512	nan
1.0ms	20×	body	256	nan
1.0ms	21×	body	128	nan

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify145.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

805×	`unsub-neg_binary64`
626×	`distribute-rgt-out--_binary64`
462×	`distribute-neg-in_binary64`
449×	`distribute-rgt-out_binary64`
439×	`sub-neg_binary64`

Counts

1 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	14
1	17	14
2	21	14
3	36	14
4	57	14
5	94	14
6	185	14
7	360	14
8	1261	14
9	1616	14
10	2338	14
11	2722	14
12	2923	14
13	3093	14
14	3194	14
15	3511	14
16	3955	14
17	4851	14
18	4921	14

prune2.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

33.4b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	33.4b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Compiler

Compiled 20 to 14 computations (30% saved)

localize6.0ms (0.2%)

Local error

Found 1 expressions with local error:

31.2b

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

rewrite23.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`sqrt-prod_binary64`
4×	`add-sqr-sqrt_binary64`
3×	`*-un-lft-identity_binary64`
2×	`pow1_binary64` `add-cube-cbrt_binary64` `sqrt-div_binary64` `difference-of-squares_binary64`
1×	`pow1/2_binary64` `add-log-exp_binary64` `add-exp-log_binary64` `add-cbrt-cube_binary64` `sqrt-pow1_binary64` `flip3--_binary64` `flip--_binary64` `difference-of-sqr-1_binary64` `rem-sqrt-square_binary64`

Counts

1 → 18

Calls

1 calls:

4.0ms

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

Compiler

Compiled 262 to 164 computations (37.4% saved)

series14.0ms (0.5%)

Error

Counts

1 → 6

Calls

1 calls:

8.0ms

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

Compiler

Compiled 171 to 132 computations (22.8% saved)

simplify80.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

441×	`distribute-rgt-in_binary64`
418×	`sub-neg_binary64`
373×	`distribute-lft-in_binary64`
256×	`cancel-sign-sub-inv_binary64`
241×	`associate-l_binary64`

Counts

24 → 18

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	60	294
1	124	279
2	282	279
3	671	279
4	1621	279
5	4355	279
6	4382	279
7	4790	279

prune13.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	17	1	18
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	17	2	19

Error

Counts

19 → 2

Alt Table

Status	Error	Program
▶	0.1b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
✓	33.4b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Compiler

Compiled 241 to 161 computations (33.2% saved)

localize8.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

rewrite32.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

14×	`associate-+r+_binary64`
13×	`*-un-lft-identity_binary64` `cancel-sign-sub-inv_binary64`
9×	`times-frac_binary64`
8×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64`
6×	`add-log-exp_binary64`

Counts

1 → 29

Calls

1 calls:

10.0ms

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

Compiler

Compiled 435 to 280 computations (35.6% saved)

series15.0ms (0.5%)

Error

Counts

1 → 6

Calls

1 calls:

12.0ms

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

Compiler

Compiled 100 to 81 computations (19% saved)

simplify80.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

747×	`distribute-rgt-in_binary64`
674×	`distribute-lft-in_binary64`
548×	`unsub-neg_binary64`
431×	`associate-l_binary64`
403×	`div-sub_binary64`

Counts

35 → 16

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	39	339
1	97	312
2	236	303
3	873	297
4	3685	297
5	4439	297
6	4952	297

prune8.0ms (0.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

18 → 2

Alt Table

Status	Error	Program
	0.1b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
	33.4b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Compiler

Compiled 158 to 100 computations (36.7% saved)

regimes42.0ms (1.5%)

Accuracy

Total 0.0b remaining (1.2%)

Threshold costs 0.0b (1.2%)

Compiler

Compiled 255 to 184 computations (27.8% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`1-exp_binary64` `sub-neg_binary64` `*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	18	19
2	19	19
3	17	19

end1.0ms (0%)

Compiler: Compiled 13 to 10 computations (23.1% saved)

sample1.8s (65.4%)

Algorithm

1×

intervals

Results

623.0ms	3937×	body	2048	nan
331.0ms	8000×	body	128	valid
247.0ms	2017×	body	1024	nan
99.0ms	1015×	body	512	nan
33.0ms	535×	body	256	nan
16.0ms	516×	body	128	nan
2.0ms	8×	body	4096	nan

Compiler

Compiled 44 to 32 computations (27.3% saved)

Details

analyze421.0ms (15.2%)

sample63.0ms (2.3%)

simplify145.0ms (5.2%)

prune2.0ms (0.1%)

localize6.0ms (0.2%)

rewrite23.0ms (0.8%)

series14.0ms (0.5%)

simplify80.0ms (2.9%)

prune13.0ms (0.5%)

localize8.0ms (0.3%)

rewrite32.0ms (1.2%)

series15.0ms (0.5%)

simplify80.0ms (2.9%)

prune8.0ms (0.3%)

regimes42.0ms (1.5%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.8s (65.4%)

Profiling