Details

analyze334.0ms (7.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 43 to 31 computations (27.9% saved)

sample1.3s (29.6%)

Results

1.1s	7978×	body	128	valid
108.0ms	824×	body	128	invalid
69.0ms	278×	body	256	valid

Compiler

Compiled 86 to 62 computations (27.9% saved)

preprocess42.0ms (1%)

Algorithm

2×	egg-herbie

Rules

801×	`fma-def_binary64`
685×	`div-sub_binary64`
295×	`fma-neg_binary64`
210×	`associate-/l*_binary64`
209×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	104
1	99	88
2	220	88
3	445	88
4	763	88
5	1256	88
6	2230	88
7	4450	88
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 20 to 14 computations (30% saved)

simplify28.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

763×	`fma-neg_binary64`
619×	`times-frac_binary64`
367×	`fma-def_binary64`
242×	`distribute-rgt-in_binary64`
239×	`div-sub_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	72	22
3	163	22
4	267	22
5	436	22
6	747	22
7	1335	22
8	2689	22
9	4086	22

Stop Event

1×	node limit

Counts

1 → 2

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

27.6b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	27.7b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))
	27.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 111 to 75 computations (32.4% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 b b (.f64 a (.f64 c -4)))
✓	0.1b	(sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4))))
✓	0.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))
✓	27.6b	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) b)

series124.0ms (2.8%)

Counts

4 → 96

Calls

36 calls:

10.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))	a	inf
9.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))	a	-inf
8.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))	c	-inf
7.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) b) (/.f64 1/2 a))	c	inf
7.0ms	(-.f64 (sqrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) b)	a	-inf

rewrite68.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

737×	`prod-diff_binary64`
142×	`add-sqr-sqrt_binary64`
136×	`*-un-lft-identity_binary64`
136×	`pow1_binary64`
132×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	281	59
2	3634	59

Stop Event

1×	node limit

Counts

4 → 158

simplify47.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
467×	`associate-/l*_binary64`
430×	`fma-def_binary64`
421×	`associate-/r*_binary64`
142×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	402	2164
2	1405	2078

Stop Event

1×	node limit

Counts

254 → 232

prune143.0ms (3.2%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	223	9	232
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	224	10	234

Error

0.8b

Counts

234 → 10

Alt Table

Status	Error	Program
	27.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	28.5b	(.f64 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 b b (.f64 a (*.f64 c -4))) 3/2)) b) (/.f64 1/2 a))
	28.9b	(.f64 (-.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) 3)) b) (/.f64 1/2 a))
	28.8b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
▶	5.0b	(-.f64 (.f64 -2 (/.f64 (.f64 a a) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))) (fma.f64 5 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4)) (fma.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	5.2b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 c a) (/.f64 (pow.f64 b 3) (.f64 c a))))) (fma.f64 4 (/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3))) (.f64 (/.f64 10 (pow.f64 b 7)) (.f64 (pow.f64 c 4) (pow.f64 a 4))))) (/.f64 1/2 a))
	5.3b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
	28.7b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 -1 b b)) (/.f64 1/2 a))
	29.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (/.f64 (+.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 a (.f64 c -4)) 3)) (+.f64 (.f64 (.f64 b b) (.f64 b b)) (-.f64 (pow.f64 (.f64 a (.f64 c -4)) 2) (.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))) b) (/.f64 1/2 a))

Compiler

Compiled 6311 to 3999 computations (36.6% saved)

localize23.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (pow.f64 a 3) (pow.f64 b 7))
✓	0.3b	(/.f64 (*.f64 a a) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))
✓	0.3b	(/.f64 (pow.f64 b 5) (pow.f64 c 3))
✓	0.4b	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4))

series256.0ms (5.8%)

Counts

4 → 72

Calls

30 calls:

23.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4))	c	0
15.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4))	a	-inf
12.0ms	(/.f64 (*.f64 a a) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))	c	-inf
11.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4))	a	inf
11.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4))	a	0

rewrite60.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

190×	`add-sqr-sqrt_binary64`
185×	`pow1_binary64`
184×	`add-log-exp_binary64`
184×	`log1p-expm1-u_binary64`
184×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	52
1	411	52

Stop Event

1×	node limit

Counts

4 → 142

simplify48.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

817×	`associate-/l*_binary64`
434×	`associate-/r*_binary64`
412×	`associate-l_binary64`
368×	`associate-r_binary64`
217×	`associate-/r/_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	1152
1	53	1152
2	168	1152
3	813	1152
4	4966	1152

Stop Event

1×	node limit

Counts

214 → 144

prune213.0ms (4.8%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	144	0	144
Fresh	0	9	9
Picked	0	1	1
Done	0	0	0
Total	144	10	154

Error

0.8b

Counts

154 → 10

Alt Table

Status	Error	Program
	27.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	28.5b	(.f64 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 b b (.f64 a (*.f64 c -4))) 3/2)) b) (/.f64 1/2 a))
	28.9b	(.f64 (-.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) 3)) b) (/.f64 1/2 a))
	28.8b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
✓	5.0b	(-.f64 (.f64 -2 (/.f64 (.f64 a a) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))) (fma.f64 5 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4)) (fma.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
▶	5.2b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 c a) (/.f64 (pow.f64 b 3) (.f64 c a))))) (fma.f64 4 (/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3))) (.f64 (/.f64 10 (pow.f64 b 7)) (.f64 (pow.f64 c 4) (pow.f64 a 4))))) (/.f64 1/2 a))
	5.3b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
	28.7b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 -1 b b)) (/.f64 1/2 a))
	29.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (/.f64 (+.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 a (.f64 c -4)) 3)) (+.f64 (.f64 (.f64 b b) (.f64 b b)) (-.f64 (pow.f64 (.f64 a (.f64 c -4)) 2) (.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))) b) (/.f64 1/2 a))

Compiler

Compiled 6868 to 4264 computations (37.9% saved)

localize27.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (.f64 c a) (/.f64 (pow.f64 b 3) (.f64 c a)))
✓	0.3b	(/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))
✓	0.4b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 c a) (/.f64 (pow.f64 b 3) (.f64 c a))))) (fma.f64 4 (/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3))) (.f64 (/.f64 10 (pow.f64 b 7)) (.f64 (pow.f64 c 4) (pow.f64 a 4))))) (/.f64 1/2 a))
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))

series267.0ms (6%)

Counts

4 → 108

Calls

33 calls:

34.0ms	(/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))	a	inf
15.0ms	(/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))	b	0
12.0ms	(/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))	c	-inf
12.0ms	(/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))	c	0
11.0ms	(/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))	a	-inf

rewrite37.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

355×	`pow1_binary64`
349×	`add-log-exp_binary64`
349×	`log1p-expm1-u_binary64`
349×	`expm1-log1p-u_binary64`
344×	`add-cube-cbrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	108
1	769	108

Stop Event

1×	node limit

Counts

4 → 36

simplify63.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

888×	`fma-neg_binary64`
472×	`unswap-sqr_binary64`
308×	`times-frac_binary64`
262×	`associate-/l*_binary64`
206×	`associate-r_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	46	2511
1	148	2511
2	553	2467
3	3319	2359

Stop Event

1×	node limit

Counts

144 → 54

prune93.0ms (2.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	52	2	54
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	52	12	64

Error

0.7b

Counts

64 → 12

Alt Table

Status	Error	Program
✓	5.0b	(-.f64 (.f64 -2 (/.f64 (.f64 a a) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))) (fma.f64 5 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4)) (fma.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
▶	5.2b	(/.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) (.f64 c a)))) (fma.f64 4 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3)) (.f64 (pow.f64 (.f64 c a) 4) (/.f64 10 (pow.f64 b 7))))) 1/2) a)
	27.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	28.5b	(.f64 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 b b (.f64 a (*.f64 c -4))) 3/2)) b) (/.f64 1/2 a))
	28.9b	(.f64 (-.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) 3)) b) (/.f64 1/2 a))
	28.8b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (/.f64 (+.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 a (.f64 c -4)) 3)) (+.f64 (.f64 (.f64 b b) (.f64 b b)) (-.f64 (pow.f64 (.f64 a (.f64 c -4)) 2) (.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))) b) (/.f64 1/2 a))
	8.3b	(log1p.f64 (expm1.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) (.f64 c a)))) (fma.f64 4 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3)) (.f64 (pow.f64 (.f64 c a) 4) (/.f64 10 (pow.f64 b 7))))) (/.f64 1/2 a))))
✓	5.2b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 c a) (/.f64 (pow.f64 b 3) (.f64 c a))))) (fma.f64 4 (/.f64 (pow.f64 a 3) (/.f64 (pow.f64 b 5) (pow.f64 c 3))) (.f64 (/.f64 10 (pow.f64 b 7)) (.f64 (pow.f64 c 4) (pow.f64 a 4))))) (/.f64 1/2 a))
	5.3b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
	28.7b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 -1 b b)) (/.f64 1/2 a))
	29.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))

Compiler

Compiled 3418 to 2213 computations (35.3% saved)

localize24.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) (*.f64 c a))
✓	0.3b	(/.f64 (pow.f64 a 3) (pow.f64 b 5))
✓	0.4b	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3))
✓	0.9b	(pow.f64 (*.f64 c a) 4)

series214.0ms (4.8%)

Counts

4 → 96

Calls

30 calls:

21.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3))	b	-inf
13.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3))	c	-inf
11.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3))	a	inf
11.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3))	a	-inf
10.0ms	(*.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3))	a	0

rewrite65.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

299×	`log1p-udef_binary64`
176×	`add-sqr-sqrt_binary64`
174×	`pow1_binary64`
170×	`add-log-exp_binary64`
170×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	17	49
1	389	43
2	4782	43

Stop Event

1×	node limit

Counts

4 → 107

simplify89.0ms (2%)

Algorithm

1×	egg-herbie

Rules

636×	`associate-/r*_binary64`
355×	`associate-/l/_binary64`
346×	`unswap-sqr_binary64`
319×	`associate-/r/_binary64`
258×	`sqr-pow_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	21	1392
1	59	1392
2	201	1392
3	1187	1392
4	4282	1212
5	4378	1212
6	4528	1104
7	4725	1104
8	4910	1104

Stop Event

1×	node limit

Counts

203 → 110

prune228.0ms (5.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	109	1	110
Fresh	0	9	9
Picked	0	1	1
Done	1	1	2
Total	110	12	122

Error

0.7b

Counts

122 → 12

Alt Table

Status	Error	Program
✓	5.0b	(-.f64 (.f64 -2 (/.f64 (.f64 a a) (/.f64 (pow.f64 b 5) (pow.f64 c 3)))) (fma.f64 5 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 7)) (pow.f64 c 4)) (fma.f64 (/.f64 (.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
✓	5.2b	(/.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) (.f64 c a)))) (fma.f64 4 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3)) (.f64 (pow.f64 (.f64 c a) 4) (/.f64 10 (pow.f64 b 7))))) 1/2) a)
	27.7b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	28.5b	(.f64 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 b b (.f64 a (*.f64 c -4))) 3/2)) b) (/.f64 1/2 a))
	28.9b	(.f64 (-.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4)))) 3)) b) (/.f64 1/2 a))
	28.8b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (/.f64 (+.f64 (pow.f64 (.f64 b b) 3) (pow.f64 (.f64 a (.f64 c -4)) 3)) (+.f64 (.f64 (.f64 b b) (.f64 b b)) (-.f64 (pow.f64 (.f64 a (.f64 c -4)) 2) (.f64 (.f64 b b) (.f64 a (*.f64 c -4))))))) b) (/.f64 1/2 a))
	8.3b	(log1p.f64 (expm1.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (.f64 (/.f64 (.f64 c a) (pow.f64 b 3)) (.f64 c a)))) (fma.f64 4 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3)) (.f64 (pow.f64 (.f64 c a) 4) (/.f64 10 (pow.f64 b 7))))) (/.f64 1/2 a))))
	12.8b	(/.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (-.f64 (exp.f64 (log1p.f64 (pow.f64 (/.f64 (.f64 c a) (pow.f64 b 3/2)) 2))) 1))) (fma.f64 4 (.f64 (/.f64 (pow.f64 a 3) (pow.f64 b 5)) (pow.f64 c 3)) (.f64 (pow.f64 (.f64 c a) 4) (/.f64 10 (pow.f64 b 7))))) 1/2) a)
	5.3b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
	28.7b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 -1 b b)) (/.f64 1/2 a))
	29.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (.f64 c -4)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 a (*.f64 c -4))))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))

Compiler

Compiled 5922 to 3669 computations (38% saved)

regimes296.0ms (6.7%)

Accuracy

Total 5.3b remaining (84.7%)

Threshold costs 0b (0%)

Counts

56 → 1

Compiler

Compiled 7452 to 5154 computations (30.8% 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	27	57
1	31	57
2	36	57
3	38	57
4	39	57

Stop Event

1×

saturated

end312.0ms (7%)

Stop Event

1×

fuel

Compiler

Compiled 566 to 389 computations (31.3% saved)

Details

analyze334.0ms (7.5%)

sample1.3s (29.6%)

preprocess42.0ms (1%)

simplify28.0ms (0.6%)

prune5.0ms (0.1%)

localize9.0ms (0.2%)

series124.0ms (2.8%)

rewrite68.0ms (1.5%)

simplify47.0ms (1.1%)

prune143.0ms (3.2%)

localize23.0ms (0.5%)

series256.0ms (5.8%)

rewrite60.0ms (1.3%)

simplify48.0ms (1.1%)

prune213.0ms (4.8%)

localize27.0ms (0.6%)

series267.0ms (6%)

rewrite37.0ms (0.8%)

simplify63.0ms (1.4%)

prune93.0ms (2.1%)

localize24.0ms (0.6%)

series214.0ms (4.8%)

rewrite65.0ms (1.5%)

simplify89.0ms (2%)

prune228.0ms (5.1%)

regimes296.0ms (6.7%)

simplify3.0ms (0.1%)

end312.0ms (7%)

Profiling