Details

analyze1.5s (10%)

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)

sample243.0ms (1.6%)

Algorithm

1×

intervals

Results

60.0ms	88×	body	1024	valid
41.0ms	42×	body	1024	nan
34.0ms	55×	body	2048	valid
19.0ms	41×	body	512	valid
17.0ms	71×	body	128	overflowed
16.0ms	29×	body	512	nan
12.0ms	12×	body	1024	invalid
7.0ms	12×	body	512	invalid
6.0ms	56×	body	128	valid
4.0ms	15×	body	256	nan
4.0ms	16×	body	256	valid
3.0ms	33×	body	128	nan
1.0ms	8×	body	128	invalid
0.0ms	1×	body	256	invalid

Compiler

Compiled 33 to 25 computations (24.2% saved)

simplify58.0ms (0.4%)

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

31.7b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 45 to 33 computations (26.7% saved)

localize8.0ms (0%)

Local error

Found 3 expressions with local error:

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

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

11.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))
3.0ms	(pow.f64 x (/.f64 1 n))

series299.0ms (1.9%)

Counts

3 → 72

Calls

3 calls:

248.0ms	(pow.f64 x (/.f64 1 n))
35.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
15.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))

simplify226.0ms (1.5%)

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 → 422

Iterations

Useful iterations: 2 (0.0ms)

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

prune384.0ms (2.5%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	416	6	422
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	417	6	423

Error

0.5b

Counts

423 → 6

Alt Table

Status	Error	Program
	26.5b	(/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))
	30.9b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
	35.9b	(-.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)))))))
	30.9b	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 3))
▶	17.7b	(neg.f64 (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) n))
	26.4b	(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))

Compiler

Compiled 10057 to 6786 computations (32.5% saved)

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) n)
✓	2.6b	(-.f64 (log.f64 x) (log1p.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:

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

series731.0ms (4.8%)

Counts

2 → 36

Calls

2 calls:

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

simplify121.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

698×	`fma-neg_binary64`
381×	`associate-l_binary64`
364×	`fma-def_binary64`
294×	`associate-r_binary64`
240×	`sub-neg_binary64`

Counts

119 → 187

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	186	2029
1	411	1860
2	1131	1800
3	3719	1800
4	4891	1800
5	5001	1800

prune129.0ms (0.8%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	178	9	187
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	179	14	193

Error

0.1b

Counts

193 → 14

Alt Table

Status	Error	Program
	30.9b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
	47.3b	(neg.f64 (/.f64 (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (sqrt.f64 n)) (sqrt.f64 n)))
	35.9b	(-.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)))))))
	17.7b	(neg.f64 (*.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (/.f64 1 n)))
	30.9b	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 3))
	18.0b	(neg.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x))) (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x)))) (/.f64 (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x))) n)))
	39.6b	(neg.f64 (/.f64 (+.f64 (-.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3)))) (/.f64 1/4 (pow.f64 x 4))) n))
	26.5b	(/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))
	35.9b	(neg.f64 (/.f64 (+.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (-.f64 (log.f64 (cbrt.f64 x)) (log1p.f64 x))) n))
	17.9b	(neg.f64 (/.f64 (-.f64 (.f64 (log.f64 x) (log.f64 x)) (.f64 (log1p.f64 x) (log1p.f64 x))) (*.f64 n (+.f64 (log.f64 x) (log1p.f64 x)))))
	17.7b	(neg.f64 (/.f64 1 (/.f64 n (-.f64 (log.f64 x) (log1p.f64 x)))))
▶	17.6b	(neg.f64 (/.f64 (log.f64 (/.f64 x (+.f64 1 x))) n))
	18.0b	(neg.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (cbrt.f64 n))))
	26.4b	(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))

Compiler

Compiled 2839 to 1242 computations (56.3% saved)

localize7.0ms (0%)

Local error

Found 3 expressions with local error:

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

rewrite19.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64`
36×	`times-frac_binary64`
29×	`add-sqr-sqrt_binary64`
29×	`add-cube-cbrt_binary64`
18×	`log-prod_binary64`

Counts

3 → 100

Calls

3 calls:

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

series530.0ms (3.5%)

Counts

3 → 36

Calls

3 calls:

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

simplify136.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

840×	`fma-neg_binary64`
346×	`sub-neg_binary64`
248×	`fma-def_binary64`
243×	`times-frac_binary64`
235×	`associate-/l*_binary64`

Counts

136 → 254

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	207	2233
1	449	2118
2	1212	2089
3	3339	2088
4	4600	2086
5	4974	2086

prune237.0ms (1.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	251	3	254
Fresh	3	10	13
Picked	1	0	1
Done	0	0	0
Total	255	13	268

Error

0.1b

Counts

268 → 13

Alt Table

Status	Error	Program
	30.9b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
	47.3b	(neg.f64 (/.f64 (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (sqrt.f64 n)) (sqrt.f64 n)))
	28.4b	(neg.f64 (/.f64 (log.f64 (/.f64 (sqrt.f64 x) (/.f64 (+.f64 1 x) (sqrt.f64 x)))) n))
	35.9b	(-.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)))))))
	30.9b	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 3))
	18.0b	(neg.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x))) (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x)))) (/.f64 (cbrt.f64 (-.f64 (log.f64 x) (log1p.f64 x))) n)))
	39.6b	(neg.f64 (/.f64 (+.f64 (-.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3)))) (/.f64 1/4 (pow.f64 x 4))) n))
	26.5b	(/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))
	17.8b	(neg.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (log.f64 (/.f64 x (+.f64 1 x))) (cbrt.f64 n))))
	17.9b	(neg.f64 (/.f64 (-.f64 (.f64 (log.f64 x) (log.f64 x)) (.f64 (log1p.f64 x) (log1p.f64 x))) (*.f64 n (+.f64 (log.f64 x) (log1p.f64 x)))))
	17.7b	(neg.f64 (/.f64 1 (/.f64 n (-.f64 (log.f64 x) (log1p.f64 x)))))
▶	17.6b	(neg.f64 (*.f64 (log.f64 (/.f64 x (+.f64 1 x))) (/.f64 1 n)))
	26.4b	(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))

Compiler

Compiled 4013 to 2453 computations (38.9% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
11×	`times-frac_binary64`
10×	`*-un-lft-identity_binary64`
10×	`add-exp-log_binary64`

Counts

1 → 39

Calls

1 calls:

6.0ms

(*.f64 (log.f64 (/.f64 x (+.f64 1 x))) (/.f64 1 n))

series496.0ms (3.2%)

Counts

1 → 24

Calls

1 calls:

496.0ms

(*.f64 (log.f64 (/.f64 x (+.f64 1 x))) (/.f64 1 n))

simplify84.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

434×	`associate-/r*_binary64`
426×	`fma-neg_binary64`
412×	`times-frac_binary64`
347×	`associate-/l*_binary64`
288×	`associate-*l/_binary64`

Counts

63 → 120

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	100	1100
1	226	953
2	563	953
3	1298	929
4	4532	925
5	5089	925

prune264.0ms (1.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	283	4	287
Fresh	3	9	12
Picked	0	1	1
Done	0	0	0
Total	286	14	300

Error

0.1b

Counts

300 → 14

Alt Table

Status	Error	Program
	39.6b	(neg.f64 (.f64 (+.f64 (-.f64 (/.f64 1/2 (.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3)))) (/.f64 1/4 (pow.f64 x 4))) (/.f64 1 n)))
	17.9b	(neg.f64 (/.f64 (-.f64 (.f64 (log.f64 x) (log.f64 x)) (.f64 (log1p.f64 x) (log1p.f64 x))) (*.f64 n (+.f64 (log.f64 x) (log1p.f64 x)))))
	30.9b	(cbrt.f64 (pow.f64 (-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n))) 3))
	17.9b	(neg.f64 (.f64 (.f64 (log.f64 (/.f64 x (+.f64 1 x))) (/.f64 1 (*.f64 (cbrt.f64 n) (cbrt.f64 n)))) (/.f64 1 (cbrt.f64 n))))
	39.6b	(neg.f64 (/.f64 (+.f64 (-.f64 (/.f64 1/2 (*.f64 x x)) (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3)))) (/.f64 1/4 (pow.f64 x 4))) n))
	26.5b	(/.f64 (pow.f64 x (/.f64 1 n)) (*.f64 x n))
	17.8b	(neg.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 (log.f64 (/.f64 x (+.f64 1 x))) (cbrt.f64 n))))
	18.2b	(neg.f64 (.f64 (+.f64 (log.f64 (/.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) 1)) (log.f64 (/.f64 (cbrt.f64 x) (+.f64 1 x)))) (/.f64 1 n)))
	30.9b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (pow.f64 x (/.f64 1 n)))
	35.9b	(-.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)))))))
	17.7b	(neg.f64 (/.f64 1 (/.f64 n (-.f64 (log.f64 x) (log1p.f64 x)))))
	18.0b	(neg.f64 (.f64 (/.f64 (-.f64 (log.f64 x) (log1p.f64 x)) (.f64 (cbrt.f64 n) (cbrt.f64 n))) (/.f64 1 (cbrt.f64 n))))
✓	17.6b	(neg.f64 (*.f64 (log.f64 (/.f64 x (+.f64 1 x))) (/.f64 1 n)))
	26.4b	(-.f64 (fma.f64 1/2 (/.f64 (pow.f64 (log1p.f64 x) 2) (.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 n 4)) (fma.f64 1/6 (pow.f64 (/.f64 (log1p.f64 x) n) 3) (/.f64 (log1p.f64 x) n)))) (fma.f64 1/6 (pow.f64 (/.f64 (log.f64 x) n) 3) (fma.f64 1/2 (/.f64 (pow.f64 (log.f64 x) 2) (.f64 n n)) (fma.f64 1/24 (/.f64 (pow.f64 (log.f64 x) 4) (pow.f64 n 4)) (/.f64 (log.f64 x) n)))))

Compiler

Compiled 4050 to 2679 computations (33.9% saved)

regimes1.5s (10.1%)

Accuracy

Total 12.0b remaining (99.3%)

Threshold costs 0b (0%)

Compiler

Compiled 13305 to 9120 computations (31.5% saved)

bsearch8.0ms (0.1%)

Compiler: Compiled 5 to 4 computations (20% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

29×	`+-commutative_binary64`
29×	`sub-neg_binary64`
28×	`neg-sub0_binary64`
28×	`neg-mul-1_binary64`
26×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	71	200
1	112	196
2	164	194
3	221	194
4	268	194
5	297	194
6	308	194
7	313	194
8	315	194
9	307	194

end2.0ms (0%)

Compiler: Compiled 131 to 93 computations (29% saved)

sample8.2s (53.3%)

Algorithm

1×

intervals

Results

1.8s	2734×	body	1024	valid
1.5s	1493×	body	1024	nan
1.3s	1719×	body	2048	valid
697.0ms	2534×	body	128	overflowed
512.0ms	1208×	body	512	valid
434.0ms	730×	body	512	nan
245.0ms	189×	body	1024	invalid
208.0ms	1772×	body	128	valid
151.0ms	567×	body	256	valid
148.0ms	253×	body	512	invalid
112.0ms	371×	body	256	nan
104.0ms	801×	body	128	nan
53.0ms	150×	body	256	invalid
45.0ms	288×	body	128	invalid
3.0ms	2×	body	2048	nan

Compiler

Compiled 602 to 408 computations (32.2% saved)

Iter	Nodes	Cost
0	71	200
1	112	196
2	164	194
3	221	194
4	268	194
5	297	194
6	308	194
7	313	194
8	315	194
9	307	194

Iter	Nodes	Cost
0	71	200
1	112	196
2	164	194
3	221	194
4	268	194
5	297	194
6	308	194
7	313	194
8	315	194
9	307	194

Details

analyze1.5s (10%)

sample243.0ms (1.6%)

simplify58.0ms (0.4%)

prune2.0ms (0%)

localize8.0ms (0%)

rewrite32.0ms (0.2%)

series299.0ms (1.9%)

simplify226.0ms (1.5%)

prune384.0ms (2.5%)

localize8.0ms (0.1%)

rewrite14.0ms (0.1%)

series731.0ms (4.8%)

simplify121.0ms (0.8%)

prune129.0ms (0.8%)

localize7.0ms (0%)

rewrite19.0ms (0.1%)

series530.0ms (3.5%)

simplify136.0ms (0.9%)

prune237.0ms (1.5%)

localize9.0ms (0.1%)

rewrite9.0ms (0.1%)

series496.0ms (3.2%)

simplify84.0ms (0.5%)

prune264.0ms (1.7%)

regimes1.5s (10.1%)

bsearch8.0ms (0.1%)

simplify14.0ms (0.1%)

end2.0ms (0%)

sample8.2s (53.3%)

Profiling

Iter	Nodes	Cost
0	71	200
1	112	196
2	164	194
3	221	194
4	268	194
5	297	194
6	308	194
7	313	194
8	315	194
9	307	194