Details

analyze481.0ms (10.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
0%	50%	50%	3
25%	25%	50%	4
37.5%	12.5%	50%	5
43.7%	6.2%	50%	6
46.9%	3.1%	50%	7
48.4%	1.6%	50%	8
49.2%	0.8%	50%	9
49.6%	0.4%	50%	10
49.8%	0.2%	50%	11
49.9%	0.1%	50%	12
49.9%	0%	50%	13
49.9%	0%	50%	14

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample92.0ms (2%)

Algorithm

1×

intervals

Results

58.0ms	133×	body	1024	valid
15.0ms	58×	body	512	valid
5.0ms	36×	body	256	valid
4.0ms	7×	body	2048	valid
1.0ms	22×	body	128	valid

Compiler

Compiled 28 to 24 computations (14.3% saved)

simplify468.0ms (10.3%)

Algorithm

1×	egg-herbie

Rules

7982×	`fma-neg_binary64`
642×	`unsub-neg_binary64`
573×	`distribute-neg-in_binary64`
572×	`distribute-rgt-in_binary64`
535×	`distribute-rgt-out--_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	15
1	20	13
2	28	13
3	43	13
4	67	13
5	95	13
6	136	13
7	234	13
8	429	13
9	636	13
10	827	13
11	918	13
12	1093	13
13	1183	13
14	1272	13
15	1630	13
16	2135	13
17	2217	13
18	2418	13
19	2438	13
20	2558	13
21	2558	13
22	2954	13
23	3004	13
24	3130	13
25	3162	13
26	3210	13
27	3230	13
28	3238	13
29	3238	13
30	3238	13
31	3574	13
32	3558	13
33	3856	13
34	4014	13
35	4100	13
36	4126	13
37	4142	13
38	4154	13
39	4190	13
40	4202	13
41	4206	13
42	4206	13
43	11004	13

prune5.0ms (0.1%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
	58.2b	(*.f64 (/.f64 1 2) (log.f64 (/.f64 (+.f64 1 x) (-.f64 1 x))))

Compiler

Compiled 65 to 53 computations (18.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

series4.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

4.0ms

(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
9×	`prod-diff_binary64`
9×	`add-cube-cbrt_binary64`
5×	`add-log-exp_binary64`

Counts

1 → 33

Calls

1 calls:

3.0ms

(-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x)))

simplify112.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

424×	`unsub-neg_binary64`
332×	`unswap-sqr_binary64`
325×	`times-frac_binary64`
317×	`sqr-pow_binary64`
315×	`distribute-rgt-in_binary64`

Counts

45 → 63

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	104	900
1	223	663
2	571	600
3	1725	600
4	3147	600
5	4384	600
6	4805	600
7	4516	600
8	4840	600

prune32.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	61	2	63
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	62	3	65

Error

Counts

65 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
	58.2b	(*.f64 1/2 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))
▶	0.7b	(.f64 1/2 (fma.f64 2 x (.f64 2/3 (pow.f64 x 3))))

Compiler

Compiled 1202 to 556 computations (53.7% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))
✓	0.1b	(*.f64 2/3 (pow.f64 x 3))

series6.0ms (0.1%)

Counts

2 → 12

Calls

2 calls:

3.0ms	(fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))
3.0ms	(*.f64 2/3 (pow.f64 x 3))

rewrite9.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

13×	`add-sqr-sqrt_binary64`
12×	`associate-r_binary64`
7×	`add-exp-log_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-cube-cbrt_binary64`

Counts

2 → 43

Calls

2 calls:

6.0ms	(*.f64 2/3 (pow.f64 x 3))
0.0ms	(fma.f64 2 x (*.f64 2/3 (pow.f64 x 3)))

simplify117.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

541×	`associate-l_binary64`
505×	`associate-r_binary64`
426×	`log-prod_binary64`
346×	`exp-prod_binary64`
345×	`swap-sqr_binary64`

Counts

55 → 53

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	71	631
1	124	568
2	338	568
3	1827	568
4	3510	538
5	4563	538
6	4948	538
7	4981	538

prune42.0ms (0.9%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	53	3	56

Error

Counts

56 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
▶	58.2b	(*.f64 1/2 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))
✓	0.7b	(.f64 1/2 (fma.f64 2 x (.f64 2/3 (pow.f64 x 3))))

Compiler

Compiled 847 to 678 computations (20% saved)

localize6.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) (-.f64 1 x))
✓	8.1b	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))

series6.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

3.0ms	(log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x)))
2.0ms	(/.f64 (+.f64 x 1) (-.f64 1 x))

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
48×	`times-frac_binary64`
30×	`log-prod_binary64`
25×	`add-cube-cbrt_binary64`

Counts

2 → 95

Calls

2 calls:

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

simplify110.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-neg_binary64`
463×	`distribute-rgt-in_binary64`
418×	`fma-def_binary64`
340×	`distribute-lft-in_binary64`
217×	`cancel-sign-sub-inv_binary64`

Counts

119 → 135

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	172	2244
1	404	2104
2	1018	2053
3	2671	2049
4	4710	2039
5	5097	2039

prune66.0ms (1.4%)

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	0	0
Picked	0	1	1
Done	0	2	2
Total	135	3	138

Error

Counts

138 → 3

Alt Table

Status	Error	Program
✓	0.0b	(*.f64 1/2 (-.f64 (log1p.f64 x) (log1p.f64 (neg.f64 x))))
✓	58.2b	(*.f64 1/2 (log.f64 (/.f64 (+.f64 x 1) (-.f64 1 x))))
✓	0.7b	(.f64 1/2 (fma.f64 2 x (.f64 2/3 (pow.f64 x 3))))

Compiler

Compiled 2403 to 1862 computations (22.5% saved)

regimes35.0ms (0.8%)

Accuracy

Total 0.0b remaining (50%)

Threshold costs 0.0b (50%)

Counts

8 → 1

Compiler

Compiled 384 to 310 computations (19.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
3×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
2×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	15	13
2	20	13
3	23	13
4	24	13
5	24	13

end1.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

sample2.9s (64.2%)

Algorithm

1×

intervals

Results

1.7s	3960×	body	1024	valid
511.0ms	2031×	body	512	valid
242.0ms	410×	body	2048	valid
159.0ms	995×	body	256	valid
44.0ms	604×	body	128	valid

Compiler

Compiled 55 to 45 computations (18.2% saved)

Details

analyze481.0ms (10.6%)

sample92.0ms (2%)

simplify468.0ms (10.3%)

prune5.0ms (0.1%)

localize5.0ms (0.1%)

series4.0ms (0.1%)

rewrite6.0ms (0.1%)

simplify112.0ms (2.4%)

prune32.0ms (0.7%)

localize6.0ms (0.1%)

series6.0ms (0.1%)

rewrite9.0ms (0.2%)

simplify117.0ms (2.6%)

prune42.0ms (0.9%)

localize6.0ms (0.1%)

series6.0ms (0.1%)

rewrite20.0ms (0.4%)

simplify110.0ms (2.4%)

prune66.0ms (1.4%)

regimes35.0ms (0.8%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample2.9s (64.2%)

Profiling