Details

analyze519.0ms (11.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)

sample67.0ms (1.5%)

Algorithm

1×

intervals

Results

23.0ms	112×	body	2048	nan
13.0ms	256×	body	128	valid
10.0ms	65×	body	1024	nan
4.0ms	32×	body	512	nan
1.0ms	13×	body	256	nan
1.0ms	13×	body	128	nan

Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify150.0ms (3.3%)

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

31.9b

Counts

1 → 1

Alt Table

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

Compiler

Compiled 20 to 14 computations (30% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.0b	(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1)))
0.3b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
29.6b	(sqrt.f64 (-.f64 (*.f64 x x) 1))

rewrite40.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

0.3b

Rules

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

Counts

3 → 45

Calls

3 calls:

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

Compiler

Compiled 730 to 444 computations (39.2% saved)

series36.0ms (0.8%)

Error

Counts

3 → 19

Calls

3 calls:

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

Compiler

Compiled 557 to 461 computations (17.2% saved)

simplify99.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

420×	`sub-neg_binary64`
358×	`distribute-rgt-in_binary64`
273×	`unsub-neg_binary64`
245×	`distribute-lft-in_binary64`
206×	`cancel-sign-sub-inv_binary64`

Counts

64 → 48

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	129	1074
1	278	999
2	672	951
3	1925	945
4	4324	945
5	4918	945
6	4823	945

prune23.0ms (0.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	46	2	48
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	46	3	49

Error

Counts

49 → 3

Alt Table

Status	Error	Program
▶	0.9b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
✓	31.9b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
	1.2b	(+.f64 (log.f64 2) (log.f64 x))

Compiler

Compiled 688 to 447 computations (35% saved)

localize6.0ms (0.1%)

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))))

rewrite40.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

Rules

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

Counts

2 → 45

Calls

2 calls:

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

Compiler

Compiled 668 to 436 computations (34.7% saved)

series18.0ms (0.4%)

Error

Counts

2 → 10

Calls

2 calls:

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

Compiler

Compiled 224 to 188 computations (16.1% saved)

simplify72.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

801×	`distribute-rgt-in_binary64`
771×	`times-frac_binary64`
721×	`distribute-lft-in_binary64`
632×	`associate-l_binary64`
172×	`associate-*r/_binary64`

Counts

55 → 32

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	73	725
1	151	652
2	340	634
3	1159	622
4	4415	620
5	5450	620

prune14.0ms (0.3%)

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.9b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
✓	31.9b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
▶	1.2b	(+.f64 (log.f64 2) (log.f64 x))

Compiler

Compiled 361 to 229 computations (36.6% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

rewrite15.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

7×	`*-un-lft-identity_binary64`
6×	`log-prod_binary64`
5×	`pow1_binary64`
4×	`distribute-lft-out_binary64`
4×	`log-pow_binary64`

Counts

1 → 21

Calls

1 calls:

3.0ms

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

Compiler

Compiled 195 to 137 computations (29.7% saved)

series11.0ms (0.3%)

Error

Counts

1 → 3

Calls

1 calls:

10.0ms

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

Compiler

Compiled 73 to 64 computations (12.3% saved)

simplify96.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

400×	`associate-+l-_binary64`
398×	`unsub-neg_binary64`
380×	`neg-mul-1_binary64`
352×	`neg-sub0_binary64`
317×	`distribute-rgt-in_binary64`

Counts

24 → 18

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	52	273
1	115	254
2	257	254
3	572	254
4	1843	254
5	3873	254
6	4287	254
7	4731	254
8	4836	254

prune8.0ms (0.2%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	18	0	18
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	18	3	21

Error

Counts

21 → 3

Alt Table

Status	Error	Program
	0.9b	(log.f64 (+.f64 x (-.f64 x (/.f64 1/2 x))))
	31.9b	(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) 1))))
	1.2b	(+.f64 (log.f64 2) (log.f64 x))

Compiler

Compiled 162 to 119 computations (26.5% saved)

regimes571.0ms (12.6%)

Accuracy

Total 0.1b remaining (95.9%)

Threshold costs 0.1b (95.9%)

Compiler

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

Algorithm

1×

intervals

Results

942.0ms	8000×	body	128	valid
842.0ms	4030×	body	2048	nan
328.0ms	2005×	body	1024	nan
127.0ms	1025×	body	512	nan
39.0ms	465×	body	256	nan
23.0ms	526×	body	128	nan
1.0ms	4×	body	4096	nan

Compiler

Compiled 50 to 37 computations (26% saved)

Details

analyze519.0ms (11.4%)

sample67.0ms (1.5%)

simplify150.0ms (3.3%)

prune1.0ms (0%)

localize7.0ms (0.1%)

rewrite40.0ms (0.9%)

series36.0ms (0.8%)

simplify99.0ms (2.2%)

prune23.0ms (0.5%)

localize6.0ms (0.1%)

rewrite40.0ms (0.9%)

series18.0ms (0.4%)

simplify72.0ms (1.6%)

prune14.0ms (0.3%)

localize5.0ms (0.1%)

rewrite15.0ms (0.3%)

series11.0ms (0.3%)

simplify96.0ms (2.1%)

prune8.0ms (0.2%)

regimes571.0ms (12.6%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.7s (60.3%)

Profiling