Details

analyze428.0ms (13.1%)

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)

sample59.0ms (1.8%)

Algorithm

1×

intervals

Results

19.0ms	121×	body	2048	nan
11.0ms	256×	body	128	valid
8.0ms	62×	body	1024	nan
4.0ms	43×	body	512	nan
1.0ms	11×	body	256	nan
0.0ms	14×	body	128	nan
0.0ms	1×	body	4096	nan

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify147.0ms (4.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	4922	14

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

34.4b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	34.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 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
0.2b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
32.0b	(sqrt.f64 (-.f64 (*.f64 x x) 1))

rewrite59.0ms (1.8%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

10×	`*-un-lft-identity_binary64`
7×	`add-sqr-sqrt_binary64`
6×	`sqrt-prod_binary64`
5×	`pow1_binary64` `add-log-exp_binary64` `add-cube-cbrt_binary64`
4×	`add-exp-log_binary64` `log-prod_binary64`

Counts

3 → 45

Calls

3 calls:

7.0ms	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
6.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
5.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 730 to 444 computations (39.2% saved)

series50.0ms (1.5%)

Error

Counts

3 → 18

Calls

3 calls:

12.0ms	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
10.0ms	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
9.0ms	(sqrt.f64 (-.f64 (*.f64 x x) 1))

Compiler

Compiled 528 to 439 computations (16.9% saved)

simplify82.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

464×	`unsub-neg_binary64`
371×	`distribute-rgt-in_binary64`
286×	`sub-neg_binary64`
264×	`distribute-lft-in_binary64`
260×	`associate--r-_binary64`

Counts

63 → 47

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	127	1067
1	273	992
2	651	950
3	2011	944
4	4593	944
5	5043	944

prune41.0ms (1.2%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	45	2	47
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	45	3	48

Error

Counts

48 → 3

Alt Table

Status	Error	Program
▶	0.5b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
	0.7b	(+.f64 (log.f64 2) (log.f64 x))
✓	34.4b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Compiler

Compiled 690 to 446 computations (35.4% saved)

localize7.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

rewrite56.0ms (1.7%)

Algorithm

1×	rewrite-expression-head

Error

Rules

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

Counts

2 → 45

Calls

2 calls:

10.0ms	(+.f64 x (-.f64 x (/.f64 1/2 x)))
8.0ms	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))

Compiler

Compiled 668 to 436 computations (34.7% saved)

series28.0ms (0.9%)

Error

Counts

2 → 10

Calls

2 calls:

12.0ms	(+.f64 x (-.f64 x (/.f64 1/2 x)))
9.0ms	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))

Compiler

Compiled 224 to 188 computations (16.1% saved)

simplify70.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

811×	`distribute-rgt-in_binary64`
732×	`distribute-lft-in_binary64`
385×	`times-frac_binary64`
172×	`associate-*r/_binary64`
160×	`associate-*l/_binary64`

Counts

55 → 32

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	72	731
1	152	658
2	343	640
3	1213	628
4	4279	626
5	4789	626

prune20.0ms (0.6%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	32	0	32
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	32	3	35

Error

Counts

35 → 3

Alt Table

Status	Error	Program
✓	0.5b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
▶	0.7b	(+.f64 (log.f64 2) (log.f64 x))
✓	34.4b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Compiler

Compiled 362 to 230 computations (36.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b	(+.f64 (log.f64 2) (log.f64 x))

rewrite21.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`*-un-lft-identity_binary64`
6×	`log-prod_binary64`
5×	`pow1_binary64`
4×	`log-pow_binary64` `distribute-lft-out_binary64`
3×	`add-cube-cbrt_binary64` `add-sqr-sqrt_binary64` `associate-+l+_binary64` `associate-+r+_binary64`

Counts

1 → 21

Calls

1 calls:

5.0ms

(+.f64 (log.f64 2) (log.f64 x))

Compiler

Compiled 195 to 137 computations (29.7% saved)

series17.0ms (0.5%)

Error

Counts

1 → 3

Calls

1 calls:

15.0ms

(+.f64 (log.f64 2) (log.f64 x))

Compiler

Compiled 73 to 64 computations (12.3% saved)

simplify112.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

779×	`unsub-neg_binary64`
646×	`distribute-neg-in_binary64`
343×	`+-commutative_binary64`
326×	`distribute-rgt-in_binary64`
308×	`distribute-lft-in_binary64`

Counts

24 → 17

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	51	278
1	115	259
2	192	259
3	524	259
4	2090	259
5	3274	259
6	4616	259
7	4855	259
8	4949	259
9	4816	259

prune14.0ms (0.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	17	0	17
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	17	3	20

Error

Counts

20 → 3

Alt Table

Status	Error	Program
	0.5b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
	0.7b	(+.f64 (log.f64 2) (log.f64 x))
	34.4b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))

Compiler

Compiled 157 to 116 computations (26.1% saved)

regimes119.0ms (3.6%)

Accuracy

Total 0.0b remaining (92.1%)

Threshold costs 0.0b (92.1%)

Compiler

Compiled 870 to 655 computations (24.7% 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.9s (58.8%)

Algorithm

1×

intervals

Results

658.0ms	4069×	body	2048	nan
358.0ms	8000×	body	128	valid
257.0ms	2007×	body	1024	nan
96.0ms	1040×	body	512	nan
33.0ms	529×	body	256	nan
15.0ms	453×	body	128	nan
2.0ms	13×	body	4096	nan

Compiler

Compiled 50 to 37 computations (26% saved)

Details

analyze428.0ms (13.1%)

sample59.0ms (1.8%)

simplify147.0ms (4.5%)

prune5.0ms (0.1%)

localize7.0ms (0.2%)

rewrite59.0ms (1.8%)

series50.0ms (1.5%)

simplify82.0ms (2.5%)

prune41.0ms (1.2%)

localize7.0ms (0.2%)

rewrite56.0ms (1.7%)

series28.0ms (0.9%)

simplify70.0ms (2.1%)

prune20.0ms (0.6%)

localize5.0ms (0.2%)

rewrite21.0ms (0.6%)

series17.0ms (0.5%)

simplify112.0ms (3.4%)

prune14.0ms (0.4%)

regimes119.0ms (3.6%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.9s (58.8%)

Profiling