Details

analyze297.0ms (4.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
0%	99.9%	0.1%	5
0%	87.4%	12.6%	6
20.3%	59.3%	20.4%	7
21.1%	51.5%	27.4%	8
35.5%	30.4%	34%	9
35.7%	26.1%	38.1%	10
42.8%	15.4%	41.8%	11
42.9%	13.2%	44%	12
46.4%	7.8%	45.8%	13
46.4%	6.6%	47%	14

Compiler

Compiled 32 to 26 computations (18.8% saved)

sample3.4s (52.2%)

Results

1.6s	2028×	body	1024	valid
703.0ms	4423×	body	128	valid
448.0ms	1041×	body	512	valid
235.0ms	249×	body	2048	valid
220.0ms	515×	body	256	valid
69.0ms	416×	body	128	invalid
11.0ms	18×	body	1024	invalid
5.0ms	12×	body	512	invalid
2.0ms	7×	body	256	invalid

Compiler

Compiled 95 to 77 computations (18.9% saved)

simplify65.0ms (1%)

Algorithm

1×	egg-herbie

Rules

750×	`times-frac_binary64`
577×	`div-sub_binary64`
534×	`cancel-sign-sub-inv_binary64`
519×	`fma-neg_binary64`
467×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	20	45
1	57	45
2	153	37
3	394	37
4	1347	37
5	4048	37
6	4614	37
7	5259	37

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

30.3b

Counts

3 → 2

Alt Table

Status	Error	Program
	43.9b	(*.f64 1/2 (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x) (/.f64 (-.f64 1 (/.f64 1 eps)) (exp.f64 (fma.f64 eps x x)))))
▶	30.3b	(/.f64 (-.f64 (.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (.f64 (-.f64 1 eps) x)))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (.f64 (+.f64 1 eps) x))))) 2)

Status

Error

Program

43.9b

(*.f64 1/2 (fma.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (exp.f64 (+.f64 eps -1)) x) (/.f64 (-.f64 1 (/.f64 1 eps)) (exp.f64 (fma.f64 eps x x)))))

▶

30.3b

(/.f64 (-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)

Compiler

Compiled 172 to 133 computations (22.7% saved)

localize19.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (.f64 (-.f64 1 eps) x))))
✓	0.0b	(exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))
✓	0.0b	(exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))
✓	2.4b	(-.f64 (.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (.f64 (-.f64 1 eps) x)))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (.f64 (+.f64 1 eps) x)))))

series63.0ms (1%)

Counts

4 → 96

Calls

4 calls:

37.0ms	(-.f64 (.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (.f64 (-.f64 1 eps) x)))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (.f64 (+.f64 1 eps) x)))))
12.0ms	(.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (.f64 (-.f64 1 eps) x))))
7.0ms	(exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))
6.0ms	(exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))

rewrite89.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

495×	`prod-diff_binary64`
203×	`add-sqr-sqrt_binary64`
192×	`log1p-expm1-u_binary64`
192×	`expm1-log1p-u_binary64`
190×	`add-log-exp_binary64`

Counts

4 → 124

Calls

4 calls:

85.0ms	(.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (.f64 (-.f64 1 eps) x))))
85.0ms	(exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))
85.0ms	(exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))
85.0ms	(-.f64 (.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (.f64 (-.f64 1 eps) x)))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (.f64 (+.f64 1 eps) x)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	84
1	407	72
2	4376	72
3	5336	72
0	0	0
1	0	0

simplify111.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

407×	`fma-neg_binary64`
372×	`cancel-sign-sub-inv_binary64`
357×	`fma-def_binary64`
251×	`distribute-rgt-out_binary64`
244×	`associate-+r+_binary64`

Counts

220 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	216	2581
1	696	2498
2	2754	2382
3	4628	2382
4	5231	2382

prune261.0ms (4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	186	5	191
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	188	5	193

Error

0.0b

Counts

193 → 5

Alt Table

Status	Error	Program
	48.1b	(/.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (*.f64 x (+.f64 1 eps))))) 3) 1/3) 2)
▶	22.1b	(/.f64 (+.f64 2 (.f64 x (-.f64 (.f64 (*.f64 eps eps) x) x))) 2)
	48.1b	(/.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) 3) (pow.f64 (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps))))) 3)) (+.f64 (pow.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) 2) (-.f64 (.f64 (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps))))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps)))))) (.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (*.f64 x (+.f64 1 eps))))))))) 2)
	30.3b	(/.f64 (-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (.f64 (-.f64 1 eps) x))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
	47.9b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps))))) 2) (cbrt.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps))))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps)))))) 2)

Compiler

Compiled 8607 to 6348 computations (26.2% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 (.f64 eps eps) x) x)
✓	0.0b	(.f64 x (-.f64 (.f64 (*.f64 eps eps) x) x))
✓	9.2b	(.f64 (.f64 eps eps) x)

series31.0ms (0.5%)

Counts

3 → 72

Calls

3 calls:

14.0ms	(.f64 x (-.f64 (.f64 (*.f64 eps eps) x) x))
9.0ms	(.f64 (.f64 eps eps) x)
8.0ms	(-.f64 (.f64 (.f64 eps eps) x) x)

rewrite71.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

767×	`log1p-expm1-u_binary64`
767×	`expm1-log1p-u_binary64`
697×	`prod-diff_binary64`
132×	`egg-rr`
78×	`add-sqr-sqrt_binary64`

Counts

3 → 132

Calls

3 calls:

68.0ms	(-.f64 (.f64 (.f64 eps eps) x) x)
68.0ms	(.f64 x (-.f64 (.f64 (*.f64 eps eps) x) x))
68.0ms	(.f64 (.f64 eps eps) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	30
1	153	30
2	1953	30
3	5973	30
0	0	0
1	0	0

simplify81.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

653×	`unsub-neg_binary64`
568×	`fma-def_binary64`
371×	`cancel-sign-sub-inv_binary64`
356×	`neg-sub0_binary64`
354×	`associate-l_binary64`

Counts

204 → 148

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	22	694
1	56	610
2	125	610
3	357	610
4	1318	610
5	3078	610
6	4380	610
7	5102	610

prune112.0ms (1.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	148	0	148
Fresh	0	4	4
Picked	0	1	1
Done	0	0	0
Total	148	5	153

Error

0.0b

Counts

153 → 5

Alt Table

Status	Error	Program
	48.1b	(/.f64 (pow.f64 (pow.f64 (-.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (*.f64 x (+.f64 1 eps))))) 3) 1/3) 2)
✓	22.1b	(/.f64 (+.f64 2 (.f64 x (-.f64 (.f64 (*.f64 eps eps) x) x))) 2)
	48.1b	(/.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) 3) (pow.f64 (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps))))) 3)) (+.f64 (pow.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) 2) (-.f64 (.f64 (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps))))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps)))))) (.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (*.f64 x (+.f64 1 eps))))))))) 2)
▶	30.3b	(/.f64 (-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (.f64 (-.f64 1 eps) x))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
	47.9b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps))))) 2) (cbrt.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps))))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps)))))) 2)

Compiler

Compiled 3513 to 1752 computations (50.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) x)))
✓	0.0b	(exp.f64 (*.f64 (-.f64 1 eps) x))
	0.0b	(exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))
✓	3.9b	(-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (.f64 (-.f64 1 eps) x))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

series88.0ms (1.4%)

Counts

3 → 48

Calls

3 calls:

58.0ms

(-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) x))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

24.0ms

(/.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) x)))

6.0ms

(exp.f64 (*.f64 (-.f64 1 eps) x))

rewrite127.0ms (2%)

Algorithm

2×	batch-egg-rewrite

Rules

613×	`prod-diff_binary64`
194×	`add-sqr-sqrt_binary64`
184×	`log1p-expm1-u_binary64`
184×	`expm1-log1p-u_binary64`
182×	`add-log-exp_binary64`

Counts

3 → 138

Calls

3 calls:

122.0ms

(/.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) x)))

122.0ms

(exp.f64 (*.f64 (-.f64 1 eps) x))

122.0ms

(-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (*.f64 (-.f64 1 eps) x))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	67
1	385	63
2	4561	63
3	5722	63
0	0	0
1	0	0

simplify96.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

847×	`fma-neg_binary64`
493×	`associate--r+_binary64`
482×	`cancel-sign-sub-inv_binary64`
224×	`associate-+r+_binary64`
223×	`sub-neg_binary64`

Counts

186 → 190

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	189	2048
1	611	1970
2	2343	1872
3	4655	1871
4	5320	1871

prune293.0ms (4.5%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	229	1	230
Fresh	1	2	3
Picked	1	0	1
Done	0	1	1
Total	231	4	235

Error

0.0b

Counts

235 → 4

Alt Table

Status	Error	Program
▶	30.3b	(/.f64 (-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (E.f64) (.f64 (-.f64 1 eps) x))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
✓	22.1b	(/.f64 (+.f64 2 (.f64 x (-.f64 (.f64 (*.f64 eps eps) x) x))) 2)
	48.1b	(/.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) 3) (pow.f64 (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps))))) 3)) (+.f64 (pow.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) 2) (-.f64 (.f64 (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps))))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps)))))) (.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (*.f64 x (+.f64 1 eps))))))))) 2)
	47.9b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps))))) 2) (cbrt.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps))))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps)))))) 2)

Compiler

Compiled 11468 to 8617 computations (24.9% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (E.f64) (*.f64 (-.f64 1 eps) x)))
	0.0b	(exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))
✓	0.0b	(pow.f64 (E.f64) (*.f64 (-.f64 1 eps) x))
✓	3.9b	(-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (E.f64) (.f64 (-.f64 1 eps) x))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

series94.0ms (1.4%)

Counts

3 → 72

Calls

3 calls:

63.0ms

(-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (E.f64) (*.f64 (-.f64 1 eps) x))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

24.0ms

(/.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (E.f64) (*.f64 (-.f64 1 eps) x)))

6.0ms

(pow.f64 (E.f64) (*.f64 (-.f64 1 eps) x))

rewrite98.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

544×	`prod-diff_binary64`
205×	`add-sqr-sqrt_binary64`
195×	`log1p-expm1-u_binary64`
195×	`expm1-log1p-u_binary64`
194×	`add-log-exp_binary64`

Counts

3 → 129

Calls

3 calls:

93.0ms

(/.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (E.f64) (*.f64 (-.f64 1 eps) x)))

93.0ms

(pow.f64 (E.f64) (*.f64 (-.f64 1 eps) x))

93.0ms

(-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (E.f64) (*.f64 (-.f64 1 eps) x))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	67
1	408	63
2	4547	63
3	5633	63
0	0	0
1	0	0

simplify122.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

847×	`fma-neg_binary64`
493×	`associate--r+_binary64`
482×	`cancel-sign-sub-inv_binary64`
224×	`associate-+r+_binary64`
223×	`sub-neg_binary64`

Counts

201 → 184

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	190	2336
1	612	2258
2	2344	2160
3	4658	2159
4	5323	2159

prune276.0ms (4.3%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	224	0	224
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	224	4	228

Error

0.0b

Counts

228 → 4

Alt Table

Status	Error	Program
✓	30.3b	(/.f64 (-.f64 (/.f64 (+.f64 1 (/.f64 1 eps)) (pow.f64 (E.f64) (.f64 (-.f64 1 eps) x))) (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x))))) 2)
✓	22.1b	(/.f64 (+.f64 2 (.f64 x (-.f64 (.f64 (*.f64 eps eps) x) x))) 2)
	48.1b	(/.f64 (/.f64 (+.f64 (pow.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) 3) (pow.f64 (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps))))) 3)) (+.f64 (pow.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) 2) (-.f64 (.f64 (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps))))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps)))))) (.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps)))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (*.f64 x (+.f64 1 eps))))))))) 2)
	47.9b	(/.f64 (fma.f64 (pow.f64 (cbrt.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps))))) 2) (cbrt.f64 (exp.f64 (+.f64 (.f64 (-.f64 1 eps) x) (log1p.f64 (/.f64 1 eps))))) (neg.f64 (.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (.f64 x (+.f64 1 eps)))))) 2)

Compiler

Compiled 11089 to 8286 computations (25.3% saved)

regimes529.0ms (8.1%)

Accuracy

Total 0.5b remaining (49.1%)

Threshold costs 0.5b (49.1%)

Counts

125 → 1

Compiler

Compiled 15394 to 11818 computations (23.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
6×	`*-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	28
1	29	28
2	44	28
3	52	28
4	55	28
5	54	28

end135.0ms (2.1%)

Compiler: Compiled 231 to 180 computations (22.1% saved)

Details

analyze297.0ms (4.6%)

sample3.4s (52.2%)

simplify65.0ms (1%)

prune5.0ms (0.1%)

localize19.0ms (0.3%)

series63.0ms (1%)

rewrite89.0ms (1.4%)

simplify111.0ms (1.7%)

prune261.0ms (4%)

localize7.0ms (0.1%)

series31.0ms (0.5%)

rewrite71.0ms (1.1%)

simplify81.0ms (1.2%)

prune112.0ms (1.7%)

localize15.0ms (0.2%)

series88.0ms (1.4%)

rewrite127.0ms (2%)

simplify96.0ms (1.5%)

prune293.0ms (4.5%)

localize16.0ms (0.2%)

series94.0ms (1.4%)

rewrite98.0ms (1.5%)

simplify122.0ms (1.9%)

prune276.0ms (4.3%)

regimes529.0ms (8.1%)

simplify2.0ms (0%)

end135.0ms (2.1%)

Profiling