Details

analyze512.0ms (12.4%)

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)

sample68.0ms (1.7%)

Algorithm

1×

intervals

Results

26.0ms	131×	body	2048	nan
13.0ms	256×	body	128	valid
10.0ms	67×	body	1024	nan
4.0ms	32×	body	512	nan
1.0ms	13×	body	256	nan
1.0ms	16×	body	128	nan
0.0ms	1×	body	4096	nan

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify143.0ms (3.5%)

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

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)

localize7.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

rewrite41.0ms (1%)

Algorithm

1×	rewrite-expression-head

Error

Rules

9×	`*-un-lft-identity_binary64`
8×	`add-sqr-sqrt_binary64`
7×	`add-log-exp_binary64`
6×	`sqrt-prod_binary64`
5×	`add-cube-cbrt_binary64`

Counts

3 → 47

Calls

3 calls:

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

Compiler

Compiled 720 to 442 computations (38.6% saved)

series28.0ms (0.7%)

Error

Counts

3 → 18

Calls

3 calls:

8.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
6.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))
6.0ms	(-.f64 (*.f64 x x) 1)

Compiler

Compiled 426 to 341 computations (20% saved)

simplify89.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

803×	`distribute-rgt-in_binary64`
703×	`distribute-lft-in_binary64`
267×	`associate-/r*_binary64`
168×	`associate-l_binary64`
140×	`cancel-sign-sub-inv_binary64`

Counts

65 → 51

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	93	780
1	203	722
2	502	719
3	1542	716
4	4872	716
5	4999	716
6	4880	716

prune23.0ms (0.5%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	50	1	51
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	50	2	52

Error

Counts

52 → 2

Alt Table

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

Compiler

Compiled 566 to 364 computations (35.7% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

rewrite25.0ms (0.6%)

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)

series10.0ms (0.2%)

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)

simplify76.0ms (1.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

prune6.0ms (0.2%)

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

Compiler

Compiled 158 to 100 computations (36.7% saved)

regimes75.0ms (1.8%)

Accuracy

Total 0.0b remaining (4.6%)

Threshold costs 0.0b (4.6%)

Compiler

Compiled 784 to 572 computations (27% 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)

sample3.0s (72.9%)

Algorithm

1×

intervals

Results

1.2s	4010×	body	2048	nan
468.0ms	8000×	body	128	valid
302.0ms	2004×	body	1024	nan
124.0ms	1025×	body	512	nan
39.0ms	507×	body	256	nan
25.0ms	473×	body	128	nan
2.0ms	11×	body	4096	nan

Compiler

Compiled 44 to 32 computations (27.3% saved)

Details

analyze512.0ms (12.4%)

sample68.0ms (1.7%)

simplify143.0ms (3.5%)

prune1.0ms (0%)

localize7.0ms (0.2%)

rewrite41.0ms (1%)

series28.0ms (0.7%)

simplify89.0ms (2.2%)

prune23.0ms (0.5%)

localize7.0ms (0.2%)

rewrite25.0ms (0.6%)

series10.0ms (0.2%)

simplify76.0ms (1.9%)

prune6.0ms (0.2%)

regimes75.0ms (1.8%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample3.0s (72.9%)

Profiling