Details

analyze2.6s (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
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.1%)

Results

1.7s	8256×	body	128	valid
49.0ms	252×	body	128	invalid

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

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

29.7b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	29.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))

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)
✓	29.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))

series10.3s (16.9%)

Counts

4 → 216

Calls

4 calls:

10.2s	(/.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))
57.0ms	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
21.0ms	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
11.0ms	(fma.f64 y (fma.f64 x y z) 54929528941/2000000)

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 (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)
0.0ms	(fma.f64 y (fma.f64 x y z) 54929528941/2000000)

simplify369.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

275 → 147

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5225	65157

prune945.0ms (1.6%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	131	16	147
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	132	16	148

Error

6.9b

Counts

148 → 16

Alt Table

Status	Error	Program
▶	29.8b	(/.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))
	47.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)))))
	29.8b	(/.f64 (fma.f64 y (fma.f64 y (.f64 (.f64 (cbrt.f64 (fma.f64 y (fma.f64 x y z) 54929528941/2000000)) (cbrt.f64 (fma.f64 y (fma.f64 x y z) 54929528941/2000000))) (cbrt.f64 (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))
	35.8b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	53.2b	(-.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))))))
	60.9b	(-.f64 (+.f64 (.f64 28832688827/125000 (/.f64 1 c)) (+.f64 (/.f64 (.f64 (pow.f64 y 2) z) c) (+.f64 (/.f64 (.f64 (pow.f64 y 3) x) c) (+.f64 (.f64 54929528941/2000000 (/.f64 y c)) (/.f64 t (.f64 c y)))))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 c 2) y))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) (.f64 b x)) (pow.f64 c 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 (pow.f64 y 3) a) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 4) z)) (pow.f64 c 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (pow.f64 c 2))) (+.f64 (/.f64 (.f64 t b) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 5) z) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 i (.f64 y z)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 (pow.f64 y 2) a) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 6) x) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 5) x)) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 b z)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 y b) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) (.f64 i x)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 y 3) (pow.f64 c 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 (pow.f64 y 2) b) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 c 2) (pow.f64 y 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 4) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) t) (pow.f64 c 2)) (/.f64 (.f64 y (.f64 a t)) (pow.f64 c 2))))))))))))))))))))))
	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)))))))))))))))))))))))
	47.3b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	30.2b	(/.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 (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 (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
	46.3b	(/.f64 t i)
	29.8b	(*.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)))
	61.7b	(-.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)))))))))))))))))))))))
	30.3b	(.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))))
	43.2b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	46.7b	x
	63.2b	(-.f64 (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 c 2) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) z) (.f64 (pow.f64 y 4) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 c 2) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 c z) (.f64 (pow.f64 a 3) y))) (+.f64 (.f64 28832688827/62500 (/.f64 c (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 z b)) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 b 2) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 54929528941/1000000 (/.f64 c (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 b 2) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c x) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 y (.f64 b x)) (pow.f64 a 3))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) z) (pow.f64 a 3)) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 t b)) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 i 2) (.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 i 2) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) z) (.f64 (pow.f64 y 6) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 a 3))) (+.f64 (/.f64 (.f64 t (pow.f64 b 2)) (.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 t b)) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 i z) (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 z b)) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 2 (/.f64 (.f64 c t) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 t (.f64 y (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i x)) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i z)) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (.f64 2 (/.f64 (.f64 i t) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 c i) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (.f64 54929528941/1000000 (/.f64 (.f64 c i) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 54929528941/2000000 (/.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (.f64 z (pow.f64 b 2)) (.f64 (pow.f64 y 2) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 b x)) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (/.f64 (.f64 (pow.f64 b 2) x) (.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) t) (.f64 (pow.f64 y 9) (pow.f64 a 3))) (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 b x)) (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 28832688827/62500 (/.f64 i (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 54929528941/1000000 (/.f64 i (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i t)) (.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (.f64 54929528941/1000000 (/.f64 b (.f64 (pow.f64 a 3) y))) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 c b) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) x) (.f64 (pow.f64 y 3) (pow.f64 a 3))) (+.f64 (.f64 28832688827/62500 (/.f64 b (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) x) (.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 t b) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 54929528941/1000000 (/.f64 (.f64 c b) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) t) (.f64 (pow.f64 y 7) (pow.f64 a 3))) (+.f64 (/.f64 z a) (+.f64 (.f64 2 (/.f64 (.f64 i x) (.f64 (pow.f64 a 3) y))) (+.f64 (/.f64 (.f64 y x) a) (+.f64 (/.f64 (.f64 (pow.f64 y 3) x) (pow.f64 a 3)) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 i b) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 b z) (pow.f64 a 3))) (.f64 54929528941/1000000 (/.f64 (.f64 i b) (.f64 (pow.f64 a 3) (pow.f64 y 5)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 a 2) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 c x) (.f64 (pow.f64 a 2) y)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 a 2) (pow.f64 y 5))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 a 2) (pow.f64 y 4))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 (pow.f64 a 2) y)) (+.f64 (/.f64 t (.f64 (pow.f64 a 2) (pow.f64 y 2))) (/.f64 (.f64 i t) (*.f64 (pow.f64 a 2) (pow.f64 y 6)))))))))))))))))))))))

Compiler

Compiled 43366 to 27959 computations (35.5% saved)

localize24.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)))
✓	22.6b	(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))
✓	29.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))) (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))

series10.8s (17.8%)

Counts

4 → 204

Calls

4 calls:

10.3s	(/.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))
347.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)))
148.0ms	(cbrt.f64 (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000))
22.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)))

rewrite26.0ms (0%)

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:

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

simplify477.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

326 → 251

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6399	84105

prune1.8s (2.9%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	348	1	349
Fresh	1	14	15
Picked	0	1	1
Done	0	0	0
Total	349	16	365

Error

6.9b

Counts

365 → 16

Alt Table

Status	Error	Program
✓	29.8b	(/.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))
	47.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)))))
	35.8b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	53.2b	(-.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))))))
	60.9b	(-.f64 (+.f64 (.f64 28832688827/125000 (/.f64 1 c)) (+.f64 (/.f64 (.f64 (pow.f64 y 2) z) c) (+.f64 (/.f64 (.f64 (pow.f64 y 3) x) c) (+.f64 (.f64 54929528941/2000000 (/.f64 y c)) (/.f64 t (.f64 c y)))))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 c 2) y))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) (.f64 b x)) (pow.f64 c 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 (pow.f64 y 3) a) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 4) z)) (pow.f64 c 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (pow.f64 c 2))) (+.f64 (/.f64 (.f64 t b) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 5) z) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 i (.f64 y z)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 (pow.f64 y 2) a) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 6) x) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 5) x)) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 b z)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 y b) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) (.f64 i x)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 y 3) (pow.f64 c 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 (pow.f64 y 2) b) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 c 2) (pow.f64 y 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 4) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) t) (pow.f64 c 2)) (/.f64 (.f64 y (.f64 a t)) (pow.f64 c 2))))))))))))))))))))))
	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)))))))))))))))))))))))
	47.3b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	30.2b	(/.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 (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 (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
	46.3b	(/.f64 t i)
	29.8b	(*.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)))
	61.7b	(-.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)))))))))))))))))))))))
	30.3b	(.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))))
▶	29.8b	(/.f64 (fma.f64 y (+.f64 28832688827/125000 (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 (.f64 (pow.f64 y 2) z) (*.f64 54929528941/2000000 y)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	43.2b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	46.7b	x
	63.2b	(-.f64 (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 c 2) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) z) (.f64 (pow.f64 y 4) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 c 2) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 c z) (.f64 (pow.f64 a 3) y))) (+.f64 (.f64 28832688827/62500 (/.f64 c (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 z b)) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 b 2) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 54929528941/1000000 (/.f64 c (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 b 2) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c x) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 y (.f64 b x)) (pow.f64 a 3))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) z) (pow.f64 a 3)) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 t b)) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 i 2) (.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 i 2) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) z) (.f64 (pow.f64 y 6) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 a 3))) (+.f64 (/.f64 (.f64 t (pow.f64 b 2)) (.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 t b)) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 i z) (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 z b)) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 2 (/.f64 (.f64 c t) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 t (.f64 y (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i x)) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i z)) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (.f64 2 (/.f64 (.f64 i t) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 c i) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (.f64 54929528941/1000000 (/.f64 (.f64 c i) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 54929528941/2000000 (/.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (.f64 z (pow.f64 b 2)) (.f64 (pow.f64 y 2) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 b x)) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (/.f64 (.f64 (pow.f64 b 2) x) (.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) t) (.f64 (pow.f64 y 9) (pow.f64 a 3))) (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 b x)) (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 28832688827/62500 (/.f64 i (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 54929528941/1000000 (/.f64 i (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i t)) (.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (.f64 54929528941/1000000 (/.f64 b (.f64 (pow.f64 a 3) y))) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 c b) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) x) (.f64 (pow.f64 y 3) (pow.f64 a 3))) (+.f64 (.f64 28832688827/62500 (/.f64 b (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) x) (.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 t b) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 54929528941/1000000 (/.f64 (.f64 c b) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) t) (.f64 (pow.f64 y 7) (pow.f64 a 3))) (+.f64 (/.f64 z a) (+.f64 (.f64 2 (/.f64 (.f64 i x) (.f64 (pow.f64 a 3) y))) (+.f64 (/.f64 (.f64 y x) a) (+.f64 (/.f64 (.f64 (pow.f64 y 3) x) (pow.f64 a 3)) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 i b) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 b z) (pow.f64 a 3))) (.f64 54929528941/1000000 (/.f64 (.f64 i b) (.f64 (pow.f64 a 3) (pow.f64 y 5)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 a 2) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 c x) (.f64 (pow.f64 a 2) y)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 a 2) (pow.f64 y 5))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 a 2) (pow.f64 y 4))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 (pow.f64 a 2) y)) (+.f64 (/.f64 t (.f64 (pow.f64 a 2) (pow.f64 y 2))) (/.f64 (.f64 i t) (*.f64 (pow.f64 a 2) (pow.f64 y 6)))))))))))))))))))))))

Compiler

Compiled 73801 to 47820 computations (35.2% saved)

localize26.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	5.2b	(*.f64 (pow.f64 y 3) x)
✓	5.9b	(+.f64 (.f64 (pow.f64 y 3) x) (+.f64 (.f64 (pow.f64 y 2) z) (*.f64 54929528941/2000000 y)))
✓	7.6b	(*.f64 (pow.f64 y 2) z)
✓	29.2b	(/.f64 (fma.f64 y (+.f64 28832688827/125000 (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 (.f64 (pow.f64 y 2) z) (*.f64 54929528941/2000000 y)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))

series9.9s (16.3%)

Counts

4 → 123

Calls

4 calls:

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

rewrite26.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 → 107

Calls

4 calls:

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

simplify436.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

230 → 166

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5286	64354

prune1.1s (1.8%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	166	0	166
Fresh	0	14	14
Picked	0	1	1
Done	0	1	1
Total	166	16	182

Error

6.9b

Counts

182 → 16

Alt Table

Status	Error	Program
✓	29.8b	(/.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))
	47.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)))))
	35.8b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	53.2b	(-.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))))))
	60.9b	(-.f64 (+.f64 (.f64 28832688827/125000 (/.f64 1 c)) (+.f64 (/.f64 (.f64 (pow.f64 y 2) z) c) (+.f64 (/.f64 (.f64 (pow.f64 y 3) x) c) (+.f64 (.f64 54929528941/2000000 (/.f64 y c)) (/.f64 t (.f64 c y)))))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 c 2) y))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) (.f64 b x)) (pow.f64 c 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 (pow.f64 y 3) a) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 4) z)) (pow.f64 c 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (pow.f64 c 2))) (+.f64 (/.f64 (.f64 t b) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 5) z) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 i (.f64 y z)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 (pow.f64 y 2) a) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 6) x) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 5) x)) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 b z)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 y b) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) (.f64 i x)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 y 3) (pow.f64 c 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 (pow.f64 y 2) b) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 c 2) (pow.f64 y 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 4) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) t) (pow.f64 c 2)) (/.f64 (.f64 y (.f64 a t)) (pow.f64 c 2))))))))))))))))))))))
	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)))))))))))))))))))))))
	47.3b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	30.2b	(/.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 (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 (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
	46.3b	(/.f64 t i)
▶	29.8b	(*.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)))
	61.7b	(-.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)))))))))))))))))))))))
	30.3b	(.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))))
✓	29.8b	(/.f64 (fma.f64 y (+.f64 28832688827/125000 (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 (.f64 (pow.f64 y 2) z) (*.f64 54929528941/2000000 y)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	43.2b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	46.7b	x
	63.2b	(-.f64 (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 c 2) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) z) (.f64 (pow.f64 y 4) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 c 2) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 c z) (.f64 (pow.f64 a 3) y))) (+.f64 (.f64 28832688827/62500 (/.f64 c (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 z b)) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 b 2) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 54929528941/1000000 (/.f64 c (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 b 2) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c x) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 y (.f64 b x)) (pow.f64 a 3))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) z) (pow.f64 a 3)) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 t b)) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 i 2) (.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 i 2) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) z) (.f64 (pow.f64 y 6) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 a 3))) (+.f64 (/.f64 (.f64 t (pow.f64 b 2)) (.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 t b)) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 i z) (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 z b)) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 2 (/.f64 (.f64 c t) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 t (.f64 y (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i x)) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i z)) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (.f64 2 (/.f64 (.f64 i t) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 c i) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (.f64 54929528941/1000000 (/.f64 (.f64 c i) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 54929528941/2000000 (/.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (.f64 z (pow.f64 b 2)) (.f64 (pow.f64 y 2) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 b x)) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (/.f64 (.f64 (pow.f64 b 2) x) (.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) t) (.f64 (pow.f64 y 9) (pow.f64 a 3))) (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 b x)) (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 28832688827/62500 (/.f64 i (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 54929528941/1000000 (/.f64 i (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i t)) (.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (.f64 54929528941/1000000 (/.f64 b (.f64 (pow.f64 a 3) y))) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 c b) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) x) (.f64 (pow.f64 y 3) (pow.f64 a 3))) (+.f64 (.f64 28832688827/62500 (/.f64 b (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) x) (.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 t b) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 54929528941/1000000 (/.f64 (.f64 c b) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) t) (.f64 (pow.f64 y 7) (pow.f64 a 3))) (+.f64 (/.f64 z a) (+.f64 (.f64 2 (/.f64 (.f64 i x) (.f64 (pow.f64 a 3) y))) (+.f64 (/.f64 (.f64 y x) a) (+.f64 (/.f64 (.f64 (pow.f64 y 3) x) (pow.f64 a 3)) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 i b) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 b z) (pow.f64 a 3))) (.f64 54929528941/1000000 (/.f64 (.f64 i b) (.f64 (pow.f64 a 3) (pow.f64 y 5)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 a 2) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 c x) (.f64 (pow.f64 a 2) y)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 a 2) (pow.f64 y 5))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 a 2) (pow.f64 y 4))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 (pow.f64 a 2) y)) (+.f64 (/.f64 t (.f64 (pow.f64 a 2) (pow.f64 y 2))) (/.f64 (.f64 i t) (*.f64 (pow.f64 a 2) (pow.f64 y 6)))))))))))))))))))))))

Compiler

Compiled 44896 to 29142 computations (35.1% saved)

localize22.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)
✓	29.2b	(*.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.9s (16.3%)

Counts

2 → 156

Calls

2 calls:

9.5s

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

406.0ms

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

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

simplify403.0ms (0.7%)

Algorithm

1×	egg-herbie

Counts

227 → 180

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5881	72897

prune944.0ms (1.6%)

Pruning

16 alts after pruning (13 fresh and 3 done)

	Pruned	Kept	Total
New	225	0	225
Fresh	0	13	13
Picked	0	1	1
Done	0	2	2
Total	225	16	241

Error

6.9b

Counts

241 → 16

Alt Table

Status	Error	Program
✓	29.8b	(/.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))
	47.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)))))
	35.8b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	53.2b	(-.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))))))
	60.9b	(-.f64 (+.f64 (.f64 28832688827/125000 (/.f64 1 c)) (+.f64 (/.f64 (.f64 (pow.f64 y 2) z) c) (+.f64 (/.f64 (.f64 (pow.f64 y 3) x) c) (+.f64 (.f64 54929528941/2000000 (/.f64 y c)) (/.f64 t (.f64 c y)))))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 c 2) y))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) (.f64 b x)) (pow.f64 c 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 (pow.f64 y 3) a) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 4) z)) (pow.f64 c 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (pow.f64 c 2))) (+.f64 (/.f64 (.f64 t b) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 5) z) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 i (.f64 y z)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 (pow.f64 y 2) a) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 6) x) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 a (.f64 (pow.f64 y 5) x)) (pow.f64 c 2)) (+.f64 (/.f64 (.f64 (pow.f64 y 3) (.f64 b z)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 y b) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) (.f64 i x)) (pow.f64 c 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 y 3) (pow.f64 c 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (.f64 (pow.f64 y 2) b) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 c 2) (pow.f64 y 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 4) (pow.f64 c 2))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) t) (pow.f64 c 2)) (/.f64 (.f64 y (.f64 a t)) (pow.f64 c 2))))))))))))))))))))))
	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)))))))))))))))))))))))
	47.3b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	30.2b	(/.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 (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 (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
	46.3b	(/.f64 t i)
✓	29.8b	(*.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)))
	61.7b	(-.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)))))))))))))))))))))))
	30.3b	(.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))))
✓	29.8b	(/.f64 (fma.f64 y (+.f64 28832688827/125000 (+.f64 (.f64 (pow.f64 y 3) x) (+.f64 (.f64 (pow.f64 y 2) z) (*.f64 54929528941/2000000 y)))) t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	43.2b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	46.7b	x
	63.2b	(-.f64 (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 c 2) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) z) (.f64 (pow.f64 y 4) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 c 2) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 c z) (.f64 (pow.f64 a 3) y))) (+.f64 (.f64 28832688827/62500 (/.f64 c (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 z b)) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 b 2) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 54929528941/1000000 (/.f64 c (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 b 2) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c x) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 y (.f64 b x)) (pow.f64 a 3))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) z) (pow.f64 a 3)) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 t b)) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (.f64 28832688827/125000 (/.f64 (pow.f64 i 2) (.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 i 2) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) z) (.f64 (pow.f64 y 6) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 a 3))) (+.f64 (/.f64 (.f64 t (pow.f64 b 2)) (.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 t b)) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 i z) (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 z b)) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 2 (/.f64 (.f64 c t) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 t (.f64 y (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i x)) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i z)) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (.f64 2 (/.f64 (.f64 i t) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 c i) (.f64 (pow.f64 a 3) (pow.f64 y 7)))) (+.f64 (.f64 54929528941/1000000 (/.f64 (.f64 c i) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 54929528941/2000000 (/.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (.f64 z (pow.f64 b 2)) (.f64 (pow.f64 y 2) (pow.f64 a 3))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))) (+.f64 (.f64 2 (/.f64 (.f64 i (.f64 b x)) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (/.f64 (.f64 (pow.f64 b 2) x) (.f64 y (pow.f64 a 3))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) t) (.f64 (pow.f64 y 9) (pow.f64 a 3))) (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 b x)) (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (.f64 28832688827/62500 (/.f64 i (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (.f64 54929528941/1000000 (/.f64 i (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 2 (/.f64 (.f64 c (.f64 i t)) (.f64 (pow.f64 a 3) (pow.f64 y 8)))) (+.f64 (.f64 54929528941/1000000 (/.f64 b (.f64 (pow.f64 a 3) y))) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 c b) (.f64 (pow.f64 a 3) (pow.f64 y 5)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) x) (.f64 (pow.f64 y 3) (pow.f64 a 3))) (+.f64 (.f64 28832688827/62500 (/.f64 b (.f64 (pow.f64 a 3) (pow.f64 y 2)))) (+.f64 (/.f64 (.f64 (pow.f64 i 2) x) (.f64 (pow.f64 y 5) (pow.f64 a 3))) (+.f64 (.f64 2 (/.f64 (.f64 t b) (.f64 (pow.f64 a 3) (pow.f64 y 3)))) (+.f64 (.f64 54929528941/1000000 (/.f64 (.f64 c b) (.f64 (pow.f64 a 3) (pow.f64 y 4)))) (+.f64 (/.f64 (.f64 (pow.f64 c 2) t) (.f64 (pow.f64 y 7) (pow.f64 a 3))) (+.f64 (/.f64 z a) (+.f64 (.f64 2 (/.f64 (.f64 i x) (.f64 (pow.f64 a 3) y))) (+.f64 (/.f64 (.f64 y x) a) (+.f64 (/.f64 (.f64 (pow.f64 y 3) x) (pow.f64 a 3)) (+.f64 (.f64 28832688827/62500 (/.f64 (.f64 i b) (.f64 (pow.f64 a 3) (pow.f64 y 6)))) (+.f64 (.f64 2 (/.f64 (.f64 b z) (pow.f64 a 3))) (.f64 54929528941/1000000 (/.f64 (.f64 i b) (.f64 (pow.f64 a 3) (pow.f64 y 5)))))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 a 2) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 c x) (.f64 (pow.f64 a 2) y)) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 a 2) (pow.f64 y 5))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 a 2) (pow.f64 y 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 a 2)) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 a 2) (pow.f64 y 4))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 (pow.f64 a 2) y)) (+.f64 (/.f64 t (.f64 (pow.f64 a 2) (pow.f64 y 2))) (/.f64 (.f64 i t) (*.f64 (pow.f64 a 2) (pow.f64 y 6)))))))))))))))))))))))

Compiler

Compiled 49031 to 31218 computations (36.3% saved)

regimes7.4s (12.2%)

Accuracy

Total 3.9b remaining (34.9%)

Threshold costs 0b (0%)

Counts

162 → 3

Compiler

Compiled 83647 to 50022 computations (40.2% saved)

bsearch91.0ms (0.1%)

Steps

Iters	Range		Point
9	6.654931887682884e+43	6.792130511710218e+49	2.10858943953574e+48
10	-1.2029025817600428e+64	-1.0105112487405642e+49	-1.7184192923199055e+54

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	39	79
1	46	79
2	52	79
3	62	79
4	69	79
5	74	79
6	76	79
7	73	79

end1.1s (1.8%)

Compiler: Compiled 2295 to 1521 computations (33.7% saved)

Details

analyze2.6s (4.3%)

sample1.9s (3.1%)

simplify138.0ms (0.2%)

prune4.0ms (0%)

localize19.0ms (0%)

series10.3s (16.9%)

rewrite7.0ms (0%)

simplify369.0ms (0.6%)

prune945.0ms (1.6%)

localize24.0ms (0%)

series10.8s (17.8%)

rewrite26.0ms (0%)

simplify477.0ms (0.8%)

prune1.8s (2.9%)

localize26.0ms (0%)

series9.9s (16.3%)

rewrite26.0ms (0%)

simplify436.0ms (0.7%)

prune1.1s (1.8%)

localize22.0ms (0%)

series9.9s (16.3%)

rewrite15.0ms (0%)

simplify403.0ms (0.7%)

prune944.0ms (1.6%)

regimes7.4s (12.2%)

bsearch91.0ms (0.1%)

simplify4.0ms (0%)

end1.1s (1.8%)

Profiling