Details

analyze157.0ms (1.2%)

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)

sample773.0ms (6%)

Results

706.0ms	8256×	body	256	valid
56.0ms	669×	body	256	infinite

Bogosity

preprocess2.9s (22.6%)

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))
(-.f64 x (.f64 (.f64 z 4) y))
(-.f64 y (.f64 (.f64 x 4) z))
(-.f64 z (.f64 (.f64 y 4) x))
(-.f64 x (.f64 (.f64 z 4) y))

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify1.5s (11.3%)

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)

prune2.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

3 → 2

Alt Table

Click to see full alt table

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

Compiler

Compiled 19 to 13 computations (31.6% saved)

localize10.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 22 to 13 computations (40.9% saved)

series15.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

Compiler

Compiled 1110 to 480 computations (56.8% saved)

rewrite1.5s (11.4%)

Algorithm

1×	batch-egg-rewrite

Rules

67× egg-rr

Counts

1 → 67

Calls

Call 1

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

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

Outputs

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

simplify2.1s (16.3%)

Algorithm

1×

egglog

Counts

103 → 71

Calls

Call 1

Inputs
(.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 (fma.f64 y (.f64 z -4) x) 1)
(.f64 (+.f64 0 (+.f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (.f64 0 (cbrt.f64 (-.f64 (.f64 4 (.f64 y z)) x))))) (cbrt.f64 (fma.f64 y (.f64 z -4) x)))
(.f64 (+.f64 (cbrt.f64 (pow.f64 x 2)) (-.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 y (.f64 z -4)))))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 y (.f64 z -4)))))
(.f64 (+.f64 0 (-.f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (.f64 0 (cbrt.f64 (fma.f64 y (.f64 z -4) x))))) (+.f64 0 (cbrt.f64 (fma.f64 y (*.f64 z -4) x))))
(.f64 (+.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2)) (-.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 y (.f64 z -4))) (cbrt.f64 x)))) (+.f64 (cbrt.f64 (.f64 y (.f64 z -4))) (cbrt.f64 x)))
(.f64 -1 (-.f64 (.f64 4 (*.f64 y z)) x))
(.f64 1 (fma.f64 y (.f64 z -4) x))
(.f64 (/.f64 (fma.f64 y (.f64 z -4) x) 2) 2)
(.f64 (-.f64 (.f64 4 (*.f64 y z)) x) -1)
(.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 (+.f64 (cbrt.f64 (pow.f64 x 2)) (.f64 (cbrt.f64 (.f64 4 (.f64 y z))) (+.f64 (cbrt.f64 (.f64 4 (.f64 y z))) (cbrt.f64 x)))) (+.f64 (cbrt.f64 x) (cbrt.f64 (.f64 y (.f64 z -4)))))
(.f64 (cbrt.f64 (-.f64 (.f64 4 (.f64 y z)) x)) (neg.f64 (cbrt.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2))))
(-.f64 (.f64 y (.f64 z -4)) (neg.f64 x))
(-.f64 0 (-.f64 (.f64 4 (.f64 y z)) x))
(-.f64 x (.f64 4 (.f64 y z)))
(/.f64 (fma.f64 y (*.f64 z -4) x) 1)
(/.f64 (-.f64 (.f64 4 (.f64 y z)) x) -1)
(fma.f64 (neg.f64 z) (*.f64 4 y) x)
(fma.f64 (neg.f64 y) (*.f64 4 z) x)
(fma.f64 (*.f64 4 y) (neg.f64 z) x)
(fma.f64 y (*.f64 z -4) x)
(fma.f64 (.f64 (.f64 y -4) (cbrt.f64 z)) (cbrt.f64 (pow.f64 z 2)) 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 -4) z x)
(fma.f64 z (*.f64 y -4) x)
(fma.f64 1 (.f64 y (.f64 z -4)) x)
(fma.f64 (cbrt.f64 x) (cbrt.f64 (pow.f64 x 2)) (.f64 y (.f64 z -4)))
(fma.f64 (cbrt.f64 (pow.f64 x 2)) (cbrt.f64 x) (.f64 y (.f64 z -4)))
(fma.f64 1 x (.f64 y (.f64 z -4)))
(fma.f64 x 1 (.f64 y (.f64 z -4)))
(fma.f64 0 0 (fma.f64 y (*.f64 z -4) x))
(fma.f64 1 0 (fma.f64 y (*.f64 z -4) x))
(fma.f64 (cbrt.f64 (.f64 4 (.f64 y z))) (neg.f64 (cbrt.f64 (pow.f64 (.f64 y (.f64 z -4)) 2))) x)
(fma.f64 -1 (.f64 4 (.f64 y z)) x)
(pow.f64 (cbrt.f64 (fma.f64 y (*.f64 z -4) x)) 3)
(pow.f64 (fma.f64 y (*.f64 z -4) x) 1)
(pow.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3) 1/3)
(cbrt.f64 (pow.f64 (fma.f64 y (*.f64 z -4) x) 3))
(neg.f64 (-.f64 (.f64 4 (.f64 y z)) x))
(if (!=.f64 (fma.f64 z (.f64 4 y) x) 0) (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 y (.f64 z -4)) 2)) (fma.f64 z (.f64 4 y) x)) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 x 0) (.f64 x (/.f64 (fma.f64 y (.f64 z -4) x) x)) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 (-.f64 (.f64 4 (.f64 y z)) x) 0) (/.f64 (neg.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (-.f64 (.f64 4 (.f64 y z)) x)) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (-.f64 (.f64 y (.f64 z -4)) x) 0) (/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 y (.f64 z -4)) 2)) (fma.f64 z (.f64 4 y) x)) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (.f64 y (.f64 z -4)) 0) (.f64 (.f64 y (.f64 z -4)) (+.f64 1 (/.f64 x (.f64 y (.f64 z -4))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (-.f64 (.f64 4 (.f64 y z)) x) 0) (/.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 3) (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 3) (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 (fma.f64 y (.f64 z -4) x) 0) (/.f64 1 (pow.f64 (fma.f64 y (.f64 z -4) x) -1)) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 0 0) (/.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (.f64 0 (fma.f64 y (.f64 z -4) x))))) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 (.f64 y (.f64 z -4)) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 y (.f64 z -4)) 3)) (fma.f64 (.f64 4 (.f64 y z)) (fma.f64 z (.f64 4 y) x) (pow.f64 x 2))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 0 0) (.f64 0 (+.f64 1 (/.f64 (fma.f64 y (.f64 z -4) x) 0))) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 (neg.f64 x) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 y (.f64 z -4)) 3)) (+.f64 (pow.f64 (.f64 y (.f64 z -4)) 2) (+.f64 (pow.f64 x 2) (.f64 (.f64 y (.f64 z -4)) (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (+.f64 0 (-.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (.f64 0 (fma.f64 y (.f64 z -4) x)))) 0) (/.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (.f64 0 (fma.f64 y (.f64 z -4) x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (fma.f64 (.f64 4 (.f64 y z)) (fma.f64 z (.f64 4 y) x) (pow.f64 x 2)) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 y (.f64 z -4)) 3)) (fma.f64 (.f64 4 (.f64 y z)) (fma.f64 z (.f64 4 y) x) (pow.f64 x 2))) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 (+.f64 (pow.f64 (.f64 y (.f64 z -4)) 2) (+.f64 (pow.f64 x 2) (.f64 (.f64 y (.f64 z -4)) (neg.f64 x)))) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 y (.f64 z -4)) 3)) (+.f64 (pow.f64 (.f64 y (.f64 z -4)) 2) (+.f64 (pow.f64 x 2) (.f64 (.f64 y (.f64 z -4)) (neg.f64 x))))) (fma.f64 y (*.f64 z -4) x))
(if (!=.f64 (fma.f64 y (.f64 z -4) x) 0) (/.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 3) (+.f64 0 (-.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) (.f64 0 (fma.f64 y (.f64 z -4) x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 x 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 y (.f64 z -4)) 3)) (fma.f64 (.f64 4 (.f64 y z)) (fma.f64 z (.f64 4 y) x) (pow.f64 x 2))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (.f64 y (.f64 z -4)) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 y (.f64 z -4)) 3)) (+.f64 (pow.f64 (.f64 y (.f64 z -4)) 2) (+.f64 (pow.f64 x 2) (.f64 (.f64 y (.f64 z -4)) (neg.f64 x))))) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 2 0) (fma.f64 y (.f64 z -4) x) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 1 0) (fma.f64 y (.f64 z -4) x) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 2) 0) (/.f64 (pow.f64 (fma.f64 y (.f64 z -4) x) 3) (pow.f64 (fma.f64 y (.f64 z -4) x) 2)) (fma.f64 y (.f64 z -4) x))
(if (!=.f64 (.f64 4 (.f64 y z)) 0) (/.f64 (+.f64 (pow.f64 x 3) (pow.f64 (.f64 y (.f64 z -4)) 3)) (fma.f64 (.f64 4 (.f64 y z)) (fma.f64 z (.f64 4 y) x) (pow.f64 x 2))) (fma.f64 y (.f64 z -4) x))
(+.f64 (.f64 y (.f64 z -4)) x)
(+.f64 x (.f64 y (.f64 z -4)))
(+.f64 0 (fma.f64 y (*.f64 z -4) x))
(+.f64 (fma.f64 y (*.f64 z -4) x) 0)
(+.f64 (-.f64 (.f64 y (.f64 z -4)) 0) x)

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

localize9.0ms (0.1%)

Compiler: Compiled 16 to 9 computations (43.8% saved)

eval22.0ms (0.2%)

Compiler: Compiled 1333 to 847 computations (36.5% saved)

prune12.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	69	2	71
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	69	4	73

Error

Counts

73 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 y (*.f64 z -4) x)
✓	0.0b	(-.f64 x (.f64 (.f64 y 4) z))
▶	33.8b	(.f64 -4 (.f64 y z))
	29.0b	x

Compiler

Compiled 31 to 22 computations (29% saved)

localize5.0ms (0%)

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)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

Compiler

Compiled 20 to 20 computations (0% saved)

rewrite1.5s (11.6%)

Algorithm

1×	batch-egg-rewrite

Rules

79× egg-rr

Counts

1 → 79

Calls

Call 1

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

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

Outputs

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

simplify2.2s (16.9%)

Algorithm

1×

egglog

Counts

79 → 106

Calls

Call 1

Inputs
(.f64 (.f64 -4 y) z)
(.f64 z (.f64 -4 y))
(.f64 y (.f64 -4 z))
(.f64 (.f64 -4 z) y)
(.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 2)))
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 (pow.f64 z 2)) (*.f64 -4 y)))
(.f64 (cbrt.f64 y) (.f64 (*.f64 (cbrt.f64 (pow.f64 y 2)) z) -4))
(.f64 (cbrt.f64 z) (.f64 (*.f64 (cbrt.f64 (pow.f64 z 2)) y) -4))
(.f64 (cbrt.f64 (cbrt.f64 -4)) (.f64 (cbrt.f64 (cbrt.f64 16)) (.f64 (cbrt.f64 16) (.f64 y z))))
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 z) (.f64 -4 (cbrt.f64 (pow.f64 (.f64 y z) 2)))))
(.f64 (cbrt.f64 z) (.f64 (cbrt.f64 y) (.f64 -4 (cbrt.f64 (pow.f64 (.f64 y z) 2)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) 2) (.f64 -4 (cbrt.f64 (pow.f64 (.f64 y z) 2)))))
(.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))) (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))) (cbrt.f64 (.f64 -4 (.f64 y z)))) 2))
(.f64 (cbrt.f64 (.f64 y z)) (.f64 (cbrt.f64 -4) (cbrt.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (cbrt.f64 -4) (.f64 (cbrt.f64 (.f64 y z)) (cbrt.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (cbrt.f64 (pow.f64 y 2)) (.f64 (cbrt.f64 y) (*.f64 -4 z)))
(.f64 (cbrt.f64 y) (.f64 (cbrt.f64 (pow.f64 y 2)) (*.f64 -4 z)))
(.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))) 2) (.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) 2)) (cbrt.f64 (.f64 -4 (.f64 y z)))))
(.f64 (.f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 -4)) (cbrt.f64 -4))
(.f64 (.f64 (.f64 (.f64 y z) (cbrt.f64 -4)) (cbrt.f64 (cbrt.f64 16))) (cbrt.f64 (cbrt.f64 256)))
(.f64 (.f64 (*.f64 -4 y) (cbrt.f64 (pow.f64 z 2))) (cbrt.f64 z))
(.f64 (.f64 z (cbrt.f64 -4)) (*.f64 (cbrt.f64 16) y))
(.f64 (.f64 z (*.f64 -4 (cbrt.f64 y))) (cbrt.f64 (pow.f64 y 2)))
(.f64 (.f64 -4 (cbrt.f64 (pow.f64 (.f64 y z) 2))) (cbrt.f64 (.f64 y z)))
(.f64 (.f64 -4 (*.f64 z (cbrt.f64 y))) (cbrt.f64 (pow.f64 y 2)))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (*.f64 -4 y))) (cbrt.f64 z))
(.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z))))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))) 2))
(.f64 (.f64 (cbrt.f64 16) (*.f64 y z)) (cbrt.f64 -4))
(.f64 (.f64 (*.f64 -4 z) (cbrt.f64 (pow.f64 y 2))) (cbrt.f64 y))
(.f64 (.f64 (*.f64 -4 z) (cbrt.f64 y)) (cbrt.f64 (pow.f64 y 2)))
(.f64 (.f64 (cbrt.f64 (.f64 -64 (.f64 y z))) (cbrt.f64 (.f64 y z))) (cbrt.f64 (.f64 y z)))
(.f64 (.f64 (cbrt.f64 (.f64 -64 (.f64 y z))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) 2)) (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 y z))) 2) 2))
(.f64 (.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 -4 (.f64 y z)))) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) 2)))
(.f64 (.f64 (.f64 -4 (.f64 y (cbrt.f64 z))) (cbrt.f64 z)) (cbrt.f64 z))
(.f64 (.f64 (.f64 -4 (.f64 y (cbrt.f64 z))) (pow.f64 (cbrt.f64 (cbrt.f64 z)) 2)) (cbrt.f64 (pow.f64 (cbrt.f64 (pow.f64 z 2)) 2)))
(.f64 (cbrt.f64 (pow.f64 (.f64 -4 (.f64 y z)) 2)) (cbrt.f64 (.f64 -4 (*.f64 y z))))
(.f64 (cbrt.f64 (.f64 y z)) (.f64 -4 (cbrt.f64 (pow.f64 (.f64 y z) 2))))
(.f64 (cbrt.f64 -4) (.f64 (cbrt.f64 16) (*.f64 y z)))
(.f64 (.f64 -4 (cbrt.f64 z)) (*.f64 (cbrt.f64 (pow.f64 z 2)) y))
(.f64 (.f64 -4 (*.f64 y (cbrt.f64 z))) (cbrt.f64 (pow.f64 z 2)))
(.f64 (cbrt.f64 (.f64 -64 (.f64 y z))) (cbrt.f64 (pow.f64 (.f64 y z) 2)))
(.f64 (cbrt.f64 (.f64 -4 y)) (.f64 (cbrt.f64 (pow.f64 (.f64 -4 y) 2)) z))
(.f64 (.f64 y (cbrt.f64 z)) (*.f64 (cbrt.f64 (pow.f64 z 2)) -4))
(.f64 (.f64 z (cbrt.f64 y)) (*.f64 (cbrt.f64 (pow.f64 y 2)) -4))
(.f64 (cbrt.f64 (.f64 -4 y)) (.f64 (cbrt.f64 z) (cbrt.f64 (pow.f64 (.f64 -4 (*.f64 y z)) 2))))
(.f64 (.f64 z (cbrt.f64 (.f64 -4 y))) (cbrt.f64 (pow.f64 (.f64 -4 y) 2)))
(.f64 (cbrt.f64 (pow.f64 z 2)) (.f64 -4 (*.f64 y (cbrt.f64 z))))
(.f64 (cbrt.f64 (pow.f64 (.f64 y z) 2)) (cbrt.f64 (.f64 -64 (.f64 y z))))
(.f64 (.f64 -4 (cbrt.f64 y)) (*.f64 (cbrt.f64 (pow.f64 y 2)) z))
(.f64 (/.f64 (.f64 -4 (*.f64 y z)) -1) -1)
(.f64 (cbrt.f64 16) (.f64 (*.f64 y z) (cbrt.f64 -4)))
(.f64 -4 (.f64 y z))
(.f64 1 (.f64 -4 (*.f64 y z)))
(.f64 (.f64 (*.f64 y z) (cbrt.f64 -4)) (cbrt.f64 16))
(.f64 (/.f64 (.f64 -4 (*.f64 y z)) 3) 3)
(.f64 (.f64 y z) -4)
(.f64 (.f64 -4 (*.f64 y z)) 1)
(.f64 (/.f64 (.f64 -4 (*.f64 y z)) 2) 2)
(/.f64 (neg.f64 (.f64 -4 (.f64 y z))) -1)
(/.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))
(neg.f64 (.f64 (.f64 -4 (*.f64 y z)) -1))
(neg.f64 (.f64 (.f64 y z) 4))
(neg.f64 (.f64 -1 (.f64 -4 (*.f64 y z))))
(neg.f64 (.f64 4 (.f64 y z)))
(if (!=.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) 0) (/.f64 1 (pow.f64 (pow.f64 (.f64 -4 (.f64 y z)) 3) -1/3)) (.f64 -4 (.f64 y z)))
(if (!=.f64 (.f64 -4 (.f64 y z)) 0) (/.f64 1 (pow.f64 (.f64 -4 (.f64 y z)) -1)) (.f64 -4 (.f64 y z)))
(if (!=.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) 0) (/.f64 1 (pow.f64 (cbrt.f64 (.f64 -4 (.f64 y z))) -3)) (.f64 -4 (.f64 y z)))
(if (!=.f64 1 0) (.f64 -4 (.f64 y z)) (.f64 -4 (.f64 y z)))
(if (!=.f64 2 0) (.f64 -4 (.f64 y z)) (.f64 -4 (.f64 y z)))
(if (!=.f64 3 0) (.f64 -4 (.f64 y z)) (.f64 -4 (.f64 y z)))
(if (!=.f64 -1 0) (.f64 -4 (.f64 y z)) (.f64 -4 (.f64 y z)))
(+.f64 (.f64 1/2 (.f64 -4 (.f64 y z))) (.f64 1/2 (.f64 -4 (.f64 y z))))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 0 (.f64 -4 (*.f64 y z))))
(+.f64 (.f64 (.f64 -4 (.f64 y z)) 1/2) (.f64 (.f64 -4 (.f64 y z)) 1/2))
(+.f64 (.f64 -4 (.f64 y z)) (.f64 (.f64 -4 (*.f64 y z)) 0))

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

eval24.0ms (0.2%)

Compiler: Compiled 1408 to 876 computations (37.8% saved)

prune16.0ms (0.1%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	106	0	106
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	106	4	110

Error

Counts

110 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0b	(fma.f64 y (*.f64 z -4) x)
✓	0.0b	(-.f64 x (.f64 (.f64 y 4) z))
✓	33.8b	(.f64 -4 (.f64 y z))
	29.0b	x

Compiler

Compiled 31 to 22 computations (29% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

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
✓	0b	(fma.f64 y (*.f64 z -4) x)
✓	0.0b	(-.f64 x (.f64 (.f64 y 4) z))
✓	33.8b	(.f64 -4 (.f64 y z))
	29.0b	x

Compiler

Compiled 31 to 22 computations (29% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

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
✓	0b	(fma.f64 y (*.f64 z -4) x)
✓	0.0b	(-.f64 x (.f64 (.f64 y 4) z))
✓	33.8b	(.f64 -4 (.f64 y z))
	29.0b	x

Compiler

Compiled 31 to 22 computations (29% saved)

regimes24.0ms (0.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:

4.0ms	(-.f64 x (.f64 (.f64 y 4) z))
4.0ms	(*.f64 y 4)
4.0ms	z
4.0ms	x
4.0ms	y

Results

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

Compiler

Compiled 58 to 40 computations (31% saved)

regimes23.0ms (0.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:

5.0ms	z
3.0ms	(-.f64 x (.f64 (.f64 y 4) z))
3.0ms	(*.f64 y 4)
3.0ms	x
3.0ms	y

Results

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

Compiler

Compiled 52 to 37 computations (28.8% saved)

regimes57.0ms (0.4%)

Accuracy

Total -47.9b remaining (-344.8%)

Threshold costs -47.9b (-344.8%)

Counts

2 → 7

Calls

Call 1

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

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

Calls

3 calls:

23.0ms	y
22.0ms	x
11.0ms	z

Results

Error	Segments	Branch
13.9b	7	`x`
16.9b	9	`y`
19.6b	3	`z`

Compiler

Compiled 21 to 15 computations (28.6% saved)

bsearch70.0ms (0.5%)

Algorithm

6×	binary-search

Steps

Time	Left	Right
14.0ms	8.351712439512787e+33	3.240258587986488e+41
17.0ms	2.1769314549537194e-169	1.239812172621955e-159
12.0ms	8.98474299086867e-189	4.635094450325732e-186
14.0ms	-2.655052349612803e-14	-2.341125674419007e-20
8.0ms	-2.3763401335790217e+48	-9.035509778173538e+47
6.0ms	-1.598495999668618e+84	-8.813653689831561e+83

Results

62.0ms

720×

body

256

valid

Compiler

Compiled 646 to 507 computations (21.5% saved)

simplify2.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 69 to 44 computations (36.2% saved)

soundness0.0ms (0%)

end34.0ms (0.3%)

Compiler: Compiled 60 to 35 computations (41.7% saved)

Details

analyze157.0ms (1.2%)

sample773.0ms (6%)

preprocess2.9s (22.6%)

simplify1.5s (11.3%)

eval1.0ms (0%)

prune2.0ms (0%)

localize10.0ms (0.1%)

series15.0ms (0.1%)

rewrite1.5s (11.4%)

simplify2.1s (16.3%)

localize9.0ms (0.1%)

eval22.0ms (0.2%)

prune12.0ms (0.1%)

localize5.0ms (0%)

series2.0ms (0%)

rewrite1.5s (11.6%)

simplify2.2s (16.9%)

eval24.0ms (0.2%)

prune16.0ms (0.1%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes24.0ms (0.2%)

regimes23.0ms (0.2%)

regimes57.0ms (0.4%)

bsearch70.0ms (0.5%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end34.0ms (0.3%)

Profiling