Details

analyze1.6s (8.1%)

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)

sample409.0ms (2.1%)

Algorithm

1×

intervals

Results

160.0ms	96×	body	1024	valid
45.0ms	47×	body	1024	nan
34.0ms	54×	body	2048	valid
23.0ms	41×	body	512	valid
21.0ms	82×	body	128	overflowed
9.0ms	8×	body	512	invalid
9.0ms	23×	body	256	valid
9.0ms	16×	body	512	nan
5.0ms	42×	body	128	valid
4.0ms	12×	body	256	nan
3.0ms	3×	body	1024	invalid
1.0ms	19×	body	128	nan
1.0ms	4×	body	256	invalid
1.0ms	7×	body	128	invalid

Compiler

Compiled 33 to 25 computations (24.2% saved)

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

33.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.9b	(-.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 (+.f64 x 1) (/.f64 1 n))
✓	0.0b	(pow.f64 x (/.f64 1 n))
✓	2.2b	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

series117.0ms (0.6%)

Counts

3 → 72

Calls

3 calls:

60.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
41.0ms	(pow.f64 x (/.f64 1 n))
16.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)))
5.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
2.0ms	(pow.f64 x (/.f64 1 n))

simplify237.0ms (1.2%)

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	9108
1	964	7526
2	3311	5432
3	4914	5432
4	4974	5432

prune358.0ms (1.8%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	264	5	269
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	265	5	270

Error

0.5b

Counts

270 → 5

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 (.f64 1/6 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3) (pow.f64 n 3))) (/.f64 (log.f64 (+.f64 1 x)) n))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 (log.f64 x) 3) (pow.f64 n 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n))))
	33.9b	(*.f64 1 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))))
▶	19.5b	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
	34.8b	(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 x (.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (.f64 n (pow.f64 x 3))))) (.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 n 3) (pow.f64 x 4)))))))
	33.9b	(*.f64 (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))) (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))))

Compiler

Compiled 9970 to 6741 computations (32.4% 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)
✓	4.5b	(-.f64 (log1p.f64 x) (log.f64 x))

series489.0ms (2.5%)

Counts

2 → 36

Calls

2 calls:

485.0ms	(/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)
3.0ms	(-.f64 (log1p.f64 x) (log.f64 x))

rewrite17.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:

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

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

prune122.0ms (0.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	110	8	118
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	111	12	123

Error

0.1b

Counts

123 → 12

Alt Table

Status	Error	Program
	19.6b	(/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 n (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))))
	38.6b	(/.f64 (+.f64 (/.f64 1/3 (pow.f64 x 3)) (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x)))) n)
	19.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)) (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n))) (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)))
	33.9b	(*.f64 (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))) (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))))
	23.9b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3) (pow.f64 n 3))) (/.f64 (log.f64 (+.f64 1 x)) n))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 (log.f64 x) 3) (pow.f64 n 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n))))
	19.6b	(*.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	33.9b	(*.f64 1 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))))
	19.8b	(/.f64 (*.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))) (/.f64 n (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))))
	19.5b	(/.f64 (-.f64 (pow.f64 (log1p.f64 x) 3) (pow.f64 (log.f64 x) 3)) (.f64 n (+.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (+.f64 (.f64 (log.f64 x) (log.f64 x)) (.f64 (log1p.f64 x) (log.f64 x))))))
	19.5b	(*.f64 (-.f64 (log1p.f64 x) (log.f64 x)) (/.f64 1 n))
▶	19.5b	(/.f64 1 (/.f64 n (-.f64 (log1p.f64 x) (log.f64 x))))
	34.8b	(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 x (.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (.f64 n (pow.f64 x 3))))) (.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 n 3) (pow.f64 x 4)))))))

Compiler

Compiled 2744 to 1086 computations (60.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.1b	(/.f64 n (-.f64 (log1p.f64 x) (log.f64 x)))
	4.5b	(-.f64 (log1p.f64 x) (log.f64 x))

series992.0ms (5.1%)

Counts

2 → 48

Calls

2 calls:

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

rewrite30.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:

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

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

prune283.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	261	2	263
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	265	10	275

Error

0.1b

Counts

275 → 10

Alt Table

Status	Error	Program
	19.5b	(/.f64 (/.f64 (-.f64 (pow.f64 (log1p.f64 x) 3) (pow.f64 (log.f64 x) 3)) n) (+.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (+.f64 (.f64 (log.f64 x) (log.f64 x)) (*.f64 (log1p.f64 x) (log.f64 x)))))
	33.9b	(*.f64 1 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))))
	19.6b	(/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 n (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))))
	38.6b	(/.f64 (+.f64 (/.f64 1/3 (pow.f64 x 3)) (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x)))) n)
	19.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)) (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n))) (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)))
	33.9b	(*.f64 (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))) (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))))
	23.9b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3) (pow.f64 n 3))) (/.f64 (log.f64 (+.f64 1 x)) n))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 (log.f64 x) 3) (pow.f64 n 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n))))
▶	19.5b	(/.f64 1 (.f64 (/.f64 n (-.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2))) (+.f64 (log1p.f64 x) (log.f64 x))))
	19.8b	(/.f64 (*.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))) (/.f64 n (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))))
	34.8b	(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 x (.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (.f64 n (pow.f64 x 3))))) (.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 n 3) (pow.f64 x 4)))))))

Compiler

Compiled 5967 to 2198 computations (63.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (/.f64 n (-.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2))) (+.f64 (log1p.f64 x) (log.f64 x)))
✓	0.3b	(*.f64 (log1p.f64 x) (log1p.f64 x))
✓	0.5b	(pow.f64 (log.f64 x) 2)
✓	4.5b	(-.f64 (*.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2))

series1.2s (6.2%)

Counts

4 → 56

Calls

4 calls:

1.2s	(.f64 (/.f64 n (-.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2))) (+.f64 (log1p.f64 x) (log.f64 x)))
23.0ms	(pow.f64 (log.f64 x) 2)
8.0ms	(-.f64 (*.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2))
5.0ms	(*.f64 (log1p.f64 x) (log1p.f64 x))

rewrite39.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary64`
30×	`associate-l_binary64`
29×	`*-un-lft-identity_binary64`
26×	`add-cube-cbrt_binary64`
22×	`times-frac_binary64`

Counts

4 → 140

Calls

4 calls:

12.0ms	(.f64 (/.f64 n (-.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2))) (+.f64 (log1p.f64 x) (log.f64 x)))
8.0ms	(*.f64 (log1p.f64 x) (log1p.f64 x))
5.0ms	(-.f64 (*.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2))
2.0ms	(pow.f64 (log.f64 x) 2)

simplify132.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

703×	`times-frac_binary64`
573×	`fma-def_binary64`
463×	`associate-/l*_binary64`
171×	`*-commutative_binary64`
151×	`+-commutative_binary64`

Counts

196 → 281

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	642	7869
1	2177	7314
2	5121	7314

prune371.0ms (1.9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	281	0	281
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	281	10	291

Error

0.1b

Counts

291 → 10

Alt Table

Status	Error	Program
	19.5b	(/.f64 (/.f64 (-.f64 (pow.f64 (log1p.f64 x) 3) (pow.f64 (log.f64 x) 3)) n) (+.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (+.f64 (.f64 (log.f64 x) (log.f64 x)) (*.f64 (log1p.f64 x) (log.f64 x)))))
	33.9b	(*.f64 1 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))))
	19.6b	(/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (/.f64 n (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))))
	38.6b	(/.f64 (+.f64 (/.f64 1/3 (pow.f64 x 3)) (-.f64 (/.f64 1 x) (/.f64 1/2 (*.f64 x x)))) n)
	19.9b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)) (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n))) (cbrt.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n)))
	33.9b	(*.f64 (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))) (sqrt.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))))
	23.9b	(-.f64 (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 2) (pow.f64 n 2))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 (log.f64 (+.f64 1 x)) 3) (pow.f64 n 3))) (/.f64 (log.f64 (+.f64 1 x)) n))) (+.f64 (.f64 1/6 (/.f64 (pow.f64 (log.f64 x) 3) (pow.f64 n 3))) (+.f64 (.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (pow.f64 n 2))) (/.f64 (log.f64 x) n))))
✓	19.5b	(/.f64 1 (.f64 (/.f64 n (-.f64 (.f64 (log1p.f64 x) (log1p.f64 x)) (pow.f64 (log.f64 x) 2))) (+.f64 (log1p.f64 x) (log.f64 x))))
	19.8b	(/.f64 (*.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))) (/.f64 n (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x)))))
	34.8b	(-.f64 (fma.f64 11/24 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (.f64 n n) (pow.f64 x 4))) (fma.f64 1/3 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (pow.f64 x 3))) (fma.f64 1/24 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (fma.f64 1/2 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (.f64 x x) (.f64 n n))) (fma.f64 1/6 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 x 3) (pow.f64 n 3))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 x n))))))) (fma.f64 1/2 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 x (.f64 x n))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (.f64 n (pow.f64 x 3))))) (.f64 1/4 (+.f64 (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 n (pow.f64 x 4))) (/.f64 (pow.f64 x (/.f64 1 n)) (.f64 (pow.f64 n 3) (pow.f64 x 4)))))))

Compiler

Compiled 13222 to 7835 computations (40.7% saved)

regimes3.8s (19.4%)

Accuracy

Total 7.5b remaining (98.1%)

Threshold costs 0b (0%)

Counts

288 → 4

Compiler

Compiled 28480 to 17741 computations (37.7% saved)

bsearch360.0ms (1.9%)

Steps

Iters	Range		Point
8	30.18463452277141	17263.154655942137	5540.777704054234
8	2.8379713224956696e-262	5.872194422249646e-259	4.641095742691318e-262
9	6.154253601452587e-281	5.5679191353842115e-275	1.765246649597966e-276

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify11.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
6×	`sub-neg_binary64`
5×	`*-commutative_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	47	148
1	59	148
2	69	148
3	75	148
4	78	148
5	77	148

end2.0ms (0%)

Compiler: Compiled 100 to 59 computations (41% saved)

sample8.5s (43.8%)

Algorithm

1×

intervals

Results

2.3s	2685×	body	1024	valid
1.5s	1462×	body	1024	nan
1.2s	1726×	body	2048	valid
667.0ms	2565×	body	128	overflowed
531.0ms	1230×	body	512	valid
453.0ms	751×	body	512	nan
227.0ms	1782×	body	128	valid
217.0ms	198×	body	1024	invalid
176.0ms	577×	body	256	valid
123.0ms	212×	body	512	invalid
107.0ms	342×	body	256	nan
66.0ms	819×	body	128	nan
48.0ms	137×	body	256	invalid
41.0ms	266×	body	128	invalid
16.0ms	12×	body	2048	nan

Compiler

Compiled 501 to 308 computations (38.5% saved)

Details

analyze1.6s (8.1%)

sample409.0ms (2.1%)

simplify53.0ms (0.3%)

prune2.0ms (0%)

localize7.0ms (0%)

series117.0ms (0.6%)

rewrite29.0ms (0.2%)

simplify237.0ms (1.2%)

prune358.0ms (1.8%)

localize6.0ms (0%)

series489.0ms (2.5%)

rewrite17.0ms (0.1%)

simplify127.0ms (0.7%)

prune122.0ms (0.6%)

localize7.0ms (0%)

series992.0ms (5.1%)

rewrite30.0ms (0.2%)

simplify149.0ms (0.8%)

prune283.0ms (1.5%)

localize12.0ms (0.1%)

series1.2s (6.2%)

rewrite39.0ms (0.2%)

simplify132.0ms (0.7%)

prune371.0ms (1.9%)

regimes3.8s (19.4%)

bsearch360.0ms (1.9%)

simplify11.0ms (0.1%)

end2.0ms (0%)

sample8.5s (43.8%)

Profiling