Details

analyze308.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
0%	99.9%	0.1%	5
15.6%	84.3%	0.1%	6
37.5%	62.4%	0.1%	7
46.8%	53.1%	0.1%	8
57.8%	39.8%	2.4%	9
64.6%	30.4%	5%	10
71.8%	20.3%	7.9%	11
74.1%	16.2%	9.7%	12
77.4%	10.7%	12%	13
78.6%	8.4%	13%	14

Compiler

Compiled 24 to 18 computations (25% saved)

sample1.2s (24.8%)

Results

1.1s	8256×	body	128	valid
53.0ms	367×	body	128	invalid

Compiler

Compiled 48 to 36 computations (25% saved)

preprocess32.0ms (0.7%)

Algorithm

2×	egg-herbie

Rules

462×	`fma-def_binary64`
403×	`associate-*l/_binary64`
376×	`div-sub_binary64`
322×	`associate-*r/_binary64`
211×	`associate-l_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	64
1	60	58
2	184	58
3	759	58
4	3477	54
0	2	2

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify20.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

597×	`times-frac_binary64`
509×	`associate-/l*_binary64`
356×	`associate-/l/_binary64`
274×	`distribute-rgt-in_binary64`
238×	`fma-def_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	16	32
1	37	29
2	100	29
3	400	29
4	1790	28

Stop Event

1×	node limit

Counts

1 → 2

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

14.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	14.7b	(.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (.f64 b b) (.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
▶	14.7b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))

Status

Error

Program

14.7b

(*.f64 (*.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (*.f64 b b) (*.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))

▶

14.7b

(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (*.f64 b b) (*.f64 a a)))

Compiler

Compiled 127 to 84 computations (33.9% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))
✓	0.3b	(/.f64 (PI.f64) a)
✓	2.2b	(-.f64 (.f64 b b) (.f64 a a))
✓	12.1b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))

series42.0ms (0.9%)

Counts

4 → 72

Calls

21 calls:

9.0ms	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))	b	0
6.0ms	(fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))	b	0
3.0ms	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))	a	0
2.0ms	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))	b	inf
2.0ms	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (-.f64 (.f64 b b) (.f64 a a)))	a	inf

rewrite91.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

891×	`prod-diff_binary64`
164×	`add-sqr-sqrt_binary64`
158×	`*-un-lft-identity_binary64`
158×	`pow1_binary64`
152×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	56
1	321	56
2	4561	56

Stop Event

1×	node limit

Counts

4 → 219

simplify47.0ms (1%)

Algorithm

1×	egg-herbie

Rules

644×	`cancel-sign-sub-inv_binary64`
573×	`fma-neg_binary64`
298×	`associate-/l/_binary64`
182×	`distribute-neg-frac_binary64`
172×	`times-frac_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	1266
1	196	1230
2	597	1164
3	2308	1146

Stop Event

1×	node limit

Counts

291 → 245

prune269.0ms (5.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	236	9	245
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	237	10	247

Error

0.0b

Counts

247 → 10

Alt Table

Status	Error	Program
	21.7b	(pow.f64 (sqrt.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) 2)
	0.8b	(.f64 (cbrt.f64 (.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) (pow.f64 (cbrt.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) 2))
	14.7b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (PI.f64) (/.f64 1 a))) 2) (-.f64 (.f64 b b) (*.f64 a a)))
	0.7b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) 2) (+.f64 b a)) (/.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) (-.f64 b a)))
	14.7b	(.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (.f64 b b) (.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
	25.2b	(cbrt.f64 (pow.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a))) 3))
	15.0b	(pow.f64 (.f64 (-.f64 (.f64 b b) (*.f64 a a)) (/.f64 2 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)))) -1)
▶	0.2b	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))
	52.5b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (/.f64 1 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (pow.f64 (.f64 b a) 2))))))
	12.2b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 2) (fma.f64 (+.f64 b a) (-.f64 b a) (fma.f64 (neg.f64 a) a (*.f64 a a))))

Compiler

Compiled 7555 to 3228 computations (57.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))
✓	0.2b	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))
✓	0.2b	(/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a))
	0.3b	(/.f64 (PI.f64) a)

series26.0ms (0.6%)

Counts

2 → 48

Calls

12 calls:

3.0ms	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))	a	inf
3.0ms	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))	b	0
3.0ms	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))	a	0
2.0ms	(/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a))	a	-inf
2.0ms	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))	b	inf

rewrite75.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

795×	`prod-diff_binary64`
166×	`add-sqr-sqrt_binary64`
161×	`*-un-lft-identity_binary64`
161×	`pow1_binary64`
154×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	47
1	321	47
2	4711	47

Stop Event

1×	node limit

Counts

2 → 89

simplify52.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

382×	`times-frac_binary64`
339×	`distribute-neg-frac_binary64`
297×	`distribute-rgt-neg-in_binary64`
283×	`associate-/l*_binary64`
253×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	84	1512
1	293	1458
2	953	1341
3	3868	1341

Stop Event

1×	node limit

Counts

137 → 122

prune253.0ms (5.3%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	178	5	183
Fresh	4	5	9
Picked	0	1	1
Done	0	0	0
Total	182	11	193

Error

0.0b

Counts

193 → 11

Alt Table

Status	Error	Program
	12.4b	(/.f64 (/.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (/.f64 1/2 (-.f64 b a))) (cbrt.f64 (pow.f64 (+.f64 b a) 2))) (cbrt.f64 (+.f64 b a)))
	32.8b	(.f64 (.f64 (sqrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (*.f64 (sqrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (/.f64 1 (+.f64 b a)))) (/.f64 1/2 (-.f64 b a)))
	21.7b	(pow.f64 (sqrt.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) 2)
	0.8b	(.f64 (cbrt.f64 (.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) (pow.f64 (cbrt.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) 2))
	14.7b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (PI.f64) (/.f64 1 a))) 2) (-.f64 (.f64 b b) (*.f64 a a)))
▶	0.7b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) 2) (+.f64 b a)) (/.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) (-.f64 b a)))
	14.7b	(.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (.f64 b b) (.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
	1.3b	(/.f64 1/2 (*.f64 (/.f64 (+.f64 b a) (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (-.f64 b a)))
	22.4b	(.f64 (.f64 -1 (/.f64 (PI.f64) (*.f64 a b))) (/.f64 1/2 (-.f64 b a)))
	0.8b	(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) 2) (*.f64 (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (/.f64 1 (+.f64 b a)))) (/.f64 1/2 (-.f64 b a)))
✓	0.2b	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))

Compiler

Compiled 4704 to 2306 computations (51% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) (-.f64 b a))
	0.3b	(/.f64 (PI.f64) a)
✓	0.5b	(pow.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) 2)
✓	0.5b	(cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2))

series340.0ms (7.1%)

Counts

3 → 48

Calls

18 calls:

47.0ms	(/.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) (-.f64 b a))	a	-inf
45.0ms	(/.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) (-.f64 b a))	a	inf
40.0ms	(pow.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) 2)	a	-inf
37.0ms	(pow.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) 2)	a	inf
26.0ms	(cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2))	a	inf

rewrite65.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

617×	`prod-diff_binary64`
162×	`add-sqr-sqrt_binary64`
156×	`pow1_binary64`
155×	`*-un-lft-identity_binary64`
151×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	63
1	326	63
2	4217	63

Stop Event

1×	node limit

Counts

3 → 85

simplify103.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

427×	`fma-neg_binary64`
365×	`fma-def_binary64`
314×	`associate-r_binary64`
229×	`associate-l_binary64`
226×	`*-commutative_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	338	6096
1	1204	5620
2	4738	5620

Stop Event

1×	node limit

Counts

133 → 138

prune447.0ms (9.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	244	1	245
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	245	11	256

Error

Counts

256 → 11

Alt Table

Status	Error	Program
	12.4b	(/.f64 (/.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (/.f64 1/2 (-.f64 b a))) (cbrt.f64 (pow.f64 (+.f64 b a) 2))) (cbrt.f64 (+.f64 b a)))
	32.8b	(.f64 (.f64 (sqrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (*.f64 (sqrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (/.f64 1 (+.f64 b a)))) (/.f64 1/2 (-.f64 b a)))
	21.7b	(pow.f64 (sqrt.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) 2)
	0.8b	(.f64 (cbrt.f64 (.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) (pow.f64 (cbrt.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) 2))
▶	0.7b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) 2) (+.f64 b a)) (/.f64 (cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) a))) 1/2)) (-.f64 b a)))
✓	0.2b	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))
	14.7b	(.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (.f64 b b) (.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
	1.3b	(/.f64 1/2 (*.f64 (/.f64 (+.f64 b a) (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (-.f64 b a)))
	22.4b	(.f64 (.f64 -1 (/.f64 (PI.f64) (*.f64 a b))) (/.f64 1/2 (-.f64 b a)))
	0.8b	(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) 2) (*.f64 (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (/.f64 1 (+.f64 b a)))) (/.f64 1/2 (-.f64 b a)))
	14.7b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (PI.f64) (/.f64 1 a))) 2) (-.f64 (.f64 b b) (*.f64 a a)))

Compiler

Compiled 13784 to 8755 computations (36.5% saved)

localize22.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(pow.f64 (cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) 2)
✓	0.5b	(cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) a))) 1/2))
	0.5b	(cbrt.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2))
✓	1.0b	(sqrt.f64 (PI.f64))

series75.0ms (1.6%)

Counts

2 → 16

Calls

6 calls:

25.0ms	(cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) a))) 1/2))	a	-inf
25.0ms	(cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) a))) 1/2))	a	inf
9.0ms	(cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) a))) 1/2))	b	-inf
9.0ms	(cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) a))) 1/2))	b	inf
4.0ms	(cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) a))) 1/2))	b	0

rewrite49.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

310×	`prod-diff_binary64`
235×	`expm1-udef_binary64`
235×	`log1p-udef_binary64`
135×	`add-sqr-sqrt_binary64`
130×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	22
1	308	22
2	3427	22

Stop Event

1×	node limit

Counts

2 → 56

simplify50.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

580×	`fma-neg_binary64`
432×	`associate-r_binary64`
423×	`associate-l_binary64`
306×	`fma-def_binary64`
212×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	95	1526
1	286	1346
2	925	1328
3	4779	1328

Stop Event

1×	node limit

Counts

72 → 72

prune313.0ms (6.6%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	184	0	184
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	184	11	195

Error

Counts

195 → 11

Alt Table

Status	Error	Program
	12.4b	(/.f64 (/.f64 (*.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (/.f64 1/2 (-.f64 b a))) (cbrt.f64 (pow.f64 (+.f64 b a) 2))) (cbrt.f64 (+.f64 b a)))
	32.8b	(.f64 (.f64 (sqrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (*.f64 (sqrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (/.f64 1 (+.f64 b a)))) (/.f64 1/2 (-.f64 b a)))
	21.7b	(pow.f64 (sqrt.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) 2)
	0.8b	(.f64 (cbrt.f64 (.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) (pow.f64 (cbrt.f64 (*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))) 2))
✓	0.7b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) 1/2)) 2) (+.f64 b a)) (/.f64 (cbrt.f64 (.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) a))) 1/2)) (-.f64 b a)))
✓	0.2b	(*.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a)) (+.f64 b a)) (/.f64 1/2 (-.f64 b a)))
	14.7b	(.f64 (.f64 (/.f64 (PI.f64) 2) (/.f64 1 (-.f64 (.f64 b b) (.f64 a a)))) (-.f64 (/.f64 1 a) (/.f64 1 b)))
	1.3b	(/.f64 1/2 (*.f64 (/.f64 (+.f64 b a) (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (-.f64 b a)))
	22.4b	(.f64 (.f64 -1 (/.f64 (PI.f64) (*.f64 a b))) (/.f64 1/2 (-.f64 b a)))
	0.8b	(.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) 2) (*.f64 (cbrt.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (/.f64 (PI.f64) a))) (/.f64 1 (+.f64 b a)))) (/.f64 1/2 (-.f64 b a)))
	14.7b	(/.f64 (/.f64 (fma.f64 (PI.f64) (/.f64 -1 b) (.f64 (PI.f64) (/.f64 1 a))) 2) (-.f64 (.f64 b b) (*.f64 a a)))

Compiler

Compiled 9881 to 6014 computations (39.1% saved)

regimes678.0ms (14.3%)

Accuracy

Total 0.3b remaining (87.6%)

Threshold costs 0.3b (87.6%)

Counts

195 → 1

Compiler

Compiled 15907 to 10668 computations (32.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
2×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	28
1	18	28
2	22	28
3	24	28
4	25	28

Stop Event

1×

saturated

end175.0ms (3.7%)

Stop Event

1×

fuel

Compiler

Compiled 343 to 226 computations (34.1% saved)

Details

analyze308.0ms (6.5%)

sample1.2s (24.8%)

preprocess32.0ms (0.7%)

simplify20.0ms (0.4%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

series42.0ms (0.9%)

rewrite91.0ms (1.9%)

simplify47.0ms (1%)

prune269.0ms (5.7%)

localize12.0ms (0.2%)

series26.0ms (0.6%)

rewrite75.0ms (1.6%)

simplify52.0ms (1.1%)

prune253.0ms (5.3%)

localize14.0ms (0.3%)

series340.0ms (7.1%)

rewrite65.0ms (1.4%)

simplify103.0ms (2.2%)

prune447.0ms (9.4%)

localize22.0ms (0.5%)

series75.0ms (1.6%)

rewrite49.0ms (1%)

simplify50.0ms (1.1%)

prune313.0ms (6.6%)

regimes678.0ms (14.3%)

simplify3.0ms (0.1%)

end175.0ms (3.7%)

Profiling