Details

analyze805.0ms (7.1%)

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 33 to 24 computations (27.3% saved)

sample103.0ms (0.9%)

Algorithm

1×

intervals

Results

30.0ms	114×	body	256	valid
19.0ms	52×	body	512	valid
17.0ms	278×	pre	128	true
11.0ms	90×	body	128	valid
3.0ms	22×	body	128	nan

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify289.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	22

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

53.3b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize23.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
✓	0.1b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	23.5b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))

rewrite56.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`add-log-exp_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`

Counts

4 → 90

Calls

4 calls:

19.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
15.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
7.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
7.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series622.0ms (5.5%)

Counts

4 → 96

Calls

4 calls:

343.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
145.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
71.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
62.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

simplify285.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
314×	`cancel-sign-sub-inv_binary64`
215×	`distribute-rgt-neg-in_binary64`
159×	`associate-r_binary64`
150×	`distribute-rgt-neg-out_binary64`

Counts

186 → 343

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4178
1	695	3846
2	2512	3724
3	4692	3704
4	5031	3704

prune273.0ms (2.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	334	9	343
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	336	9	345

Error

0.2b

Counts

345 → 9

Alt Table

Status	Error	Program
	53.3b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	58.2b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
	1.6b	(/.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 2 a))
	53.2b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	53.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) 2) (/.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))) a))
	52.5b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	53.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (*.f64 2 a))
▶	1.3b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	53.3b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))

Compiler

Compiled 6072 to 3562 computations (41.3% saved)

localize51.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite64.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

109×	`add-exp-log_binary64`
54×	`prod-exp_binary64`
42×	`add-sqr-sqrt_binary64`
30×	`div-exp_binary64`
29×	`unpow-prod-down_binary64`

Counts

4 → 186

Calls

4 calls:

14.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
13.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
11.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
11.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))

series689.0ms (6.1%)

Counts

4 → 120

Calls

4 calls:

300.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
195.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
106.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
85.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

simplify307.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

394×	`times-frac_binary64`
381×	`associate-l_binary64`
327×	`associate-r_binary64`
312×	`log-div_binary64`
299×	`associate-/l*_binary64`

Counts

306 → 566

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	273	4694
1	600	4318
2	3453	4239
3	4707	4239
4	5155	4239

prune636.0ms (5.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	566	0	566
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	566	9	575

Error

0.2b

Counts

575 → 9

Alt Table

Status	Error	Program
	53.3b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	58.2b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
▶	1.6b	(/.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 2 a))
	53.2b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	53.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) 2) (/.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))) a))
	52.5b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	53.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (*.f64 2 a))
✓	1.3b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	53.3b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))

Compiler

Compiled 11119 to 6562 computations (41% saved)

localize66.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

rewrite83.0ms (0.7%)

Algorithm

1×	rewrite-expression-head

Rules

146×	`add-exp-log_binary64`
72×	`prod-exp_binary64`
68×	`pow-exp_binary64`
68×	`pow-to-exp_binary64`
64×	`add-sqr-sqrt_binary64`

Counts

4 → 242

Calls

4 calls:

17.0ms	(*.f64 (pow.f64 c 3) (pow.f64 a 3))
14.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
13.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
12.0ms	(*.f64 (pow.f64 c 2) (pow.f64 a 2))

series725.0ms (6.4%)

Counts

4 → 0

Calls

4 calls:

328.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
229.0ms	(/.f64 (*.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))
108.0ms	(*.f64 (pow.f64 c 3) (pow.f64 a 3))
60.0ms	(*.f64 (pow.f64 c 2) (pow.f64 a 2))

simplify262.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

776×	`associate-/r/_binary64`
289×	`associate-l_binary64`
270×	`associate-r_binary64`
268×	`associate-/l*_binary64`
259×	`times-frac_binary64`

Counts

242 → 448

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	275	4029
1	528	3649
2	2867	3469
3	4927	3469
4	4942	3469

prune785.0ms (6.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	448	0	448
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	448	9	457

Error

0.2b

Counts

457 → 9

Alt Table

Status	Error	Program
	53.3b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	58.2b	(log.f64 (exp.f64 (/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
✓	1.6b	(/.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 2 a))
	53.2b	(/.f64 (/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	53.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) 2) (/.f64 (cbrt.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))) a))
▶	52.5b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	53.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (*.f64 2 a))
✓	1.3b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))
	53.3b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))

Compiler

Compiled 15135 to 10646 computations (29.7% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`

Counts

2 → 33

Calls

2 calls:

5.0ms

(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))

1.0ms

(fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

series233.0ms (2.1%)

Counts

2 → 22

Calls

2 calls:

142.0ms

(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a))

90.0ms

(fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))

simplify203.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

673×	`times-frac_binary64`
515×	`associate-/l*_binary64`
398×	`associate-/r*_binary64`
244×	`fma-def_binary64`
200×	`associate-*l/_binary64`

Counts

55 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	130	1876
1	349	1464
2	1178	1361
3	4851	1361
4	5000	1361
5	4995	1361
6	5000	1361
7	4997	1361
8	4958	1361

prune215.0ms (1.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	263	7	270
Fresh	3	3	6
Picked	1	0	1
Done	0	2	2
Total	267	12	279

Error

0.2b

Counts

279 → 12

Alt Table

Status	Error	Program
	52.8b	(/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))) (sqrt.f64 (cbrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b)))))) (.f64 2 a))
✓	1.6b	(/.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 2 a))
	53.3b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b))) b) (*.f64 a 2)) 3))
	53.3b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	1.4b	(/.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (.f64 2 a))
	53.3b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (*.f64 2 a))
	58.2b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b))) b) a))))
	53.3b	(/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (.f64 (.f64 2 a) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))))
	53.3b	(/.f64 (.f64 (cbrt.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (cbrt.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (/.f64 2 (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -4 (*.f64 b b))) b)) a)))
	52.5b	(.f64 (.f64 (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))) (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)))) (cbrt.f64 (/.f64 (fma.f64 (sqrt.f64 b) (neg.f64 (sqrt.f64 b)) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))))
	53.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b))) b)) (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b))) b))) 2) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 (.f64 c a) -4 (.f64 b b))) b)) a))
✓	1.3b	(neg.f64 (fma.f64 2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (+.f64 (/.f64 c b) (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b 3))))))

Compiler

Compiled 5012 to 2628 computations (47.6% saved)

regimes765.0ms (6.8%)

Accuracy

Total 1.2b remaining (85.6%)

Threshold costs 0b (0%)

Compiler

Compiled 10558 to 6968 computations (34% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-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	32	57
2	37	57
3	39	57
4	40	57
5	40	57

end2.0ms (0%)

Compiler: Compiled 42 to 29 computations (31% saved)

sample3.7s (33%)

Algorithm

1×

intervals

Results

952.0ms	3761×	body	256	valid
571.0ms	1490×	body	512	valid
489.0ms	8818×	pre	128	true
345.0ms	2749×	body	128	valid
106.0ms	818×	body	128	nan

Compiler

Compiled 623 to 399 computations (36% saved)

Details

analyze805.0ms (7.1%)

sample103.0ms (0.9%)

simplify289.0ms (2.6%)

prune7.0ms (0.1%)

localize23.0ms (0.2%)

rewrite56.0ms (0.5%)

series622.0ms (5.5%)

simplify285.0ms (2.5%)

prune273.0ms (2.4%)

localize51.0ms (0.4%)

rewrite64.0ms (0.6%)

series689.0ms (6.1%)

simplify307.0ms (2.7%)

prune636.0ms (5.6%)

localize66.0ms (0.6%)

rewrite83.0ms (0.7%)

series725.0ms (6.4%)

simplify262.0ms (2.3%)

prune785.0ms (6.9%)

localize24.0ms (0.2%)

rewrite10.0ms (0.1%)

series233.0ms (2.1%)

simplify203.0ms (1.8%)

prune215.0ms (1.9%)

regimes765.0ms (6.8%)

simplify7.0ms (0.1%)

end2.0ms (0%)

sample3.7s (33%)

Profiling