Details

analyze3.8s (3.2%)

Algorithm

1×

Search

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

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample3.8s (3.1%)

Results

3.5s

8256×

body

128

valid

Compiler

Compiled 125 to 80 computations (36% saved)

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

prune9.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

31.2b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 135 to 74 computations (45.2% saved)

localize40.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)
✓	0.1b	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)
✓	0.1b	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
✓	30.6b	(/.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))

series16.7s (13.8%)

Counts

4 → 228

Calls

4 calls:

16.5s	(/.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))
111.0ms	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
47.0ms	(fma.f64 y (fma.f64 y (+.f64 y a) b) c)
38.0ms	(fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000)

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

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

simplify602.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

287 → 154

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5236	65553

prune1.2s (1%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	135	19	154
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	136	19	155

Error

10.2b

Counts

155 → 19

Alt Table

Status	Error	Program
	60.2b	(-.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))))))))))))))))))))))
	50.2b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 2 (/.f64 (.f64 a (.f64 b x)) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) z) (pow.f64 y 3)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 y 3))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x)))))) (+.f64 (/.f64 (.f64 c x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 (pow.f64 a 3) x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (+.f64 (/.f64 (.f64 b z) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a z) (pow.f64 y 2)) (.f64 54929528941/2000000 (/.f64 a (pow.f64 y 3))))))))))
	42.1b	(-.f64 (+.f64 (.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3))))))) (+.f64 (/.f64 t (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3)))))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3)))))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3))))))) (/.f64 (.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3)))))))))) (+.f64 (/.f64 (.f64 c (.f64 y t)) (pow.f64 (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3))))) 2)) (+.f64 (/.f64 (.f64 c (.f64 (pow.f64 y 5) x)) (pow.f64 (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3))))) 2)) (+.f64 (.f64 28832688827/125000 (/.f64 (.f64 c (pow.f64 y 2)) (pow.f64 (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3))))) 2))) (+.f64 (/.f64 (.f64 c (.f64 (pow.f64 y 4) z)) (pow.f64 (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3))))) 2)) (.f64 54929528941/2000000 (/.f64 (.f64 c (pow.f64 y 3)) (pow.f64 (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 a (pow.f64 y 3))))) 2))))))))
	46.0b	(/.f64 (/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))) (sqrt.f64 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))
	62.2b	(-.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)))))))))))))))))))))))
	48.4b	x
	37.4b	(/.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (fma.f64 y c i))
	37.2b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	31.7b	(/.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))))
	54.1b	(-.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))))))
▶	31.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)))
	61.8b	(-.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.5b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	31.4b	(/.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)))
	59.9b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 t (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 (.f64 (pow.f64 y 4) x) (.f64 (pow.f64 y 3) z))))) (*.f64 a (pow.f64 y 3)))
	45.6b	(/.f64 t i)
	43.3b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	46.1b	(*.f64 (sqrt.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))) (sqrt.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))))
	31.7b	(.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))))

Compiler

Compiled 42618 to 27372 computations (35.8% 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 x y z) 54929528941/2000000) 28832688827/125000)
	0.1b	(fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t)
✓	0.5b	(/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
✓	30.5b	(*.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)))

series15.5s (12.8%)

Counts

2 → 156

Calls

2 calls:

14.8s

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

653.0ms

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

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

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

4.0ms

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

simplify777.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

227 → 180

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5881	72897

prune2.0s (1.7%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	221	4	225
Fresh	5	13	18
Picked	1	0	1
Done	0	0	0
Total	227	17	244

Error

10.2b

Counts

244 → 17

Alt Table

Status	Error	Program
	62.2b	(-.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)))))))))))))))))))))))
	48.4b	x
	37.2b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	59.8b	(.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (/.f64 1 (.f64 a (pow.f64 y 3))))
	31.7b	(/.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))))
	61.8b	(-.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.5b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
▶	31.4b	(/.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)))
	46.1b	(*.f64 (sqrt.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))) (sqrt.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))))
	31.5b	(+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))) (+.f64 (/.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)))))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y)))))) (+.f64 (.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))) (/.f64 t (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))))))
	50.2b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 2 (/.f64 (.f64 a (.f64 b x)) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) z) (pow.f64 y 3)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 y 3))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x)))))) (+.f64 (/.f64 (.f64 c x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 (pow.f64 a 3) x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (+.f64 (/.f64 (.f64 b z) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a z) (pow.f64 y 2)) (.f64 54929528941/2000000 (/.f64 a (pow.f64 y 3))))))))))
	46.0b	(.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (sqrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (sqrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	43.3b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	54.1b	(-.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))))))
	45.6b	(/.f64 t i)
	46.2b	(.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (-.f64 (/.f64 1 i) (/.f64 (.f64 c y) (pow.f64 i 2))))
	31.7b	(.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))))

Compiler

Compiled 49460 to 31413 computations (36.5% saved)

localize38.0ms (0%)

Local error

Found 4 expressions with local error:

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

series27.5s (22.7%)

Counts

2 → 192

Calls

2 calls:

17.1s

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

10.4s

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

rewrite37.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 107

Calls

2 calls:

4.0ms

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

2.0ms

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

simplify1.3s (1%)

Algorithm

1×	egg-herbie

Counts

299 → 214

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8033	113935

prune2.1s (1.8%)

Pruning

21 alts after pruning (20 fresh and 1 done)

	Pruned	Kept	Total
New	252	7	259
Fresh	3	13	16
Picked	0	1	1
Done	0	0	0
Total	255	21	276

Error

5.7b

Counts

276 → 21

Alt Table

Status	Error	Program
▶	31.3b	(*.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (/.f64 1 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
	52.0b	(/.f64 1 (-.f64 (+.f64 (/.f64 (pow.f64 z 2) (.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (/.f64 b (.f64 (pow.f64 y 2) x)) (+.f64 (/.f64 1 x) (+.f64 (/.f64 a (.f64 y x)) (+.f64 (/.f64 c (.f64 (pow.f64 y 3) x)) (+.f64 (.f64 54929528941/1000000 (/.f64 z (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (/.f64 (.f64 a (pow.f64 z 2)) (.f64 (pow.f64 y 3) (pow.f64 x 3))))))))) (+.f64 (/.f64 (.f64 b z) (.f64 (pow.f64 y 3) (pow.f64 x 2))) (+.f64 (/.f64 (pow.f64 z 3) (.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 z (.f64 y (pow.f64 x 2))) (+.f64 (/.f64 (.f64 a z) (.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 a (.f64 (pow.f64 y 3) (pow.f64 x 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 28832688827/125000 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 2))))))))))))
	46.0b	(.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (sqrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (sqrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	44.9b	(/.f64 1 (-.f64 (+.f64 (/.f64 1 x) (/.f64 a (.f64 y x))) (/.f64 z (.f64 y (pow.f64 x 2)))))
	43.3b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	48.5b	(/.f64 1 (/.f64 1 x))
	62.2b	(-.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)))))))))))))))))))))))
	44.5b	(/.f64 1 (-.f64 (+.f64 (/.f64 i t) (/.f64 (.f64 c y) t)) (.f64 28832688827/125000 (/.f64 (*.f64 i y) (pow.f64 t 2)))))
	37.2b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	57.9b	(/.f64 1 (-.f64 (+.f64 (/.f64 i (.f64 (pow.f64 y 3) z)) (+.f64 (/.f64 c (.f64 (pow.f64 y 2) z)) (+.f64 (/.f64 y z) (+.f64 (/.f64 a z) (/.f64 b (.f64 y z)))))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 5) (pow.f64 z 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 z 2))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 z 2))) (+.f64 (/.f64 (.f64 b x) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 a t) (.f64 (pow.f64 y 3) (pow.f64 z 2))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 a (.f64 (pow.f64 y 2) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 z 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 a (.f64 y (pow.f64 z 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 y 6) (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 a (.f64 y x)) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 z 2)) (/.f64 t (*.f64 (pow.f64 y 2) (pow.f64 z 2))))))))))))))))))))))))
	45.7b	(/.f64 1 (/.f64 i t))
	31.7b	(/.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))))
	61.8b	(-.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.5b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
✓	31.4b	(/.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)))
	46.1b	(*.f64 (sqrt.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))) (sqrt.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))))
	31.5b	(+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))) (+.f64 (/.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)))))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y)))))) (+.f64 (.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))) (/.f64 t (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))))))
	50.2b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 2 (/.f64 (.f64 a (.f64 b x)) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) z) (pow.f64 y 3)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 y 3))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x)))))) (+.f64 (/.f64 (.f64 c x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 (pow.f64 a 3) x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (+.f64 (/.f64 (.f64 b z) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a z) (pow.f64 y 2)) (.f64 54929528941/2000000 (/.f64 a (pow.f64 y 3))))))))))
	54.1b	(-.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))))))
	45.6b	(/.f64 t i)
	46.2b	(.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (-.f64 (/.f64 1 i) (/.f64 (.f64 c y) (pow.f64 i 2))))

Compiler

Compiled 68827 to 44350 computations (35.6% saved)

localize48.0ms (0%)

Local error

Found 4 expressions with local error:

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

series15.8s (13%)

Counts

3 → 192

Calls

3 calls:

15.1s

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

595.0ms

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

82.0ms

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

rewrite171.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

203×	`times-frac_binary64`
171×	`add-exp-log_binary64`
159×	`add-sqr-sqrt_binary64`
117×	`*-un-lft-identity_binary64`
98×	`div-exp_binary64`

Counts

3 → 273

Calls

3 calls:

49.0ms

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

16.0ms

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

5.0ms

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

simplify933.0ms (0.8%)

Algorithm

1×	egg-herbie

Counts

465 → 418

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5733	81646

prune3.3s (2.7%)

Pruning

21 alts after pruning (19 fresh and 2 done)

	Pruned	Kept	Total
New	499	0	499
Fresh	0	19	19
Picked	0	1	1
Done	0	1	1
Total	499	21	520

Error

5.7b

Counts

520 → 21

Alt Table

Status	Error	Program
✓	31.3b	(*.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)) (/.f64 1 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t))))
	52.0b	(/.f64 1 (-.f64 (+.f64 (/.f64 (pow.f64 z 2) (.f64 (pow.f64 y 2) (pow.f64 x 3))) (+.f64 (/.f64 b (.f64 (pow.f64 y 2) x)) (+.f64 (/.f64 1 x) (+.f64 (/.f64 a (.f64 y x)) (+.f64 (/.f64 c (.f64 (pow.f64 y 3) x)) (+.f64 (.f64 54929528941/1000000 (/.f64 z (.f64 (pow.f64 y 3) (pow.f64 x 3)))) (/.f64 (.f64 a (pow.f64 z 2)) (.f64 (pow.f64 y 3) (pow.f64 x 3))))))))) (+.f64 (/.f64 (.f64 b z) (.f64 (pow.f64 y 3) (pow.f64 x 2))) (+.f64 (/.f64 (pow.f64 z 3) (.f64 (pow.f64 y 3) (pow.f64 x 4))) (+.f64 (/.f64 z (.f64 y (pow.f64 x 2))) (+.f64 (/.f64 (.f64 a z) (.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 a (.f64 (pow.f64 y 3) (pow.f64 x 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 (pow.f64 y 2) (pow.f64 x 2)))) (.f64 28832688827/125000 (/.f64 1 (.f64 (pow.f64 y 3) (pow.f64 x 2))))))))))))
	46.0b	(.f64 (.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (sqrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i)))) (sqrt.f64 (/.f64 1 (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))))
	44.9b	(/.f64 1 (-.f64 (+.f64 (/.f64 1 x) (/.f64 a (.f64 y x))) (/.f64 z (.f64 y (pow.f64 x 2)))))
	43.3b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	48.5b	(/.f64 1 (/.f64 1 x))
	62.2b	(-.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)))))))))))))))))))))))
	44.5b	(/.f64 1 (-.f64 (+.f64 (/.f64 i t) (/.f64 (.f64 c y) t)) (.f64 28832688827/125000 (/.f64 (*.f64 i y) (pow.f64 t 2)))))
	37.2b	(/.f64 (fma.f64 y 28832688827/125000 t) (fma.f64 y (fma.f64 y (fma.f64 y (+.f64 y a) b) c) i))
	57.9b	(/.f64 1 (-.f64 (+.f64 (/.f64 i (.f64 (pow.f64 y 3) z)) (+.f64 (/.f64 c (.f64 (pow.f64 y 2) z)) (+.f64 (/.f64 y z) (+.f64 (/.f64 a z) (/.f64 b (.f64 y z)))))) (+.f64 (/.f64 (.f64 c t) (.f64 (pow.f64 y 5) (pow.f64 z 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 z 2))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 z 2))) (+.f64 (/.f64 (.f64 b x) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 a t) (.f64 (pow.f64 y 3) (pow.f64 z 2))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 a (.f64 (pow.f64 y 2) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 z 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 a (.f64 y (pow.f64 z 2)))) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 i t) (.f64 (pow.f64 y 6) (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 a (.f64 y x)) (pow.f64 z 2)) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 z 2))) (+.f64 (.f64 28832688827/125000 (/.f64 i (.f64 (pow.f64 y 5) (pow.f64 z 2)))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 z 2)))) (+.f64 (/.f64 (.f64 (pow.f64 y 2) x) (pow.f64 z 2)) (/.f64 t (*.f64 (pow.f64 y 2) (pow.f64 z 2))))))))))))))))))))))))
	45.7b	(/.f64 1 (/.f64 i t))
	31.7b	(/.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))))
	61.8b	(-.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.5b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
✓	31.4b	(/.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)))
	46.1b	(*.f64 (sqrt.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))) (sqrt.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))))
	31.5b	(+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))) (+.f64 (/.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)))))) (+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y)))))) (+.f64 (.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y))))))) (/.f64 t (+.f64 i (+.f64 (.f64 (pow.f64 y 3) a) (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (*.f64 c y))))))))))
	50.2b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 2 (/.f64 (.f64 a (.f64 b x)) (pow.f64 y 3))) (+.f64 (/.f64 (.f64 (pow.f64 a 2) z) (pow.f64 y 3)) (+.f64 (.f64 28832688827/125000 (/.f64 1 (pow.f64 y 3))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x)))))) (+.f64 (/.f64 (.f64 c x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 (pow.f64 a 3) x) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (+.f64 (/.f64 (.f64 b z) (pow.f64 y 3)) (+.f64 (/.f64 (.f64 a z) (pow.f64 y 2)) (.f64 54929528941/2000000 (/.f64 a (pow.f64 y 3))))))))))
	54.1b	(-.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))))))
	45.6b	(/.f64 t i)
	46.2b	(.f64 (fma.f64 y (fma.f64 y (fma.f64 y (fma.f64 x y z) 54929528941/2000000) 28832688827/125000) t) (-.f64 (/.f64 1 i) (/.f64 (.f64 c y) (pow.f64 i 2))))

Compiler

Compiled 65093 to 39521 computations (39.3% saved)

regimes24.0s (19.7%)

Accuracy

Total 6.5b remaining (58%)

Threshold costs 0b (0%)

Counts

298 → 3

Compiler

Compiled 142291 to 87714 computations (38.4% saved)

bsearch166.0ms (0.1%)

Steps

Iters	Range		Point
6	6.672233786415799e+58	4.5281750803255315e+59	4.0890179169218075e+59
9	-1.1950560355147233e+50	-8.407296397602644e+40	-1.1673355322272374e+50

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify10.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`+-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	82
1	58	82
2	65	82
3	75	82
4	82	82
5	87	82
6	89	82
7	89	82

end1.3s (1.1%)

Compiler: Compiled 1831 to 1229 computations (32.9% saved)

Details

analyze3.8s (3.2%)

sample3.8s (3.1%)

simplify198.0ms (0.2%)

prune9.0ms (0%)

localize40.0ms (0%)

series16.7s (13.8%)

rewrite18.0ms (0%)

simplify602.0ms (0.5%)

prune1.2s (1%)

localize22.0ms (0%)

series15.5s (12.8%)

rewrite28.0ms (0%)

simplify777.0ms (0.6%)

prune2.0s (1.7%)

localize38.0ms (0%)

series27.5s (22.7%)

rewrite37.0ms (0%)

simplify1.3s (1%)

prune2.1s (1.8%)

localize48.0ms (0%)

series15.8s (13%)

rewrite171.0ms (0.1%)

simplify933.0ms (0.8%)

prune3.3s (2.7%)

regimes24.0s (19.7%)

bsearch166.0ms (0.1%)

simplify10.0ms (0%)

end1.3s (1.1%)

Profiling