Details

analyze954.0ms (22%)

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)

sample78.0ms (1.8%)

Algorithm

1×

intervals

Results

29.0ms	139×	body	2048	nan
15.0ms	256×	body	128	valid
14.0ms	75×	body	1024	nan
4.0ms	36×	body	512	nan
1.0ms	15×	body	256	nan
1.0ms	19×	body	128	nan

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify483.0ms (11.1%)

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

prune1.0ms (0%)

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

30.6b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 20 to 14 computations (30% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite31.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

6×	`*-un-lft-identity_binary64`
6×	`sqrt-prod_binary64`
5×	`add-sqr-sqrt_binary64`
4×	`add-log-exp_binary64`
3×	`add-cube-cbrt_binary64`

Counts

2 → 30

Calls

2 calls:

7.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
3.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 472 to 288 computations (39% saved)

series22.0ms (0.5%)

Error

Counts

2 → 12

Calls

2 calls:

9.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
7.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 328 to 264 computations (19.5% saved)

simplify86.0ms (2%)

Algorithm

1×	egg-herbie

Rules

456×	`times-frac_binary64`
351×	`sub-neg_binary64`
295×	`neg-mul-1_binary64`
278×	`associate-l_binary64`
271×	`distribute-rgt-in_binary64`

Counts

42 → 31

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	81	580
1	187	546
2	438	543
3	1126	540
4	3095	540
5	4517	540
6	4949	540

prune15.0ms (0.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	30	2	32

Error

Counts

32 → 2

Alt Table

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

Compiler

Compiled 421 to 274 computations (34.9% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite28.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

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

Counts

1 → 29

Calls

1 calls:

8.0ms

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

Compiler

Compiled 435 to 280 computations (35.6% saved)

series11.0ms (0.3%)

Error

Counts

1 → 6

Calls

1 calls:

8.0ms

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

Compiler

Compiled 100 to 81 computations (19% saved)

simplify74.0ms (1.7%)

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

prune6.0ms (0.1%)

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.4b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
	30.6b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Compiler

Compiled 158 to 100 computations (36.7% saved)

regimes54.0ms (1.2%)

Accuracy

Total 0.0b remaining (2.5%)

Threshold costs 0.0b (2.5%)

Compiler

Compiled 547 to 398 computations (27.2% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`sub-neg_binary64`
1×	`1-exp_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)

sample2.5s (57.1%)

Algorithm

1×

intervals

Results

901.0ms	3997×	body	2048	nan
498.0ms	8000×	body	128	valid
406.0ms	2088×	body	1024	nan
128.0ms	978×	body	512	nan
48.0ms	508×	body	256	nan
25.0ms	535×	body	128	nan
3.0ms	11×	body	4096	nan

Compiler

Compiled 44 to 32 computations (27.3% saved)

Details

analyze954.0ms (22%)

sample78.0ms (1.8%)

simplify483.0ms (11.1%)

prune1.0ms (0%)

localize7.0ms (0.2%)

rewrite31.0ms (0.7%)

series22.0ms (0.5%)

simplify86.0ms (2%)

prune15.0ms (0.4%)

localize6.0ms (0.1%)

rewrite28.0ms (0.7%)

series11.0ms (0.3%)

simplify74.0ms (1.7%)

prune6.0ms (0.1%)

regimes54.0ms (1.2%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.5s (57.1%)

Profiling