Details

analyze3.4s (6%)

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 (3.4%)

Results

1.8s	8256×	body	128	valid
50.0ms	237×	body	128	invalid

Compiler

Compiled 125 to 80 computations (36% saved)

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

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

29.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	29.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.1b	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)
✓	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)
✓	28.3b	(/.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))

series10.2s (17.7%)

Counts

4 → 228

Calls

4 calls:

10.1s	(/.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))
59.0ms	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
27.0ms	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)
20.0ms	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 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 (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 y (+.f64 y a) b) c)
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)

simplify690.0ms (1.2%)

Algorithm

1×	egg-herbie

Counts

287 → 154

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5236	65553

prune899.0ms (1.6%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	136	18	154
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	137	18	155

Error

7.0b

Counts

155 → 18

Alt Table

Status	Error	Program
▶	29.0b	(/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	29.1b	(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
	29.5b	(.f64 (.f64 (cbrt.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))) (cbrt.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)))) (cbrt.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))))
	48.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)))))
	29.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))
	29.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)))
	44.3b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	49.1b	(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))))
	47.7b	x
	29.5b	(.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))) 1) (/.f64 (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)))
	61.5b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 2) b)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y b))) (+.f64 (/.f64 (.f64 y z) b) (+.f64 (.f64 54929528941/2000000 (/.f64 1 b)) (/.f64 (.f64 (pow.f64 y 2) x) b))))) (+.f64 (/.f64 (.f64 i x) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 3) (pow.f64 b 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (pow.f64 b 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 3) (pow.f64 b 2)))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 y 4) (pow.f64 b 2))) (+.f64 (/.f64 t (pow.f64 b 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 a x)) (pow.f64 b 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 2) (pow.f64 b 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 y a) (pow.f64 b 2))) (+.f64 (.f64 28832688827/125000 (/.f64 a (pow.f64 b 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 2) z)) (pow.f64 b 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 y (pow.f64 b 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (.f64 a t) (.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (.f64 c z) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 c (.f64 y x)) (pow.f64 b 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 2) (pow.f64 b 2)))) (*.f64 28832688827/125000 (/.f64 y (pow.f64 b 2)))))))))))))))))))))))
	53.8b	(-.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))))))
	61.0b	(-.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)))))))))))))))))))))))
	46.7b	(/.f64 t i)
	56.3b	(/.f64 (.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))
	46.1b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	45.8b	(/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
	29.5b	(.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))))

Compiler

Compiled 41744 to 26694 computations (36.1% saved)

localize25.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	4.8b	(*.f64 (pow.f64 y 3) x)
✓	6.1b	(+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z))))
✓	8.4b	(*.f64 (pow.f64 y 2) z)
✓	28.3b	(/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

series9.8s (16.9%)

Counts

4 → 125

Calls

4 calls:

9.7s	(/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
28.0ms	(+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z))))
11.0ms	(*.f64 (pow.f64 y 3) x)
9.0ms	(*.f64 (pow.f64 y 2) z)

rewrite27.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-sqr-sqrt_binary64`
20×	`associate-l_binary64`
19×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
16×	`add-exp-log_binary64`

Counts

4 → 108

Calls

4 calls:

8.0ms	(+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z))))
7.0ms	(*.f64 (pow.f64 y 3) x)
4.0ms	(*.f64 (pow.f64 y 2) z)
2.0ms	(/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

simplify375.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

233 → 171

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5299	64521

prune904.0ms (1.6%)

Pruning

19 alts after pruning (18 fresh and 1 done)

	Pruned	Kept	Total
New	169	2	171
Fresh	1	16	17
Picked	0	1	1
Done	0	0	0
Total	170	19	189

Error

7.0b

Counts

189 → 19

Alt Table

Status	Error	Program
✓	29.0b	(/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
▶	29.1b	(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
	48.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)))))
	29.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))
	29.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)))
	44.3b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	49.1b	(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))))
	47.7b	x
	29.5b	(.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))) 1) (/.f64 (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)))
	61.5b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 2) b)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y b))) (+.f64 (/.f64 (.f64 y z) b) (+.f64 (.f64 54929528941/2000000 (/.f64 1 b)) (/.f64 (.f64 (pow.f64 y 2) x) b))))) (+.f64 (/.f64 (.f64 i x) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 3) (pow.f64 b 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (pow.f64 b 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 3) (pow.f64 b 2)))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 y 4) (pow.f64 b 2))) (+.f64 (/.f64 t (pow.f64 b 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 a x)) (pow.f64 b 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 2) (pow.f64 b 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 y a) (pow.f64 b 2))) (+.f64 (.f64 28832688827/125000 (/.f64 a (pow.f64 b 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 2) z)) (pow.f64 b 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 y (pow.f64 b 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (.f64 a t) (.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (.f64 c z) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 c (.f64 y x)) (pow.f64 b 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 2) (pow.f64 b 2)))) (*.f64 28832688827/125000 (/.f64 y (pow.f64 b 2)))))))))))))))))))))))
	53.8b	(-.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))))))
	61.0b	(-.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)))))))))))))))))))))))
	46.7b	(/.f64 t i)
	29.5b	(/.f64 (/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (.f64 (pow.f64 y 2) z)))) 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)))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
	29.5b	(.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))))
	56.3b	(/.f64 (.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))
	29.2b	(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t)))
	46.1b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	45.8b	(/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))

Compiler

Compiled 43365 to 27918 computations (35.6% saved)

localize23.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	(/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	0.1b	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
✓	28.3b	(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))

series9.4s (16.3%)

Counts

2 → 156

Calls

2 calls:

9.0s

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

413.0ms

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

rewrite14.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

25×	`add-sqr-sqrt_binary64`
20×	`times-frac_binary64`
19×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
15×	`add-exp-log_binary64`

Counts

2 → 71

Calls

2 calls:

5.0ms

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

simplify417.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

227 → 180

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5881	72897

prune935.0ms (1.6%)

Pruning

19 alts after pruning (17 fresh and 2 done)

	Pruned	Kept	Total
New	223	2	225
Fresh	2	15	17
Picked	0	1	1
Done	0	1	1
Total	225	19	244

Error

7.0b

Counts

244 → 19

Alt Table

Status	Error	Program
✓	29.0b	(/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
✓	29.1b	(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
	29.5b	(.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (*.f64 (cbrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (cbrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))) (cbrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	48.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)))))
	29.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)))
	44.3b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	49.1b	(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))))
	47.7b	x
	29.5b	(.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))) 1) (/.f64 (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)))
	61.5b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 2) b)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y b))) (+.f64 (/.f64 (.f64 y z) b) (+.f64 (.f64 54929528941/2000000 (/.f64 1 b)) (/.f64 (.f64 (pow.f64 y 2) x) b))))) (+.f64 (/.f64 (.f64 i x) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 3) (pow.f64 b 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (pow.f64 b 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 3) (pow.f64 b 2)))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 y 4) (pow.f64 b 2))) (+.f64 (/.f64 t (pow.f64 b 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 a x)) (pow.f64 b 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 2) (pow.f64 b 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 y a) (pow.f64 b 2))) (+.f64 (.f64 28832688827/125000 (/.f64 a (pow.f64 b 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 2) z)) (pow.f64 b 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 y (pow.f64 b 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (.f64 a t) (.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (.f64 c z) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 c (.f64 y x)) (pow.f64 b 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 2) (pow.f64 b 2)))) (*.f64 28832688827/125000 (/.f64 y (pow.f64 b 2)))))))))))))))))))))))
	53.8b	(-.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))))))
	61.0b	(-.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)))))))))))))))))))))))
	46.7b	(/.f64 t i)
	45.8b	(/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
▶	29.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) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
	56.3b	(/.f64 (.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))
	29.2b	(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t)))
	46.1b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	29.5b	(/.f64 (/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (.f64 (pow.f64 y 2) z)))) 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)))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))

Compiler

Compiled 49377 to 31316 computations (36.6% saved)

localize25.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.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)))
✓	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)))
✓	21.9b	(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))
✓	28.3b	(.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) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))

series9.5s (16.5%)

Counts

4 → 204

Calls

4 calls:

9.0s	(.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) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
348.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)))
156.0ms	(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))
25.0ms	(.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)))

rewrite32.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`add-sqr-sqrt_binary64`
32×	`pow1_binary64`
25×	`associate-r_binary64`
24×	`*-un-lft-identity_binary64`
23×	`cbrt-prod_binary64`

Counts

4 → 131

Calls

4 calls:

8.0ms	(.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)))
5.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) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
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)))
1.0ms	(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))

simplify498.0ms (0.9%)

Algorithm

1×	egg-herbie

Counts

335 → 265

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6400	84446

prune1.5s (2.6%)

Pruning

19 alts after pruning (16 fresh and 3 done)

	Pruned	Kept	Total
New	363	0	363
Fresh	0	16	16
Picked	0	1	1
Done	0	2	2
Total	363	19	382

Error

7.0b

Counts

382 → 19

Alt Table

Status	Error	Program
✓	29.0b	(/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
✓	29.1b	(*.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
	29.5b	(.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (*.f64 (cbrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (cbrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))) (cbrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	48.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)))))
	29.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)))
	44.3b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	49.1b	(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))))
	47.7b	x
	29.5b	(.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))) 1) (/.f64 (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)))
	61.5b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 2) b)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y b))) (+.f64 (/.f64 (.f64 y z) b) (+.f64 (.f64 54929528941/2000000 (/.f64 1 b)) (/.f64 (.f64 (pow.f64 y 2) x) b))))) (+.f64 (/.f64 (.f64 i x) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 3) (pow.f64 b 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (pow.f64 b 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 3) (pow.f64 b 2)))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 y 4) (pow.f64 b 2))) (+.f64 (/.f64 t (pow.f64 b 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 a x)) (pow.f64 b 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 2) (pow.f64 b 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 y a) (pow.f64 b 2))) (+.f64 (.f64 28832688827/125000 (/.f64 a (pow.f64 b 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 2) z)) (pow.f64 b 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 y (pow.f64 b 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (.f64 a t) (.f64 y (pow.f64 b 2))) (+.f64 (/.f64 (.f64 c z) (pow.f64 b 2)) (+.f64 (/.f64 (.f64 c (.f64 y x)) (pow.f64 b 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 2) (pow.f64 b 2)))) (*.f64 28832688827/125000 (/.f64 y (pow.f64 b 2)))))))))))))))))))))))
	53.8b	(-.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))))))
	61.0b	(-.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)))))))))))))))))))))))
	46.7b	(/.f64 t i)
	45.8b	(/.f64 (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)) (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
✓	29.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) (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
	56.3b	(/.f64 (.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))
	29.2b	(/.f64 1 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i) (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (*.f64 (pow.f64 y 2) z)))) t)))
	46.1b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	29.5b	(/.f64 (/.f64 (fma.f64 y (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 28832688827/125000 (+.f64 (.f64 54929528941/2000000 y) (.f64 (pow.f64 y 2) z)))) 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)))) (cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))

Compiler

Compiled 72331 to 46665 computations (35.5% saved)

regimes6.2s (10.7%)

Accuracy

Total 3.9b remaining (34%)

Threshold costs 0b (0%)

Counts

165 → 3

Compiler

Compiled 77284 to 45648 computations (40.9% saved)

bsearch69.0ms (0.1%)

Steps

Iters	Range		Point
7	4.199982977715551e+52	1.2331742234810425e+54	3.0992921365356603e+53
8	-4.532645180652567e+72	-2.4992495233658004e+69	-3.957368190924148e+69

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
9×	`*-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	42	77
1	59	77
2	65	77
3	75	77
4	82	77
5	87	77
6	89	77
7	87	77

end628.0ms (1.1%)

Compiler: Compiled 1417 to 877 computations (38.1% saved)

Details

analyze3.4s (6%)

sample1.9s (3.4%)

simplify134.0ms (0.2%)

prune5.0ms (0%)

localize19.0ms (0%)

series10.2s (17.7%)

rewrite7.0ms (0%)

simplify690.0ms (1.2%)

prune899.0ms (1.6%)

localize25.0ms (0%)

series9.8s (16.9%)

rewrite27.0ms (0%)

simplify375.0ms (0.6%)

prune904.0ms (1.6%)

localize23.0ms (0%)

series9.4s (16.3%)

rewrite14.0ms (0%)

simplify417.0ms (0.7%)

prune935.0ms (1.6%)

localize25.0ms (0%)

series9.5s (16.5%)

rewrite32.0ms (0.1%)

simplify498.0ms (0.9%)

prune1.5s (2.6%)

regimes6.2s (10.7%)

bsearch69.0ms (0.1%)

simplify5.0ms (0%)

end628.0ms (1.1%)

Profiling