Details

analyze3.5s (4.3%)

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
6.2%	93.4%	0.4%	9
6.2%	93.4%	0.4%	10
6.2%	93.4%	0.4%	11
6.2%	93.4%	0.4%	12
6.2%	93.4%	0.4%	13
7.8%	91.8%	0.4%	14

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample1.7s (2.1%)

Infinites

2.9% of outputs are infinite.

Results

1.6s

8256×

body

128

valid

Compiler

Compiled 125 to 80 computations (36% saved)

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

prune5.0ms (0%)

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

Counts

3 → 2

Alt Table

Status	Error	Program
▶	27.2b	(/.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))
	27.2b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))

Status

Error

Program

▶

27.2b

(/.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))

27.2b

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

Compiler

Compiled 217 to 126 computations (41.9% 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.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)
✓	26.7b	(/.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))

series12.1s (14.7%)

Counts

4 → 228

Calls

4 calls:

12.0s	(/.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))
64.0ms	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
32.0ms	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)
13.0ms	(fma.f64 y (fma.f64 x y z) 54929528941/2000000)

rewrite10.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:

4.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))
1.0ms	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
1.0ms	(fma.f64 y (fma.f64 x y z) 54929528941/2000000)
0.0ms	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)

simplify614.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

287 → 149

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5227	65273

prune1.4s (1.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	132	17	149
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	134	17	151

Error

5.7b

Counts

151 → 17

Alt Table

Status	Error	Program
	27.7b	(/.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)))
	61.3b	(-.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)))))))))))))))))))))))
	45.6b	(/.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 (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))
	45.2b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	27.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) (cbrt.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))
	47.3b	x
▶	27.4b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) i))
	27.8b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	45.6b	(*.f64 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) 1) (/.f64 (sqrt.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)))
	36.7b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (*.f64 (pow.f64 y 2) a) i))
	29.6b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 t (*.f64 (pow.f64 y 3) z)))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	51.3b	(-.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)))))
	32.0b	(/.f64 (+.f64 (*.f64 28832688827/125000 y) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	43.4b	(/.f64 t i)
	27.9b	(.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (/.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	55.8b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 t (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 (.f64 (pow.f64 y 4) x) (.f64 (pow.f64 y 3) z))))) (*.f64 c y))
	42.9b	(cbrt.f64 (.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 (+.f64 y a) b) c) i)) (/.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))) (/.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 41031 to 26203 computations (36.1% saved)

localize27.0ms (0%)

Local error

Found 4 expressions with local error:

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

series14.8s (18%)

Counts

4 → 240

Calls

4 calls:

13.1s	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) i))
1.3s	(*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)))
380.0ms	(cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))
46.0ms	(.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)))

rewrite53.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-sqr-sqrt_binary64`
30×	`pow1_binary64`
23×	`cbrt-prod_binary64`
23×	`*-un-lft-identity_binary64`
23×	`add-cube-cbrt_binary64`

Counts

4 → 122

Calls

4 calls:

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

simplify707.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

362 → 270

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7171	91221

prune2.5s (3%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	388	2	390
Fresh	1	15	16
Picked	0	1	1
Done	0	0	0
Total	389	18	407

Error

5.7b

Counts

407 → 18

Alt Table

Status	Error	Program
▶	27.7b	(/.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)))
	61.3b	(-.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)))))))))))))))))))))))
	45.6b	(/.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 (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))
	45.2b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	27.8b	(/.f64 (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) (cbrt.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))
	47.3b	x
✓	27.4b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) i))
	27.8b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	45.6b	(*.f64 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) 1) (/.f64 (sqrt.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)))
	29.6b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 t (*.f64 (pow.f64 y 3) z)))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	39.4b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) y) i))
	32.0b	(/.f64 (+.f64 (*.f64 28832688827/125000 y) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	51.3b	(-.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)))))
	43.4b	(/.f64 t i)
	27.9b	(.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))) (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (/.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	55.8b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 t (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 (.f64 (pow.f64 y 4) x) (.f64 (pow.f64 y 3) z))))) (*.f64 c y))
	39.3b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (*.f64 (pow.f64 y 2) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) i))
	42.9b	(cbrt.f64 (.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 (+.f64 y a) b) c) i)) (/.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))) (/.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 81200 to 49675 computations (38.8% saved)

localize45.0ms (0.1%)

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.6b	(/.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)))
✓	26.7b	(/.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))

series16.4s (20%)

Counts

2 → 192

Calls

2 calls:

9.8s

(/.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)))

6.6s

(/.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))

rewrite24.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))

simplify694.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

299 → 214

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8033	113935

prune1.6s (2%)

Pruning

20 alts after pruning (18 fresh and 2 done)

	Pruned	Kept	Total
New	245	9	254
Fresh	7	9	16
Picked	0	1	1
Done	0	1	1
Total	252	20	272

Error

3.3b

Counts

272 → 20

Alt Table

Status	Error	Program
	43.7b	(/.f64 1 (-.f64 (+.f64 (/.f64 i t) (/.f64 (.f64 c y) t)) (.f64 28832688827/125000 (/.f64 (*.f64 i y) (pow.f64 t 2)))))
✓	27.7b	(/.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)))
	61.3b	(-.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)))))))))))))))))))))))
	45.6b	(/.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 (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))
	45.2b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	45.2b	(/.f64 1 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (/.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)))))
✓	27.4b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) i))
	45.6b	(*.f64 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) 1) (/.f64 (sqrt.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)))
	29.6b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 t (*.f64 (pow.f64 y 3) z)))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	27.8b	(/.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) 1)) (/.f64 (cbrt.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)))
▶	27.3b	(/.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))
	27.7b	(/.f64 1 (/.f64 1 (/.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))))
	43.4b	(/.f64 t i)
	52.0b	(/.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))))))))))))
	39.3b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (*.f64 (pow.f64 y 2) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) i))
	51.3b	(-.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)))))
	47.3b	x
	60.3b	(/.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))))))))))))))))))))))))
	45.0b	(/.f64 1 (-.f64 (+.f64 (/.f64 1 x) (/.f64 a (.f64 y x))) (/.f64 z (.f64 y (pow.f64 x 2)))))
	47.3b	(/.f64 1 (/.f64 1 x))

Compiler

Compiled 67795 to 43631 computations (35.6% saved)

localize26.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.2b	(/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))
✓	0.5b	(/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
✓	26.4b	(/.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))

series15.0s (18.3%)

Counts

3 → 204

Calls

3 calls:

14.3s

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

419.0ms

(/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

242.0ms

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

rewrite80.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

439×	`times-frac_binary64`
215×	`*-un-lft-identity_binary64`
215×	`add-sqr-sqrt_binary64`
215×	`add-cube-cbrt_binary64`
51×	`add-exp-log_binary64`

Counts

3 → 295

Calls

3 calls:

8.0ms

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

2.0ms

(/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

2.0ms

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

simplify560.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

499 → 420

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6427	96888

prune1.8s (2.3%)

Pruning

20 alts after pruning (17 fresh and 3 done)

	Pruned	Kept	Total
New	443	0	443
Fresh	0	17	17
Picked	0	1	1
Done	0	2	2
Total	443	20	463

Error

3.3b

Counts

463 → 20

Alt Table

Status	Error	Program
	43.7b	(/.f64 1 (-.f64 (+.f64 (/.f64 i t) (/.f64 (.f64 c y) t)) (.f64 28832688827/125000 (/.f64 (*.f64 i y) (pow.f64 t 2)))))
✓	27.7b	(/.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)))
	61.3b	(-.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)))))))))))))))))))))))
	45.6b	(/.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 (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))
	45.2b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	45.2b	(/.f64 1 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (/.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)))))
✓	27.4b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c)) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) i))
	45.6b	(*.f64 (/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) 1) (/.f64 (sqrt.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)))
	29.6b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 t (*.f64 (pow.f64 y 3) z)))) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	27.8b	(/.f64 (/.f64 1 (/.f64 (*.f64 (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) 1)) (/.f64 (cbrt.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)))
✓	27.3b	(/.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)))
	27.7b	(/.f64 1 (/.f64 1 (/.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))))
	43.4b	(/.f64 t i)
	52.0b	(/.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))))))))))))
	39.3b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y (*.f64 (pow.f64 y 2) (cbrt.f64 (fma.f64 y (fma.f64 y (+.f64 y a) b) c))) i))
	51.3b	(-.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)))))
	47.3b	x
	60.3b	(/.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))))))))))))))))))))))))
	45.0b	(/.f64 1 (-.f64 (+.f64 (/.f64 1 x) (/.f64 a (.f64 y x))) (/.f64 z (.f64 y (pow.f64 x 2)))))
	47.3b	(/.f64 1 (/.f64 1 x))

Compiler

Compiled 63997 to 38097 computations (40.5% saved)

regimes6.7s (8.2%)

Accuracy

Total 7.5b remaining (61.9%)

Threshold costs 0b (0%)

Counts

181 → 5

Compiler

Compiled 82684 to 50166 computations (39.3% saved)

bsearch152.0ms (0.2%)

Steps

Iters	Range		Point
7	4.500162965928608e+56	2.9941926893137174e+58	1.4777067309723976e+58
9	-7.099198446020414e+34	-2.40798682513672e+28	-4.2220150941237535e+34
9	-4.782285271031078e+78	-1.974924557488236e+71	-7.161012571514077e+76
9	-3.6159332013453064e+111	-4.220331381128763e+106	-3.14888652711073e+107

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify28.0ms (0%)

Algorithm

1×	egg-herbie

Rules

55×	`+-commutative_binary64`
51×	`*-commutative_binary64`
34×	`sub-neg_binary64`
30×	`neg-sub0_binary64`
30×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	112	389
1	164	389
2	188	389
3	226	389
4	272	389
5	315	389
6	343	389
7	369	389
8	396	389
9	411	389
10	418	389
11	420	389
12	416	389

end1.2s (1.5%)

Compiler: Compiled 1842 to 1192 computations (35.3% saved)

Iter	Nodes	Cost
0	112	389
1	164	389
2	188	389
3	226	389
4	272	389
5	315	389
6	343	389
7	369	389
8	396	389
9	411	389
10	418	389
11	420	389
12	416	389

Iter	Nodes	Cost
0	112	389
1	164	389
2	188	389
3	226	389
4	272	389
5	315	389
6	343	389
7	369	389
8	396	389
9	411	389
10	418	389
11	420	389
12	416	389

Details

analyze3.5s (4.3%)

sample1.7s (2.1%)

simplify138.0ms (0.2%)

prune5.0ms (0%)

localize19.0ms (0%)

series12.1s (14.7%)

rewrite10.0ms (0%)

simplify614.0ms (0.7%)

prune1.4s (1.7%)

localize27.0ms (0%)

series14.8s (18%)

rewrite53.0ms (0.1%)

simplify707.0ms (0.9%)

prune2.5s (3%)

localize45.0ms (0.1%)

series16.4s (20%)

rewrite24.0ms (0%)

simplify694.0ms (0.8%)

prune1.6s (2%)

localize26.0ms (0%)

series15.0s (18.3%)

rewrite80.0ms (0.1%)

simplify560.0ms (0.7%)

prune1.8s (2.3%)

regimes6.7s (8.2%)

bsearch152.0ms (0.2%)

simplify28.0ms (0%)

end1.2s (1.5%)

Profiling

Iter	Nodes	Cost
0	112	389
1	164	389
2	188	389
3	226	389
4	272	389
5	315	389
6	343	389
7	369	389
8	396	389
9	411	389
10	418	389
11	420	389
12	416	389