Details

analyze1.6s (8.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	62.4%	12.6%	5
25%	56.2%	18.8%	6
28.1%	50%	22%	7
28.1%	46.8%	25.1%	8
29.7%	41.4%	29%	9
29.7%	39.4%	30.9%	10
31.1%	35.8%	33.1%	11
31.1%	34.4%	34.5%	12
31.5%	32.9%	35.6%	13
31.5%	32.1%	36.4%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample383.0ms (2.1%)

Algorithm

1×

intervals

Results

85.0ms	98×	body	1024	valid
71.0ms	29×	body	512	nan
44.0ms	49×	body	1024	nan
35.0ms	50×	body	2048	valid
18.0ms	79×	body	128	overflowed
15.0ms	37×	body	512	valid
9.0ms	6×	body	1024	invalid
8.0ms	15×	body	256	nan
6.0ms	55×	body	128	valid
4.0ms	16×	body	256	valid
2.0ms	4×	body	512	invalid
2.0ms	23×	body	128	nan
1.0ms	9×	body	128	invalid
1.0ms	3×	body	256	invalid

Compiler

Compiled 33 to 25 computations (24.2% saved)

simplify51.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

436×	`unswap-sqr_binary64`
377×	`fma-def_binary64`
359×	`sub-neg_binary64`
289×	`unsub-neg_binary64`
253×	`distribute-rgt-neg-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	20	19
2	41	19
3	102	19
4	248	19
5	790	19
6	2110	19
7	4405	19
8	5048	19

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

35.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	35.4b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

Compiler

Compiled 45 to 33 computations (26.7% saved)

localize7.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 x (/.f64 1 n))
✓	0.3b	(pow.f64 (+.f64 x 1) (/.f64 1 n))
✓	2.3b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

series139.0ms (0.8%)

Counts

3 → 72

Calls

3 calls:

86.0ms	(pow.f64 x (/.f64 1 n))
39.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
14.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`*-un-lft-identity_binary64`
76×	`unpow-prod-down_binary64`
65×	`add-sqr-sqrt_binary64`
56×	`prod-diff_binary64`
53×	`add-cube-cbrt_binary64`

Counts

3 → 155

Calls

3 calls:

9.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
4.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
2.0ms	(pow.f64 x (/.f64 1 n))

simplify184.0ms (1%)

Algorithm

1×	egg-herbie

Rules

580×	`cancel-sign-sub-inv_binary64`
422×	`fma-neg_binary64`
284×	`sub-neg_binary64`
202×	`fma-def_binary64`
194×	`+-commutative_binary64`

Counts

227 → 269

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	395	9164
1	964	7582
2	3311	5432
3	4914	5432
4	4974	5432

prune394.0ms (2.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	265	4	269
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	266	4	270

Error

0.8b

Counts

270 → 4

Alt Table

Status	Error	Program
	23.9b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (/.f64 (log.f64 (+.f64 1 x)) n)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n)))
▶	18.4b	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
	35.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
	37.2b	(-.f64 (fma.f64 11/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (.f64 n n) (pow.f64 x 4))) (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/3 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 n (pow.f64 x 3))) (.f64 1/6 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 x 3) (pow.f64 n 3))))))))) (fma.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 n 3) (pow.f64 x 4))) (fma.f64 1/2 (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 x (.f64 x n))) (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 n (.f64 n (pow.f64 x 3))))) (.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 4)))))))

Compiler

Compiled 9900 to 6687 computations (32.5% saved)

localize6.0ms (0%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
✓	3.3b	(-.f64 (log1p.f64 x) (log.f64 x))

series494.0ms (2.7%)

Counts

2 → 36

Calls

2 calls:

490.0ms	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
4.0ms	(-.f64 (log1p.f64 x) (log.f64 x))

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

38×	`*-un-lft-identity_binary64`
33×	`add-sqr-sqrt_binary64`
23×	`add-cube-cbrt_binary64`
18×	`times-frac_binary64`
12×	`prod-diff_binary64`

Counts

2 → 83

Calls

2 calls:

5.0ms	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
4.0ms	(-.f64 (log1p.f64 x) (log.f64 x))

simplify132.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

869×	`fma-neg_binary64`
399×	`fma-def_binary64`
386×	`associate-l_binary64`
296×	`associate-r_binary64`
171×	`associate-/l*_binary64`

Counts

119 → 118

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	189	2225
1	426	1862
2	1217	1802
3	4071	1801
4	4962	1801
5	4971	1801
6	4934	1801

prune116.0ms (0.6%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	110	8	118
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	111	11	122

Error

0.1b

Counts

122 → 11

Alt Table

Status	Error	Program
	18.7b	(.f64 (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (cbrt.f64 n)))
	18.8b	(/.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (log1p.f64 x)) (cbrt.f64 (log1p.f64 x))) (cbrt.f64 (log1p.f64 x)) (neg.f64 (.f64 (cbrt.f64 (log.f64 x)) (.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 (log.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (log.f64 x))) (.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 (log.f64 x))) (.f64 (cbrt.f64 (log.f64 x)) (.f64 (cbrt.f64 (log.f64 x)) (cbrt.f64 (log.f64 x)))))) n)
	18.9b	(/.f64 (-.f64 (pow.f64 (log1p.f64 x) 3) (pow.f64 (log.f64 x) 3)) (.f64 n (fma.f64 (log.f64 x) (log.f64 x) (.f64 (log1p.f64 x) (+.f64 (log.f64 x) (log1p.f64 x))))))
	18.7b	(/.f64 (exp.f64 (log.f64 (-.f64 (log1p.f64 x) (log.f64 x)))) n)
▶	18.4b	(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))
	18.5b	(*.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	23.9b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (/.f64 (log.f64 (+.f64 1 x)) n)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n)))
	35.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
	37.2b	(-.f64 (fma.f64 11/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (.f64 n n) (pow.f64 x 4))) (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/3 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 n (pow.f64 x 3))) (.f64 1/6 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 x 3) (pow.f64 n 3))))))))) (fma.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 n 3) (pow.f64 x 4))) (fma.f64 1/2 (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 x (.f64 x n))) (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 n (.f64 n (pow.f64 x 3))))) (.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 4)))))))
	40.2b	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x))) n)
	18.4b	(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))

Compiler

Compiled 2696 to 1040 computations (61.4% saved)

localize7.0ms (0%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))
✓	0.2b	(/.f64 n (-.f64 (log1p.f64 x) (log.f64 x)))
	3.3b	(-.f64 (log1p.f64 x) (log.f64 x))

series1.0s (5.6%)

Counts

2 → 48

Calls

2 calls:

535.0ms	(/.f64 n (-.f64 (log1p.f64 x) (log.f64 x)))
475.0ms	(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))

rewrite33.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

162×	`times-frac_binary64`
126×	`*-un-lft-identity_binary64`
110×	`add-sqr-sqrt_binary64`
78×	`add-cube-cbrt_binary64`
32×	`distribute-lft-out--_binary64`

Counts

2 → 165

Calls

2 calls:

7.0ms	(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))
7.0ms	(/.f64 n (-.f64 (log1p.f64 x) (log.f64 x)))

simplify140.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

395×	`times-frac_binary64`
339×	`associate-/l*_binary64`
331×	`fma-neg_binary64`
326×	`associate-/r*_binary64`
324×	`fma-def_binary64`

Counts

213 → 207

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	213	4582
1	488	4291
2	1445	4175
3	4353	4175
4	4992	4175

prune242.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	260	3	263
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	265	9	274

Error

0.1b

Counts

274 → 9

Alt Table

Status	Error	Program
	40.2b	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x))) n)
	18.4b	(/.f64 1 (*.f64 n (/.f64 1 (-.f64 (log1p.f64 x) (log.f64 x)))))
	18.4b	(/.f64 1 (/.f64 n (/.f64 (-.f64 (pow.f64 (log1p.f64 x) 3) (pow.f64 (log.f64 x) 3)) (fma.f64 (log.f64 x) (log.f64 x) (*.f64 (log1p.f64 x) (+.f64 (log.f64 x) (log1p.f64 x)))))))
	18.7b	(.f64 (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (cbrt.f64 n)))
	23.9b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (/.f64 (log.f64 (+.f64 1 x)) n)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n)))
▶	18.3b	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 x 1) x))))
	35.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
	37.2b	(-.f64 (fma.f64 11/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (.f64 n n) (pow.f64 x 4))) (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/3 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 n (pow.f64 x 3))) (.f64 1/6 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 x 3) (pow.f64 n 3))))))))) (fma.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 n 3) (pow.f64 x 4))) (fma.f64 1/2 (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 x (.f64 x n))) (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 n (.f64 n (pow.f64 x 3))))) (.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 4)))))))
	18.4b	(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))

Compiler

Compiled 5827 to 2138 computations (63.3% saved)

localize7.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 x 1) x)
✓	0.1b	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 x 1) x))))
✓	0.2b	(/.f64 n (log.f64 (/.f64 (+.f64 x 1) x)))
✓	3.2b	(log.f64 (/.f64 (+.f64 x 1) x))

series706.0ms (3.9%)

Counts

4 → 72

Calls

4 calls:

355.0ms	(/.f64 n (log.f64 (/.f64 (+.f64 x 1) x)))
346.0ms	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 x 1) x))))
3.0ms	(log.f64 (/.f64 (+.f64 x 1) x))
2.0ms	(/.f64 (+.f64 x 1) x)

rewrite29.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

132×	`times-frac_binary64`
93×	`*-un-lft-identity_binary64`
79×	`add-sqr-sqrt_binary64`
79×	`add-cube-cbrt_binary64`
23×	`associate-/r*_binary64`

Counts

4 → 187

Calls

4 calls:

5.0ms	(/.f64 1 (/.f64 n (log.f64 (/.f64 (+.f64 x 1) x))))
4.0ms	(/.f64 (+.f64 x 1) x)
4.0ms	(/.f64 n (log.f64 (/.f64 (+.f64 x 1) x)))
3.0ms	(log.f64 (/.f64 (+.f64 x 1) x))

simplify200.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

668×	`times-frac_binary64`
495×	`associate-/l*_binary64`
472×	`fma-neg_binary64`
446×	`fma-def_binary64`
219×	`associate-/r/_binary64`

Counts

259 → 292

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	271	4952
1	612	4401
2	1786	4315
3	4575	4314
4	4990	4314
5	5000	4314
6	5006	4314

prune276.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	289	3	292
Fresh	1	7	8
Picked	1	0	1
Done	0	0	0
Total	291	10	301

Error

0.1b

Counts

301 → 10

Alt Table

Status	Error	Program
	18.6b	(/.f64 1 (/.f64 (*.f64 (cbrt.f64 n) (cbrt.f64 n)) (/.f64 (log.f64 (/.f64 (+.f64 x 1) x)) (cbrt.f64 n))))
	23.9b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (/.f64 (log.f64 (+.f64 1 x)) n)) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n)))
	37.2b	(-.f64 (fma.f64 11/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (.f64 n n) (pow.f64 x 4))) (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/3 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 n (pow.f64 x 3))) (.f64 1/6 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 x 3) (pow.f64 n 3))))))))) (fma.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 (pow.f64 n 3) (pow.f64 x 4))) (fma.f64 1/2 (+.f64 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 x (.f64 x n))) (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (.f64 n (.f64 n (pow.f64 x 3))))) (.f64 1/4 (/.f64 (exp.f64 (/.f64 (+.f64 0 (log.f64 x)) n)) (*.f64 n (pow.f64 x 4)))))))
	18.3b	(/.f64 1 (/.f64 n (log.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (/.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))))
	40.2b	(/.f64 (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x))) n)
	18.4b	(/.f64 1 (*.f64 n (/.f64 1 (-.f64 (log1p.f64 x) (log.f64 x)))))
	18.3b	(/.f64 1 (/.f64 n (log.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x 1) x)) (cbrt.f64 (/.f64 (+.f64 x 1) x))) (cbrt.f64 (/.f64 (+.f64 x 1) x))))))
	18.7b	(.f64 (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (cbrt.f64 n)))
	35.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
	18.4b	(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))

Compiler

Compiled 5795 to 3513 computations (39.4% saved)

regimes3.5s (19.6%)

Accuracy

Total 7.1b remaining (97.7%)

Threshold costs 0b (0%)

Counts

290 → 2

Compiler

Compiled 26132 to 17545 computations (32.9% saved)

bsearch59.0ms (0.3%)

Steps

Iters	Range		Point
8	274777.9736700209	202802257.37440822	318382.55505162105

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
3×	`*-commutative_binary64`
2×	`sub-neg_binary64`
2×	`neg-sub0_binary64`
1×	`distribute-neg-frac_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	37
1	26	37
2	29	37
3	32	37
4	35	37
5	36	37
6	35	37

end1.0ms (0%)

Compiler: Compiled 26 to 18 computations (30.8% saved)

sample8.3s (46%)

Algorithm

1×

intervals

Results

2.0s	2605×	body	1024	valid
1.4s	1458×	body	1024	nan
1.2s	1770×	body	2048	valid
700.0ms	1242×	body	512	valid
674.0ms	2635×	body	128	overflowed
424.0ms	726×	body	512	nan
277.0ms	249×	body	512	invalid
231.0ms	1817×	body	128	valid
216.0ms	202×	body	1024	invalid
147.0ms	566×	body	256	valid
98.0ms	315×	body	256	nan
69.0ms	820×	body	128	nan
51.0ms	149×	body	256	invalid
48.0ms	255×	body	128	invalid
5.0ms	4×	body	2048	nan

Compiler

Compiled 392 to 265 computations (32.4% saved)

Details

analyze1.6s (8.6%)

sample383.0ms (2.1%)

simplify51.0ms (0.3%)

prune2.0ms (0%)

localize7.0ms (0%)

series139.0ms (0.8%)

rewrite29.0ms (0.2%)

simplify184.0ms (1%)

prune394.0ms (2.2%)

localize6.0ms (0%)

series494.0ms (2.7%)

rewrite14.0ms (0.1%)

simplify132.0ms (0.7%)

prune116.0ms (0.6%)

localize7.0ms (0%)

series1.0s (5.6%)

rewrite33.0ms (0.2%)

simplify140.0ms (0.8%)

prune242.0ms (1.3%)

localize7.0ms (0%)

series706.0ms (3.9%)

rewrite29.0ms (0.2%)

simplify200.0ms (1.1%)

prune276.0ms (1.5%)

regimes3.5s (19.6%)

bsearch59.0ms (0.3%)

simplify3.0ms (0%)

end1.0ms (0%)

sample8.3s (46%)

Profiling