Details

analyze1.2s (9.9%)

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.5s (30.2%)

Results

972.0ms	5521×	body	128	valid
684.0ms	1140×	body	1024	valid
480.0ms	844×	body	1024	invalid
437.0ms	928×	body	512	valid
267.0ms	1623×	body	128	invalid
226.0ms	517×	body	512	invalid
210.0ms	582×	body	256	valid
116.0ms	302×	body	256	invalid
58.0ms	85×	body	2048	valid

Compiler

Compiled 92 to 62 computations (32.6% saved)

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

prune4.0ms (0%)

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

42.9b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	42.9b	(/.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)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.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.4b	(*.f64 (sqrt.f64 2) t)
✓	10.7b	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))
✓	21.4b	(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 (9%)

Counts

4 → 120

Calls

4 calls:

774.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))))
206.0ms	(sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)))
66.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)

rewrite95.0ms (0.8%)

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

Calls

4 calls:

89.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))))
89.0ms	(*.f64 (sqrt.f64 2) t)
89.0ms	(-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l))
89.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

simplify263.0ms (2.2%)

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

268 → 304

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1507	28688
1	5075	28688

prune936.0ms (8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	293	11	304
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	294	11	305

Error

3.6b

Counts

305 → 11

Alt Table

Status	Error	Program
	42.2b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (+.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (.f64 l l)) (fma.f64 (neg.f64 l) l (.f64 l l)))))
	63.5b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))) 1)) l))
	38.6b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1))))))))
	38.4b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1)))))))
	37.4b	(/.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))))))
	38.2b	(/.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))))))))
	38.6b	(.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1)))))))
▶	29.2b	(/.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))))))
	42.9b	(.f64 (sqrt.f64 2) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (*.f64 l l))) t)))
	48.5b	(/.f64 (.f64 (sqrt.f64 2) t) (sqrt.f64 (+.f64 (fma.f64 (.f64 (+.f64 x 1) (fma.f64 2 (.f64 t t) (.f64 l l))) (/.f64 1 (-.f64 x 1)) (neg.f64 (.f64 l l))) (fma.f64 (neg.f64 l) l (.f64 l l)))))
	63.7b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 l (sqrt.f64 (+.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))) -1)))))

Compiler

Compiled 43713 to 32067 computations (26.6% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.4b	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t))))
✓	5.0b	(/.f64 (*.f64 l l) x)
✓	9.7b	(/.f64 (*.f64 t t) x)
✓	26.8b	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t)))))

series141.0ms (1.2%)

Counts

4 → 116

Calls

4 calls:

80.0ms	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t)))))
39.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)
10.0ms	(/.f64 (*.f64 l l) x)

rewrite74.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 → 125

Calls

4 calls:

71.0ms	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (/.f64 (.f64 l l) x) (.f64 t t))))
71.0ms	(/.f64 (*.f64 l l) x)
71.0ms	(/.f64 (*.f64 t t) x)
71.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

simplify88.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`
176×	`unswap-sqr_binary64`

Counts

241 → 185

Iterations

Useful iterations: 2 (0.0ms)

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

prune190.0ms (1.6%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	179	6	185
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	184	12	196

Error

0.4b

Counts

196 → 12

Alt Table

Status	Error	Program
	63.5b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))) 1)) l))
	35.2b	(/.f64 (.f64 (sqrt.f64 2) t) (cbrt.f64 (pow.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (/.f64 (.f64 l l) x)))) 3/2)))
	38.2b	(/.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.3b	(/.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))
	38.6b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1))))))))
	38.4b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1)))))))
	36.9b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (+.f64 (.f64 t (sqrt.f64 (+.f64 2 (.f64 4 (/.f64 1 x))))) (.f64 (/.f64 (pow.f64 l 2) (.f64 t x)) (sqrt.f64 (/.f64 1 (+.f64 2 (.f64 4 (/.f64 1 x)))))))))
	38.6b	(.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1)))))))
	54.4b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (*.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x))))
	42.9b	(.f64 (sqrt.f64 2) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (*.f64 l l))) t)))
	55.3b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 (*.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x)))))
▶	27.6b	(/.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))))))

Compiler

Compiled 7420 to 4471 computations (39.7% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.8b	(+.f64 (.f64 (/.f64 l x) l) (.f64 t t))
✓	4.4b	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (.f64 (/.f64 l x) l) (.f64 t t))))
	9.7b	(/.f64 (*.f64 t t) x)
✓	26.8b	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (+.f64 (.f64 (/.f64 l x) l) (.f64 t t)))))

series139.0ms (1.2%)

Counts

3 → 104

Calls

3 calls:

81.0ms

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

40.0ms

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

18.0ms

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

rewrite74.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 → 110

Calls

3 calls:

71.0ms

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

71.0ms

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

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

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

214 → 174

Iterations

Useful iterations: 2 (0.0ms)

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

prune191.0ms (1.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	210	1	211
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	211	12	223

Error

0.4b

Counts

223 → 12

Alt Table

Status	Error	Program
	38.2b	(/.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.3b	(/.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))
	38.6b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1))))))))
	38.4b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1)))))))
	42.9b	(.f64 (sqrt.f64 2) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (*.f64 l l))) t)))
▶	27.8b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (cbrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (.f64 l (/.f64 l x)))))) (cbrt.f64 (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (.f64 l (/.f64 l x)))))))))
	63.5b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))) 1)) l))
	36.9b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (+.f64 (.f64 t (sqrt.f64 (+.f64 2 (.f64 4 (/.f64 1 x))))) (.f64 (/.f64 (pow.f64 l 2) (.f64 t x)) (sqrt.f64 (/.f64 1 (+.f64 2 (.f64 4 (/.f64 1 x)))))))))
	38.6b	(.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1)))))))
	54.4b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (*.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x))))
	55.3b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 (*.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x)))))
✓	27.6b	(/.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))))))

Compiler

Compiled 8250 to 4777 computations (42.1% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.4b	(fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (*.f64 l (/.f64 l x)))))
	9.7b	(/.f64 (*.f64 t t) x)
✓	26.8b	(sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (*.f64 l (/.f64 l x))))))
✓	27.8b	(cbrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (*.f64 l (/.f64 l x))))))

series232.0ms (2%)

Counts

3 → 104

Calls

3 calls:

109.0ms

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

83.0ms

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

40.0ms

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

rewrite98.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

431×	`prod-diff_binary64`
258×	`log1p-udef_binary64`
257×	`expm1-udef_binary64`
146×	`add-sqr-sqrt_binary64`
138×	`add-cube-cbrt_binary64`

Counts

3 → 75

Calls

3 calls:

95.0ms

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

95.0ms

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

95.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	76
1	306	76
2	3601	76
3	4993	76
4	5216	76
0	0	0
1	0	0

simplify116.0ms (1%)

Algorithm

1×	egg-herbie

Rules

413×	`fma-def_binary64`
319×	`associate-/r*_binary64`
308×	`times-frac_binary64`
287×	`associate-l_binary64`
227×	`associate-/l*_binary64`

Counts

179 → 195

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	485	7929
1	1592	7540
2	4984	7540

prune370.0ms (3.2%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	311	0	311
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	311	12	323

Error

0.4b

Counts

323 → 12

Alt Table

Status	Error	Program
	38.2b	(/.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.3b	(/.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))
	38.6b	(neg.f64 (.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1))))))))
	38.4b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 t (sqrt.f64 (+.f64 (/.f64 2 (-.f64 x 1)) (*.f64 2 (/.f64 x (-.f64 x 1)))))))
	42.9b	(.f64 (sqrt.f64 2) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (fma.f64 2 (.f64 t t) (.f64 l l))) (*.f64 l l))) t)))
✓	27.8b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (cbrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (.f64 l (/.f64 l x)))))) (cbrt.f64 (sqrt.f64 (fma.f64 4 (/.f64 (.f64 t t) x) (.f64 2 (fma.f64 t t (.f64 l (/.f64 l x)))))))))
	63.5b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (sqrt.f64 (-.f64 (+.f64 (/.f64 1 (-.f64 x 1)) (/.f64 x (-.f64 x 1))) 1)) l))
	36.9b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (+.f64 (.f64 t (sqrt.f64 (+.f64 2 (.f64 4 (/.f64 1 x))))) (.f64 (/.f64 (pow.f64 l 2) (.f64 t x)) (sqrt.f64 (/.f64 1 (+.f64 2 (.f64 4 (/.f64 1 x)))))))))
	38.6b	(.f64 (sqrt.f64 2) (sqrt.f64 (/.f64 1 (+.f64 (/.f64 2 (-.f64 x 1)) (.f64 2 (/.f64 x (-.f64 x 1)))))))
	54.4b	(/.f64 (.f64 (sqrt.f64 2) t) (.f64 (*.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x))))
	55.3b	(/.f64 (.f64 (sqrt.f64 2) t) (neg.f64 (.f64 (*.f64 l (sqrt.f64 2)) (sqrt.f64 (/.f64 1 x)))))
✓	27.6b	(/.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))))))

Compiler

Compiled 20866 to 11533 computations (44.7% saved)

regimes1.6s (13.4%)

Accuracy

Total 8.3b remaining (95.1%)

Threshold costs 0b (0%)

Counts

98 → 7

Compiler

Compiled 23757 to 17160 computations (27.8% saved)

bsearch907.0ms (7.8%)

Steps

Iters	Range		Point
8	6.240365924215757e+140	2.461208646000871e+144	4.039007145470636e+143
9	2.868786828996259e-160	5.9889454590084955e-151	2.9547856466284326e-160
5	-4.279757979953968e-274	-1.779944501094234e-274	-1.8036204212416754e-274
11	-3.0321874025050893e-202	-7.812426870340249e-234	-2.979893054166405e-202
9	-5.470443550887596e-127	-1.1971671603366108e-133	-1.2161892777935289e-133
6	-4.17068346277432e+86	-5.478753596450678e+85	-2.2811553775868558e+86

Compiler

Compiled 4 to 3 computations (25% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

13×	`*-commutative_binary64`
7×	`+-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	67	288
1	91	288
2	102	288
3	108	288
4	110	288
5	108	288

end255.0ms (2.2%)

Compiler: Compiled 712 to 487 computations (31.6% saved)

Details

analyze1.2s (9.9%)

sample3.5s (30.2%)

simplify51.0ms (0.4%)

prune4.0ms (0%)

localize15.0ms (0.1%)

series1.1s (9%)

rewrite95.0ms (0.8%)

simplify263.0ms (2.2%)

prune936.0ms (8%)

localize15.0ms (0.1%)

series141.0ms (1.2%)

rewrite74.0ms (0.6%)

simplify88.0ms (0.7%)

prune190.0ms (1.6%)

localize17.0ms (0.1%)

series139.0ms (1.2%)

rewrite74.0ms (0.6%)

simplify87.0ms (0.7%)

prune191.0ms (1.6%)

localize18.0ms (0.2%)

series232.0ms (2%)

rewrite98.0ms (0.8%)

simplify116.0ms (1%)

prune370.0ms (3.2%)

regimes1.6s (13.4%)

bsearch907.0ms (7.8%)

simplify13.0ms (0.1%)

end255.0ms (2.2%)

Profiling