Details

analyze2.7s (4.1%)

Algorithm

1×

Search

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

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample1.9s (2.9%)

Results

1.7s	8256×	body	128	valid
47.0ms	235×	body	128	invalid

Compiler

Compiled 125 to 80 computations (36% saved)

simplify133.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2421×	`fma-def_binary64`
572×	`unswap-sqr_binary64`
561×	`sqr-pow_binary64`
359×	`associate-+l+_binary64`
334×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	35
1	49	35
2	103	35
3	204	35
4	509	35
5	1082	35
6	1127	35
7	1208	35
8	1420	35
9	1513	35
10	1689	35
11	2180	35
12	2250	35
13	2279	35
14	2361	35
15	2465	35
16	2589	35
17	2657	35
18	2906	35
19	3318	35
20	3874	35
21	5622	35

prune4.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

31.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	31.0b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

Compiler

Compiled 135 to 74 computations (45.2% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y (fma.f64 x y z) 54929528941/2000000)
✓	0.1b	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
✓	0.1b	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
✓	30.4b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

series9.9s (14.8%)

Counts

4 → 216

Calls

4 calls:

9.8s	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
74.0ms	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
19.0ms	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
10.0ms	(fma.f64 y (fma.f64 x y z) 54929528941/2000000)

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 59

Calls

4 calls:

2.0ms	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
0.0ms	(fma.f64 y (fma.f64 x y z) 54929528941/2000000)
0.0ms	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
0.0ms	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)

simplify425.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

275 → 147

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5225	65157

prune876.0ms (1.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	133	14	147
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	134	14	148

Error

5.3b

Counts

148 → 14

Alt Table

Status	Error	Program
	49.2b	(/.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	31.2b	(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))
	35.6b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	45.4b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x))) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (/.f64 (*.f64 a z) (pow.f64 y 2)))))
	61.1b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 t (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 5) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (/.f64 (.f64 i t) (*.f64 (pow.f64 y 6) (pow.f64 a 2)))))))))))))))))))))))
	33.2b	(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	47.7b	(/.f64 t i)
	53.8b	(*.f64 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	49.4b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 2 (/.f64 (.f64 a (.f64 b x)) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) z) (pow.f64 y 3)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 y 3))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x)))))) (+.f64 (/.f64 (.f64 c x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 (pow.f64 a 3) x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (+.f64 (/.f64 (.f64 b z) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a z) (pow.f64 y 2)) (.f64 54929528941/2000000 (/.f64 a (pow.f64 y 3))))))))))
	38.8b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	43.4b	x
▶	31.1b	(/.f64 (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	53.7b	(-.f64 (+.f64 (/.f64 t i) (+.f64 (.f64 28832688827/125000 (/.f64 y i)) (+.f64 (/.f64 (.f64 (pow.f64 c 2) (.f64 (pow.f64 y 2) t)) (pow.f64 i 3)) (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) i))))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) (.f64 t b)) (pow.f64 i 2)) (+.f64 (/.f64 (.f64 c (.f64 y t)) (pow.f64 i 2)) (.f64 28832688827/125000 (/.f64 (.f64 c (pow.f64 y 2)) (pow.f64 i 2))))))
	47.4b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))

Compiler

Compiled 40708 to 26135 computations (35.8% saved)

localize28.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
✓	0.2b	(*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)))
✓	22.8b	(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))
✓	30.4b	(/.f64 (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

series9.9s (14.8%)

Counts

3 → 168

Calls

3 calls:

9.4s

(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

355.0ms

(*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)))

149.0ms

(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))

rewrite16.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

28×	`add-sqr-sqrt_binary64`
20×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`
19×	`cbrt-prod_binary64`
10×	`pow1_binary64`

Counts

3 → 84

Calls

3 calls:

4.0ms

(*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)))

2.0ms

(/.f64 (fma.f64 y (*.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

1.0ms

(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))

simplify774.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

252 → 208

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6373	81899

prune1.5s (2.3%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	370	2	372
Fresh	0	13	13
Picked	0	1	1
Done	0	0	0
Total	370	16	386

Error

5.3b

Counts

386 → 16

Alt Table

Status	Error	Program
	49.2b	(/.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
▶	31.2b	(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))
	35.6b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	45.4b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x))) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (/.f64 (*.f64 a z) (pow.f64 y 2)))))
	53.2b	(/.f64 (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (pow.f64 y 2)) (log.f64 (/.f64 1 z)))))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	61.1b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 t (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 5) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (/.f64 (.f64 i t) (*.f64 (pow.f64 y 6) (pow.f64 a 2)))))))))))))))))))))))
	33.2b	(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	47.7b	(/.f64 t i)
	53.8b	(*.f64 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	53.5b	(/.f64 (fma.f64 y (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (pow.f64 y 4)) (*.f64 2 (log.f64 (/.f64 1 z)))))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	49.4b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 2 (/.f64 (.f64 a (.f64 b x)) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) z) (pow.f64 y 3)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 y 3))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x)))))) (+.f64 (/.f64 (.f64 c x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 (pow.f64 a 3) x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (+.f64 (/.f64 (.f64 b z) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a z) (pow.f64 y 2)) (.f64 54929528941/2000000 (/.f64 a (pow.f64 y 3))))))))))
	38.8b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	43.4b	x
✓	31.1b	(/.f64 (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	53.7b	(-.f64 (+.f64 (/.f64 t i) (+.f64 (.f64 28832688827/125000 (/.f64 y i)) (+.f64 (/.f64 (.f64 (pow.f64 c 2) (.f64 (pow.f64 y 2) t)) (pow.f64 i 3)) (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) i))))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) (.f64 t b)) (pow.f64 i 2)) (+.f64 (/.f64 (.f64 c (.f64 y t)) (pow.f64 i 2)) (.f64 28832688827/125000 (/.f64 (.f64 c (pow.f64 y 2)) (pow.f64 i 2))))))
	47.4b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))

Compiler

Compiled 72894 to 46811 computations (35.8% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
	0.1b	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
✓	0.2b	(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))
✓	30.4b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))

series14.5s (21.6%)

Counts

2 → 192

Calls

2 calls:

9.3s

(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))

5.2s

(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))

rewrite22.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

84×	`times-frac_binary64`
52×	`*-un-lft-identity_binary64`
52×	`add-sqr-sqrt_binary64`
52×	`add-cube-cbrt_binary64`
16×	`associate-/r*_binary64`

Counts

2 → 107

Calls

2 calls:

4.0ms

(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))

2.0ms

(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))

simplify650.0ms (1%)

Algorithm

1×	egg-herbie

Counts

299 → 214

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8033	113935

prune1.4s (2.1%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	256	3	259
Fresh	3	11	14
Picked	0	1	1
Done	0	1	1
Total	259	16	275

Error

2.9b

Counts

275 → 16

Alt Table

Status	Error	Program
	50.7b	(/.f64 1 (-.f64 (+.f64 (/.f64 (pow.f64 z 2) (.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (/.f64 b (.f64 (pow.f64 y 2) x)) (+.f64 (/.f64 1 x) (+.f64 (/.f64 a (.f64 y x)) (+.f64 (/.f64 c (.f64 (pow.f64 y 3) x)) (+.f64 (.f64 54929528941/1000000 (/.f64 z (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (/.f64 (.f64 a (pow.f64 z 2)) (.f64 (pow.f64 y 3) (pow.f64 x 3))))))))) (+.f64 (/.f64 (.f64 b z) (.f64 (pow.f64 y 3) (pow.f64 x 2))) (+.f64 (/.f64 (pow.f64 z 3) (.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 z (.f64 y (pow.f64 x 2))) (+.f64 (/.f64 (.f64 a z) (.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 a (.f64 (pow.f64 y 3) (pow.f64 x 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 28832688827/125000 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 2))))))))))))
	53.5b	(/.f64 (fma.f64 y (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (pow.f64 y 4)) (*.f64 2 (log.f64 (/.f64 1 z)))))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	49.2b	(/.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
✓	31.2b	(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))
	45.4b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x))) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (/.f64 (*.f64 a z) (pow.f64 y 2)))))
	53.2b	(/.f64 (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (exp.f64 (*.f64 1/3 (-.f64 (log.f64 (pow.f64 y 2)) (log.f64 (/.f64 1 z)))))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	59.0b	(/.f64 1 (-.f64 (+.f64 (/.f64 i (.f64 (pow.f64 y 3) z)) (+.f64 (/.f64 c (.f64 (pow.f64 y 2) z)) (+.f64 (/.f64 y z) (+.f64 (/.f64 a z) (/.f64 b (.f64 y z)))))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 5) (pow.f64 z 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 z 2))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 z 2))) (+.f64 (/.f64 (.f64 b x) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 a t) (.f64 (pow.f64 y 3) (pow.f64 z 2))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 a (.f64 (pow.f64 y 2) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 z 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 a (.f64 y (pow.f64 z 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 y 6) (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 a (.f64 y x)) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 z 2)) (/.f64 t (*.f64 (pow.f64 y 2) (pow.f64 z 2))))))))))))))))))))))))
✓	31.1b	(/.f64 (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	61.1b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 t (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 5) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (/.f64 (.f64 i t) (*.f64 (pow.f64 y 6) (pow.f64 a 2)))))))))))))))))))))))
▶	33.2b	(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	47.7b	(/.f64 t i)
	53.8b	(*.f64 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	42.3b	(/.f64 1 (-.f64 (+.f64 (/.f64 1 x) (/.f64 a (.f64 y x))) (/.f64 z (.f64 y (pow.f64 x 2)))))
	38.8b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	43.4b	x
	47.4b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))

Compiler

Compiled 67730 to 43598 computations (35.6% saved)

localize19.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)
✓	0.1b	(fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t)
✓	0.1b	(fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000)
✓	29.4b	(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

series6.0s (9%)

Counts

4 → 192

Calls

4 calls:

6.0s	(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
24.0ms	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)
20.0ms	(fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t)
7.0ms	(fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000)

rewrite7.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`*-un-lft-identity_binary64`
12×	`add-sqr-sqrt_binary64`
12×	`add-cube-cbrt_binary64`
9×	`times-frac_binary64`
6×	`add-cbrt-cube_binary64`

Counts

4 → 59

Calls

4 calls:

2.0ms	(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
0.0ms	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)
0.0ms	(fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t)
0.0ms	(fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000)

simplify413.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1391×	`fma-def_binary64`
5×	`fma-udef_binary64`

Counts

251 → 210

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4238	47531
1	5635	47531

prune1.3s (1.9%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	207	3	210
Fresh	5	8	13
Picked	0	1	1
Done	0	2	2
Total	212	14	226

Error

2.7b

Counts

226 → 14

Alt Table

Status	Error	Program
	49.2b	(/.f64 (cbrt.f64 (.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
✓	31.2b	(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))
	38.8b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	61.5b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (/.f64 z a) (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2))))))) (+.f64 (/.f64 (.f64 b z) (.f64 y (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 t (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 5) (pow.f64 a 2))) (/.f64 (.f64 i t) (.f64 (pow.f64 y 6) (pow.f64 a 2)))))))))))))))))))
	59.0b	(/.f64 1 (-.f64 (+.f64 (/.f64 i (.f64 (pow.f64 y 3) z)) (+.f64 (/.f64 c (.f64 (pow.f64 y 2) z)) (+.f64 (/.f64 y z) (+.f64 (/.f64 a z) (/.f64 b (.f64 y z)))))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 5) (pow.f64 z 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 z 2))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 z 2))) (+.f64 (/.f64 (.f64 b x) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 a t) (.f64 (pow.f64 y 3) (pow.f64 z 2))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 a (.f64 (pow.f64 y 2) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 z 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 a (.f64 y (pow.f64 z 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 y 6) (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 a (.f64 y x)) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 z 2)) (/.f64 t (*.f64 (pow.f64 y 2) (pow.f64 z 2))))))))))))))))))))))))
✓	31.1b	(/.f64 (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	53.8b	(*.f64 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	60.1b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 a (.f64 b z)) (pow.f64 y 4)) (fma.f64 54929528941/2000000 (/.f64 (pow.f64 a 2) (pow.f64 y 4)) (+.f64 (/.f64 (.f64 (pow.f64 a 2) z) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a (.f64 z b)) (pow.f64 y 4)) (fma.f64 28832688827/125000 (/.f64 1 (pow.f64 y 3)) (fma.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2)) (/.f64 t (pow.f64 y 4))))))))) (+.f64 (/.f64 (.f64 z b) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 (pow.f64 a 3) z) (pow.f64 y 4)) (fma.f64 28832688827/125000 (/.f64 a (pow.f64 y 4)) (+.f64 (/.f64 (.f64 a z) (pow.f64 y 2)) (fma.f64 54929528941/2000000 (/.f64 a (pow.f64 y 3)) (fma.f64 54929528941/2000000 (/.f64 b (pow.f64 y 4)) (/.f64 (*.f64 c z) (pow.f64 y 4)))))))))
	50.7b	(/.f64 1 (-.f64 (+.f64 (/.f64 (pow.f64 z 2) (.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (/.f64 b (.f64 (pow.f64 y 2) x)) (+.f64 (/.f64 1 x) (+.f64 (/.f64 a (.f64 y x)) (+.f64 (/.f64 c (.f64 (pow.f64 y 3) x)) (+.f64 (.f64 54929528941/1000000 (/.f64 z (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (/.f64 (.f64 a (pow.f64 z 2)) (.f64 (pow.f64 y 3) (pow.f64 x 3))))))))) (+.f64 (/.f64 (.f64 b z) (.f64 (pow.f64 y 3) (pow.f64 x 2))) (+.f64 (/.f64 (pow.f64 z 3) (.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 z (.f64 y (pow.f64 x 2))) (+.f64 (/.f64 (.f64 a z) (.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 a (.f64 (pow.f64 y 3) (pow.f64 x 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 28832688827/125000 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 2))))))))))))
	42.3b	(/.f64 1 (-.f64 (+.f64 (/.f64 1 x) (/.f64 a (.f64 y x))) (/.f64 z (.f64 y (pow.f64 x 2)))))
	57.5b	(-.f64 (+.f64 (/.f64 z y) (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2)))) (/.f64 (.f64 a z) (pow.f64 y 2)))
	43.4b	x
	47.4b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
✓	33.2b	(/.f64 (fma.f64 y (fma.f64 y (+.f64 54929528941/2000000 (*.f64 y z)) 28832688827/125000) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

Compiler

Compiled 60680 to 39327 computations (35.2% saved)

regimes13.7s (20.4%)

Accuracy

Total 6.3b remaining (56.9%)

Threshold costs 0b (0%)

Counts

240 → 3

Compiler

Compiled 105832 to 65844 computations (37.8% saved)

bsearch67.0ms (0.1%)

Steps

Iters	Range		Point
9	1.0373397946227398e+70	9.520214539219139e+76	1.0529370356526097e+70
4	-8.081401434906018e+63	-4.5412670208508795e+63	-4.6284683587022715e+63

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
5×	`*-commutative_binary64`
5×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	34	65
1	44	65
2	50	65
3	60	65
4	67	65
5	72	65
6	74	65
7	73	65

end586.0ms (0.9%)

Compiler: Compiled 1224 to 812 computations (33.7% saved)

Details

analyze2.7s (4.1%)

sample1.9s (2.9%)

simplify133.0ms (0.2%)

prune4.0ms (0%)

localize19.0ms (0%)

series9.9s (14.8%)

rewrite8.0ms (0%)

simplify425.0ms (0.6%)

prune876.0ms (1.3%)

localize28.0ms (0%)

series9.9s (14.8%)

rewrite16.0ms (0%)

simplify774.0ms (1.2%)

prune1.5s (2.3%)

localize19.0ms (0%)

series14.5s (21.6%)

rewrite22.0ms (0%)

simplify650.0ms (1%)

prune1.4s (2.1%)

localize19.0ms (0%)

series6.0s (9%)

rewrite7.0ms (0%)

simplify413.0ms (0.6%)

prune1.3s (1.9%)

regimes13.7s (20.4%)

bsearch67.0ms (0.1%)

simplify4.0ms (0%)

end586.0ms (0.9%)

Profiling