Details

analyze177.0ms (4.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
28.1%	28.1%	71.8%	0.1%	0%	0%	0%	9
39.7%	37.4%	56.9%	0.1%	5.5%	0%	0%	10
46.5%	43.7%	50.3%	0.1%	5.9%	0%	0%	11
55.2%	51.9%	42.1%	0.1%	5.9%	0%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.2s (30.8%)

Results

1.1s	8256×	body	256	valid
82.0ms	641×	body	256	infinite

Bogosity

preprocess173.0ms (4.5%)

Algorithm

2×

egglog

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(-.f64 x (.f64 (.f64 y 4) z))
(-.f64 y (.f64 (.f64 x 4) z))
(-.f64 z (.f64 (.f64 y 4) x))
(-.f64 x (.f64 (.f64 z 4) y))

Outputs
(-.f64 x (.f64 (.f64 y 4) z))
(fma.f64 z (*.f64 -4 y) x)
(-.f64 y (.f64 (.f64 x 4) z))
(fma.f64 (*.f64 -4 x) z y)
(-.f64 z (.f64 (.f64 y 4) x))
(fma.f64 x (*.f64 -4 y) z)
(-.f64 x (.f64 (.f64 z 4) y))
(fma.f64 z (*.f64 -4 y) x)

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify69.0ms (1.8%)

Algorithm

1×

egglog

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 x (.f64 (.f64 y 4) z))

Outputs
(-.f64 x (.f64 (.f64 y 4) z))
(fma.f64 y (*.f64 z -4) x)

eval1.0ms (0%)

Compiler: Compiled 16 to 10 computations (37.5% saved)

prune3.0ms (0.1%)

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

Counts

3 → 2

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.2b	(fma.f64 y (*.f64 z -4) x)
▶	0.3b	(-.f64 x (.f64 (.f64 y 4) z))

Compiler

Compiled 19 to 13 computations (31.6% saved)

localize14.0ms (0.4%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 x (.f64 (.f64 y 4) z))
✓	0.2b	(.f64 (.f64 y 4) z)

Compiler

Compiled 22 to 13 computations (40.9% saved)

series29.0ms (0.8%)

Counts

2 → 60

Calls

15 calls:

Time	Variable		Point	Expression
2.0ms	y	@	inf	(-.f64 x (.f64 (.f64 y 4) z))
1.0ms	z	@	0	(.f64 (.f64 y 4) z)
1.0ms	y	@	0	(.f64 (.f64 y 4) z)
1.0ms	y	@	inf	(.f64 (.f64 y 4) z)
1.0ms	z	@	inf	(.f64 (.f64 y 4) z)

Compiler

Compiled 1710 to 720 computations (57.9% saved)

rewrite133.0ms (3.4%)

Algorithm

1×	batch-egg-rewrite

Rules

60×	`egg-rr`
46×	`egg-rr`

Counts

2 → 106

Calls

Call 1

Inputs
(.f64 (.f64 y 4) z)
(-.f64 x (.f64 (.f64 y 4) z))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y 4) z)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 z (.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 y (.f64 4 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 4 z) y)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 (.f64 z y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 z y) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 z z)) (.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (.f64 4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 y 4)) (.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) z) (cbrt.f64 (.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 z z)) (.f64 y 4)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 4 z)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 z y) (cbrt.f64 16)) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 4) (.f64 (cbrt.f64 16) (.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 y 4)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) z) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (.f64 (.f64 (cbrt.f64 (.f64 z z)) (.f64 y 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 4 z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 4 z)) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 y 4)) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 z y) 4))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 y 4)) (.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) 2))) (cbrt.f64 (.f64 (.f64 z y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 z y) 4)) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) (cbrt.f64 (.f64 (.f64 z y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (cbrt.f64 (.f64 z z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 z y) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 z (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 (.f64 y y) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 y y) 16)) (.f64 z (cbrt.f64 (.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 z z)) (.f64 (.f64 y 4) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 z y) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 z y) 1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 z y) (cbrt.f64 4)) (cbrt.f64 16))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) 1) (cbrt.f64 (.f64 (.f64 y y) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y 4))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y 4))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) 1) (cbrt.f64 (.f64 z z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 2 (.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 16) (.f64 (cbrt.f64 4) (.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (.f64 z y) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (.f64 z y) 4)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 z y) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (.f64 z y) 4) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 3))))))
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 -4 y) z x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (.f64 -4 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (.f64 (.f64 z y) 4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (.f64 -4 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 z) (.f64 y 4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) (.f64 4 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 z y) 4)) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y 4) (neg.f64 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x x)) (.f64 (.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (.f64 (.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (.f64 (.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (.f64 (.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (.f64 z z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 -4 y) z)) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (cbrt.f64 (.f64 (.f64 z y) 4))) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 (.f64 -4 y) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 0 0 (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 0 (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (.f64 z y) 4) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (.f64 (.f64 -4 y) z) x) 0) (/.f64 (-.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (.f64 x x)) (-.f64 (.f64 (.f64 -4 y) z) x)) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x))) 0) (/.f64 (-.f64 0 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)) (+.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z)))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x))))) 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x)) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (.f64 -4 y) z) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 (.f64 -4 y) z) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 4 (.f64 z y) x) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (fma.f64 4 (.f64 z y) x)) (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (.f64 (.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 -4 y) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 -4 y) z) (.f64 -1 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 -4 y) z) (.f64 (neg.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 -4 y) z) (neg.f64 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x (.f64 (.f64 z y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x 0) (.f64 (.f64 z y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (.f64 -4 y) z) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 (.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (.f64 -4 y) z x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2))) 2) (cbrt.f64 (fma.f64 (.f64 -4 y) z x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (cbrt.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)))) (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (.f64 x x)) (+.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) (cbrt.f64 (.f64 (.f64 x (.f64 z y)) 4)))) (-.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (.f64 z y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 (.f64 -4 y) z x)) (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)) (cbrt.f64 (fma.f64 (.f64 -4 y) z x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 z (.f64 y 4) (neg.f64 x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (fma.f64 (.f64 -4 y) z x)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (.f64 -4 y) z x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (.f64 -4 y) z x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y 4) z)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 z (*.f64 y 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (*.f64 4 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 4 z) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 (*.f64 z y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z y) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (*.f64 z z)) (*.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y 4)) (*.f64 (cbrt.f64 (*.f64 (*.f64 y y) 16)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y y) 16)) z) (cbrt.f64 (*.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 z z)) (*.f64 y 4)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 4 z)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z y) (cbrt.f64 16)) (cbrt.f64 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z (cbrt.f64 (*.f64 y 4))) (cbrt.f64 (*.f64 y 4))) (cbrt.f64 (*.f64 y 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 y 4) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 4) (*.f64 (cbrt.f64 16) (*.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y 4)) (*.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 y y) 16)) z) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (*.f64 (*.f64 (cbrt.f64 (*.f64 z z)) (*.f64 y 4)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (*.f64 (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 4 z)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (*.f64 4 z)) (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (*.f64 y 4)) (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 z y) 4))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2))) (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y 4)) (*.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2) 2))) (cbrt.f64 (*.f64 (*.f64 z y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 z y) 4)) (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2)) (cbrt.f64 (*.f64 (*.f64 z y) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 y 4) (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z y) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (cbrt.f64 (*.f64 y 4))) (cbrt.f64 (*.f64 (*.f64 y y) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 z y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 y y) 16)) (*.f64 z (cbrt.f64 (*.f64 y 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 z z)) (*.f64 (*.f64 y 4) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z y) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z y) 1) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z y) (cbrt.f64 4)) (cbrt.f64 16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z (cbrt.f64 (*.f64 y 4))) 1) (cbrt.f64 (*.f64 (*.f64 y y) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 z (cbrt.f64 (*.f64 y 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y 4))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 y 4))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 y 4) (cbrt.f64 z)) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 y 4) (cbrt.f64 z)) 1) (cbrt.f64 (*.f64 z z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 2 (*.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 16) (*.f64 (cbrt.f64 4) (*.f64 z y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (*.f64 z y) 1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 (*.f64 z y) 4)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (*.f64 z y) 4) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 3))))))

((#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 -4 y) z x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (*.f64 -4 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -1 (*.f64 (*.f64 z y) 4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (*.f64 -4 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 z) (*.f64 y 4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 y) (*.f64 4 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 z y) 4)) (neg.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y 4) (neg.f64 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x)) (*.f64 (*.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (*.f64 (*.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x) (*.f64 (*.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (*.f64 (*.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 -4 y) z)) (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (neg.f64 (cbrt.f64 (*.f64 (*.f64 z y) 4))) (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 (*.f64 -4 y) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 0 0 (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 0 (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (fma.f64 (*.f64 (*.f64 z y) 4) (fma.f64 4 (*.f64 z y) x) (*.f64 x x))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (*.f64 z y) 4) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (fma.f64 (*.f64 (*.f64 z y) 4) (fma.f64 4 (*.f64 z y) x) (*.f64 x x))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x x (*.f64 (*.f64 (*.f64 -4 y) z) (-.f64 (*.f64 (*.f64 -4 y) z) x))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (fma.f64 x x (*.f64 (*.f64 (*.f64 -4 y) z) (-.f64 (*.f64 (*.f64 -4 y) z) x)))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (fma.f64 x x (*.f64 (*.f64 (*.f64 -4 y) z) (-.f64 (*.f64 (*.f64 -4 y) z) x)))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 (*.f64 (*.f64 -4 y) z) x) 0) (/.f64 (-.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2) (*.f64 x x)) (-.f64 (*.f64 (*.f64 -4 y) z) x)) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x))) 0) (/.f64 (-.f64 0 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)) (+.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x)))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2) (-.f64 (*.f64 x x) (*.f64 x (*.f64 (*.f64 -4 y) z)))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (+.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2) (-.f64 (*.f64 x x) (*.f64 x (*.f64 (*.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (+.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2) (-.f64 (*.f64 x x) (*.f64 x (*.f64 (*.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2) (*.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x)))))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)) 0) (/.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2) (*.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x)))))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (+.f64 0 (+.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2) (*.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x))))) 0) (/.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2) (*.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x)))))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 (*.f64 (*.f64 z y) 4) (fma.f64 4 (*.f64 z y) x) (*.f64 x x)) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (fma.f64 (*.f64 (*.f64 z y) 4) (fma.f64 4 (*.f64 z y) x) (*.f64 x x))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (*.f64 -4 y) z) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (fma.f64 x x (*.f64 (*.f64 (*.f64 -4 y) z) (-.f64 (*.f64 (*.f64 -4 y) z) x)))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 (*.f64 -4 y) z) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (*.f64 (*.f64 -4 y) z) 3)) (+.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2) (-.f64 (*.f64 x x) (*.f64 x (*.f64 (*.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 4 (*.f64 z y) x) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2))) (fma.f64 4 (*.f64 z y) x)) (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 (*.f64 -4 y) z))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 -4 y) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 -4 y) z) (*.f64 -1 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 -4 y) z) (*.f64 (neg.f64 x) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (*.f64 -4 y) z) (neg.f64 (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 x (*.f64 (*.f64 z y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x 0) (*.f64 (*.f64 z y) 4))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (*.f64 (*.f64 -4 y) z) (neg.f64 x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 (*.f64 -4 y) z x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 (*.f64 -4 y) z x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (fma.f64 z (*.f64 y 4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2))) 2) (cbrt.f64 (fma.f64 (*.f64 -4 y) z x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (neg.f64 (cbrt.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)))) (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (+.f64 (cbrt.f64 (pow.f64 (*.f64 (*.f64 z y) 4) 2)) (cbrt.f64 (*.f64 (*.f64 x (*.f64 z y)) 4)))) (-.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 (*.f64 z y) 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 (*.f64 -4 y) z x)) (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)) (cbrt.f64 (fma.f64 (*.f64 -4 y) z x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (fma.f64 (*.f64 -4 y) z x)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 (*.f64 -4 y) z x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 (*.f64 -4 y) z x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)) 0))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3))))))

simplify476.0ms (12.3%)

Algorithm

1×

egglog

Counts

166 → 128

Calls

Call 1

Inputs
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 4 (.f64 y z))
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 (.f64 y 4) z)
(.f64 z (.f64 y 4))
(.f64 y (.f64 4 z))
(.f64 (.f64 4 z) y)
(.f64 1 (.f64 (*.f64 z y) 4))
(.f64 (.f64 (*.f64 z y) 4) 1)
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 z z)) (.f64 y 4)))
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (.f64 4 z)))
(.f64 (cbrt.f64 (.f64 y 4)) (.f64 (cbrt.f64 (.f64 (*.f64 y y) 16)) z))
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) z) (cbrt.f64 (*.f64 y 4)))
(.f64 (.f64 (cbrt.f64 (.f64 z z)) (.f64 y 4)) (cbrt.f64 z))
(.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 4 z)) (cbrt.f64 y))
(.f64 (.f64 (*.f64 z y) (cbrt.f64 16)) (cbrt.f64 4))
(.f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 y 4)))
(.f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))
(.f64 (cbrt.f64 4) (.f64 (cbrt.f64 16) (*.f64 z y)))
(.f64 (cbrt.f64 (.f64 y 4)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) z) 1))
(.f64 (cbrt.f64 z) (.f64 (.f64 (cbrt.f64 (.f64 z z)) (*.f64 y 4)) 1))
(.f64 (cbrt.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 y y)) (*.f64 4 z)) 1))
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 4 z)) (cbrt.f64 (pow.f64 (.f64 (*.f64 z y) 4) 2))))
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 y 4)) (cbrt.f64 (pow.f64 (.f64 (*.f64 z y) 4) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 z y) 4))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))))
(.f64 (cbrt.f64 (.f64 y 4)) (.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 (.f64 (*.f64 z y) 4) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) 2))) (cbrt.f64 (.f64 (.f64 z y) 4))))
(.f64 (cbrt.f64 (.f64 (.f64 z y) 4)) (cbrt.f64 (pow.f64 (.f64 (*.f64 z y) 4) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) (cbrt.f64 (.f64 (*.f64 z y) 4)))
(.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (cbrt.f64 (.f64 z z)))
(.f64 (.f64 z y) 4)
(.f64 (.f64 z (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 (*.f64 y y) 16)))
(.f64 4 (.f64 z y))
(.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) (.f64 z (cbrt.f64 (*.f64 y 4))))
(.f64 (cbrt.f64 (.f64 z z)) (.f64 (.f64 y 4) (cbrt.f64 z)))
(.f64 (.f64 (*.f64 z y) 2) 2)
(.f64 (.f64 (*.f64 z y) 1) 4)
(.f64 (.f64 (*.f64 z y) (cbrt.f64 4)) (cbrt.f64 16))
(.f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) 1) (cbrt.f64 (.f64 (.f64 y y) 16)))
(.f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y 4))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y 4))) 2) 2))
(.f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) 2))
(.f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) 1) (cbrt.f64 (*.f64 z z)))
(.f64 2 (.f64 2 (*.f64 z y)))
(.f64 (cbrt.f64 16) (.f64 (cbrt.f64 4) (*.f64 z y)))
(.f64 4 (.f64 (*.f64 z y) 1))
(pow.f64 (cbrt.f64 (.f64 (.f64 z y) 4)) 3)
(pow.f64 (.f64 (.f64 z y) 4) 1)
(pow.f64 (pow.f64 (.f64 (.f64 z y) 4) 3) 1/3)
(cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 3))
(fma.f64 (*.f64 -4 y) z x)
(fma.f64 z (*.f64 -4 y) x)
(fma.f64 -1 (.f64 (.f64 z y) 4) x)
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(fma.f64 (neg.f64 y) (*.f64 4 z) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 z y) 4)) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) x)
(fma.f64 (*.f64 y 4) (neg.f64 z) x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x x)) (.f64 (*.f64 -4 y) z))
(fma.f64 1 x (.f64 (.f64 -4 y) z))
(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (.f64 (*.f64 -4 y) z))
(fma.f64 x 1 (.f64 (.f64 -4 y) z))
(fma.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 -4 y) z)) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) x)
(fma.f64 (neg.f64 (cbrt.f64 (.f64 (.f64 z y) 4))) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) x)
(fma.f64 1 (.f64 (.f64 -4 y) z) x)
(fma.f64 0 0 (fma.f64 (*.f64 -4 y) z x))
(fma.f64 1 0 (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (.f64 (.f64 z y) 4) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (-.f64 (.f64 (.f64 -4 y) z) x) 0) (/.f64 (-.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (.f64 x x)) (-.f64 (.f64 (.f64 -4 y) z) x)) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (+.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x))) 0) (/.f64 (-.f64 0 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)) (+.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z)))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x))))) 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x)) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (.f64 (.f64 -4 y) z) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (.f64 (.f64 -4 y) z) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (fma.f64 4 (.f64 z y) x) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (fma.f64 4 (.f64 z y) x)) (fma.f64 (*.f64 -4 y) z x))
(+.f64 x (.f64 (.f64 -4 y) z))
(+.f64 (.f64 (.f64 -4 y) z) x)
(+.f64 (.f64 (.f64 -4 y) z) (*.f64 -1 (neg.f64 x)))
(+.f64 (.f64 (.f64 -4 y) z) (*.f64 (neg.f64 x) -1))
(+.f64 (.f64 (.f64 -4 y) z) (neg.f64 (neg.f64 x)))
(+.f64 0 (fma.f64 (*.f64 -4 y) z x))
(-.f64 x (.f64 (.f64 z y) 4))
(-.f64 (+.f64 x 0) (.f64 (.f64 z y) 4))
(-.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x)))
(-.f64 (.f64 (.f64 -4 y) z) (neg.f64 x))
(.f64 1 (fma.f64 (.f64 -4 y) z x))
(.f64 (fma.f64 (.f64 -4 y) z x) 1)
(.f64 -1 (fma.f64 z (.f64 y 4) (neg.f64 x)))
(.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) -1)
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2))) 2) (cbrt.f64 (fma.f64 (*.f64 -4 y) z x))))
(.f64 (neg.f64 (cbrt.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)))) (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)))
(.f64 (+.f64 (cbrt.f64 (.f64 x x)) (+.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) (cbrt.f64 (.f64 (.f64 x (.f64 z y)) 4)))) (-.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (*.f64 z y) 4))))
(.f64 (cbrt.f64 (fma.f64 (.f64 -4 y) z x)) (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)))
(.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)) (cbrt.f64 (fma.f64 (*.f64 -4 y) z x)))
(.f64 (cbrt.f64 (fma.f64 z (.f64 y 4) (neg.f64 x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2))))
(.f64 (.f64 (cbrt.f64 (fma.f64 (.f64 -4 y) z x)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2))) 2))
(pow.f64 (cbrt.f64 (fma.f64 (*.f64 -4 y) z x)) 3)
(pow.f64 (fma.f64 (*.f64 -4 y) z x) 1)
(pow.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3) 1/3)
(neg.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)))
(neg.f64 (-.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)) 0))
(cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3))

Outputs
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 y z))
(.f64 (.f64 y z) 4)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 -4 z) x)
(.f64 (.f64 y 4) z)
(.f64 (.f64 y z) 4)
(.f64 z (.f64 y 4))
(.f64 (.f64 y z) 4)
(.f64 y (.f64 4 z))
(.f64 (.f64 y z) 4)
(.f64 (.f64 4 z) y)
(.f64 (.f64 y z) 4)
(.f64 1 (.f64 (*.f64 z y) 4))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (*.f64 z y) 4) 1)
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 z z)) (.f64 y 4)))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (.f64 4 z)))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (.f64 y 4)) (.f64 (cbrt.f64 (.f64 (*.f64 y y) 16)) z))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) z) (cbrt.f64 (*.f64 y 4)))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (cbrt.f64 (.f64 z z)) (.f64 y 4)) (cbrt.f64 z))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 4 z)) (cbrt.f64 y))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (*.f64 z y) (cbrt.f64 16)) (cbrt.f64 4))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 y 4)))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 4) (.f64 (cbrt.f64 16) (*.f64 z y)))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (.f64 y 4)) (.f64 (.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) z) 1))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 z) (.f64 (.f64 (cbrt.f64 (.f64 z z)) (*.f64 y 4)) 1))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 y) (.f64 (.f64 (cbrt.f64 (.f64 y y)) (*.f64 4 z)) 1))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 4 z)) (cbrt.f64 (pow.f64 (.f64 (*.f64 z y) 4) 2))))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 y 4)) (cbrt.f64 (pow.f64 (.f64 (*.f64 z y) 4) 2))))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 z y) 4))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (.f64 y 4)) (.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 (.f64 (*.f64 z y) 4) 2))))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) 2))) (cbrt.f64 (.f64 (.f64 z y) 4))))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (.f64 (.f64 z y) 4)) (cbrt.f64 (pow.f64 (.f64 (*.f64 z y) 4) 2)))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) (cbrt.f64 (.f64 (*.f64 z y) 4)))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (cbrt.f64 (.f64 z z)))
(.f64 (.f64 y z) 4)
(.f64 (.f64 z y) 4)
(.f64 (.f64 y z) 4)
(.f64 (.f64 z (cbrt.f64 (.f64 y 4))) (cbrt.f64 (.f64 (*.f64 y y) 16)))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 z y))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) (.f64 z (cbrt.f64 (*.f64 y 4))))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 (.f64 z z)) (.f64 (.f64 y 4) (cbrt.f64 z)))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (*.f64 z y) 2) 2)
(.f64 (.f64 y z) 4)
(.f64 (.f64 (*.f64 z y) 1) 4)
(.f64 (.f64 y z) 4)
(.f64 (.f64 (*.f64 z y) (cbrt.f64 4)) (cbrt.f64 16))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) 1) (cbrt.f64 (.f64 (.f64 y y) 16)))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (.f64 z (cbrt.f64 (.f64 y 4))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y 4))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y 4))) 2) 2))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2) 2))
(.f64 (.f64 y z) 4)
(.f64 (.f64 (.f64 (.f64 y 4) (cbrt.f64 z)) 1) (cbrt.f64 (*.f64 z z)))
(.f64 (.f64 y z) 4)
(.f64 2 (.f64 2 (*.f64 z y)))
(.f64 (.f64 y z) 4)
(.f64 (cbrt.f64 16) (.f64 (cbrt.f64 4) (*.f64 z y)))
(.f64 (.f64 y z) 4)
(.f64 4 (.f64 (*.f64 z y) 1))
(.f64 (.f64 y z) 4)
(pow.f64 (cbrt.f64 (.f64 (.f64 z y) 4)) 3)
(.f64 (.f64 y z) 4)
(pow.f64 (.f64 (.f64 z y) 4) 1)
(.f64 (.f64 y z) 4)
(pow.f64 (pow.f64 (.f64 (.f64 z y) 4) 3) 1/3)
(.f64 (.f64 y z) 4)
(cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 3))
(.f64 (.f64 y z) 4)
(fma.f64 (*.f64 -4 y) z x)
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 z (*.f64 -4 y) x)
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 -1 (.f64 (.f64 z y) 4) x)
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(fma.f64 (neg.f64 y) (*.f64 4 z) x)
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 z y) 4)) (neg.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) x)
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(fma.f64 (*.f64 y 4) (neg.f64 z) x)
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x x)) (.f64 (*.f64 -4 y) z))
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 1 x (.f64 (.f64 -4 y) z))
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (.f64 (*.f64 -4 y) z))
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 x 1 (.f64 (.f64 -4 y) z))
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 -4 y) z)) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) x)
(fma.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 (.f64 y z) 4) 2)) x)
(fma.f64 (neg.f64 (cbrt.f64 (.f64 (.f64 z y) 4))) (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) x)
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(fma.f64 1 (.f64 (.f64 -4 y) z) x)
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 0 0 (fma.f64 (*.f64 -4 y) z x))
(fma.f64 y (*.f64 -4 z) x)
(fma.f64 1 0 (fma.f64 (*.f64 -4 y) z x))
(fma.f64 y (*.f64 -4 z) x)
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 (.f64 (.f64 y z) 4) (fma.f64 4 (.f64 y z) x) (.f64 x x))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 (.f64 (.f64 z y) 4) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (.f64 (.f64 y z) 4) 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 (.f64 (.f64 y z) 4) (fma.f64 4 (.f64 y z) x) (.f64 x x))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (fma.f64 x x (.f64 (.f64 -4 (.f64 y z)) (fma.f64 (.f64 -4 y) z (neg.f64 x)))) 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -4 (.f64 y z)) (fma.f64 (.f64 -4 y) z (neg.f64 x))))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -4 (.f64 y z)) (fma.f64 (.f64 -4 y) z (neg.f64 x))))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 (-.f64 (.f64 (.f64 -4 y) z) x) 0) (/.f64 (-.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (.f64 x x)) (-.f64 (.f64 (.f64 -4 y) z) x)) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (fma.f64 (.f64 -4 y) z (neg.f64 x)) 0) (/.f64 (-.f64 (pow.f64 (.f64 (.f64 y z) 4) 2) (.f64 x x)) (fma.f64 (.f64 -4 y) z (neg.f64 x))) (fma.f64 y (.f64 -4 z) x))
(if (!=.f64 (+.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x))) 0) (/.f64 (-.f64 0 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)) (+.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) 0) (/.f64 (pow.f64 (fma.f64 y (.f64 -4 z) x) 2) (fma.f64 (neg.f64 z) (.f64 y 4) x)) (fma.f64 y (.f64 -4 z) x))
(if (!=.f64 (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z)))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (fma.f64 x (-.f64 x (.f64 -4 (.f64 y z))) (pow.f64 (.f64 (.f64 y z) 4) 2)) 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -4 (.f64 y z))) (pow.f64 (.f64 (.f64 y z) 4) 2))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -4 (.f64 y z))) (pow.f64 (.f64 (.f64 y z) 4) 2))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 y (.f64 -4 z) x) 3) (pow.f64 (fma.f64 y (.f64 -4 z) x) 2)) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) 0) (/.f64 (pow.f64 (fma.f64 y (.f64 -4 z) x) 3) (pow.f64 (fma.f64 y (.f64 -4 z) x) 2)) (fma.f64 y (.f64 -4 z) x))
(if (!=.f64 (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x))))) 0) (/.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 3) (+.f64 0 (+.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2) (.f64 0 (fma.f64 z (.f64 y 4) (neg.f64 x)))))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (pow.f64 (fma.f64 y (.f64 -4 z) x) 2) 0) (/.f64 (pow.f64 (fma.f64 y (.f64 -4 z) x) 3) (pow.f64 (fma.f64 y (.f64 -4 z) x) 2)) (fma.f64 y (.f64 -4 z) x))
(if (!=.f64 (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x)) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 (.f64 (.f64 z y) 4) (fma.f64 4 (.f64 z y) x) (.f64 x x))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (fma.f64 (.f64 (.f64 y z) 4) (fma.f64 4 (.f64 y z) x) (.f64 x x)) 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 (.f64 (.f64 y z) 4) (fma.f64 4 (.f64 y z) x) (.f64 x x))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 (.f64 (.f64 -4 y) z) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (fma.f64 x x (.f64 (.f64 (.f64 -4 y) z) (-.f64 (.f64 (.f64 -4 y) z) x)))) (fma.f64 (.f64 -4 y) z x))
(if (!=.f64 (.f64 -4 (.f64 y z)) 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 -4 (.f64 y z)) (fma.f64 (.f64 -4 y) z (neg.f64 x))))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 (.f64 (.f64 -4 y) z) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 (.f64 -4 y) z) 3)) (+.f64 (pow.f64 (.f64 (.f64 z y) 4) 2) (-.f64 (.f64 x x) (.f64 x (.f64 (.f64 -4 y) z))))) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (.f64 -4 (.f64 y z)) 0) (/.f64 (+.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) (pow.f64 x 3)) (fma.f64 x (-.f64 x (.f64 -4 (.f64 y z))) (pow.f64 (.f64 (.f64 y z) 4) 2))) (fma.f64 y (*.f64 -4 z) x))
(if (!=.f64 (fma.f64 4 (.f64 z y) x) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 (.f64 z y) 4) 2))) (fma.f64 4 (.f64 z y) x)) (fma.f64 (*.f64 -4 y) z x))
(if (!=.f64 (fma.f64 4 (.f64 y z) x) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 (.f64 y z) 4) 2))) (fma.f64 4 (.f64 y z) x)) (fma.f64 y (*.f64 -4 z) x))
(+.f64 x (.f64 (.f64 -4 y) z))
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 (.f64 -4 y) z) x)
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 (.f64 -4 y) z) (*.f64 -1 (neg.f64 x)))
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 (.f64 -4 y) z) (*.f64 (neg.f64 x) -1))
(fma.f64 y (*.f64 -4 z) x)
(+.f64 (.f64 (.f64 -4 y) z) (neg.f64 (neg.f64 x)))
(fma.f64 y (*.f64 -4 z) x)
(+.f64 0 (fma.f64 (*.f64 -4 y) z x))
(fma.f64 y (*.f64 -4 z) x)
(-.f64 x (.f64 (.f64 z y) 4))
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(-.f64 (+.f64 x 0) (.f64 (.f64 z y) 4))
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(-.f64 0 (fma.f64 z (*.f64 y 4) (neg.f64 x)))
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(-.f64 (.f64 (.f64 -4 y) z) (neg.f64 x))
(fma.f64 y (*.f64 -4 z) x)
(.f64 1 (fma.f64 (.f64 -4 y) z x))
(fma.f64 y (*.f64 -4 z) x)
(.f64 (fma.f64 (.f64 -4 y) z x) 1)
(fma.f64 y (*.f64 -4 z) x)
(.f64 -1 (fma.f64 z (.f64 y 4) (neg.f64 x)))
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)) -1)
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2))) 2) (cbrt.f64 (fma.f64 (*.f64 -4 y) z x))))
(fma.f64 y (*.f64 -4 z) x)
(.f64 (neg.f64 (cbrt.f64 (fma.f64 z (.f64 y 4) (neg.f64 x)))) (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 -4 z) x) 2) (fma.f64 (neg.f64 z) (*.f64 y 4) x)))
(.f64 (+.f64 (cbrt.f64 (.f64 x x)) (+.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 z y) 4) 2)) (cbrt.f64 (.f64 (.f64 x (.f64 z y)) 4)))) (-.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (*.f64 z y) 4))))
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(.f64 (cbrt.f64 (fma.f64 (.f64 -4 y) z x)) (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2)))
(fma.f64 y (*.f64 -4 z) x)
(.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)) (cbrt.f64 (fma.f64 (*.f64 -4 y) z x)))
(fma.f64 y (*.f64 -4 z) x)
(.f64 (cbrt.f64 (fma.f64 z (.f64 y 4) (neg.f64 x))) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2))))
(cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 -4 z) x) 2) (fma.f64 (neg.f64 z) (*.f64 y 4) x)))
(.f64 (.f64 (cbrt.f64 (fma.f64 (.f64 -4 y) z x)) (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (.f64 -4 y) z x) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 2))) 2))
(fma.f64 y (*.f64 -4 z) x)
(pow.f64 (cbrt.f64 (fma.f64 (*.f64 -4 y) z x)) 3)
(fma.f64 y (*.f64 -4 z) x)
(pow.f64 (fma.f64 (*.f64 -4 y) z x) 1)
(fma.f64 y (*.f64 -4 z) x)
(pow.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3) 1/3)
(fma.f64 y (*.f64 -4 z) x)
(neg.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)))
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(neg.f64 (-.f64 (fma.f64 z (*.f64 y 4) (neg.f64 x)) 0))
(fma.f64 (neg.f64 z) (*.f64 y 4) x)
(cbrt.f64 (pow.f64 (fma.f64 (*.f64 -4 y) z x) 3))
(fma.f64 y (*.f64 -4 z) x)

localize13.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.2b	(fma.f64 y (*.f64 z -4) x)

Compiler

Compiled 16 to 9 computations (43.8% saved)

series39.0ms (1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
11.0ms	x	@	inf	(fma.f64 y (*.f64 z -4) x)
2.0ms	y	@	0	(fma.f64 y (*.f64 z -4) x)
1.0ms	x	@	-inf	(fma.f64 y (*.f64 z -4) x)
1.0ms	z	@	-inf	(fma.f64 y (*.f64 z -4) x)
1.0ms	z	@	inf	(fma.f64 y (*.f64 z -4) x)

Compiler

Compiled 1110 to 480 computations (56.8% saved)

rewrite140.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

64× egg-rr

Counts

1 → 64

Calls

Call 1

Inputs
(fma.f64 y (*.f64 z -4) x)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (.f64 z -4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y -4) z x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 z -4) y x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y z) -4 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (.f64 z -4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x x)) (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 z -4) (cbrt.f64 y)) (cbrt.f64 (.f64 y y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 y -4) (cbrt.f64 (.f64 z z))) (cbrt.f64 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 y z) (cbrt.f64 16)) (cbrt.f64 -4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 -64 (.f64 z z))) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 y -4) (cbrt.f64 z)) (cbrt.f64 (.f64 z z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 y y)) (.f64 (.f64 z -4) (cbrt.f64 y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (.f64 y -4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 z (cbrt.f64 -4)) (.f64 y (cbrt.f64 16)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 z -4)) (cbrt.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y (.f64 z (cbrt.f64 -4))) (cbrt.f64 16) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -4 (.f64 y z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 y)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2) (.f64 (cbrt.f64 (.f64 y y)) (.f64 z -4))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 -4) (.f64 (.f64 (cbrt.f64 16) z) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y (.f64 z -4)) 1 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 y (.f64 z -4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 y (.f64 z -4))) (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y (cbrt.f64 (.f64 z -4))) (cbrt.f64 (.f64 (.f64 z z) 16)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 x x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (cbrt.f64 (.f64 x x))) (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 x (cbrt.f64 (.f64 x x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) 2) (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) 2) (cbrt.f64 x)) (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (.f64 y (cbrt.f64 (.f64 z -4))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 z z) 16)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (.f64 z z) 16))) 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 (.f64 z z) 16)) (.f64 y (cbrt.f64 (.f64 z -4))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y (cbrt.f64 (.f64 (.f64 z z) 16))) (cbrt.f64 (.f64 z -4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (cbrt.f64 (.f64 y (.f64 z -4))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y (cbrt.f64 -4)) (.f64 (cbrt.f64 16) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 -64 z)) (.f64 y (cbrt.f64 (.f64 z z))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (.f64 z -4)) (.f64 y (cbrt.f64 (.f64 (.f64 z z) 16))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 y (cbrt.f64 z)) (cbrt.f64 (.f64 -64 (.f64 z z))) x)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 x (.f64 y (.f64 z -4))) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 y (.f64 z -4)) 2))) (-.f64 x (.f64 y (.f64 z -4)))) (fma.f64 y (.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x)))) 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (.f64 y (.f64 z -4)) 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 (.f64 y -4) z (neg.f64 x)) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 y (.f64 z -4)) 2))) (-.f64 x (.f64 y (.f64 z -4)))) (fma.f64 y (.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (.f64 z -4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (.f64 y (.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x)) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (cbrt.f64 (fma.f64 y (.f64 z -4) x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (fma.f64 y (.f64 z -4) x) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (-.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 (.f64 (.f64 y (.f64 z -4)) x)))) (+.f64 (cbrt.f64 (.f64 y (.f64 z -4))) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (cbrt.f64 (.f64 x x)) (-.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (cbrt.f64 (.f64 (.f64 y (.f64 z -4)) x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 y (.f64 z -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)))) (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 y (.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 y (.f64 z -4) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (fma.f64 y (.f64 z -4) x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2) (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (fma.f64 y (.f64 z -4) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 y (.f64 z -4) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 y (.f64 z -4) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x fma.f64 y (*.f64 z -4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y -4) z x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 z -4) y x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y z) -4 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 z -4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 x x)) (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 x) (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 z -4) (cbrt.f64 y)) (cbrt.f64 (*.f64 y y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y -4) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y z) (cbrt.f64 16)) (cbrt.f64 -4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (*.f64 -64 (*.f64 z z))) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y -4) (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 y y)) (*.f64 (*.f64 z -4) (cbrt.f64 y)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 z (*.f64 y -4) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 z (cbrt.f64 -4)) (*.f64 y (cbrt.f64 16)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 z -4)) (cbrt.f64 y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (*.f64 z (cbrt.f64 -4))) (cbrt.f64 16) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 -4 (*.f64 y z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 y)) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2) (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 z -4))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 -4) (*.f64 (*.f64 (cbrt.f64 16) z) y) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 x (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 x 1 (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (*.f64 z -4)) 1 x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (*.f64 y (*.f64 z -4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 y (*.f64 z -4))) (cbrt.f64 (pow.f64 (*.f64 y (*.f64 z -4)) 2)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (cbrt.f64 (*.f64 z -4))) (cbrt.f64 (*.f64 (*.f64 z z) 16)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 x x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (*.f64 x x))) (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 x)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 x x))) (cbrt.f64 (*.f64 x x))) (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 x (cbrt.f64 (*.f64 x x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x x))) 2) (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (cbrt.f64 (*.f64 x x))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 x x))) 2) (cbrt.f64 x)) (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 (*.f64 y (cbrt.f64 (*.f64 z -4))) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 z z) 16)))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 z z) 16))) 2) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 (*.f64 z z) 16)) (*.f64 y (cbrt.f64 (*.f64 z -4))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (cbrt.f64 (*.f64 (*.f64 z z) 16))) (cbrt.f64 (*.f64 z -4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (*.f64 y (*.f64 z -4)) 2)) (cbrt.f64 (*.f64 y (*.f64 z -4))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (cbrt.f64 -4)) (*.f64 (cbrt.f64 16) z) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 -64 z)) (*.f64 y (cbrt.f64 (*.f64 z z))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (*.f64 z -4)) (*.f64 y (cbrt.f64 (*.f64 (*.f64 z z) 16))) x)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (*.f64 -64 (*.f64 z z))) x)))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (-.f64 x (*.f64 y (*.f64 z -4))) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (*.f64 y (*.f64 z -4)) 2))) (-.f64 x (*.f64 y (*.f64 z -4)))) (fma.f64 y (*.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 x x (*.f64 (*.f64 y (*.f64 z -4)) (fma.f64 (*.f64 y -4) z (neg.f64 x)))) 0) (/.f64 (fma.f64 (pow.f64 (*.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (*.f64 (*.f64 y (*.f64 z -4)) (fma.f64 (*.f64 y -4) z (neg.f64 x))))) (fma.f64 y (*.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 x 0) (/.f64 (fma.f64 (pow.f64 (*.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (*.f64 (*.f64 y (*.f64 z -4)) (fma.f64 (*.f64 y -4) z (neg.f64 x))))) (fma.f64 y (*.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (*.f64 y (*.f64 z -4)) 0) (/.f64 (fma.f64 (pow.f64 (*.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (*.f64 (*.f64 y (*.f64 z -4)) (fma.f64 (*.f64 y -4) z (neg.f64 x))))) (fma.f64 y (*.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x if (!=.f64 (fma.f64 (*.f64 y -4) z (neg.f64 x)) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (*.f64 y (*.f64 z -4)) 2))) (-.f64 x (*.f64 y (*.f64 z -4)))) (fma.f64 y (*.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (*.f64 z -4)) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 y (*.f64 z -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x)) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)) (cbrt.f64 (fma.f64 y (*.f64 z -4) x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (fma.f64 y (*.f64 z -4) x) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (pow.f64 (*.f64 y (*.f64 z -4)) 2)) (-.f64 (cbrt.f64 (*.f64 x x)) (cbrt.f64 (*.f64 (*.f64 y (*.f64 z -4)) x)))) (+.f64 (cbrt.f64 (*.f64 y (*.f64 z -4))) (cbrt.f64 x)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (cbrt.f64 (*.f64 x x)) (-.f64 (cbrt.f64 (pow.f64 (*.f64 y (*.f64 z -4)) 2)) (cbrt.f64 (*.f64 (*.f64 y (*.f64 z -4)) x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 y (*.f64 z -4)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)))) (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (fma.f64 y (*.f64 z -4) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (fma.f64 y (*.f64 z -4) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2) (cbrt.f64 (fma.f64 y (*.f64 z -4) x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2) (cbrt.f64 (*.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2) (cbrt.f64 (fma.f64 y (*.f64 z -4) x)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) (cbrt.f64 (*.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (fma.f64 y (*.f64 z -4) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 y (*.f64 z -4) x) 1)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3))))))

simplify242.0ms (6.3%)

Algorithm

1×

egglog

Counts

100 → 74

Calls

Call 1

Inputs
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(.f64 -4 (.f64 y z))
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 y (*.f64 z -4) x)
(fma.f64 (*.f64 y -4) z x)
(fma.f64 (*.f64 z -4) y x)
(fma.f64 (*.f64 y z) -4 x)
(fma.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (*.f64 z -4)) x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x x)) (.f64 y (*.f64 z -4)))
(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (.f64 y (*.f64 z -4)))
(fma.f64 (.f64 (.f64 z -4) (cbrt.f64 y)) (cbrt.f64 (*.f64 y y)) x)
(fma.f64 (.f64 (.f64 y -4) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z) x)
(fma.f64 (.f64 (.f64 y z) (cbrt.f64 16)) (cbrt.f64 -4) x)
(fma.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 -64 (*.f64 z z))) y) x)
(fma.f64 (.f64 (.f64 y -4) (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)) x)
(fma.f64 (cbrt.f64 (.f64 y y)) (.f64 (*.f64 z -4) (cbrt.f64 y)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 z (cbrt.f64 -4)) (.f64 y (cbrt.f64 16)) x)
(fma.f64 (.f64 (cbrt.f64 (.f64 y y)) (*.f64 z -4)) (cbrt.f64 y) x)
(fma.f64 (.f64 y (.f64 z (cbrt.f64 -4))) (cbrt.f64 16) x)
(fma.f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16) x)
(fma.f64 -4 (*.f64 y z) x)
(fma.f64 (cbrt.f64 (cbrt.f64 y)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2) (.f64 (cbrt.f64 (.f64 y y)) (.f64 z -4))) x)
(fma.f64 (cbrt.f64 -4) (.f64 (.f64 (cbrt.f64 16) z) y) x)
(fma.f64 1 x (.f64 y (.f64 z -4)))
(fma.f64 x 1 (.f64 y (.f64 z -4)))
(fma.f64 (.f64 y (.f64 z -4)) 1 x)
(fma.f64 1 (.f64 y (.f64 z -4)) x)
(fma.f64 (cbrt.f64 (.f64 y (.f64 z -4))) (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) x)
(fma.f64 (.f64 y (cbrt.f64 (.f64 z -4))) (cbrt.f64 (.f64 (.f64 z z) 16)) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 x x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 y (*.f64 z -4)))
(fma.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (cbrt.f64 (.f64 x x))) (.f64 y (*.f64 z -4)))
(fma.f64 (cbrt.f64 (.f64 x (cbrt.f64 (.f64 x x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) 2) (.f64 y (*.f64 z -4)))
(fma.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) 2) (cbrt.f64 x)) (.f64 y (*.f64 z -4)))
(fma.f64 (.f64 (.f64 y (cbrt.f64 (.f64 z -4))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 z z) 16)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (*.f64 z z) 16))) 2) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 z z) 16)) (.f64 y (cbrt.f64 (.f64 z -4))) x)
(fma.f64 (.f64 y (cbrt.f64 (.f64 (.f64 z z) 16))) (cbrt.f64 (.f64 z -4)) x)
(fma.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (cbrt.f64 (.f64 y (.f64 z -4))) x)
(fma.f64 (.f64 y (cbrt.f64 -4)) (.f64 (cbrt.f64 16) z) x)
(fma.f64 (cbrt.f64 (.f64 -64 z)) (.f64 y (cbrt.f64 (*.f64 z z))) x)
(fma.f64 (cbrt.f64 (.f64 z -4)) (.f64 y (cbrt.f64 (.f64 (.f64 z z) 16))) x)
(fma.f64 (.f64 y (cbrt.f64 z)) (cbrt.f64 (.f64 -64 (*.f64 z z))) x)
(if (!=.f64 (-.f64 x (.f64 y (.f64 z -4))) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 y (.f64 z -4)) 2))) (-.f64 x (.f64 y (.f64 z -4)))) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x)))) 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 x 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (.f64 y (.f64 z -4)) 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (fma.f64 (.f64 y -4) z (neg.f64 x)) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 y (.f64 z -4)) 2))) (-.f64 x (.f64 y (.f64 z -4)))) (fma.f64 y (.f64 z -4) x))
(+.f64 (.f64 y (.f64 z -4)) x)
(+.f64 x (.f64 y (.f64 z -4)))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2))))
(.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x)) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)))
(.f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (cbrt.f64 (fma.f64 y (*.f64 z -4) x)))
(.f64 (cbrt.f64 (.f64 (fma.f64 y (.f64 z -4) x) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2) 2))
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))))
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (-.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 (.f64 (.f64 y (.f64 z -4)) x)))) (+.f64 (cbrt.f64 (.f64 y (*.f64 z -4))) (cbrt.f64 x)))
(.f64 (+.f64 (cbrt.f64 (.f64 x x)) (-.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (cbrt.f64 (.f64 (.f64 y (.f64 z -4)) x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 y (*.f64 z -4)))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)))) (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))))
(.f64 1 (fma.f64 y (.f64 z -4) x))
(.f64 (fma.f64 y (.f64 z -4) x) 1)
(.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (fma.f64 y (.f64 z -4) x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2) (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (fma.f64 y (*.f64 z -4) x)))))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)))))
(/.f64 (fma.f64 y (*.f64 z -4) x) 1)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3) 1/3)
(pow.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x)) 3)
(pow.f64 (fma.f64 y (*.f64 z -4) x) 1)
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3))

Outputs
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(.f64 -4 (.f64 y z))
(.f64 y (.f64 z -4))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(.f64 -4 (.f64 y z))
(.f64 y (.f64 z -4))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(.f64 -4 (.f64 y z))
(.f64 y (.f64 z -4))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(.f64 -4 (.f64 y z))
(.f64 y (.f64 z -4))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(.f64 -4 (.f64 y z))
(.f64 y (.f64 z -4))
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
x
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 (.f64 -4 (.f64 y z)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 y (*.f64 z -4) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (*.f64 y -4) z x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (*.f64 z -4) y x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (*.f64 y z) -4 x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (*.f64 z -4)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (.f64 x x)) (.f64 y (*.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 x) (.f64 y (*.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 (.f64 z -4) (cbrt.f64 y)) (cbrt.f64 (*.f64 y y)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 (.f64 y -4) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 (.f64 y z) (cbrt.f64 16)) (cbrt.f64 -4) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 -64 (*.f64 z z))) y) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 (.f64 y -4) (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (.f64 y y)) (.f64 (*.f64 z -4) (cbrt.f64 y)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 z (cbrt.f64 -4)) (.f64 y (cbrt.f64 16)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 (cbrt.f64 (.f64 y y)) (*.f64 z -4)) (cbrt.f64 y) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 y (.f64 z (cbrt.f64 -4))) (cbrt.f64 16) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 -4 (*.f64 y z) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (cbrt.f64 y)) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) 2) (.f64 (cbrt.f64 (.f64 y y)) (.f64 z -4))) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 -4) (.f64 (.f64 (cbrt.f64 16) z) y) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 1 x (.f64 y (.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(fma.f64 x 1 (.f64 y (.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 y (.f64 z -4)) 1 x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 1 (.f64 y (.f64 z -4)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (.f64 y (.f64 z -4))) (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 y (cbrt.f64 (.f64 z -4))) (cbrt.f64 (.f64 (.f64 z z) 16)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 x x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 y (*.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (cbrt.f64 (.f64 x x))) (.f64 y (*.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (.f64 x (cbrt.f64 (.f64 x x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) 2) (.f64 y (*.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 x x))) 2) (cbrt.f64 x)) (.f64 y (*.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 (.f64 y (cbrt.f64 (.f64 z -4))) (cbrt.f64 (cbrt.f64 (.f64 (.f64 z z) 16)))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 (*.f64 z z) 16))) 2) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (.f64 (.f64 z z) 16)) (.f64 y (cbrt.f64 (.f64 z -4))) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 y (cbrt.f64 (.f64 (.f64 z z) 16))) (cbrt.f64 (.f64 z -4)) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (cbrt.f64 (.f64 y (.f64 z -4))) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 y (cbrt.f64 -4)) (.f64 (cbrt.f64 16) z) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (cbrt.f64 (.f64 -64 z)) (.f64 y (cbrt.f64 (*.f64 z z))) x)
(fma.f64 (cbrt.f64 (.f64 z -4)) (.f64 y (cbrt.f64 (.f64 (.f64 z z) 16))) x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 (.f64 y (cbrt.f64 z)) (cbrt.f64 (.f64 -64 (*.f64 z z))) x)
(fma.f64 (.f64 y (cbrt.f64 z)) (cbrt.f64 (.f64 z (*.f64 -64 z))) x)
(if (!=.f64 (-.f64 x (.f64 y (.f64 z -4))) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 y (.f64 z -4)) 2))) (-.f64 x (.f64 y (.f64 z -4)))) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 (-.f64 x (.f64 y (.f64 z -4))) 0) (/.f64 (-.f64 (pow.f64 (.f64 y (.f64 z -4)) 2) (.f64 x x)) (fma.f64 (.f64 y -4) z (neg.f64 x))) (fma.f64 z (*.f64 y -4) x))
(if (!=.f64 (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x)))) 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x)))) 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 z (.f64 y -4) x))
(if (!=.f64 x 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 x 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 z (.f64 y -4) x))
(if (!=.f64 (.f64 y (.f64 z -4)) 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (.f64 y (.f64 z -4)) 0) (/.f64 (fma.f64 (pow.f64 (.f64 y z) 3) -64 (pow.f64 x 3)) (fma.f64 x x (.f64 (.f64 y (.f64 z -4)) (fma.f64 (.f64 y -4) z (neg.f64 x))))) (fma.f64 z (.f64 y -4) x))
(if (!=.f64 (fma.f64 (.f64 y -4) z (neg.f64 x)) 0) (/.f64 (fma.f64 x x (neg.f64 (pow.f64 (.f64 y (.f64 z -4)) 2))) (-.f64 x (.f64 y (.f64 z -4)))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (fma.f64 (.f64 y -4) z (neg.f64 x)) 0) (/.f64 (-.f64 (pow.f64 (.f64 y (.f64 z -4)) 2) (.f64 x x)) (fma.f64 (.f64 y -4) z (neg.f64 x))) (fma.f64 z (.f64 y -4) x))
(+.f64 (.f64 y (.f64 z -4)) x)
(fma.f64 z (*.f64 y -4) x)
(+.f64 x (.f64 y (.f64 z -4)))
(fma.f64 z (*.f64 y -4) x)
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2))))
(fma.f64 z (*.f64 y -4) x)
(.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x)) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)))
(fma.f64 z (*.f64 y -4) x)
(.f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (cbrt.f64 (fma.f64 y (*.f64 z -4) x)))
(fma.f64 z (*.f64 y -4) x)
(.f64 (cbrt.f64 (.f64 (fma.f64 y (.f64 z -4) x) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)))) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2) 2))
(fma.f64 z (*.f64 y -4) x)
(.f64 (.f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2)) (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))))
(fma.f64 z (*.f64 y -4) x)
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (-.f64 (cbrt.f64 (.f64 x x)) (cbrt.f64 (.f64 (.f64 y (.f64 z -4)) x)))) (+.f64 (cbrt.f64 (.f64 y (*.f64 z -4))) (cbrt.f64 x)))
(fma.f64 z (*.f64 y -4) x)
(.f64 (+.f64 (cbrt.f64 (.f64 x x)) (-.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (cbrt.f64 (.f64 (.f64 y (.f64 z -4)) x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 y (*.f64 z -4)))))
(fma.f64 z (*.f64 y -4) x)
(.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)))) (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))))
(fma.f64 z (*.f64 y -4) x)
(.f64 1 (fma.f64 y (.f64 z -4) x))
(fma.f64 z (*.f64 y -4) x)
(.f64 (fma.f64 y (.f64 z -4) x) 1)
(fma.f64 z (*.f64 y -4) x)
(.f64 (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (fma.f64 y (.f64 z -4) x)))) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))) 2))
(fma.f64 z (*.f64 y -4) x)
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) 2) (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (fma.f64 y (*.f64 z -4) x)))))
(fma.f64 z (*.f64 y -4) x)
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 y (.f64 z -4) x))) (cbrt.f64 (.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 2)))))
(fma.f64 z (*.f64 y -4) x)
(/.f64 (fma.f64 y (*.f64 z -4) x) 1)
(fma.f64 z (*.f64 y -4) x)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3) 1/3)
(fma.f64 z (*.f64 y -4) x)
(pow.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x)) 3)
(fma.f64 z (*.f64 y -4) x)
(pow.f64 (fma.f64 y (*.f64 z -4) x) 1)
(fma.f64 z (*.f64 y -4) x)
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3))
(fma.f64 z (*.f64 y -4) x)

eval170.0ms (4.4%)

Compiler: Compiled 3715 to 2135 computations (42.5% saved)

prune56.0ms (1.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	200	2	202
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	200	4	204

Error

Counts

204 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(fma.f64 y (*.f64 z -4) x)
✓	0.3b	(-.f64 x (.f64 (.f64 y 4) z))
▶	35.3b	(.f64 -4 (.f64 y z))
	27.4b	x

Compiler

Compiled 31 to 22 computations (29% saved)

localize22.0ms (0.6%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 -4 (.f64 y z))

Compiler

Compiled 14 to 7 computations (50% saved)

series5.0ms (0.1%)

Counts

1 → 0

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(.f64 -4 (.f64 y z))
1.0ms	z	@	0	(.f64 -4 (.f64 y z))
1.0ms	z	@	inf	(.f64 -4 (.f64 y z))
1.0ms	y	@	inf	(.f64 -4 (.f64 y z))
1.0ms	z	@	-inf	(.f64 -4 (.f64 y z))

Compiler

Compiled 20 to 20 computations (0% saved)

rewrite138.0ms (3.6%)

Algorithm

1×	batch-egg-rewrite

Rules

109× egg-rr

Counts

1 → 109

Calls

Call 1

Inputs
(.f64 -4 (.f64 y z))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x .f64 -4 (.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y z) -4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 z (cbrt.f64 -4)) (.f64 (cbrt.f64 16) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 -4 z) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 -4)) (.f64 (cbrt.f64 (cbrt.f64 16)) (.f64 y (.f64 z (cbrt.f64 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 (.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 -4 (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -4 (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 16) (.f64 (.f64 y z) (cbrt.f64 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 y) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 z (cbrt.f64 (.f64 -64 y))) (cbrt.f64 (.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -4 (cbrt.f64 (.f64 (.f64 y z) (cbrt.f64 (pow.f64 (.f64 y z) 2))))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 y y)) (.f64 z (cbrt.f64 (.f64 -64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -4 y)) (.f64 (cbrt.f64 (.f64 (.f64 y y) 16)) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -4 y)) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (cbrt.f64 -4)) (.f64 z (cbrt.f64 16)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (.f64 z (cbrt.f64 16))) (cbrt.f64 -4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 16) y) (.f64 (cbrt.f64 -4) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (cbrt.f64 (.f64 -64 (.f64 z z)))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 -4)) (cbrt.f64 (.f64 16 (.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 -4 z)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 -64 y))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) 1) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) 1) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -4 z)) (.f64 (cbrt.f64 (.f64 16 (.f64 z z))) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 (.f64 z z) -64)) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 z (cbrt.f64 16)) (.f64 y (cbrt.f64 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 16) (.f64 (.f64 (cbrt.f64 -4) z) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 z z)) (.f64 (.f64 -4 y) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -4 (cbrt.f64 (cbrt.f64 (.f64 y z)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (cbrt.f64 (pow.f64 (.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 16) (.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (.f64 1 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 y z)) (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (cbrt.f64 -4)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -64 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 y z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 y (.f64 -4 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -4 y) z)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (.f64 (cbrt.f64 (.f64 y z)) (cbrt.f64 (cbrt.f64 -4))) 3) (cbrt.f64 16))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -4 z)) (cbrt.f64 (.f64 y (pow.f64 (.f64 -4 (.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 y) (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) y)) (cbrt.f64 (.f64 -4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4) (cbrt.f64 (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4) (pow.f64 (.f64 -4 (.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 -4)) (cbrt.f64 (.f64 (.f64 y (.f64 z (cbrt.f64 16))) (pow.f64 (.f64 -4 (.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 z) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (.f64 -4 y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 16) (cbrt.f64 (.f64 -4 (pow.f64 (.f64 y z) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 z (.f64 -4 y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 -4 z) y)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 -4) (.f64 y (.f64 z (cbrt.f64 16))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (.f64 -4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 (cbrt.f64 16))) (pow.f64 (cbrt.f64 (cbrt.f64 16)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 y z)) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 -64 (.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 z (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (.f64 (.f64 y y) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 -4 (.f64 y z))))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -64 y)) (.f64 (cbrt.f64 (.f64 y y)) z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 z -64)) (.f64 (cbrt.f64 (.f64 z z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) 2) (cbrt.f64 (.f64 -4 (.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (cbrt.f64 z)) (cbrt.f64 (.f64 (.f64 z z) -64)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 z (cbrt.f64 y)) (cbrt.f64 (.f64 -64 (.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (.f64 z z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (.f64 z (cbrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 -4 (.f64 y z)) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 y (cbrt.f64 (.f64 -4 z))) (cbrt.f64 (.f64 16 (.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 z z)) y) (cbrt.f64 (.f64 z -64)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (.f64 -4 (cbrt.f64 (cbrt.f64 (.f64 y z))))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z))))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 -64 (.f64 z z))) (.f64 y (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 z -64)) (.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 (.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) 2) (cbrt.f64 (pow.f64 (.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))) (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) z)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (.f64 (.f64 y z) (cbrt.f64 -4)))) (cbrt.f64 (cbrt.f64 16)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) z)) (cbrt.f64 (.f64 -4 y)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 -4 (.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 y z)))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (.f64 -4 y))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 -4 y) (cbrt.f64 z))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 z z)) (pow.f64 (.f64 -4 (.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (.f64 y z) (cbrt.f64 -4))) (cbrt.f64 (.f64 (cbrt.f64 16) (pow.f64 (.f64 -4 (.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (pow.f64 (.f64 -4 (.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 -4))) (cbrt.f64 (.f64 y (.f64 z (cbrt.f64 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (.f64 (.f64 -4 y) (cbrt.f64 z)))) (cbrt.f64 (cbrt.f64 (.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -4 (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 -4 (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 3))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x *.f64 -4 (*.f64 y z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y z) -4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (cbrt.f64 -4)) (*.f64 (cbrt.f64 16) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)) (cbrt.f64 (*.f64 -4 y))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 -4 z) (cbrt.f64 (*.f64 y y))) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 -4)) (*.f64 (cbrt.f64 (cbrt.f64 16)) (*.f64 y (*.f64 z (cbrt.f64 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (*.f64 (*.f64 -4 y) (cbrt.f64 (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -4 (*.f64 y z))) (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)) (cbrt.f64 (*.f64 -4 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (*.f64 -4 (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -4 (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 16) (*.f64 (*.f64 y z) (cbrt.f64 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 y z))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2))) (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (*.f64 -4 (*.f64 (cbrt.f64 (*.f64 z z)) y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (cbrt.f64 (*.f64 -64 y))) (cbrt.f64 (*.f64 y y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -4 (cbrt.f64 (*.f64 (*.f64 y z) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y y)) (*.f64 z (cbrt.f64 (*.f64 -64 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -4 y)) (*.f64 (cbrt.f64 (*.f64 (*.f64 y y) 16)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -4 y)) (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (cbrt.f64 -4)) (*.f64 z (cbrt.f64 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (*.f64 z (cbrt.f64 16))) (cbrt.f64 -4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 16) y) (*.f64 (cbrt.f64 -4) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (cbrt.f64 (*.f64 -64 (*.f64 z z)))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) (cbrt.f64 -4)) (cbrt.f64 (*.f64 16 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 -4 z)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) (cbrt.f64 (*.f64 -64 y))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)) (cbrt.f64 (*.f64 -4 y))) (cbrt.f64 (cbrt.f64 (*.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)) (cbrt.f64 (*.f64 -4 y))) 1) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 (*.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 (cbrt.f64 (*.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 (*.f64 z z))) 1) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -4 z)) (*.f64 (cbrt.f64 (*.f64 16 (*.f64 z z))) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (*.f64 (cbrt.f64 (*.f64 (*.f64 z z) -64)) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (cbrt.f64 16)) (*.f64 y (cbrt.f64 -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 16) (*.f64 (*.f64 (cbrt.f64 -4) z) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 z z)) (*.f64 (*.f64 -4 y) (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -4 (cbrt.f64 (cbrt.f64 (*.f64 y z)))) (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2))) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 16) (*.f64 (cbrt.f64 (*.f64 -4 (*.f64 y z))) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 z z))) (*.f64 -4 (*.f64 (cbrt.f64 (*.f64 z z)) y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 z z))) (*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (*.f64 1 (*.f64 (*.f64 -4 y) (cbrt.f64 (*.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 z z))) (*.f64 (*.f64 -4 y) (cbrt.f64 (*.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y z)) (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2))) (cbrt.f64 -4)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -64 (*.f64 y z))) (cbrt.f64 (pow.f64 (*.f64 y z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 y (*.f64 -4 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -4 y) z)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (*.f64 (cbrt.f64 (*.f64 y z)) (cbrt.f64 (cbrt.f64 -4))) 3) (cbrt.f64 16))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -4 z)) (cbrt.f64 (*.f64 y (pow.f64 (*.f64 -4 (*.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (cbrt.f64 (*.f64 (*.f64 -64 (pow.f64 (*.f64 y z) 2)) z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) y)) (cbrt.f64 (*.f64 -4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4) (cbrt.f64 (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 y z))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4) (pow.f64 (*.f64 -4 (*.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 -4)) (cbrt.f64 (*.f64 (*.f64 y (*.f64 z (cbrt.f64 16))) (pow.f64 (*.f64 -4 (*.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 z) (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (*.f64 -4 y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 16) (cbrt.f64 (*.f64 -4 (pow.f64 (*.f64 y z) 3))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 z (*.f64 -4 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 -4 z) y)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 -4) (*.f64 y (*.f64 z (cbrt.f64 16))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (*.f64 y y)) (*.f64 -4 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 y z) (cbrt.f64 -4)) (cbrt.f64 (cbrt.f64 16))) (pow.f64 (cbrt.f64 (cbrt.f64 16)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 y z)) (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) (cbrt.f64 (*.f64 -64 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (cbrt.f64 (*.f64 -4 y))) (cbrt.f64 (*.f64 (*.f64 y y) 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (cbrt.f64 (*.f64 -4 (*.f64 y z))))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -64 y)) (*.f64 (cbrt.f64 (*.f64 y y)) z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 z -64)) (*.f64 (cbrt.f64 (*.f64 z z)) y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2))) 2) (cbrt.f64 (*.f64 -4 (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (cbrt.f64 z)) (cbrt.f64 (*.f64 (*.f64 z z) -64)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 z (cbrt.f64 y)) (cbrt.f64 (*.f64 -64 (*.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 -4 (*.f64 y z)))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (*.f64 z z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 (*.f64 z z)))) (cbrt.f64 (*.f64 z (cbrt.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 -4 (*.f64 y z)) (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 y (cbrt.f64 (*.f64 -4 z))) (cbrt.f64 (*.f64 16 (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (*.f64 z z)) y) (cbrt.f64 (*.f64 z -64)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) (*.f64 -4 (cbrt.f64 (cbrt.f64 (*.f64 y z))))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) (cbrt.f64 (cbrt.f64 (*.f64 -64 (*.f64 y z))))) (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 -64 (*.f64 y z)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)) (cbrt.f64 (*.f64 -4 y))) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 (*.f64 z z))) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 -64 (*.f64 z z))) (*.f64 y (cbrt.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 z -64)) (*.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 -64 (*.f64 y z)))) (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (*.f64 -64 (*.f64 y z)))) 2) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 z z))) (*.f64 (cbrt.f64 (cbrt.f64 z)) (*.f64 -4 (*.f64 (cbrt.f64 (*.f64 z z)) y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 z z))) (*.f64 (cbrt.f64 (cbrt.f64 z)) (*.f64 (cbrt.f64 y) (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 z z))) (*.f64 (cbrt.f64 (cbrt.f64 z)) (*.f64 (*.f64 -4 y) (cbrt.f64 (*.f64 z z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2)))) (cbrt.f64 (cbrt.f64 (*.f64 -4 (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 -64 (pow.f64 (*.f64 y z) 2)) z)) (cbrt.f64 y))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (*.f64 (*.f64 y z) (cbrt.f64 -4)))) (cbrt.f64 (cbrt.f64 16)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) z)) (cbrt.f64 (*.f64 -4 y)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2))) (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (cbrt.f64 (*.f64 -4 (*.f64 y z))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 -64 (pow.f64 (*.f64 y z) 2)) (cbrt.f64 (*.f64 y z)))) (cbrt.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (*.f64 -4 y))) (cbrt.f64 z))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (cbrt.f64 (*.f64 y z)))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 -4 y) (cbrt.f64 z))) (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 z z)) (pow.f64 (*.f64 -4 (*.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (*.f64 y z) (cbrt.f64 -4))) (cbrt.f64 (*.f64 (cbrt.f64 16) (pow.f64 (*.f64 -4 (*.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (*.f64 -64 (*.f64 y z)))) (cbrt.f64 (*.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) (pow.f64 (*.f64 -4 (*.f64 y z)) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (cbrt.f64 -4))) (cbrt.f64 (*.f64 y (*.f64 z (cbrt.f64 16)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (*.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 2) (*.f64 (*.f64 -4 y) (cbrt.f64 z)))) (cbrt.f64 (cbrt.f64 (*.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 -4 (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 -4 (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (*.f64 -4 (*.f64 y z))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (*.f64 -4 (*.f64 y z)) 3))))))

simplify270.0ms (7%)

Algorithm

1×

egglog

Counts

109 → 114

Calls

Call 1

Inputs
(.f64 -4 (.f64 y z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))
(.f64 (.f64 z (cbrt.f64 -4)) (*.f64 (cbrt.f64 16) y))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (*.f64 -4 y))) (cbrt.f64 z))
(.f64 (.f64 (.f64 -4 z) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
(.f64 (cbrt.f64 (cbrt.f64 -4)) (.f64 (cbrt.f64 (cbrt.f64 16)) (.f64 y (.f64 z (cbrt.f64 16)))))
(.f64 (cbrt.f64 z) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))))
(.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 (*.f64 y z))))
(.f64 1 (.f64 -4 (*.f64 y z)))
(.f64 (.f64 -4 (*.f64 y z)) 1)
(.f64 (.f64 (*.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16))
(.f64 (cbrt.f64 16) (.f64 (*.f64 y z) (cbrt.f64 -4)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))
(.f64 (cbrt.f64 z) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y)))
(.f64 (.f64 z (cbrt.f64 (.f64 -64 y))) (cbrt.f64 (.f64 y y)))
(.f64 (.f64 -4 (cbrt.f64 (.f64 (.f64 y z) (cbrt.f64 (pow.f64 (.f64 y z) 2))))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) 2))
(.f64 (cbrt.f64 (.f64 y y)) (.f64 z (cbrt.f64 (.f64 -64 y))))
(.f64 (cbrt.f64 (.f64 -4 y)) (.f64 (cbrt.f64 (.f64 (*.f64 y y) 16)) z))
(.f64 (cbrt.f64 (.f64 -4 y)) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 2) z)))
(.f64 (.f64 y (cbrt.f64 -4)) (*.f64 z (cbrt.f64 16)))
(.f64 (.f64 y (*.f64 z (cbrt.f64 16))) (cbrt.f64 -4))
(.f64 (.f64 (cbrt.f64 16) y) (*.f64 (cbrt.f64 -4) z))
(.f64 (.f64 y (cbrt.f64 (.f64 -64 (.f64 z z)))) (cbrt.f64 z))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 -4)) (cbrt.f64 (.f64 16 (*.f64 y z))))
(.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 -4 z)) (cbrt.f64 y))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 -64 y))) (cbrt.f64 z))
(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (cbrt.f64 (*.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))
(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) 1) (cbrt.f64 z))
(.f64 (.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (*.f64 z z))) 1) (cbrt.f64 z))
(.f64 (cbrt.f64 (.f64 -4 z)) (.f64 (cbrt.f64 (.f64 16 (*.f64 z z))) y))
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 (.f64 z z) -64)) y))
(.f64 (.f64 z (cbrt.f64 16)) (*.f64 y (cbrt.f64 -4)))
(.f64 (cbrt.f64 16) (.f64 (*.f64 (cbrt.f64 -4) z) y))
(.f64 (cbrt.f64 (.f64 z z)) (.f64 (.f64 -4 y) (cbrt.f64 z)))
(.f64 (.f64 -4 (cbrt.f64 (cbrt.f64 (.f64 y z)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(.f64 (cbrt.f64 16) (.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))
(.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y))))
(.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))))
(.f64 (cbrt.f64 z) (.f64 1 (.f64 (.f64 -4 y) (cbrt.f64 (*.f64 z z)))))
(.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z)))))
(.f64 (cbrt.f64 (.f64 y z)) (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (cbrt.f64 -4)) 3))
(.f64 (cbrt.f64 (.f64 -64 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 y z) 2)))
(.f64 y (.f64 -4 z))
(.f64 (.f64 -4 y) z)
(.f64 (pow.f64 (.f64 (cbrt.f64 (*.f64 y z)) (cbrt.f64 (cbrt.f64 -4))) 3) (cbrt.f64 16))
(.f64 (cbrt.f64 (.f64 -4 z)) (cbrt.f64 (.f64 y (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (cbrt.f64 y) (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) z)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) y)) (cbrt.f64 (*.f64 -4 z)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4) (cbrt.f64 (.f64 y z)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4) (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (cbrt.f64 (cbrt.f64 -4)) (cbrt.f64 (.f64 (.f64 y (.f64 z (cbrt.f64 16))) (pow.f64 (.f64 -4 (.f64 y z)) 2))))
(.f64 (cbrt.f64 z) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (*.f64 -4 y))))
(.f64 (cbrt.f64 16) (cbrt.f64 (.f64 -4 (pow.f64 (*.f64 y z) 3))))
(.f64 z (.f64 -4 y))
(.f64 (.f64 -4 z) y)
(.f64 (cbrt.f64 -4) (.f64 y (*.f64 z (cbrt.f64 16))))
(.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (.f64 -4 z)))
(.f64 (.f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 (cbrt.f64 16))) (pow.f64 (cbrt.f64 (cbrt.f64 16)) 2))
(.f64 (cbrt.f64 (.f64 y z)) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))
(.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 -64 (.f64 y z))))
(.f64 (.f64 z (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (.f64 (*.f64 y y) 16)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 -4 (.f64 y z))))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))))
(.f64 (cbrt.f64 (.f64 -64 y)) (.f64 (cbrt.f64 (.f64 y y)) z))
(.f64 (cbrt.f64 (.f64 z -64)) (.f64 (cbrt.f64 (.f64 z z)) y))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) 2) (cbrt.f64 (.f64 -4 (.f64 y z)))))
(.f64 (.f64 y (cbrt.f64 z)) (cbrt.f64 (.f64 (.f64 z z) -64)))
(.f64 (.f64 z (cbrt.f64 y)) (cbrt.f64 (.f64 -64 (.f64 y y))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))))
(.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (.f64 z z)))
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (.f64 z (cbrt.f64 z))))
(.f64 (cbrt.f64 (.f64 (.f64 -4 (.f64 y z)) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) 2))
(.f64 (.f64 y (cbrt.f64 (.f64 -4 z))) (cbrt.f64 (.f64 16 (*.f64 z z))))
(.f64 (.f64 (cbrt.f64 (.f64 z z)) y) (cbrt.f64 (.f64 z -64)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (.f64 -4 (cbrt.f64 (cbrt.f64 (.f64 y z))))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z))))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (*.f64 y z)))) 2))
(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (*.f64 z z))))
(.f64 (.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (.f64 z z))))
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (.f64 z z))))
(.f64 (cbrt.f64 (.f64 -64 (.f64 z z))) (.f64 y (cbrt.f64 z)))
(.f64 (cbrt.f64 (.f64 z -64)) (.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) 2) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z)))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))) (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))))
(.f64 (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) z)) (cbrt.f64 y))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (.f64 (.f64 y z) (cbrt.f64 -4)))) (cbrt.f64 (cbrt.f64 16)))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) z)) (cbrt.f64 (*.f64 -4 y)))
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 -4 (.f64 y z))))))
(.f64 (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 y z)))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (*.f64 -4 y))) (cbrt.f64 z))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4)))
(.f64 (cbrt.f64 (.f64 (.f64 -4 y) (cbrt.f64 z))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 z z)) (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (cbrt.f64 (.f64 (.f64 y z) (cbrt.f64 -4))) (cbrt.f64 (.f64 (cbrt.f64 16) (pow.f64 (.f64 -4 (.f64 y z)) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 -4))) (cbrt.f64 (.f64 y (.f64 z (cbrt.f64 16)))))
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (.f64 (.f64 -4 y) (cbrt.f64 z)))) (cbrt.f64 (cbrt.f64 (*.f64 z z))))
(/.f64 (.f64 -4 (.f64 y z)) 1)
(pow.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) 1/3)
(pow.f64 (.f64 -4 (.f64 y z)) 1)
(pow.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) 3)
(cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3))

Outputs
(.f64 -4 (.f64 y z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 z (cbrt.f64 -4)) (*.f64 (cbrt.f64 16) y))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (*.f64 -4 y))) (cbrt.f64 z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 -4 z) (cbrt.f64 (.f64 y y))) (cbrt.f64 y))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 -4)) (.f64 (cbrt.f64 (cbrt.f64 16)) (.f64 y (.f64 z (cbrt.f64 16)))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 z) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 2)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 (*.f64 y z))))
(.f64 (.f64 y z) -4)
(.f64 1 (.f64 -4 (*.f64 y z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 -4 (*.f64 y z)) 1)
(.f64 (.f64 y z) -4)
(.f64 (.f64 (*.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 16) (.f64 (*.f64 y z) (cbrt.f64 -4)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 z) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 z (cbrt.f64 (.f64 -64 y))) (cbrt.f64 (.f64 y y)))
(.f64 (.f64 (cbrt.f64 (.f64 -64 y)) (cbrt.f64 (.f64 y y))) z)
(.f64 (.f64 -4 (cbrt.f64 (.f64 (.f64 y z) (cbrt.f64 (pow.f64 (.f64 y z) 2))))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) 2))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 y y)) (.f64 z (cbrt.f64 (.f64 -64 y))))
(.f64 (.f64 (cbrt.f64 (.f64 -64 y)) (cbrt.f64 (.f64 y y))) z)
(.f64 (cbrt.f64 (.f64 -4 y)) (.f64 (cbrt.f64 (.f64 (*.f64 y y) 16)) z))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 -4 y)) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 2) z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 y (cbrt.f64 -4)) (*.f64 z (cbrt.f64 16)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 y (*.f64 z (cbrt.f64 16))) (cbrt.f64 -4))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 16) y) (*.f64 (cbrt.f64 -4) z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 y (cbrt.f64 (.f64 -64 (.f64 z z)))) (cbrt.f64 z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 -4)) (cbrt.f64 (.f64 16 (*.f64 y z))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 (.f64 y y)) (.f64 -4 z)) (cbrt.f64 y))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 -64 y))) (cbrt.f64 z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (cbrt.f64 (*.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) 1) (cbrt.f64 z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (cbrt.f64 z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (*.f64 z z))) 1) (cbrt.f64 z))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 -4 z)) (.f64 (cbrt.f64 (.f64 16 (*.f64 z z))) y))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (.f64 (.f64 z z) -64)) y))
(.f64 (.f64 y z) -4)
(.f64 (.f64 z (cbrt.f64 16)) (*.f64 y (cbrt.f64 -4)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 16) (.f64 (*.f64 (cbrt.f64 -4) z) y))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 z z)) (.f64 (.f64 -4 y) (cbrt.f64 z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 -4 (cbrt.f64 (cbrt.f64 (.f64 y z)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 16) (.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 z) (.f64 1 (.f64 (.f64 -4 y) (cbrt.f64 (*.f64 z z)))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z)))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 y z)) (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (cbrt.f64 -4)) 3))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 -64 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 y z) 2)))
(.f64 (.f64 y z) -4)
(.f64 y (.f64 -4 z))
(.f64 (.f64 y z) -4)
(.f64 (.f64 -4 y) z)
(.f64 (.f64 y z) -4)
(.f64 (pow.f64 (.f64 (cbrt.f64 (*.f64 y z)) (cbrt.f64 (cbrt.f64 -4))) 3) (cbrt.f64 16))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 -4 z)) (cbrt.f64 (.f64 y (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 y) (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) z)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) y)) (cbrt.f64 (*.f64 -4 z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4) (cbrt.f64 (.f64 y z)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) (cbrt.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4) (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 -4)) (cbrt.f64 (.f64 (.f64 y (.f64 z (cbrt.f64 16))) (pow.f64 (.f64 -4 (.f64 y z)) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 z) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (*.f64 -4 y))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 16) (cbrt.f64 (.f64 -4 (pow.f64 (*.f64 y z) 3))))
(.f64 (.f64 y z) -4)
(.f64 z (.f64 -4 y))
(.f64 (.f64 y z) -4)
(.f64 (.f64 -4 z) y)
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 -4) (.f64 y (*.f64 z (cbrt.f64 16))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 z))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (.f64 y y)) (.f64 -4 z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 (cbrt.f64 16))) (pow.f64 (cbrt.f64 (cbrt.f64 16)) 2))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 y z)) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 -64 (.f64 y z))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 z (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (.f64 (*.f64 y y) 16)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 -4 (.f64 y z))))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 -64 y)) (.f64 (cbrt.f64 (.f64 y y)) z))
(.f64 (.f64 (cbrt.f64 (.f64 -64 y)) (cbrt.f64 (.f64 y y))) z)
(.f64 (cbrt.f64 (.f64 z -64)) (.f64 (cbrt.f64 (.f64 z z)) y))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) 2) (cbrt.f64 (.f64 -4 (.f64 y z)))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 y (cbrt.f64 z)) (cbrt.f64 (.f64 (.f64 z z) -64)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 z (cbrt.f64 y)) (cbrt.f64 (.f64 -64 (.f64 y y))))
(.f64 z (.f64 (cbrt.f64 y) (cbrt.f64 (.f64 -64 (.f64 y y)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (.f64 z z)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 (.f64 z z)))) (cbrt.f64 (.f64 z (cbrt.f64 z))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (.f64 -4 (.f64 y z)) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) 2))
(.f64 (.f64 y z) -4)
(.f64 (.f64 y (cbrt.f64 (.f64 -4 z))) (cbrt.f64 (.f64 16 (*.f64 z z))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 (.f64 z z)) y) (cbrt.f64 (.f64 z -64)))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (.f64 -4 (cbrt.f64 (cbrt.f64 (.f64 y z))))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z))))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (*.f64 y z)))) 2))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (*.f64 z z))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 z)) (cbrt.f64 z)) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (.f64 z z))))
(.f64 (.f64 y z) -4)
(.f64 (.f64 (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z))) (cbrt.f64 (cbrt.f64 z))) (cbrt.f64 (cbrt.f64 (.f64 z z))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 -64 (.f64 z z))) (.f64 y (cbrt.f64 z)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 z -64)) (.f64 (cbrt.f64 y) (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(cbrt.f64 (.f64 (.f64 y (pow.f64 (.f64 y z) 2)) (.f64 z -64)))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) 2) (cbrt.f64 (pow.f64 (*.f64 y z) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 -4 (.f64 (cbrt.f64 (.f64 z z)) y))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) -4))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 (.f64 z z))) (.f64 (cbrt.f64 (cbrt.f64 z)) (.f64 (.f64 -4 y) (cbrt.f64 (.f64 z z)))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)))) (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) z)) (cbrt.f64 y))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (.f64 (.f64 y z) (cbrt.f64 -4)))) (cbrt.f64 (cbrt.f64 16)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) z)) (cbrt.f64 (*.f64 -4 y)))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2))) (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 -4 (.f64 y z))))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (.f64 -64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 y z)))) (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (*.f64 -4 y))) (cbrt.f64 z))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 (.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4)))
(cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 (.f64 y z) -4) 2) (cbrt.f64 (.f64 y z))) (.f64 (cbrt.f64 (pow.f64 (*.f64 y z) 2)) -4)))
(.f64 (cbrt.f64 (.f64 (.f64 -4 y) (cbrt.f64 z))) (cbrt.f64 (.f64 (cbrt.f64 (.f64 z z)) (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (.f64 y z) (cbrt.f64 -4))) (cbrt.f64 (.f64 (cbrt.f64 16) (pow.f64 (.f64 -4 (.f64 y z)) 2))))
(cbrt.f64 (.f64 (.f64 (cbrt.f64 -4) (.f64 y z)) (.f64 (cbrt.f64 16) (pow.f64 (.f64 (.f64 y z) -4) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -64 (.f64 y z)))) (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (cbrt.f64 -4))) (cbrt.f64 (.f64 y (.f64 z (cbrt.f64 16)))))
(.f64 (.f64 y z) -4)
(.f64 (cbrt.f64 (.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2) (.f64 (.f64 -4 y) (cbrt.f64 z)))) (cbrt.f64 (cbrt.f64 (*.f64 z z))))
(.f64 (.f64 y z) -4)
(/.f64 (.f64 -4 (.f64 y z)) 1)
(.f64 (.f64 y z) -4)
(pow.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) 1/3)
(.f64 (.f64 y z) -4)
(pow.f64 (.f64 -4 (.f64 y z)) 1)
(.f64 (.f64 y z) -4)
(pow.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) 3)
(.f64 (.f64 y z) -4)
(cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3))
(.f64 (.f64 y z) -4)

eval85.0ms (2.2%)

Compiler: Compiled 1672 to 920 computations (45% saved)

prune34.0ms (0.9%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	114	0	114
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	114	4	118

Error

Counts

118 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(fma.f64 y (*.f64 z -4) x)
✓	0.3b	(-.f64 x (.f64 (.f64 y 4) z))
✓	35.3b	(.f64 -4 (.f64 y z))
	27.4b	x

Compiler

Compiled 31 to 22 computations (29% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(fma.f64 y (*.f64 z -4) x)
✓	0.3b	(-.f64 x (.f64 (.f64 y 4) z))
✓	35.3b	(.f64 -4 (.f64 y z))
	27.4b	x

Compiler

Compiled 31 to 22 computations (29% saved)

eval0.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.2b	(fma.f64 y (*.f64 z -4) x)
✓	0.3b	(-.f64 x (.f64 (.f64 y 4) z))
✓	35.3b	(.f64 -4 (.f64 y z))
	27.4b	x

Compiler

Compiled 31 to 22 computations (29% saved)

regimes79.0ms (2%)

Counts

4 → 1

Calls

Call 1

Inputs
x
(.f64 -4 (.f64 y z))
(-.f64 x (.f64 (.f64 y 4) z))
(fma.f64 y (*.f64 z -4) x)

Outputs
(fma.f64 y (*.f64 z -4) x)

Calls

6 calls:

28.0ms	(*.f64 y 4)
13.0ms	(.f64 (.f64 y 4) z)
10.0ms	(-.f64 x (.f64 (.f64 y 4) z))
9.0ms	z
8.0ms	y

Results

Error	Segments	Branch
0.2b	1	`x`
0.2b	1	`y`
0.2b	1	`z`
0.2b	1	`(-.f64 x (.f64 (.f64 y 4) z))`
0.2b	1	`(.f64 (.f64 y 4) z)`
0.2b	1	`(*.f64 y 4)`

Compiler

Compiled 58 to 40 computations (31% saved)

regimes45.0ms (1.2%)

Counts

3 → 1

Calls

Call 1

Inputs
x
(.f64 -4 (.f64 y z))
(-.f64 x (.f64 (.f64 y 4) z))

Outputs
(-.f64 x (.f64 (.f64 y 4) z))

Calls

6 calls:

8.0ms	(.f64 (.f64 y 4) z)
7.0ms	x
7.0ms	(-.f64 x (.f64 (.f64 y 4) z))
7.0ms	(*.f64 y 4)
7.0ms	z

Results

Error	Segments	Branch
0.3b	1	`x`
0.3b	1	`y`
0.3b	1	`z`
0.3b	1	`(-.f64 x (.f64 (.f64 y 4) z))`
0.3b	1	`(.f64 (.f64 y 4) z)`
0.3b	1	`(*.f64 y 4)`

Compiler

Compiled 52 to 37 computations (28.8% saved)

regimes137.0ms (3.5%)

Accuracy

Total -50.4b remaining (-439.4%)

Threshold costs -50.4b (-439.4%)

Counts

2 → 5

Calls

Call 1

Inputs
x
(.f64 -4 (.f64 y z))

Outputs
x
(.f64 -4 (.f64 y z))
x
(.f64 -4 (.f64 y z))
x

Calls

3 calls:

72.0ms	z
33.0ms	y
31.0ms	x

Results

Error	Segments	Branch
11.5b	5	`x`
16.4b	5	`y`
17.4b	7	`z`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch91.0ms (2.3%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
24.0ms	1.4578454930789435e-94	1.3042493491608882e-87
27.0ms	-2.1501739688068295e-84	-1.4922521529124518e-89
26.0ms	-5.808054861726827e-44	-2.4510978125270436e-57
14.0ms	-2.995265558305145e-31	-1.0243134876152165e-31

Results

80.0ms

528×

body

256

valid

Compiler

Compiled 478 to 375 computations (21.5% saved)

simplify1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 55 to 36 computations (34.5% saved)

soundness1.0ms (0%)

Compiler: Compiled 3 to 3 computations (0% saved)

end29.0ms (0.8%)

Compiler: Compiled 46 to 27 computations (41.3% saved)

Details

analyze177.0ms (4.6%)

sample1.2s (30.8%)

preprocess173.0ms (4.5%)

simplify69.0ms (1.8%)

eval1.0ms (0%)

prune3.0ms (0.1%)

localize14.0ms (0.4%)

series29.0ms (0.8%)

rewrite133.0ms (3.4%)

simplify476.0ms (12.3%)

localize13.0ms (0.3%)

series39.0ms (1%)

rewrite140.0ms (3.6%)

simplify242.0ms (6.3%)

eval170.0ms (4.4%)

prune56.0ms (1.4%)

localize22.0ms (0.6%)

series5.0ms (0.1%)

rewrite138.0ms (3.6%)

simplify270.0ms (7%)

eval85.0ms (2.2%)

prune34.0ms (0.9%)

eval0.0ms (0%)

prune3.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes79.0ms (2%)

regimes45.0ms (1.2%)

regimes137.0ms (3.5%)

bsearch91.0ms (2.3%)

simplify1.0ms (0%)

soundness1.0ms (0%)

end29.0ms (0.8%)

Profiling