Details

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

sample49.0ms (0.6%)

Algorithm

1×

intervals

Results

17.0ms	253×	body	128	valid
10.0ms	283×	pre	128	true
2.0ms	27×	body	128	nan
0.0ms	3×	body	256	valid

Compiler

Compiled 56 to 41 computations (26.8% saved)

simplify361.0ms (4.1%)

Algorithm

1×	egg-herbie

Rules

1968×	`fma-neg_binary64`
1363×	`fma-def_binary64`
898×	`div-sub_binary64`
743×	`associate-/l*_binary64`
567×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	26
1	30	22
2	64	22
3	135	22
4	201	22
5	335	22
6	554	22
7	929	22
8	1477	22
9	2115	22
10	2599	22
11	2554	22
12	2602	22
13	2671	22
14	3117	22
15	2327	22
16	2375	22
17	2383	22
18	2389	22
19	2395	22
20	2397	22
21	2397	22
22	2585	22
23	2685	22
24	2619	22
25	2631	22
26	2661	22
27	2677	22
28	2707	22
29	2707	22
30	2751	22
31	2851	22
32	2827	22
33	2827	22
34	2638	22

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

30.0b

Counts

2 → 2

Alt Table

Status	Error	Program
▶	30.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
	30.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 3 a) c)))) (.f64 3 a))

Compiler

Compiled 94 to 64 computations (31.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(fma.f64 a (.f64 c -3) (.f64 b b))
0.3b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
0.4b	(/.f64 1/3 a)
29.9b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)

rewrite214.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Error

27.3b

Rules

42×	`add-cube-cbrt_binary64`
23×	`pow1_binary64`
22×	`add-sqr-sqrt_binary64`
18×	`add-exp-log_binary64`
18×	`add-cbrt-cube_binary64`

Counts

4 → 173

Calls

4 calls:

18.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
15.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
12.0ms	(/.f64 1/3 a)
11.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))

Compiler

Compiled 4147 to 2228 computations (46.3% saved)

series147.0ms (1.7%)

Error

0.9b

Counts

4 → 57

Calls

4 calls:

51.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
42.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
32.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
5.0ms	(/.f64 1/3 a)

Compiler

Compiled 2155 to 1590 computations (26.2% saved)

simplify122.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

434×	`cancel-sign-sub-inv_binary64`
346×	`fma-neg_binary64`
296×	`unswap-sqr_binary64`
189×	`associate-r_binary64`
179×	`associate-l_binary64`

Counts

230 → 118

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	278	4180
1	690	3851
2	2872	3758
3	5018	3758

prune77.0ms (0.9%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	111	7	118
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	113	7	120

Error

0.2b

Counts

120 → 7

Alt Table

Status	Error	Program
	30.0b	(.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b) 2)) (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b))) (/.f64 1/3 a))
	5.4b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (/.f64 1/3 a))
	28.9b	(/.f64 (.f64 1/3 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3))) (.f64 a (fma.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (fma.f64 a (.f64 c -3) (.f64 b b)))))
▶	0.6b	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) (/.f64 1/3 a))
	5.1b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	30.9b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/3 a))
	30.5b	(-.f64 (/.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (/.f64 a 1/3)) (*.f64 1/3 (/.f64 b a)))

Compiler

Compiled 2363 to 1382 computations (41.5% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 c (.f64 a -3))
0.3b	(/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))))
0.3b	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) (/.f64 1/3 a))
0.4b	(/.f64 1/3 a)

rewrite283.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

0.0b

Rules

40×	`add-cube-cbrt_binary64`
35×	`pow1_binary64`
30×	`add-exp-log_binary64`
24×	`add-sqr-sqrt_binary64`
24×	`add-cbrt-cube_binary64`

Counts

4 → 178

Calls

4 calls:

21.0ms	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) (/.f64 1/3 a))
20.0ms	(/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))))
16.0ms	(.f64 c (.f64 a -3))
13.0ms	(/.f64 1/3 a)

Compiler

Compiled 4941 to 3137 computations (36.5% saved)

series218.0ms (2.5%)

Error

0.2b

Counts

4 → 45

Calls

4 calls:

129.0ms	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) (/.f64 1/3 a))
61.0ms	(/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))))
13.0ms	(.f64 c (.f64 a -3))
5.0ms	(/.f64 1/3 a)

Compiler

Compiled 2213 to 1559 computations (29.6% saved)

simplify129.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

717×	`fma-def_binary64`
282×	`associate-r_binary64`
277×	`associate-l_binary64`
231×	`times-frac_binary64`
222×	`associate-/l*_binary64`

Counts

223 → 138

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	288	4521
1	701	3994
2	3516	3967
3	5059	3967

prune108.0ms (1.2%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	128	10	138
Fresh	5	1	6
Picked	1	0	1
Done	0	0	0
Total	134	11	145

Error

0.0b

Counts

145 → 11

Alt Table

Status	Error	Program
	0.6b	(.f64 (/.f64 (.f64 a (.f64 c -3)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) (/.f64 1/3 a))
▶	0.4b	(/.f64 (/.f64 (.f64 c (neg.f64 a)) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))
	0.5b	(/.f64 (/.f64 (.f64 c (neg.f64 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) a)
	1.1b	(.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 1/3 a) 2) (pow.f64 (/.f64 c (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (.f64 a -3))) 2))) (cbrt.f64 (/.f64 (.f64 c (neg.f64 a)) (.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	1.3b	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))) (/.f64 (/.f64 1/3 (cbrt.f64 a)) (.f64 (cbrt.f64 a) (cbrt.f64 a))))
	0.7b	(.f64 (/.f64 (+.f64 (.f64 c (.f64 a -3)) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) (cbrt.f64 (/.f64 1/27 (pow.f64 a 3))))
	0.5b	(/.f64 (.f64 c (neg.f64 a)) (.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))))
	0.7b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (.f64 a (*.f64 c -3)))) (/.f64 1/3 a))
	0.6b	(.f64 (.f64 (+.f64 (.f64 c (.f64 a -3)) 0) 1/3) (/.f64 1 (.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))))
	5.1b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	1.5b	(.f64 (/.f64 (+.f64 (.f64 (.f64 (cbrt.f64 c) (cbrt.f64 c)) (.f64 (.f64 a -3) (cbrt.f64 c))) 0) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) (/.f64 1/3 a))

Compiler

Compiled 3203 to 1938 computations (39.5% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.1b	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))
0.2b	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))
0.3b	(fma.f64 a (.f64 c -3) (.f64 b b))
0.3b	(/.f64 (/.f64 (.f64 c (neg.f64 a)) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))

rewrite203.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

Rules

33×	`add-cube-cbrt_binary64`
18×	`add-sqr-sqrt_binary64`
16×	`add-exp-log_binary64`
16×	`pow1_binary64`
16×	`add-cbrt-cube_binary64`

Counts

4 → 160

Calls

4 calls:

15.0ms	(/.f64 (/.f64 (.f64 c (neg.f64 a)) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))
13.0ms	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))
12.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
10.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

Compiler

Compiled 3834 to 1621 computations (57.7% saved)

series169.0ms (1.9%)

Error

0.0b

Counts

4 → 73

Calls

4 calls:

52.0ms	(/.f64 (/.f64 (.f64 c (neg.f64 a)) a) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))
34.0ms	(+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))
32.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
31.0ms	(sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))

Compiler

Compiled 2923 to 1938 computations (33.7% saved)

simplify156.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

744×	`fma-def_binary64`
487×	`fma-neg_binary64`
387×	`cancel-sign-sub-inv_binary64`
191×	`associate-r_binary64`
173×	`associate-l_binary64`

Counts

233 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	229	4464
1	599	4093
2	2617	3806
3	4991	3806
4	5031	3806

prune119.0ms (1.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	153	4	157
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	160	8	168

Error

Counts

168 → 8

Alt Table

Status	Error	Program
	0.5b	(/.f64 (/.f64 (.f64 c (neg.f64 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) a)
	1.1b	(.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 1/3 a) 2) (pow.f64 (/.f64 c (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (.f64 a -3))) 2))) (cbrt.f64 (/.f64 (.f64 c (neg.f64 a)) (.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	0.5b	(/.f64 (.f64 c (neg.f64 a)) (.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))))
	1.4b	(/.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c (neg.f64 a)) a)) (cbrt.f64 (/.f64 (.f64 c (neg.f64 a)) a))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a -3) (*.f64 b b)))) (cbrt.f64 (neg.f64 c))))
	5.1b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
▶	0.4b	(/.f64 (/.f64 (.f64 c (neg.f64 a)) a) (+.f64 b (sqrt.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2)) (cbrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b)))))))
	0.5b	(.f64 (/.f64 (.f64 c (neg.f64 a)) a) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b))))))
	0.4b	(/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b)))) (neg.f64 c)))

Compiler

Compiled 2923 to 1391 computations (52.4% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.4b	(.f64 (cbrt.f64 (pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2)) (cbrt.f64 (fma.f64 c (.f64 a -3) (*.f64 b b))))
0.5b	(cbrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b)))
0.5b	(pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2)
0.5b	(cbrt.f64 (pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2))

rewrite192.0ms (2.2%)

Algorithm

1×	rewrite-expression-head

Error

Rules

27×	`add-cube-cbrt_binary64`
21×	`pow1/3_binary64`
19×	`add-sqr-sqrt_binary64`
13×	`add-exp-log_binary64`
12×	`log1p-expm1-u_binary64`

Counts

4 → 137

Calls

4 calls:

16.0ms	(pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2)
14.0ms	(.f64 (cbrt.f64 (pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2)) (cbrt.f64 (fma.f64 c (.f64 a -3) (*.f64 b b))))
12.0ms	(cbrt.f64 (pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2))
11.0ms	(cbrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b)))

Compiler

Compiled 3947 to 1981 computations (49.8% saved)

series249.0ms (2.9%)

Error

Counts

4 → 80

Calls

4 calls:

81.0ms	(cbrt.f64 (pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2))
63.0ms	(cbrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b)))
45.0ms	(pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2)
31.0ms	(.f64 (cbrt.f64 (pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2)) (cbrt.f64 (fma.f64 c (.f64 a -3) (*.f64 b b))))

Compiler

Compiled 5521 to 3870 computations (29.9% saved)

simplify194.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

398×	`fma-def_binary64`
272×	`exp-prod_binary64`
233×	`cancel-sign-sub-inv_binary64`
215×	`log-prod_binary64`
173×	`distribute-rgt-neg-in_binary64`

Counts

217 → 152

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	231	3857
1	569	3623
2	1738	3398
3	4344	3394
4	4942	3394
5	4900	3394

prune115.0ms (1.3%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	152	0	152
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	152	8	160

Error

Counts

160 → 8

Alt Table

Status	Error	Program
	0.5b	(/.f64 (/.f64 (.f64 c (neg.f64 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))) a)
	1.1b	(.f64 (cbrt.f64 (.f64 (pow.f64 (/.f64 1/3 a) 2) (pow.f64 (/.f64 c (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (.f64 a -3))) 2))) (cbrt.f64 (/.f64 (.f64 c (neg.f64 a)) (.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	0.5b	(/.f64 (.f64 c (neg.f64 a)) (.f64 a (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))))))
	1.4b	(/.f64 (.f64 (cbrt.f64 (/.f64 (.f64 c (neg.f64 a)) a)) (cbrt.f64 (/.f64 (.f64 c (neg.f64 a)) a))) (/.f64 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a -3) (*.f64 b b)))) (cbrt.f64 (neg.f64 c))))
	5.1b	(neg.f64 (fma.f64 9/16 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) (fma.f64 135/128 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 c b) 1/2 (.f64 3/8 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))))))
	0.4b	(/.f64 (/.f64 (.f64 c (neg.f64 a)) a) (+.f64 b (sqrt.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 c (.f64 a -3) (.f64 b b)) 2)) (cbrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b)))))))
	0.5b	(.f64 (/.f64 (.f64 c (neg.f64 a)) a) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b))))))
	0.4b	(/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 c (.f64 a -3) (.f64 b b)))) (neg.f64 c)))

Compiler

Compiled 3096 to 1546 computations (50.1% saved)

regimes3.6s (41.5%)

Accuracy

Total 0.3b remaining (88.7%)

Threshold costs 0.3b (88.7%)

Compiler

Compiled 77286 to 50061 computations (35.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	21
1	20	21
2	24	21
3	27	21
4	28	21
5	28	21

end1.0ms (0%)

Compiler: Compiled 17 to 11 computations (35.3% saved)

sample1.5s (17.1%)

Algorithm

1×

intervals

Results

534.0ms	7691×	body	128	valid
296.0ms	9036×	pre	128	true
65.0ms	1036×	body	128	nan
43.0ms	309×	body	256	valid

Compiler

Compiled 300 to 196 computations (34.7% saved)

Details

analyze436.0ms (5%)

sample49.0ms (0.6%)

simplify361.0ms (4.1%)

prune4.0ms (0%)

localize12.0ms (0.1%)

rewrite214.0ms (2.5%)

series147.0ms (1.7%)

simplify122.0ms (1.4%)

prune77.0ms (0.9%)

localize17.0ms (0.2%)

rewrite283.0ms (3.3%)

series218.0ms (2.5%)

simplify129.0ms (1.5%)

prune108.0ms (1.2%)

localize13.0ms (0.2%)

rewrite203.0ms (2.3%)

series169.0ms (1.9%)

simplify156.0ms (1.8%)

prune119.0ms (1.4%)

localize19.0ms (0.2%)

rewrite192.0ms (2.2%)

series249.0ms (2.9%)

simplify194.0ms (2.2%)

prune115.0ms (1.3%)

regimes3.6s (41.5%)

simplify4.0ms (0%)

end1.0ms (0%)

sample1.5s (17.1%)

Profiling