Details

analyze346.0ms (5.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 43 to 31 computations (27.9% saved)

sample1.5s (21.6%)

Results

1.1s	7925×	body	128	valid
142.0ms	1014×	body	128	invalid
83.0ms	331×	body	256	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify352.0ms (5.2%)

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

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.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.9b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 a (.f64 c -3) (.f64 b b))
✓	0.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
✓	0.4b	(/.f64 1/3 a)
✓	27.8b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)

series161.0ms (2.4%)

Counts

4 → 76

Calls

4 calls:

85.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
52.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)
22.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
1.0ms	(/.f64 1/3 a)

rewrite82.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

781×	`prod-diff_binary64`
245×	`log1p-udef_binary64`
164×	`egg-rr`
139×	`add-sqr-sqrt_binary64`
133×	`log1p-expm1-u_binary64`

Counts

4 → 164

Calls

4 calls:

78.0ms	(fma.f64 a (.f64 c -3) (.f64 b b))
78.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a))
78.0ms	(/.f64 1/3 a)
78.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) b)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	53
1	280	53
2	3406	53
3	5118	53
0	0	0
1	0	0

simplify70.0ms (1%)

Algorithm

1×	egg-herbie

Rules

744×	`times-frac_binary64`
459×	`associate-/l*_binary64`
396×	`associate-/r*_binary64`
333×	`fma-def_binary64`
308×	`fma-neg_binary64`

Counts

240 → 216

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	119	1772
1	368	1700
2	1240	1671
3	4908	1665
4	5068	1665

prune188.0ms (2.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	195	21	216
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	197	21	218

Error

0.8b

Counts

218 → 21

Alt Table

Status	Error	Program
	12.5b	(.f64 (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (.f64 -3/2 (/.f64 (.f64 c a) b))) (/.f64 1/3 a))
	28.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))
	26.8b	(.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) (/.f64 1/3 a))
	29.1b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a))
	26.8b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) 1/3) (.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) a))
	28.8b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/3 a))
	26.8b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) 1/3) (.f64 (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (sqrt.f64 (/.f64 1/3 a)) 2))
	29.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	35.3b	(log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))))
▶	5.4b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	30.2b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))) (/.f64 1/3 a))
	29.9b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	28.4b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (/.f64 1/3 a)) (.f64 (neg.f64 b) (/.f64 1/3 a)))
	5.7b	(.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 (.f64 (pow.f64 c 3) (pow.f64 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.0b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	28.0b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b)) 3) (/.f64 1/3 a))
	26.8b	(/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 3) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	26.8b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/3 a))
	38.9b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))) 1)

Compiler

Compiled 6948 to 4120 computations (40.7% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series205.0ms (3%)

Counts

4 → 120

Calls

4 calls:

104.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
69.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
18.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
14.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite83.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

189×	`add-sqr-sqrt_binary64`
185×	`log1p-expm1-u_binary64`
185×	`expm1-log1p-u_binary64`
180×	`add-cbrt-cube_binary64`
178×	`add-log-exp_binary64`

Counts

4 → 124

Calls

4 calls:

80.0ms	(/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3))
80.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
80.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
80.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	49
1	413	49
2	4874	49
3	4912	49
0	0	0
1	0	0

simplify52.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

894×	`associate-/l*_binary64`
694×	`associate-l_binary64`
580×	`associate-r_binary64`
453×	`associate-/r*_binary64`
269×	`unswap-sqr_binary64`

Counts

244 → 130

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	1524
1	56	1524
2	177	1524
3	785	1524
4	4940	1524

prune215.0ms (3.2%)

Pruning

23 alts after pruning (22 fresh and 1 done)

	Pruned	Kept	Total
New	128	2	130
Fresh	0	20	20
Picked	0	1	1
Done	0	0	0
Total	128	23	151

Error

0.8b

Counts

151 → 23

Alt Table

Status	Error	Program
	12.5b	(.f64 (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)) -9/8 (.f64 -3/2 (/.f64 (.f64 c a) b))) (/.f64 1/3 a))
	28.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))
	26.8b	(.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) (/.f64 1/3 a))
	29.1b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a))
	26.8b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) 1/3) (.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) a))
	28.8b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/3 a))
	26.8b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) 1/3) (.f64 (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (sqrt.f64 (/.f64 1/3 a)) 2))
	29.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	35.3b	(log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))))
✓	5.4b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	30.2b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))) (/.f64 1/3 a))
	29.9b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	11.0b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
	38.9b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))) 1)
	33.0b	(fma.f64 (/.f64 (log.f64 (pow.f64 (pow.f64 (exp.f64 a) a) (pow.f64 c 3))) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.4b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (/.f64 1/3 a)) (.f64 (neg.f64 b) (/.f64 1/3 a)))
▶	5.7b	(.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 (.f64 (pow.f64 c 3) (pow.f64 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.0b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	28.0b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b)) 3) (/.f64 1/3 a))
	26.8b	(/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 3) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	26.8b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/3 a))

Compiler

Compiled 7504 to 4632 computations (38.3% saved)

localize28.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.4b	(/.f64 1/3 a)
✓	0.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 (.f64 (pow.f64 c 3) (pow.f64 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))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
✓	0.4b	(.f64 (.f64 c a) (*.f64 c a))

series195.0ms (2.9%)

Counts

3 → 60

Calls

3 calls:

99.0ms

(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))

85.0ms

(*.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 (*.f64 (pow.f64 c 3) (pow.f64 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))

11.0ms

(*.f64 (*.f64 c a) (*.f64 c a))

rewrite43.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

363×	`log1p-expm1-u_binary64`
363×	`expm1-log1p-u_binary64`
350×	`add-cbrt-cube_binary64`
347×	`add-log-exp_binary64`
346×	`add-exp-log_binary64`

Counts

3 → 44

Calls

3 calls:

41.0ms

(*.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 (*.f64 (pow.f64 c 3) (pow.f64 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))

41.0ms

(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))

41.0ms

(*.f64 (*.f64 c a) (*.f64 c a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	35	86
1	794	86
2	5294	86
0	0	0
1	0	0

simplify77.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

953×	`fma-neg_binary64`
399×	`distribute-rgt-neg-in_binary64`
305×	`unswap-sqr_binary64`
284×	`neg-mul-1_binary64`
262×	`distribute-neg-frac_binary64`

Counts

104 → 59

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	49	1686
1	152	1686
2	511	1632
3	2537	1632
4	4583	1632
5	4985	1632

prune164.0ms (2.4%)

Pruning

31 alts after pruning (30 fresh and 1 done)

	Pruned	Kept	Total
New	71	10	81
Fresh	1	20	21
Picked	1	0	1
Done	0	1	1
Total	73	31	104

Error

0.7b

Counts

104 → 31

Alt Table

Status	Error	Program
	26.8b	(.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) (/.f64 1/3 a))
	29.1b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a))
	26.8b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) 1/3) (.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) a))
	6.5b	(pow.f64 (cbrt.f64 (.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) (/.f64 1/3 a))) 3)
	28.8b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/3 a))
	26.8b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) 1/3) (.f64 (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (sqrt.f64 (/.f64 1/3 a)) 2))
	29.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	35.3b	(log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))))
▶	5.7b	(/.f64 (.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) 1/3) a)
✓	5.4b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.0b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) (/.f64 1/3 a)))) 1)
	28.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	30.2b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))) (/.f64 1/3 a))
	29.9b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	6.3b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (.f64 (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 2) (cbrt.f64 (/.f64 1/3 a))))
	7.5b	(.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 (log.f64 (+.f64 1 (expm1.f64 (/.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.0b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b)) 3) (/.f64 1/3 a))
	6.7b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	26.8b	(/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 3) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	5.7b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (pow.f64 (.f64 a 3) -1))
	26.8b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/3 a))
	11.0b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
	32.8b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (log.f64 (exp.f64 (/.f64 1/3 a))))
	38.9b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))) 1)
	33.0b	(fma.f64 (/.f64 (log.f64 (pow.f64 (pow.f64 (exp.f64 a) a) (pow.f64 c 3))) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.4b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (/.f64 1/3 a)) (.f64 (neg.f64 b) (/.f64 1/3 a)))
	28.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))
	28.0b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	6.3b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	6.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (exp.f64 (log.f64 (/.f64 1/3 a))))

Compiler

Compiled 6381 to 4154 computations (34.9% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (*.f64 c a) 2)
✓	0.4b	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) 1/3)
✓	0.7b	(pow.f64 (*.f64 c a) 3)
✓	0.8b	(pow.f64 (*.f64 c a) 4)

series108.0ms (1.6%)

Counts

4 → 108

Calls

4 calls:

73.0ms	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) 1/3)
15.0ms	(pow.f64 (*.f64 c a) 4)
12.0ms	(pow.f64 (*.f64 c a) 3)
7.0ms	(pow.f64 (*.f64 c a) 2)

rewrite67.0ms (1%)

Algorithm

2×	batch-egg-rewrite

Rules

319×	`log1p-expm1-u_binary64`
319×	`expm1-log1p-u_binary64`
307×	`add-cbrt-cube_binary64`
306×	`add-log-exp_binary64`
305×	`add-exp-log_binary64`

Counts

4 → 60

Calls

4 calls:

66.0ms	(pow.f64 (*.f64 c a) 2)
66.0ms	(.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) 1/3)
66.0ms	(pow.f64 (*.f64 c a) 3)
66.0ms	(pow.f64 (*.f64 c a) 4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	84
1	697	84
2	4906	84
3	4761	84
0	0	0
1	0	0

simplify73.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

929×	`fma-neg_binary64`
485×	`distribute-rgt-neg-in_binary64`
371×	`unswap-sqr_binary64`
290×	`distribute-neg-frac_binary64`
269×	`times-frac_binary64`

Counts

168 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	49	2295
1	151	2295
2	530	2241
3	2787	2241
4	5011	2241

prune138.0ms (2%)

Pruning

33 alts after pruning (32 fresh and 1 done)

	Pruned	Kept	Total
New	71	3	74
Fresh	0	29	29
Picked	1	0	1
Done	0	1	1
Total	72	33	105

Error

0.7b

Counts

105 → 33

Alt Table

Status	Error	Program
	26.8b	(.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) (/.f64 1/3 a))
	29.1b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/3 a))
	5.9b	(/.f64 (cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) 1/3) 3)) a)
	28.0b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/3 a))
	6.4b	(/.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) 1/3)) 3) a)
	26.8b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b b)) 1/3) (.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) a))
	6.5b	(pow.f64 (cbrt.f64 (.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) (/.f64 1/3 a))) 3)
	28.8b	(.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (/.f64 1/3 a))
	26.8b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) 1/3) (.f64 (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))))) a))
	27.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (sqrt.f64 (/.f64 1/3 a)) 2))
	29.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	35.3b	(log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))))
	8.0b	(/.f64 (neg.f64 (+.f64 (.f64 1/2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 3/8 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (.f64 9/16 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)))))) a)
✓	5.4b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.0b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (.f64 -3/2 (/.f64 (.f64 c a) b)) (fma.f64 9/8 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 27/16 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 405/128 (/.f64 (pow.f64 (*.f64 c a) 4) (pow.f64 b 7)))))) (/.f64 1/3 a)))) 1)
	28.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	30.2b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b))) (/.f64 1/3 a))
	29.9b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b)))) (neg.f64 b)) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/3 a))
	6.3b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (.f64 (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 2) (cbrt.f64 (/.f64 1/3 a))))
	7.5b	(.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 (log.f64 (+.f64 1 (expm1.f64 (/.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.0b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b)) 3) (/.f64 1/3 a))
	6.7b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (pow.f64 (pow.f64 (/.f64 1/3 a) 3) 1/3))
	26.8b	(/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 b 3)) (.f64 (.f64 a 3) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))))))))
	5.7b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (pow.f64 (.f64 a 3) -1))
	26.8b	(.f64 (/.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) 3/2) (pow.f64 (neg.f64 b) 3)) (+.f64 (fma.f64 a (.f64 c -3) (.f64 b b)) (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) (neg.f64 b))))) (/.f64 1/3 a))
	11.0b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (-.f64 (exp.f64 (log1p.f64 (/.f64 (.f64 c (.f64 a c)) (pow.f64 b 3)))) 1) -3/8 (.f64 -1/2 (/.f64 c b)))))
	32.8b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (log.f64 (exp.f64 (/.f64 1/3 a))))
	38.9b	(-.f64 (exp.f64 (log1p.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (*.f64 b b))) b) (/.f64 1/3 a)))) 1)
	33.0b	(fma.f64 (/.f64 (log.f64 (pow.f64 (pow.f64 (exp.f64 a) a) (pow.f64 c 3))) (pow.f64 b 5)) -9/16 (fma.f64 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) -135/128 (fma.f64 (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)) -3/8 (.f64 -1/2 (/.f64 c b)))))
	28.4b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -3) (.f64 b b))) (/.f64 1/3 a)) (.f64 (neg.f64 b) (/.f64 1/3 a)))
	28.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))
	6.3b	(.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (pow.f64 (cbrt.f64 (/.f64 1/3 a)) 3))
	6.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 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 405/128 (/.f64 (*.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7)))))) (exp.f64 (log.f64 (/.f64 1/3 a))))

Compiler

Compiled 4747 to 3014 computations (36.5% saved)

regimes1.8s (26.3%)

Accuracy

Total 4.6b remaining (89.6%)

Threshold costs 0b (0%)

Counts

162 → 2

Compiler

Compiled 28561 to 19391 computations (32.1% saved)

bsearch9.0ms (0.1%)

Compiler: Compiled 20 to 14 computations (30% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative_binary64`
10×	`+-commutative_binary64`
8×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	55	136
1	81	134
2	101	134
3	112	134
4	119	134
5	121	134
6	119	134

end825.0ms (12.1%)

Compiler: Compiled 1555 to 1046 computations (32.7% saved)

Details

analyze346.0ms (5.1%)

sample1.5s (21.6%)

simplify352.0ms (5.2%)

prune4.0ms (0.1%)

localize9.0ms (0.1%)

series161.0ms (2.4%)

rewrite82.0ms (1.2%)

simplify70.0ms (1%)

prune188.0ms (2.8%)

localize25.0ms (0.4%)

series205.0ms (3%)

rewrite83.0ms (1.2%)

simplify52.0ms (0.8%)

prune215.0ms (3.2%)

localize28.0ms (0.4%)

series195.0ms (2.9%)

rewrite43.0ms (0.6%)

simplify77.0ms (1.1%)

prune164.0ms (2.4%)

localize25.0ms (0.4%)

series108.0ms (1.6%)

rewrite67.0ms (1%)

simplify73.0ms (1.1%)

prune138.0ms (2%)

regimes1.8s (26.3%)

bsearch9.0ms (0.1%)

simplify6.0ms (0.1%)

end825.0ms (12.1%)

Profiling