Details

analyze1.1s (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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	74.9%	25.1%	8
0%	74.9%	25.1%	9
9.4%	65.5%	25.1%	10
9.4%	53%	37.6%	11
14%	48.4%	37.6%	12
16.4%	46%	37.6%	13
16.4%	39.8%	43.8%	14

Compiler

Compiled 31 to 21 computations (32.3% saved)

sample3.2s (24.6%)

Results

873.0ms	5453×	body	128	valid
658.0ms	1224×	body	1024	valid
433.0ms	858×	body	1024	invalid
401.0ms	941×	body	512	valid
237.0ms	1608×	body	128	invalid
224.0ms	510×	body	512	invalid
169.0ms	566×	body	256	valid
98.0ms	314×	body	256	invalid
48.0ms	72×	body	2048	valid

Compiler

Compiled 92 to 62 computations (32.6% saved)

simplify52.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

667×	`fma-def_binary64`
506×	`fma-neg_binary64`
500×	`distribute-rgt-in_binary64`
420×	`distribute-lft-in_binary64`
403×	`cancel-sign-sub-inv_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	39
1	48	39
2	103	39
3	222	39
4	455	39
5	975	39
6	2136	39
7	4390	39
8	4971	39

prune10.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

43.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	43.4b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (*.f64 l l))))

Compiler

Compiled 114 to 72 computations (36.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (*.f64 l l))))
✓	0.5b	(*.f64 (sqrt.f64 2) t)
✓	11.9b	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))
✓	20.5b	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)))

series1.1s (8.1%)

Counts

4 → 120

Calls

4 calls:

785.0ms	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (*.f64 l l))))
218.0ms	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)))
62.0ms	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))
3.0ms	(*.f64 (sqrt.f64 2) t)

rewrite97.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

432×	`prod-diff_binary64`
193×	`add-sqr-sqrt_binary64`
186×	`log1p-expm1-u_binary64`
186×	`expm1-log1p-u_binary64`
183×	`add-log-exp_binary64`

Counts

4 → 144

Calls

4 calls:

92.0ms	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (*.f64 l l))))
92.0ms	(*.f64 (sqrt.f64 2) t)
92.0ms	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))
92.0ms	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	105
1	397	105
2	4687	105
3	5518	105
0	0	0
1	0	0

simplify273.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

632×	`*-commutative_binary64`
385×	`fma-def_binary64`
342×	`associate-+r+_binary64`
278×	`associate-r_binary64`
225×	`associate-*r/_binary64`

Counts

264 → 301

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1507	28688
1	5075	28688

prune849.0ms (6.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	292	9	301
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	293	9	302

Error

4.8b

Counts

302 → 9

Alt Table

Status	Error	Program
	43.4b	(pow.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))) (*.f64 t (sqrt.f64 2))) -1)
	36.7b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1))))))))
▶	29.8b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (*.f64 t t))))))
	36.4b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1))))))))
	43.4b	(.f64 (.f64 t (sqrt.f64 2)) (pow.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)) -1/2))
	41.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (.f64 (+.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l)))) l) (-.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l)))) l))))
	55.2b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (+.f64 (fma.f64 (/.f64 (+.f64 x 1) (sqrt.f64 (-.f64 x 1))) (/.f64 (fma.f64 2 (.f64 t t) (.f64 l l)) (sqrt.f64 (-.f64 x 1))) (neg.f64 (.f64 (pow.f64 (cbrt.f64 l) 2) (cbrt.f64 (pow.f64 l 4))))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 l) 2)) (cbrt.f64 (pow.f64 l 4)) (*.f64 (pow.f64 (cbrt.f64 l) 2) (cbrt.f64 (pow.f64 l 4)))))))
	41.2b	(/.f64 (.f64 (sqrt.f64 2) t) (+.f64 (.f64 t (sqrt.f64 2)) (+.f64 (.f64 2 (/.f64 t (.f64 (sqrt.f64 2) x))) (/.f64 (pow.f64 l 2) (.f64 t (.f64 (sqrt.f64 2) x))))))
	40.6b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1)))))))

Compiler

Compiled 43619 to 32009 computations (26.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	3.8b	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t))))
✓	7.4b	(/.f64 (*.f64 l l) x)
✓	9.0b	(/.f64 (*.f64 t t) x)
✓	25.6b	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t)))))

series142.0ms (1.1%)

Counts

4 → 116

Calls

4 calls:

81.0ms	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t)))))
40.0ms	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t))))
11.0ms	(/.f64 (*.f64 t t) x)
9.0ms	(/.f64 (*.f64 l l) x)

rewrite77.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

281×	`fma-def_binary64`
260×	`expm1-udef_binary64`
260×	`log1p-udef_binary64`
204×	`fma-neg_binary64`
148×	`add-sqr-sqrt_binary64`

Counts

4 → 121

Calls

4 calls:

74.0ms	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t))))
74.0ms	(/.f64 (*.f64 l l) x)
74.0ms	(/.f64 (*.f64 t t) x)
74.0ms	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	68
1	306	64
2	3830	64
3	4999	64
0	0	0
1	0	0

simplify83.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

559×	`associate-*l/_binary64`
527×	`cancel-sign-sub-inv_binary64`
187×	`fma-neg_binary64`
181×	`sub-neg_binary64`
176×	`unswap-sqr_binary64`

Counts

237 → 183

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	187	3978
1	593	3752
2	2524	3572
3	5088	3572

prune195.0ms (1.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	176	7	183
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	180	12	192

Error

0.4b

Counts

192 → 12

Alt Table

Status	Error	Program
	36.7b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1))))))))
	54.9b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (fma.f64 l (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 x))) (.f64 (/.f64 (.f64 t t) (.f64 l (sqrt.f64 2))) (+.f64 (.f64 2 (sqrt.f64 (/.f64 1 x))) (sqrt.f64 x))))))
	43.4b	(pow.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))) (*.f64 t (sqrt.f64 2))) -1)
▶	26.7b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (.f64 (/.f64 l x) l) (*.f64 t t))))))
	43.4b	(.f64 (.f64 t (sqrt.f64 2)) (pow.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)) -1/2))
	29.8b	(/.f64 (.f64 (sqrt.f64 2) t) (pow.f64 (pow.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (/.f64 (.f64 l l) x)))) 1/4) 2))
	40.8b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 2 (/.f64 4 x)))))
	41.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (.f64 (+.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l)))) l) (-.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l)))) l))))
	55.1b	(/.f64 (.f64 (sqrt.f64 2) t) (+.f64 (.f64 (.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x))) (+.f64 (.f64 2 (.f64 (/.f64 (pow.f64 t 2) (.f64 l (sqrt.f64 2))) (sqrt.f64 (/.f64 1 x)))) (.f64 (/.f64 (pow.f64 t 2) (.f64 l (sqrt.f64 2))) (sqrt.f64 x)))))
	40.1b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (pow.f64 (/.f64 l (sqrt.f64 x)) 2) (.f64 t t))))))
	36.4b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1))))))))
	29.8b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (.f64 (.f64 l l) (/.f64 1 x)) (.f64 t t))))))

Compiler

Compiled 7496 to 4513 computations (39.8% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(+.f64 (.f64 (/.f64 l x) l) (.f64 t t))
✓	3.8b	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (.f64 (/.f64 l x) l) (.f64 t t))))
	9.0b	(/.f64 (*.f64 t t) x)
✓	25.6b	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (.f64 (/.f64 l x) l) (.f64 t t)))))

series130.0ms (1%)

Counts

3 → 104

Calls

3 calls:

76.0ms

(sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) x) (*.f64 2 (+.f64 (*.f64 (/.f64 l x) l) (*.f64 t t)))))

38.0ms

(fma.f64 4 (/.f64 (*.f64 t t) x) (*.f64 2 (+.f64 (*.f64 (/.f64 l x) l) (*.f64 t t))))

15.0ms

(+.f64 (*.f64 (/.f64 l x) l) (*.f64 t t))

rewrite77.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

297×	`fma-def_binary64`
264×	`expm1-udef_binary64`
264×	`log1p-udef_binary64`
210×	`fma-neg_binary64`
149×	`add-sqr-sqrt_binary64`

Counts

3 → 108

Calls

3 calls:

73.0ms

(+.f64 (*.f64 (/.f64 l x) l) (*.f64 t t))

73.0ms

(fma.f64 4 (/.f64 (*.f64 t t) x) (*.f64 2 (+.f64 (*.f64 (/.f64 l x) l) (*.f64 t t))))

73.0ms

(sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) x) (*.f64 2 (+.f64 (*.f64 (/.f64 l x) l) (*.f64 t t)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	61
1	307	61
2	3854	61
3	5055	61
0	0	0
1	0	0

simplify86.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

559×	`associate-*l/_binary64`
527×	`cancel-sign-sub-inv_binary64`
187×	`fma-neg_binary64`
181×	`sub-neg_binary64`
177×	`fma-def_binary64`

Counts

212 → 172

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	188	4041
1	594	3734
2	2525	3554
3	5089	3554

prune224.0ms (1.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	206	3	209
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	210	11	221

Error

0.4b

Counts

221 → 11

Alt Table

Status	Error	Program
	36.7b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1))))))))
	54.9b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (fma.f64 l (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 x))) (.f64 (/.f64 (.f64 t t) (.f64 l (sqrt.f64 2))) (+.f64 (.f64 2 (sqrt.f64 (/.f64 1 x))) (sqrt.f64 x))))))
	43.4b	(pow.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))) (*.f64 t (sqrt.f64 2))) -1)
	43.4b	(.f64 (.f64 t (sqrt.f64 2)) (pow.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)) -1/2))
	40.8b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 2 (/.f64 4 x)))))
	41.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (.f64 (+.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l)))) l) (-.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l)))) l))))
	26.9b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (.f64 l (/.f64 l x)))))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (.f64 l (/.f64 l x)))))))))
	55.1b	(/.f64 (.f64 (sqrt.f64 2) t) (+.f64 (.f64 (.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x))) (+.f64 (.f64 2 (.f64 (/.f64 (pow.f64 t 2) (.f64 l (sqrt.f64 2))) (sqrt.f64 (/.f64 1 x)))) (.f64 (/.f64 (pow.f64 t 2) (.f64 l (sqrt.f64 2))) (sqrt.f64 x)))))
	29.8b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 (.f64 l l) (/.f64 1 x) (*.f64 t t))))))
▶	26.8b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 (/.f64 l (pow.f64 (cbrt.f64 x) 2)) (/.f64 l (cbrt.f64 x)) (.f64 t t))))))
	36.4b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1))))))))

Compiler

Compiled 8309 to 4806 computations (42.2% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(pow.f64 (cbrt.f64 x) 2)
✓	3.8b	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 (/.f64 l (pow.f64 (cbrt.f64 x) 2)) (/.f64 l (cbrt.f64 x)) (*.f64 t t))))
	9.0b	(/.f64 (*.f64 t t) x)
✓	25.6b	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 (/.f64 l (pow.f64 (cbrt.f64 x) 2)) (/.f64 l (cbrt.f64 x)) (*.f64 t t)))))

series516.0ms (3.9%)

Counts

3 → 80

Calls

3 calls:

371.0ms

(fma.f64 4 (/.f64 (*.f64 t t) x) (*.f64 2 (fma.f64 (/.f64 l (pow.f64 (cbrt.f64 x) 2)) (/.f64 l (cbrt.f64 x)) (*.f64 t t))))

104.0ms

(sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) x) (*.f64 2 (fma.f64 (/.f64 l (pow.f64 (cbrt.f64 x) 2)) (/.f64 l (cbrt.f64 x)) (*.f64 t t)))))

40.0ms

(pow.f64 (cbrt.f64 x) 2)

rewrite74.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

323×	`prod-diff_binary64`
282×	`log1p-udef_binary64`
160×	`add-sqr-sqrt_binary64`
153×	`log1p-expm1-u_binary64`
153×	`expm1-log1p-u_binary64`

Counts

3 → 69

Calls

3 calls:

71.0ms

(pow.f64 (cbrt.f64 x) 2)

71.0ms

(fma.f64 4 (/.f64 (*.f64 t t) x) (*.f64 2 (fma.f64 (/.f64 l (pow.f64 (cbrt.f64 x) 2)) (/.f64 l (cbrt.f64 x)) (*.f64 t t))))

71.0ms

(sqrt.f64 (fma.f64 4 (/.f64 (*.f64 t t) x) (*.f64 2 (fma.f64 (/.f64 l (pow.f64 (cbrt.f64 x) 2)) (/.f64 l (cbrt.f64 x)) (*.f64 t t)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	76
1	335	58
2	4008	58
3	5085	58
0	0	0
1	0	0

simplify76.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

787×	`fma-def_binary64`
769×	`associate-/l*_binary64`
372×	`cancel-sign-sub-inv_binary64`
175×	`fma-neg_binary64`
127×	`sub-neg_binary64`

Counts

149 → 130

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	169	3659
1	520	3411
2	2011	3098
3	5233	3098

prune185.0ms (1.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	167	0	167
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	167	11	178

Error

0.4b

Counts

178 → 11

Alt Table

Status	Error	Program
	36.7b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1))))))))
	54.9b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (fma.f64 l (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 x))) (.f64 (/.f64 (.f64 t t) (.f64 l (sqrt.f64 2))) (+.f64 (.f64 2 (sqrt.f64 (/.f64 1 x))) (sqrt.f64 x))))))
	43.4b	(pow.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))) (*.f64 t (sqrt.f64 2))) -1)
	43.4b	(.f64 (.f64 t (sqrt.f64 2)) (pow.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)) -1/2))
	40.8b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 2 (/.f64 4 x)))))
	41.3b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (.f64 (+.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l)))) l) (-.f64 (sqrt.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l)))) l))))
	26.9b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (.f64 l (/.f64 l x)))))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (.f64 l (/.f64 l x)))))))))
	55.1b	(/.f64 (.f64 (sqrt.f64 2) t) (+.f64 (.f64 (.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x))) (+.f64 (.f64 2 (.f64 (/.f64 (pow.f64 t 2) (.f64 l (sqrt.f64 2))) (sqrt.f64 (/.f64 1 x)))) (.f64 (/.f64 (pow.f64 t 2) (.f64 l (sqrt.f64 2))) (sqrt.f64 x)))))
	29.8b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 (.f64 l l) (/.f64 1 x) (*.f64 t t))))))
✓	26.8b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 (/.f64 l (pow.f64 (cbrt.f64 x) 2)) (/.f64 l (cbrt.f64 x)) (.f64 t t))))))
	36.4b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1))))))))

Compiler

Compiled 6941 to 4101 computations (40.9% saved)

regimes3.8s (28.9%)

Accuracy

Total 8.1b remaining (89.2%)

Threshold costs 0b (0%)

Counts

233 → 5

Compiler

Compiled 46214 to 31431 computations (32% saved)

bsearch393.0ms (3%)

Steps

Iters	Range		Point
4	1.5288617482539403e+75	2.4106105061322775e+75	2.3742936810086067e+75
7	1.1750608672426329e-148	8.413816716285449e-147	1.1939357900903373e-148
7	1.3635884033584413e-220	5.270116407780659e-219	5.2112458239765657e-219
6	-3.5890833092905013e+140	-3.7674290287367425e+139	-3.048430524696057e+140

Compiler

Compiled 4 to 3 computations (25% saved)

simplify7.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
6×	`+-commutative_binary64`
4×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	201
1	80	201
2	89	201
3	94	201
4	96	201
5	94	201

end375.0ms (2.9%)

Compiler: Compiled 635 to 442 computations (30.4% saved)

Details

analyze1.1s (8.1%)

sample3.2s (24.6%)

simplify52.0ms (0.4%)

prune10.0ms (0.1%)

localize14.0ms (0.1%)

series1.1s (8.1%)

rewrite97.0ms (0.7%)

simplify273.0ms (2.1%)

prune849.0ms (6.5%)

localize14.0ms (0.1%)

series142.0ms (1.1%)

rewrite77.0ms (0.6%)

simplify83.0ms (0.6%)

prune195.0ms (1.5%)

localize14.0ms (0.1%)

series130.0ms (1%)

rewrite77.0ms (0.6%)

simplify86.0ms (0.7%)

prune224.0ms (1.7%)

localize18.0ms (0.1%)

series516.0ms (3.9%)

rewrite74.0ms (0.6%)

simplify76.0ms (0.6%)

prune185.0ms (1.4%)

regimes3.8s (28.9%)

bsearch393.0ms (3%)

simplify7.0ms (0%)

end375.0ms (2.9%)

Profiling