Details

analyze962.0ms (6.5%)

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%	46.8%	25.1%	7
28.1%	43.7%	28.2%	8
29.7%	34.3%	36%	9
29.7%	31.6%	38.7%	10
31.1%	25.8%	43.1%	11
31.1%	24.6%	44.3%	12
31.5%	21.9%	46.6%	13
31.5%	21%	47.5%	14

Compiler

Compiled 16 to 12 computations (25% saved)

sample8.2s (55.3%)

Results

2.2s	2750×	body	1024	valid
1.9s	1701×	body	1024	invalid
1.6s	1794×	body	2048	valid
715.0ms	1273×	body	512	valid
700.0ms	942×	body	512	invalid
326.0ms	1832×	body	128	valid
230.0ms	607×	body	256	valid
210.0ms	509×	body	256	invalid
204.0ms	1114×	body	128	invalid
6.0ms	5×	body	2048	invalid

Compiler

Compiled 47 to 35 computations (25.5% saved)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

436×	`unswap-sqr_binary64`
377×	`fma-def_binary64`
235×	`distribute-rgt-in_binary64`
219×	`distribute-lft-in_binary64`
212×	`fma-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	20	19
2	42	19
3	104	19
4	340	19
5	1111	19
6	3393	19

Stop Event

1×	node limit

Counts

1 → 1

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

29.4b

Counts

2 → 1

Alt Table

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

series72.0ms (0.5%)

Counts

3 → 72

Calls

3 calls:

36.0ms	(pow.f64 x (/.f64 1 n))
25.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))
11.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))

rewrite62.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

547×	`prod-diff_binary64`
294×	`fma-def_binary64`
178×	`log1p-udef_binary64`
177×	`expm1-udef_binary64`
155×	`fma-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	36
1	207	32
2	2829	32

Stop Event

1×	node limit

Counts

3 → 145

Calls

3 calls:

58.0ms	(pow.f64 (+.f64 x 1) (/.f64 1 n))
58.0ms	(pow.f64 x (/.f64 1 n))
58.0ms	(-.f64 (pow.f64 (+.f64 x 1) (/.f64 1 n)) (pow.f64 x (/.f64 1 n)))

simplify56.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

880×	`fma-def_binary64`
569×	`associate-/l*_binary64`
379×	`cancel-sign-sub-inv_binary64`
229×	`sub-neg_binary64`
156×	`+-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	207	2805
1	684	2796
2	2550	2288

Stop Event

1×	node limit

Counts

217 → 206

prune218.0ms (1.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	202	4	206
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	203	4	207

Error

1.0b

Counts

207 → 4

Alt Table

Status	Error	Program
	29.0b	(-.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)))))
▶	19.9b	(/.f64 (-.f64 (log.f64 (+.f64 1 x)) (log.f64 x)) n)
	29.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (exp.f64 (/.f64 (log.f64 x) n)))
	35.5b	(-.f64 (+.f64 (+.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x (.f64 x (.f64 n n)))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 3)) (+.f64 (/.f64 1/3 n) (/.f64 1/6 (pow.f64 n 3))))))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 4)) (-.f64 (/.f64 11/24 (.f64 n n)) (/.f64 1/4 (pow.f64 n 3))))) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 n (.f64 n (pow.f64 x 3)))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) n) (+.f64 (/.f64 1/4 (pow.f64 x 4)) (/.f64 1/2 (.f64 x x))))))

Compiler

Compiled 6994 to 4152 computations (40.6% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (log.f64 (+.f64 1 x)) (log.f64 x)) n)
✓	1.0b	(log.f64 (+.f64 1 x))
✓	4.9b	(-.f64 (log.f64 (+.f64 1 x)) (log.f64 x))

series374.0ms (2.5%)

Counts

3 → 40

Calls

3 calls:

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

rewrite89.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

619×	`prod-diff_binary64`
302×	`fma-def_binary64`
268×	`egg-rr`
176×	`expm1-udef_binary64`
175×	`log1p-udef_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	22
1	198	22
2	2807	22

Stop Event

1×	node limit

Counts

3 → 268

Calls

3 calls:

81.0ms	(/.f64 (-.f64 (log.f64 (+.f64 1 x)) (log.f64 x)) n)
81.0ms	(log.f64 (+.f64 1 x))
81.0ms	(-.f64 (log.f64 (+.f64 1 x)) (log.f64 x))

simplify43.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

779×	`fma-def_binary64`
459×	`cancel-sign-sub-inv_binary64`
392×	`fma-neg_binary64`
325×	`sub-neg_binary64`
140×	`times-frac_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	91	702
1	265	676
2	746	672
3	2337	629

Stop Event

1×	node limit

Counts

308 → 318

prune266.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	310	8	318
Fresh	0	3	3
Picked	1	0	1
Done	0	0	0
Total	311	11	322

Error

0.1b

Counts

322 → 11

Alt Table

Status	Error	Program
	29.0b	(-.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)))))
	20.0b	(*.f64 (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) 1) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	42.7b	(fma.f64 (/.f64 (pow.f64 (cbrt.f64 (log1p.f64 x)) 2) 1) (/.f64 (cbrt.f64 (log1p.f64 x)) n) (neg.f64 (/.f64 (log.f64 x) n)))
	19.9b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log.f64 x)) 3)) n)
▶	19.9b	(/.f64 (*.f64 (-.f64 (pow.f64 (log1p.f64 x) 2) (pow.f64 (log.f64 x) 2)) (/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))) n)
	31.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n) 3))
	29.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (exp.f64 (/.f64 (log.f64 x) n)))
	35.5b	(-.f64 (+.f64 (+.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x (.f64 x (.f64 n n)))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 3)) (+.f64 (/.f64 1/3 n) (/.f64 1/6 (pow.f64 n 3))))))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 4)) (-.f64 (/.f64 11/24 (.f64 n n)) (/.f64 1/4 (pow.f64 n 3))))) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 n (.f64 n (pow.f64 x 3)))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) n) (+.f64 (/.f64 1/4 (pow.f64 x 4)) (/.f64 1/2 (.f64 x x))))))
	39.9b	(/.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3))) (-.f64 (/.f64 -1/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))) n)
	20.0b	(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log.f64 x)) 2)) 1) (/.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	42.8b	(+.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 (log1p.f64 x)) 2) (pow.f64 (cbrt.f64 n) 2)) (/.f64 (cbrt.f64 (log1p.f64 x)) (cbrt.f64 n)) (neg.f64 (.f64 (/.f64 1 n) (log.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 n)) (log.f64 x) (.f64 (/.f64 1 n) (log.f64 x))))

Compiler

Compiled 10010 to 3562 computations (64.4% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))
✓	0.4b	(pow.f64 (log1p.f64 x) 2)
✓	0.6b	(pow.f64 (log.f64 x) 2)
✓	4.9b	(-.f64 (pow.f64 (log1p.f64 x) 2) (pow.f64 (log.f64 x) 2))

series46.0ms (0.3%)

Counts

4 → 44

Calls

4 calls:

24.0ms	(pow.f64 (log.f64 x) 2)
10.0ms	(/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))
7.0ms	(-.f64 (pow.f64 (log1p.f64 x) 2) (pow.f64 (log.f64 x) 2))
5.0ms	(pow.f64 (log1p.f64 x) 2)

rewrite68.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

976×	`prod-diff_binary64`
190×	`log1p-udef_binary64`
166×	`egg-rr`
112×	`expm1-log1p-u_binary64`
111×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	37
1	238	37
2	3039	37

Stop Event

1×	node limit

Counts

4 → 166

Calls

4 calls:

64.0ms	(/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))
64.0ms	(pow.f64 (log1p.f64 x) 2)
64.0ms	(pow.f64 (log.f64 x) 2)
64.0ms	(-.f64 (pow.f64 (log1p.f64 x) 2) (pow.f64 (log.f64 x) 2))

simplify44.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-def_binary64`
373×	`cancel-sign-sub-inv_binary64`
323×	`sub-neg_binary64`
298×	`times-frac_binary64`
189×	`distribute-neg-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	215	1798
1	684	1742
2	2622	1612

Stop Event

1×	node limit

Counts

210 → 236

prune292.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	233	3	236
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	235	12	247

Error

0.1b

Counts

247 → 12

Alt Table

Status	Error	Program
	29.0b	(-.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)))))
	20.0b	(*.f64 (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) 1) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	39.9b	(/.f64 (.f64 (-.f64 (+.f64 (/.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)) (+.f64 (.f64 11/12 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 4))) (/.f64 1 (pow.f64 x 2))))) (+.f64 (.f64 2/3 (/.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 3)) (*.f64 2 (/.f64 (log.f64 (/.f64 1 x)) x))))) (/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))) n)
	20.0b	(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log.f64 x)) 2)) 1) (/.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	31.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n) 3))
	29.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (exp.f64 (/.f64 (log.f64 x) n)))
	35.5b	(-.f64 (+.f64 (+.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x (.f64 x (.f64 n n)))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 3)) (+.f64 (/.f64 1/3 n) (/.f64 1/6 (pow.f64 n 3))))))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 4)) (-.f64 (/.f64 11/24 (.f64 n n)) (/.f64 1/4 (pow.f64 n 3))))) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 n (.f64 n (pow.f64 x 3)))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) n) (+.f64 (/.f64 1/4 (pow.f64 x 4)) (/.f64 1/2 (.f64 x x))))))
	39.9b	(/.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3))) (-.f64 (/.f64 -1/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))) n)
	20.0b	(/.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (log1p.f64 x) 2) (pow.f64 (log.f64 x) 2)) 3)) (/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))) n)
	42.8b	(+.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 (log1p.f64 x)) 2) (pow.f64 (cbrt.f64 n) 2)) (/.f64 (cbrt.f64 (log1p.f64 x)) (cbrt.f64 n)) (neg.f64 (.f64 (/.f64 1 n) (log.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 n)) (log.f64 x) (.f64 (/.f64 1 n) (log.f64 x))))
▶	19.9b	(/.f64 (*.f64 (/.f64 (-.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 (log.f64 x) 4)) (+.f64 (pow.f64 (log1p.f64 x) 2) (pow.f64 (log.f64 x) 2))) (/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))) n)
	19.9b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log.f64 x)) 3)) n)

Compiler

Compiled 9662 to 4992 computations (48.3% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(pow.f64 (log.f64 x) 2)
✓	0.6b	(pow.f64 (log1p.f64 x) 4)
✓	1.0b	(pow.f64 (log.f64 x) 4)
✓	4.8b	(-.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 (log.f64 x) 4))

series78.0ms (0.5%)

Counts

3 → 32

Calls

3 calls:

29.0ms	(pow.f64 (log.f64 x) 4)
25.0ms	(pow.f64 (log1p.f64 x) 4)
23.0ms	(-.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 (log.f64 x) 4))

rewrite57.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

764×	`expm1-log1p-u_binary64`
763×	`log1p-expm1-u_binary64`
504×	`prod-diff_binary64`
103×	`egg-rr`
81×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	26
1	175	26
2	2153	26

Stop Event

1×	node limit

Counts

3 → 103

Calls

3 calls:

54.0ms	(pow.f64 (log1p.f64 x) 4)
54.0ms	(pow.f64 (log.f64 x) 4)
54.0ms	(-.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 (log.f64 x) 4))

simplify60.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

462×	`associate-+r+_binary64`
406×	`cancel-sign-sub-inv_binary64`
384×	`fma-def_binary64`
284×	`+-commutative_binary64`
278×	`associate-+l+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	263	2738
1	924	2689
2	3990	2633

Stop Event

1×	node limit

Counts

135 → 149

prune294.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	0	11	11
Picked	1	0	1
Done	0	0	0
Total	171	12	183

Error

0.1b

Counts

183 → 12

Alt Table

Status	Error	Program
	29.0b	(-.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)))))
	20.0b	(*.f64 (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) 1) (/.f64 (sqrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	39.9b	(/.f64 (.f64 (-.f64 (+.f64 (/.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 2)) (+.f64 (.f64 11/12 (/.f64 1 (pow.f64 x 4))) (+.f64 (.f64 1/2 (/.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 4))) (/.f64 1 (pow.f64 x 2))))) (+.f64 (.f64 2/3 (/.f64 (log.f64 (/.f64 1 x)) (pow.f64 x 3))) (+.f64 (/.f64 1 (pow.f64 x 3)) (*.f64 2 (/.f64 (log.f64 (/.f64 1 x)) x))))) (/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))) n)
	20.0b	(*.f64 (/.f64 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log.f64 x)) 2)) 1) (/.f64 (cbrt.f64 (-.f64 (log1p.f64 x) (log.f64 x))) n))
	31.0b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (log1p.f64 x) (log.f64 x)) n) 3))
	29.1b	(-.f64 (exp.f64 (/.f64 (log1p.f64 x) n)) (exp.f64 (/.f64 (log.f64 x) n)))
	35.5b	(-.f64 (+.f64 (+.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x n)) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 x (.f64 x (.f64 n n)))) (fma.f64 1/24 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 (pow.f64 x 4) (pow.f64 n 4))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 3)) (+.f64 (/.f64 1/3 n) (/.f64 1/6 (pow.f64 n 3))))))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (pow.f64 x 4)) (-.f64 (/.f64 11/24 (.f64 n n)) (/.f64 1/4 (pow.f64 n 3))))) (fma.f64 1/2 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) (.f64 n (.f64 n (pow.f64 x 3)))) (.f64 (/.f64 (exp.f64 (/.f64 (log.f64 x) n)) n) (+.f64 (/.f64 1/4 (pow.f64 x 4)) (/.f64 1/2 (.f64 x x))))))
	39.9b	(/.f64 (+.f64 (+.f64 (/.f64 1 x) (/.f64 1/3 (pow.f64 x 3))) (-.f64 (/.f64 -1/4 (pow.f64 x 4)) (/.f64 1/2 (*.f64 x x)))) n)
	20.0b	(/.f64 (*.f64 (cbrt.f64 (pow.f64 (-.f64 (pow.f64 (log1p.f64 x) 2) (pow.f64 (log.f64 x) 2)) 3)) (/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))) n)
	42.8b	(+.f64 (fma.f64 (/.f64 (pow.f64 (cbrt.f64 (log1p.f64 x)) 2) (pow.f64 (cbrt.f64 n) 2)) (/.f64 (cbrt.f64 (log1p.f64 x)) (cbrt.f64 n)) (neg.f64 (.f64 (/.f64 1 n) (log.f64 x)))) (fma.f64 (neg.f64 (/.f64 1 n)) (log.f64 x) (.f64 (/.f64 1 n) (log.f64 x))))
	20.1b	(/.f64 (.f64 (/.f64 (-.f64 (pow.f64 (log1p.f64 x) 4) (pow.f64 (log.f64 x) 4)) (+.f64 (pow.f64 (log1p.f64 x) 2) (.f64 (*.f64 (log.f64 x) (pow.f64 (cbrt.f64 (log.f64 x)) 2)) (cbrt.f64 (log.f64 x))))) (/.f64 1 (+.f64 (log1p.f64 x) (log.f64 x)))) n)
	19.9b	(/.f64 (cbrt.f64 (pow.f64 (-.f64 (log1p.f64 x) (log.f64 x)) 3)) n)

Compiler

Compiled 10058 to 6489 computations (35.5% saved)

regimes2.8s (18.9%)

Accuracy

Total 11.5b remaining (99.2%)

Threshold costs 0b (0%)

Counts

261 → 6

Compiler

Compiled 25875 to 16952 computations (34.5% saved)

bsearch305.0ms (2.1%)

Steps

Iters	Range		Point
8	35.90292544678236	184959.82526390164	169229.69398818014
1	-21841.544422935396	-1.7842999598331235e-13	-5.954878111597585e-5
9	-9.415967700710732e+52	-4.4459893008015413e+46	-1.1702538570658833e+47
6	-1.1598404768056553e+84	-1.7560777397684253e+83	-1.1389890578733937e+84
8	-2.031375148187276e+114	-1.2044029221260888e+110	-1.472449740441452e+110

Compiler

Compiled 3 to 2 computations (33.3% saved)

simplify21.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

48×	`cancel-sign-sub-inv_binary64`
46×	`distribute-rgt-neg-in_binary64`
33×	`+-commutative_binary64`
33×	`neg-sub0_binary64`
33×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	111	428
1	161	426
2	212	426
3	269	426
4	319	426
5	382	426
6	438	426
7	476	426
8	512	426
9	525	426

Stop Event

1×

saturated

end354.0ms (2.4%)

Compiler: Compiled 1015 to 584 computations (42.5% saved)

Iter	Nodes	Cost
0	111	428
1	161	426
2	212	426
3	269	426
4	319	426
5	382	426
6	438	426
7	476	426
8	512	426
9	525	426

Iter	Nodes	Cost
0	111	428
1	161	426
2	212	426
3	269	426
4	319	426
5	382	426
6	438	426
7	476	426
8	512	426
9	525	426

Details

analyze962.0ms (6.5%)

sample8.2s (55.3%)

simplify21.0ms (0.1%)

prune2.0ms (0%)

localize7.0ms (0%)

series72.0ms (0.5%)

rewrite62.0ms (0.4%)

simplify56.0ms (0.4%)

prune218.0ms (1.5%)

localize8.0ms (0.1%)

series374.0ms (2.5%)

rewrite89.0ms (0.6%)

simplify43.0ms (0.3%)

prune266.0ms (1.8%)

localize13.0ms (0.1%)

series46.0ms (0.3%)

rewrite68.0ms (0.5%)

simplify44.0ms (0.3%)

prune292.0ms (2%)

localize19.0ms (0.1%)

series78.0ms (0.5%)

rewrite57.0ms (0.4%)

simplify60.0ms (0.4%)

prune294.0ms (2%)

regimes2.8s (18.9%)

bsearch305.0ms (2.1%)

simplify21.0ms (0.1%)

end354.0ms (2.4%)

Profiling

Iter	Nodes	Cost
0	111	428
1	161	426
2	212	426
3	269	426
4	319	426
5	382	426
6	438	426
7	476	426
8	512	426
9	525	426