Details

analyze2.2s (3.1%)

Algorithm

1×

Search

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

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample1.7s (2.3%)

Results

1.6s

8256×

body

128

valid

Compiler

Compiled 125 to 80 computations (36% saved)

simplify136.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

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

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

28.4b

Counts

3 → 2

Alt Table

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

Status

Error

Program

28.4b

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

▶

28.4b

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

Compiler

Compiled 217 to 126 computations (41.9% saved)

localize26.0ms (0%)

Local error

Found 4 expressions with local error:

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

series10.4s (14.5%)

Counts

4 → 216

Calls

4 calls:

10.3s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
51.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
37.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y)
21.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y)

rewrite61.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

24×	`add-sqr-sqrt_binary64`
18×	`*-un-lft-identity_binary64`
18×	`add-cube-cbrt_binary64`
12×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 99

Calls

4 calls:

23.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) i))
13.0ms	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y)
11.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y)
7.0ms	(.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y)

simplify387.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

315 → 186

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5244	66997

prune1.5s (2%)

Pruning

17 alts after pruning (17 fresh and 0 done)

	Pruned	Kept	Total
New	169	17	186
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	171	17	188

Error

6.6b

Counts

188 → 17

Alt Table

Status	Error	Program
	32.4b	(/.f64 (+.f64 (/.f64 (.f64 (-.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y)) 831323944994610635929/15625000000) y) (-.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000)) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
▶	28.5b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (/.f64 1 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	49.2b	x
	29.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) 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)))))))))))))))))))))))
	29.0b	(+.f64 (/.f64 (.f64 (pow.f64 y 4) x) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 a (pow.f64 y 3)) (.f64 c y)))))) (+.f64 (.f64 54929528941/2000000 (/.f64 (pow.f64 y 2) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 a (pow.f64 y 3)) (.f64 c y))))))) (+.f64 (/.f64 t (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 a (pow.f64 y 3)) (.f64 c y)))))) (+.f64 (/.f64 (.f64 (pow.f64 y 3) z) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 a (pow.f64 y 3)) (.f64 c y)))))) (.f64 28832688827/125000 (/.f64 y (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (+.f64 (.f64 a (pow.f64 y 3)) (*.f64 c y)))))))))))
	28.7b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) i))
	28.9b	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))))
	34.7b	(/.f64 (+.f64 (.f64 28832688827/125000 y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
	47.5b	(-.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)))))
	42.7b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	51.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))))))
	46.9b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	47.5b	(/.f64 t i)
	46.0b	(.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) 1) (/.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	62.1b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 t (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (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)))))))))))))))))))))))
	44.0b	(/.f64 (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))

Compiler

Compiled 44196 to 27362 computations (38.1% saved)

localize24.0ms (0%)

Local error

Found 4 expressions with local error:

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

series10.0s (13.9%)

Counts

2 → 156

Calls

2 calls:

9.5s

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

409.0ms

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

rewrite111.0ms (0.2%)

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×	`associate-r_binary64`

Counts

2 → 79

Calls

2 calls:

57.0ms

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

11.0ms

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

simplify413.0ms (0.6%)

Algorithm

1×	egg-herbie

Counts

235 → 188

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5811	74016

prune1.1s (1.5%)

Pruning

18 alts after pruning (17 fresh and 1 done)

	Pruned	Kept	Total
New	249	2	251
Fresh	1	15	16
Picked	0	1	1
Done	0	0	0
Total	250	18	268

Error

6.6b

Counts

268 → 18

Alt Table

Status	Error	Program
	30.0b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 t (+.f64 (.f64 (pow.f64 y 4) x) (.f64 (pow.f64 y 3) z))))) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y)))))
	47.5b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x))) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (/.f64 (*.f64 a z) (pow.f64 y 2)))))
	32.4b	(/.f64 (+.f64 (/.f64 (.f64 (-.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y)) 831323944994610635929/15625000000) y) (-.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000)) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
✓	28.5b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (/.f64 1 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	49.2b	x
	44.2b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (-.f64 (/.f64 1 i) (/.f64 (.f64 c y) (pow.f64 i 2))))
	29.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) 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)))))))))))))))))))))))
▶	28.7b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) i))
	28.9b	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))))
	34.7b	(/.f64 (+.f64 (.f64 28832688827/125000 y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
	42.7b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	51.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))))))
	46.9b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	47.5b	(/.f64 t i)
	46.0b	(.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) 1) (/.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	62.1b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 t (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (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)))))))))))))))))))))))
	44.0b	(/.f64 (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))

Compiler

Compiled 52004 to 31995 computations (38.5% saved)

localize27.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
✓	0.5b	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
✓	0.7b	(cbrt.f64 y)
✓	27.9b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) i))

series9.3s (12.9%)

Counts

4 → 168

Calls

4 calls:

9.2s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) i))
57.0ms	(.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y))
38.0ms	(*.f64 (cbrt.f64 y) (cbrt.f64 y))
36.0ms	(cbrt.f64 y)

rewrite58.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

31×	`add-sqr-sqrt_binary64`
23×	`*-un-lft-identity_binary64`
23×	`add-cube-cbrt_binary64`
22×	`cbrt-prod_binary64`
20×	`pow1_binary64`

Counts

4 → 116

Calls

4 calls:

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

simplify370.0ms (0.5%)

Algorithm

1×	egg-herbie

Counts

284 → 182

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5220	66245

prune836.0ms (1.2%)

Pruning

18 alts after pruning (16 fresh and 2 done)

	Pruned	Kept	Total
New	210	0	210
Fresh	0	16	16
Picked	0	1	1
Done	0	1	1
Total	210	18	228

Error

6.6b

Counts

228 → 18

Alt Table

Status	Error	Program
	30.0b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 t (+.f64 (.f64 (pow.f64 y 4) x) (.f64 (pow.f64 y 3) z))))) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y)))))
	47.5b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x))) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (/.f64 (*.f64 a z) (pow.f64 y 2)))))
	32.4b	(/.f64 (+.f64 (/.f64 (.f64 (-.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y)) 831323944994610635929/15625000000) y) (-.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000)) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
✓	28.5b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (/.f64 1 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	49.2b	x
	44.2b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (-.f64 (/.f64 1 i) (/.f64 (.f64 c y) (pow.f64 i 2))))
	29.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) 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)))))))))))))))))))))))
✓	28.7b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) i))
▶	28.9b	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))))
	34.7b	(/.f64 (+.f64 (.f64 28832688827/125000 y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
	42.7b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	51.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))))))
	46.9b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	47.5b	(/.f64 t i)
	46.0b	(.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) 1) (/.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	62.1b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 t (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (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)))))))))))))))))))))))
	44.0b	(/.f64 (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))

Compiler

Compiled 45787 to 27572 computations (39.8% saved)

localize28.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)))
✓	10.4b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)))
✓	19.8b	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))
✓	23.3b	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))))

series21.0s (29.3%)

Counts

4 → 288

Calls

4 calls:

10.1s	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)))
8.9s	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))))
1.5s	(.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)))
473.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))

rewrite166.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

78×	`times-frac_binary64`
62×	`add-sqr-sqrt_binary64`
54×	`*-un-lft-identity_binary64`
54×	`add-cube-cbrt_binary64`
49×	`cbrt-prod_binary64`

Counts

4 → 188

Calls

4 calls:

64.0ms	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))))
26.0ms	(.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)))
23.0ms	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)))
10.0ms	(cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))

simplify1.3s (1.7%)

Algorithm

1×	egg-herbie

Counts

476 → 394

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12866	198044

prune3.1s (4.3%)

Pruning

19 alts after pruning (16 fresh and 3 done)

	Pruned	Kept	Total
New	517	1	518
Fresh	0	15	15
Picked	0	1	1
Done	0	2	2
Total	517	19	536

Error

6.6b

Counts

536 → 19

Alt Table

Status	Error	Program
	30.0b	(/.f64 (+.f64 (.f64 28832688827/125000 y) (+.f64 (.f64 54929528941/2000000 (pow.f64 y 2)) (+.f64 t (+.f64 (.f64 (pow.f64 y 4) x) (.f64 (pow.f64 y 3) z))))) (+.f64 i (+.f64 (.f64 (pow.f64 y 2) b) (+.f64 (pow.f64 y 4) (.f64 c y)))))
	47.5b	(-.f64 (+.f64 (/.f64 z y) (+.f64 (/.f64 (.f64 (pow.f64 a 2) x) (pow.f64 y 2)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (pow.f64 y 2))) x))) (+.f64 (/.f64 (.f64 a x) y) (+.f64 (/.f64 (.f64 b x) (pow.f64 y 2)) (/.f64 (*.f64 a z) (pow.f64 y 2)))))
	32.4b	(/.f64 (+.f64 (/.f64 (.f64 (-.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y)) 831323944994610635929/15625000000) y) (-.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000)) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
✓	28.5b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (/.f64 1 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	49.2b	x
	44.2b	(.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (-.f64 (/.f64 1 i) (/.f64 (.f64 c y) (pow.f64 i 2))))
	29.0b	(.f64 (/.f64 1 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 (+.f64 y a) y) b) y) c) y) 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)))))))))))))))))))))))
✓	28.7b	(/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (+.f64 (.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) (*.f64 (cbrt.f64 y) (cbrt.f64 y))) (cbrt.f64 y)) i))
✓	28.9b	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))))
	34.7b	(/.f64 (+.f64 (.f64 28832688827/125000 y) t) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))
	42.7b	(-.f64 (+.f64 (/.f64 z y) x) (/.f64 (*.f64 a x) y))
	51.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))))))
	46.9b	(-.f64 (+.f64 (/.f64 t i) (.f64 28832688827/125000 (/.f64 y i))) (/.f64 (.f64 c (*.f64 y t)) (pow.f64 i 2)))
	47.5b	(/.f64 t i)
	46.0b	(.f64 (/.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) 1) (/.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	62.1b	(-.f64 (+.f64 (/.f64 t (.f64 (pow.f64 y 3) a)) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (.f64 a y))) (+.f64 (/.f64 z a) (+.f64 (/.f64 (.f64 y x) a) (.f64 28832688827/125000 (/.f64 1 (.f64 a (pow.f64 y 2)))))))) (+.f64 (.f64 28832688827/125000 (/.f64 1 (.f64 y (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i x) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (/.f64 (.f64 y z) (pow.f64 a 2)) (+.f64 (.f64 28832688827/125000 (/.f64 c (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 z b) (.f64 y (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 i (.f64 (pow.f64 y 4) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 i z) (.f64 (pow.f64 y 3) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 b (.f64 (pow.f64 y 2) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 c x) (.f64 y (pow.f64 a 2))) (+.f64 (/.f64 (.f64 c z) (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 c (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 t b) (.f64 (pow.f64 y 4) (pow.f64 a 2))) (+.f64 (.f64 28832688827/125000 (/.f64 b (.f64 (pow.f64 y 3) (pow.f64 a 2)))) (+.f64 (/.f64 (.f64 b x) (pow.f64 a 2)) (+.f64 (/.f64 t (.f64 (pow.f64 y 2) (pow.f64 a 2))) (+.f64 (.f64 54929528941/2000000 (/.f64 1 (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)))))))))))))))))))))))
	44.0b	(/.f64 (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i))) (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i)))
	46.2b	(/.f64 (.f64 (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t)) (cbrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (/.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 y a) y) b) y) c) y) i) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))) (cbrt.f64 (sqrt.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (.f64 (+.f64 (*.f64 x y) z) y) 54929528941/2000000) y) 28832688827/125000) y) t))))))

Compiler

Compiled 159815 to 108184 computations (32.3% saved)

regimes7.0s (9.8%)

Accuracy

Total 4.0b remaining (37.3%)

Threshold costs 0b (0%)

Counts

183 → 3

Compiler

Compiled 97394 to 59179 computations (39.2% saved)

bsearch70.0ms (0.1%)

Steps

Iters	Range		Point
6	7.394111747032865e+54	5.371917869730861e+55	4.086377082969895e+55
10	-3.237979027612884e+76	-4.961380852063727e+62	-1.2415046229385566e+70

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`+-commutative_binary64`
13×	`*-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	41	79
1	66	79
2	72	79
3	82	79
4	89	79
5	94	79
6	96	79
7	95	79

end578.0ms (0.8%)

Compiler: Compiled 1472 to 938 computations (36.3% saved)

Details

analyze2.2s (3.1%)

sample1.7s (2.3%)

simplify136.0ms (0.2%)

prune5.0ms (0%)

localize26.0ms (0%)

series10.4s (14.5%)

rewrite61.0ms (0.1%)

simplify387.0ms (0.5%)

prune1.5s (2%)

localize24.0ms (0%)

series10.0s (13.9%)

rewrite111.0ms (0.2%)

simplify413.0ms (0.6%)

prune1.1s (1.5%)

localize27.0ms (0%)

series9.3s (12.9%)

rewrite58.0ms (0.1%)

simplify370.0ms (0.5%)

prune836.0ms (1.2%)

localize28.0ms (0%)

series21.0s (29.3%)

rewrite166.0ms (0.2%)

simplify1.3s (1.7%)

prune3.1s (4.3%)

regimes7.0s (9.8%)

bsearch70.0ms (0.1%)

simplify5.0ms (0%)

end578.0ms (0.8%)

Profiling