Details

analyze669.0ms (10.1%)

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 9 to 6 computations (33.3% saved)

sample1.8s (27.7%)

Results

1.8s	8256×	body	256	valid
48.0ms	585×	body	256	infinite

Bogosity

preprocess10.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

6×	`rational.json-simplify-2`
2×	`swap-y-z`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	52
1	15	52
0	3	3
1	3	3

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2
1

Call 2

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

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

Symmetry

(sort y z)

Compiler

Compiled 11 to 8 computations (27.3% saved)

simplify121.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

2×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	8	13

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 8 to 5 computations (37.5% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 5 computations (37.5% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series2.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite101.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

1498×	`exponential.json-3`
1498×	`rational.json-1`
1498×	`rational.json-2`
1498×	`rational.json-4`
1498×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	45	13
2	103	13
3	223	13
4	410	13
5	938	13
6	2497	13
7	4730	13
8	6536	13

Stop Event

1×	node limit

Counts

1 → 47

Calls

Call 1

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

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 x (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (+.f64 x (-.f64 -1 (.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (neg.f64 z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (-.f64 (.f64 y z) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (-.f64 (.f64 y z) x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (-.f64 x (.f64 y z)) 1/2) (.f64 (-.f64 x (.f64 y z)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (.f64 y z)) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (+.f64 (-.f64 x (.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x 1) (-.f64 -1 (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (-.f64 x (.f64 y z)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 x (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 x (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 (-.f64 x (.f64 y z)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 x (.f64 y z)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 y z) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (-.f64 x (.f64 y z)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 x (.f64 y z)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (-.f64 (.f64 y z) x))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 2 (-.f64 (.f64 y z) x)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 x (.f64 y z)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (-.f64 x (.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 x (.f64 y z)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -2 (.f64 (-.f64 (.f64 y z) x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 (.f64 y z) x) 1/2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (-.f64 x (.f64 y z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 x (.f64 y z)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (-.f64 x (.f64 y z)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (-.f64 (.f64 x 8) (.f64 y (.f64 z 8))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1/2 (.f64 2 (-.f64 (.f64 y z) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x (.f64 y z)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 y z) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x (.f64 y z)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (-.f64 (.f64 y z) x)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 x (.f64 y z)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 y z) x) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (-.f64 (.f64 y z) x) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (.f64 y z) x) 4))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 x (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 y z) x))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 x (*.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 x (*.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 x (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (+.f64 x (-.f64 -1 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (neg.f64 z)) x)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 1 (-.f64 (*.f64 y z) x)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (-.f64 (*.f64 y z) x)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 1/2) (-.f64 (*.f64 x 1/2) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 (-.f64 x (*.f64 y z)) 1/2) (*.f64 (-.f64 x (*.f64 y z)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (*.f64 y z)) (+.f64 x -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (+.f64 (-.f64 x (*.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 x 1) (-.f64 -1 (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (-.f64 x (*.f64 y z)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 x (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (-.f64 x (*.f64 y z)) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x (*.f64 y z)) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 y z) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (-.f64 x (*.f64 y z)) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x (*.f64 y z)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (-.f64 (*.f64 y z) x))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 2 (-.f64 (*.f64 y z) x)) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x (*.f64 y z)) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (-.f64 x (*.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x (*.f64 y z)) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2 (*.f64 (-.f64 (*.f64 y z) x) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 y z) x) 1/2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 x (*.f64 y z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 x (*.f64 y z)) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (-.f64 x (*.f64 y z)) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (-.f64 (*.f64 x 8) (*.f64 y (*.f64 z 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (*.f64 2 (-.f64 (*.f64 y z) x)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x (*.f64 y z)) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y z) x) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x (*.f64 y z)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 (*.f64 y z) x)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 x (*.f64 y z)) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 y z) x) 4) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 x (*.f64 y z)) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (-.f64 (*.f64 y z) x) 4)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x (*.f64 y z)) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x (*.f64 y z)) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (-.f64 (*.f64 y z) x) 4))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x (*.f64 y z)) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (-.f64 x (*.f64 y z)) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 x (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (*.f64 y z) x))))))

simplify394.0ms (5.9%)

Algorithm

1×	egg-herbie

Rules

2504×	`rational.json-simplify-35`
2474×	`rational.json-simplify-52`
1680×	`rational.json-simplify-2`
1390×	`rational.json-simplify-1`
598×	`rational.json-simplify-48`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	105	1331
1	224	1331
2	587	1331
3	1369	1331
4	2682	1039
5	3478	1039
6	3835	1039
7	4212	1039
8	4862	1039
9	5471	1039
10	5690	1039
11	6003	1039
12	6716	1039
13	6924	1039
14	6997	1039
15	7154	1039
16	7171	1039
17	7351	1039

Stop Event

1×	node limit

Counts

83 → 53

Calls

Call 1

Inputs
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (-.f64 x (*.f64 y z)) 0)
(+.f64 0 (-.f64 x (*.f64 y z)))
(+.f64 1 (+.f64 x (-.f64 -1 (*.f64 y z))))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 -1 (-.f64 1 (-.f64 (*.f64 y z) x)))
(+.f64 (-.f64 1 (-.f64 (*.f64 y z) x)) -1)
(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
(+.f64 (.f64 (-.f64 x (.f64 y z)) 1/2) (.f64 (-.f64 x (.f64 y z)) 1/2))
(+.f64 (-.f64 1 (*.f64 y z)) (+.f64 x -1))
(+.f64 -2 (+.f64 (-.f64 x (*.f64 y z)) 2))
(+.f64 (+.f64 x 1) (-.f64 -1 (*.f64 y z)))
(+.f64 (+.f64 (-.f64 x (*.f64 y z)) 2) -2)
(.f64 (-.f64 x (.f64 y z)) 1)
(.f64 1 (-.f64 x (.f64 y z)))
(.f64 2 (.f64 (-.f64 x (*.f64 y z)) 1/2))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 2) 1/2)
(.f64 (-.f64 (.f64 y z) x) -1)
(.f64 4 (.f64 (-.f64 x (*.f64 y z)) 1/4))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 4) 1/4)
(.f64 -1 (-.f64 (.f64 y z) x))
(.f64 (.f64 2 (-.f64 (*.f64 y z) x)) -1/2)
(.f64 (.f64 (-.f64 x (*.f64 y z)) 8) 1/8)
(.f64 1/2 (.f64 (-.f64 x (*.f64 y z)) 2))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 1/2) 2)
(.f64 -2 (.f64 (-.f64 (*.f64 y z) x) 1/2))
(.f64 (.f64 (-.f64 (*.f64 y z) x) 1/2) -2)
(.f64 1/4 (.f64 (-.f64 x (*.f64 y z)) 4))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 1/4) 4)
(.f64 1/8 (.f64 (-.f64 x (*.f64 y z)) 8))
(.f64 1/8 (-.f64 (.f64 x 8) (.f64 y (.f64 z 8))))
(.f64 -1/2 (.f64 2 (-.f64 (*.f64 y z) x)))
(/.f64 (-.f64 x (*.f64 y z)) 1)
(/.f64 (.f64 (-.f64 x (.f64 y z)) 2) 2)
(/.f64 (-.f64 (*.f64 y z) x) -1)
(/.f64 (.f64 (-.f64 x (.f64 y z)) 4) 4)
(/.f64 (.f64 2 (-.f64 (.f64 y z) x)) -2)
(/.f64 (.f64 (-.f64 x (.f64 y z)) 8) 8)
(/.f64 (.f64 (-.f64 (.f64 y z) x) 4) -4)
(/.f64 (.f64 2 (.f64 (-.f64 x (*.f64 y z)) 8)) 16)
(/.f64 (.f64 2 (.f64 (-.f64 (*.f64 y z) x) 4)) -8)
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (*.f64 y z)) 8)))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (.f64 y z) x) 4))) -16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8))))) 128)
(pow.f64 (-.f64 x (*.f64 y z)) 1)
(neg.f64 (-.f64 (*.f64 y z) x))

Outputs
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(neg.f64 (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(neg.f64 (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(neg.f64 (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(neg.f64 (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(neg.f64 (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (*.f64 y (neg.f64 z)) x)
(-.f64 x (*.f64 y z))
(+.f64 (-.f64 x (*.f64 y z)) 0)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 0 (-.f64 x (*.f64 y z)))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 1 (+.f64 x (-.f64 -1 (*.f64 y z))))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 -1 (-.f64 1 (-.f64 (*.f64 y z) x)))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (-.f64 1 (-.f64 (*.f64 y z) x)) -1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
(+.f64 (.f64 (-.f64 x (.f64 y z)) 1/2) (.f64 (-.f64 x (.f64 y z)) 1/2))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (-.f64 1 (*.f64 y z)) (+.f64 x -1))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 -2 (+.f64 (-.f64 x (*.f64 y z)) 2))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (+.f64 x 1) (-.f64 -1 (*.f64 y z)))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(+.f64 (+.f64 (-.f64 x (*.f64 y z)) 2) -2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (-.f64 x (.f64 y z)) 1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 1 (-.f64 x (.f64 y z)))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 2 (.f64 (-.f64 x (*.f64 y z)) 1/2))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 2) 1/2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (-.f64 (.f64 y z) x) -1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 4 (.f64 (-.f64 x (*.f64 y z)) 1/4))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 4) 1/4)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 -1 (-.f64 (.f64 y z) x))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (.f64 2 (-.f64 (*.f64 y z) x)) -1/2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 8) 1/8)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 1/2 (.f64 (-.f64 x (*.f64 y z)) 2))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 1/2) 2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 -2 (.f64 (-.f64 (*.f64 y z) x) 1/2))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (.f64 (-.f64 (*.f64 y z) x) 1/2) -2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 1/4 (.f64 (-.f64 x (*.f64 y z)) 4))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 (.f64 (-.f64 x (*.f64 y z)) 1/4) 4)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 1/8 (.f64 (-.f64 x (*.f64 y z)) 8))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 1/8 (-.f64 (.f64 x 8) (.f64 y (.f64 z 8))))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(.f64 -1/2 (.f64 2 (-.f64 (*.f64 y z) x)))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (-.f64 x (*.f64 y z)) 1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 (-.f64 x (.f64 y z)) 2) 2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (-.f64 (*.f64 y z) x) -1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 (-.f64 x (.f64 y z)) 4) 4)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 2 (-.f64 (.f64 y z) x)) -2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 (-.f64 x (.f64 y z)) 8) 8)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 (-.f64 (.f64 y z) x) 4) -4)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 (-.f64 x (*.f64 y z)) 8)) 16)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 (-.f64 (*.f64 y z) x) 4)) -8)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8))) 32)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (*.f64 y z)) 8)))) 64)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 (.f64 y z) x) 4))) -16)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 x (.f64 y z)) 8))))) 128)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(pow.f64 (-.f64 x (*.f64 y z)) 1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))
(neg.f64 (-.f64 (*.f64 y z) x))
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 x (*.f64 y z))

eval10.0ms (0.2%)

Compiler: Compiled 473 to 218 computations (53.9% saved)

prune8.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	50	3	53
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	50	4	54

Error

0.0b

Counts

54 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y z))
▶	0.0b	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
▶	33.2b	(*.f64 y (neg.f64 z))
	30.3b	x

Compiler

Compiled 33 to 23 computations (30.3% saved)

localize5.0ms (0.1%)

Compiler: Compiled 11 to 5 computations (54.5% saved)

localize10.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x 1/2) (.f64 y z))
✓	0.0b	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))

Compiler

Compiled 31 to 16 computations (48.4% saved)

series3.0ms (0%)

Counts

2 → 72

Calls

18 calls:

Time	Variable		Point	Expression
0.0ms	x	@	0	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
0.0ms	y	@	0	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
0.0ms	x	@	inf	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
0.0ms	z	@	0	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
0.0ms	y	@	inf	(-.f64 (.f64 x 1/2) (.f64 y z))

rewrite110.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1390×	`rational.json-simplify-35`
1388×	`exponential.json-3`
1388×	`rational.json-1`
1388×	`rational.json-2`
1388×	`rational.json-4`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	10	50
1	65	50
2	132	50
3	280	50
4	524	36
5	1228	36
6	2826	36
7	4746	36
8	6728	36

Stop Event

1×	node limit

Counts

2 → 75

Calls

Call 1

Inputs
(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
(-.f64 (.f64 x 1/2) (.f64 y z))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (.f64 y (neg.f64 z))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 x (.f64 y (neg.f64 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 x (.f64 y (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (.f64 1/2 (+.f64 x (.f64 y (neg.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (+.f64 (+.f64 x x) (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 1/2 (+.f64 x (.f64 y (neg.f64 z)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (+.f64 x x) (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (.f64 y (neg.f64 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (.f64 y (neg.f64 z))) 1)))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 1/2) (.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (.f64 x 1/2) (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (+.f64 (.f64 x 1/2) (-.f64 -1 (.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 1/4) (.f64 z (/.f64 y 2))) (-.f64 (.f64 x 1/4) (.f64 z (/.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 x 1/4) (-.f64 (.f64 x 1/4) (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (.f64 y z)) (+.f64 (.f64 x 1/2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 x 1/2) 1) (-.f64 -1 (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 x 1/2) -1) (-.f64 1 (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (.f64 x 1/2) (-.f64 -1 (.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (.f64 y z)) (+.f64 (.f64 x 1/2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (.f64 x 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/2 (-.f64 x (.f64 z (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 (.f64 x 1/2) (.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (-.f64 (.f64 x 1/4) (.f64 z (/.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 x (.f64 z (+.f64 y y))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 y z) (.f64 x -1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 4 (-.f64 (.f64 x 1/8) (.f64 y (.f64 z 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (+.f64 (.f64 y z) (.f64 x -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 z (+.f64 y y)) x) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 x 1/4) (.f64 z (/.f64 y 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/4 (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -2 (+.f64 (.f64 z (/.f64 y 2)) (/.f64 x -4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (.f64 z (/.f64 y 2)) (/.f64 x -4)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1/8 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 x 1/8) (.f64 y (.f64 z 1/4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1/2 (-.f64 (.f64 z (+.f64 y y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (.f64 z (+.f64 y y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 y z) (.f64 x -1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 z (+.f64 y y)) x) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 y (.f64 z 4)) (+.f64 x x)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (-.f64 (.f64 y (.f64 z 4)) (+.f64 x x))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (-.f64 (.f64 y (.f64 z 4)) (+.f64 x x)))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))))) (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (.f64 y z) (.f64 x -1/2)))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (*.f64 y (neg.f64 z))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x 1/2) (-.f64 (*.f64 x 1/2) (+.f64 (*.f64 y z) -1))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (*.f64 y (neg.f64 z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 1/2 (+.f64 x (*.f64 y (neg.f64 z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (+.f64 (+.f64 x x) (*.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (+.f64 x (*.f64 y (neg.f64 z)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1/4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (+.f64 x x) (*.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 4)) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8)) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8)))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8)))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 1/2) (*.f64 y (neg.f64 z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 x 1/2) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (+.f64 (*.f64 x 1/2) (-.f64 -1 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 y (neg.f64 z)) (*.f64 x 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (-.f64 (*.f64 x 1/2) (+.f64 (*.f64 y z) -1)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 1/2) (+.f64 (*.f64 y z) -1)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 1/4) (*.f64 z (/.f64 y 2))) (-.f64 (*.f64 x 1/4) (*.f64 z (/.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 1/4) (-.f64 (*.f64 x 1/4) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 1 (*.f64 y z)) (+.f64 (*.f64 x 1/2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (+.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 x 1/2) 1) (-.f64 -1 (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 x 1/2) -1) (-.f64 1 (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 x 1/2) (-.f64 -1 (*.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 2) -2)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (*.f64 y z)) (+.f64 (*.f64 x 1/2) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 1/4) (*.f64 y z)) (*.f64 x 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 x (*.f64 z (+.f64 y y))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 x 1/2) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (-.f64 (*.f64 x 1/4) (*.f64 z (/.f64 y 2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 z (+.f64 y y))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 y z) (*.f64 x -1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (-.f64 (*.f64 x 1/8) (*.f64 y (*.f64 z 1/4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (*.f64 y z) (*.f64 x -1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 z (+.f64 y y)) x) -1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 4) (*.f64 z (*.f64 y 8))) 1/8)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 1/4) (*.f64 z (/.f64 y 2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -2 (+.f64 (*.f64 z (/.f64 y 2)) (/.f64 x -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 z (/.f64 y 2)) (/.f64 x -4)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/8 (-.f64 (*.f64 x 4) (*.f64 z (*.f64 y 8))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 1/8) (*.f64 y (*.f64 z 1/4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1/2 (-.f64 (*.f64 z (+.f64 y y)) x))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (*.f64 z (+.f64 y y))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 y z) (*.f64 x -1/2)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 z (+.f64 y y)) x) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x 4) (*.f64 z (*.f64 y 8))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y (*.f64 z 4)) (+.f64 x x)) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 (*.f64 x 4) (*.f64 z (*.f64 y 8)))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 (*.f64 y (*.f64 z 4)) (+.f64 x x))) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (-.f64 (*.f64 x 4) (*.f64 z (*.f64 y 8))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (-.f64 (*.f64 y (*.f64 z 4)) (+.f64 x x)))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (-.f64 (*.f64 x 4) (*.f64 z (*.f64 y 8)))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (-.f64 (*.f64 x 4) (*.f64 z (*.f64 y 8)))))) (*.f64 2 (*.f64 2 (*.f64 2 (-.f64 (*.f64 x 4) (*.f64 z (*.f64 y 8))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 x 1/2) (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (*.f64 y z) (*.f64 x -1/2)))))))

simplify425.0ms (6.4%)

Algorithm

1×	egg-herbie

Rules

2006×	`rational.json-simplify-35`
1624×	`rational.json-simplify-2`
1612×	`rational.json-simplify-1`
1048×	`rational.json-simplify-52`
632×	`rational.json-simplify-48`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	160	3063
1	313	3063
2	742	3057
3	1686	3055
4	2841	3051
5	3456	3051
6	3672	2859
7	3978	2859
8	4429	2859
9	5159	2859
10	5537	2859
11	5836	2859
12	6167	2859
13	6866	2859
14	7034	2859
15	7204	2859
16	7313	2859
17	7339	2859
18	7609	2859

Stop Event

1×	node limit

Counts

147 → 100

Calls

Call 1

Inputs
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(-.f64 (+.f64 x (*.f64 y (neg.f64 z))) 0)
(-.f64 (+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (+.f64 (*.f64 y z) -1))) 1)
(.f64 1/2 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 2))
(.f64 (+.f64 x (.f64 y (neg.f64 z))) 1)
(.f64 1 (+.f64 x (.f64 y (neg.f64 z))))
(.f64 2 (.f64 1/2 (+.f64 x (*.f64 y (neg.f64 z)))))
(.f64 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 2) 1/2)
(.f64 4 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1/4))
(.f64 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 4) 1/4)
(.f64 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8) 1/8)
(.f64 1/4 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 4))
(.f64 1/4 (+.f64 (+.f64 x x) (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4)))
(.f64 (.f64 1/2 (+.f64 x (*.f64 y (neg.f64 z)))) 2)
(.f64 1/8 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8))
(.f64 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1/4) 4)
(.f64 (+.f64 (+.f64 x x) (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4)) 1/4)
(/.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1)
(/.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 2) 2)
(/.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 4) 4)
(/.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8) 8)
(/.f64 (.f64 2 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8)) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8)))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8))))) 128)
(pow.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1)
(+.f64 (.f64 x 1/2) (.f64 y (neg.f64 z)))
(+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 0)
(+.f64 0 (-.f64 (.f64 x 1/2) (.f64 y z)))
(+.f64 1 (+.f64 (.f64 x 1/2) (-.f64 -1 (.f64 y z))))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(+.f64 -1 (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1)))
(+.f64 (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1)) -1)
(+.f64 (-.f64 (.f64 x 1/4) (.f64 z (/.f64 y 2))) (-.f64 (.f64 x 1/4) (.f64 z (/.f64 y 2))))
(+.f64 (.f64 x 1/4) (-.f64 (.f64 x 1/4) (*.f64 y z)))
(+.f64 (-.f64 1 (.f64 y z)) (+.f64 (.f64 x 1/2) -1))
(+.f64 -2 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 2))
(+.f64 (+.f64 (.f64 x 1/2) 1) (-.f64 -1 (.f64 y z)))
(+.f64 (+.f64 (.f64 x 1/2) -1) (-.f64 1 (.f64 y z)))
(+.f64 (+.f64 (.f64 x 1/2) (-.f64 -1 (.f64 y z))) 1)
(+.f64 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 2) -2)
(+.f64 (-.f64 -1 (.f64 y z)) (+.f64 (.f64 x 1/2) 1))
(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (*.f64 x 1/4))
(.f64 1/2 (-.f64 x (.f64 z (+.f64 y y))))
(.f64 (-.f64 (.f64 x 1/2) (*.f64 y z)) 1)
(.f64 1 (-.f64 (.f64 x 1/2) (*.f64 y z)))
(.f64 2 (-.f64 (.f64 x 1/4) (*.f64 z (/.f64 y 2))))
(.f64 (-.f64 x (.f64 z (+.f64 y y))) 1/2)
(.f64 (+.f64 (.f64 y z) (*.f64 x -1/2)) -1)
(.f64 4 (-.f64 (.f64 x 1/8) (.f64 y (.f64 z 1/4))))
(.f64 (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4) 1/4)
(.f64 -1 (+.f64 (.f64 y z) (*.f64 x -1/2)))
(.f64 (-.f64 (.f64 z (+.f64 y y)) x) -1/2)
(.f64 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))) 1/8)
(.f64 (-.f64 (.f64 x 1/4) (*.f64 z (/.f64 y 2))) 2)
(.f64 1/4 (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4))
(.f64 -2 (+.f64 (.f64 z (/.f64 y 2)) (/.f64 x -4)))
(.f64 (+.f64 (.f64 z (/.f64 y 2)) (/.f64 x -4)) -2)
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))))
(.f64 (-.f64 (.f64 x 1/8) (.f64 y (.f64 z 1/4))) 4)
(.f64 -1/2 (-.f64 (.f64 z (+.f64 y y)) x))
(/.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 1)
(/.f64 (-.f64 x (*.f64 z (+.f64 y y))) 2)
(/.f64 (+.f64 (.f64 y z) (.f64 x -1/2)) -1)
(/.f64 (.f64 (-.f64 (.f64 x 1/2) (*.f64 y z)) 4) 4)
(/.f64 (-.f64 (*.f64 z (+.f64 y y)) x) -2)
(/.f64 (-.f64 (.f64 x 4) (.f64 z (*.f64 y 8))) 8)
(/.f64 (-.f64 (.f64 y (.f64 z 4)) (+.f64 x x)) -4)
(/.f64 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))) 16)
(/.f64 (.f64 2 (-.f64 (.f64 y (*.f64 z 4)) (+.f64 x x))) -8)
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (*.f64 y 8))))) 32)
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 y (.f64 z 4)) (+.f64 x x)))) -16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))))) (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))))))) 128)
(pow.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 1)
(neg.f64 (+.f64 (.f64 y z) (.f64 x -1/2)))

Outputs
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(*.f64 1/2 x)
(*.f64 x 1/2)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(*.f64 1/2 x)
(*.f64 x 1/2)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(*.f64 1/2 x)
(*.f64 x 1/2)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(*.f64 1/2 x)
(*.f64 x 1/2)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(.f64 -1 (.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(-.f64 (+.f64 x (*.f64 y (neg.f64 z))) 0)
(+.f64 (*.f64 y (neg.f64 z)) x)
(-.f64 (+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (+.f64 (*.f64 y z) -1))) 1)
(+.f64 (-.f64 (.f64 x 1/2) (+.f64 -1 (.f64 y z))) (+.f64 -1 (*.f64 x 1/2)))
(+.f64 -1 (+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (+.f64 -1 (*.f64 y z)))))
(+.f64 (.f64 x 1/2) (-.f64 0 (-.f64 (.f64 y z) (*.f64 x 1/2))))
(+.f64 (.f64 x 1/2) (neg.f64 (-.f64 (.f64 y z) (*.f64 x 1/2))))
(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
(.f64 1/2 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 2))
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 (+.f64 x (.f64 y (neg.f64 z))) 1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 1 (+.f64 x (.f64 y (neg.f64 z))))
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 2 (.f64 1/2 (+.f64 x (*.f64 y (neg.f64 z)))))
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 2) 1/2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 4 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1/4))
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 4) 1/4)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8) 1/8)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 1/4 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 4))
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 1/4 (+.f64 (+.f64 x x) (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4)))
(.f64 1/4 (+.f64 (+.f64 x x) (.f64 4 (-.f64 (.f64 x 1/2) (.f64 y z)))))
(.f64 1/4 (+.f64 x (+.f64 x (.f64 4 (-.f64 (.f64 x 1/2) (.f64 y z))))))
(.f64 (.f64 1/2 (+.f64 x (*.f64 y (neg.f64 z)))) 2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 1/8 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8))
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1/4) 4)
(+.f64 (*.f64 y (neg.f64 z)) x)
(.f64 (+.f64 (+.f64 x x) (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4)) 1/4)
(.f64 1/4 (+.f64 (+.f64 x x) (.f64 4 (-.f64 (.f64 x 1/2) (.f64 y z)))))
(.f64 1/4 (+.f64 x (+.f64 x (.f64 4 (-.f64 (.f64 x 1/2) (.f64 y z))))))
(/.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(/.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 2) 2)
(+.f64 (*.f64 y (neg.f64 z)) x)
(/.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 4) 4)
(+.f64 (*.f64 y (neg.f64 z)) x)
(/.f64 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8) 8)
(+.f64 (*.f64 y (neg.f64 z)) x)
(/.f64 (.f64 2 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8)) 16)
(+.f64 (*.f64 y (neg.f64 z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8))) 32)
(+.f64 (*.f64 y (neg.f64 z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (*.f64 y (neg.f64 z))) 8)))) 64)
(+.f64 (*.f64 y (neg.f64 z)) x)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8)))) (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (.f64 y (neg.f64 z))) 8))))) 128)
(+.f64 (*.f64 y (neg.f64 z)) x)
(pow.f64 (+.f64 x (*.f64 y (neg.f64 z))) 1)
(+.f64 (*.f64 y (neg.f64 z)) x)
(+.f64 (.f64 x 1/2) (.f64 y (neg.f64 z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 0)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 0 (-.f64 (.f64 x 1/2) (.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 1 (+.f64 (.f64 x 1/2) (-.f64 -1 (.f64 y z))))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 -1 (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1)) -1)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (-.f64 (.f64 x 1/4) (.f64 z (/.f64 y 2))) (-.f64 (.f64 x 1/4) (.f64 z (/.f64 y 2))))
(+.f64 (.f64 x 1/4) (-.f64 (.f64 x 1/4) (*.f64 y z)))
(+.f64 (-.f64 1 (.f64 y z)) (+.f64 (.f64 x 1/2) -1))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 -2 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 2))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (+.f64 (.f64 x 1/2) 1) (-.f64 -1 (.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (+.f64 (.f64 x 1/2) -1) (-.f64 1 (.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (+.f64 (.f64 x 1/2) (-.f64 -1 (.f64 y z))) 1)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 2) -2)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (-.f64 -1 (.f64 y z)) (+.f64 (.f64 x 1/2) 1))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (*.f64 x 1/4))
(+.f64 (.f64 x 1/4) (-.f64 (.f64 x 1/4) (*.f64 y z)))
(.f64 1/2 (-.f64 x (.f64 z (+.f64 y y))))
(.f64 1/2 (-.f64 x (.f64 y (+.f64 z z))))
(.f64 (-.f64 (.f64 x 1/2) (*.f64 y z)) 1)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(.f64 1 (-.f64 (.f64 x 1/2) (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(.f64 2 (-.f64 (.f64 x 1/4) (*.f64 z (/.f64 y 2))))
(.f64 (-.f64 x (.f64 z (+.f64 y y))) 1/2)
(.f64 1/2 (-.f64 x (.f64 z (+.f64 y y))))
(.f64 1/2 (-.f64 x (.f64 y (+.f64 z z))))
(.f64 (+.f64 (.f64 y z) (*.f64 x -1/2)) -1)
(neg.f64 (+.f64 (.f64 y z) (.f64 x -1/2)))
(.f64 4 (-.f64 (.f64 x 1/8) (.f64 y (.f64 z 1/4))))
(.f64 (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4) 1/4)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(.f64 -1 (+.f64 (.f64 y z) (*.f64 x -1/2)))
(neg.f64 (+.f64 (.f64 y z) (.f64 x -1/2)))
(.f64 (-.f64 (.f64 z (+.f64 y y)) x) -1/2)
(.f64 -1/2 (-.f64 (.f64 z (+.f64 y y)) x))
(.f64 -1/2 (-.f64 (.f64 y (+.f64 z z)) x))
(.f64 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))) 1/8)
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 8 z))))
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 z 8))))
(.f64 (-.f64 (.f64 x 1/4) (*.f64 z (/.f64 y 2))) 2)
(.f64 2 (-.f64 (.f64 x 1/4) (*.f64 z (/.f64 y 2))))
(.f64 1/4 (.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(.f64 -2 (+.f64 (.f64 z (/.f64 y 2)) (/.f64 x -4)))
(.f64 (+.f64 (.f64 z (/.f64 y 2)) (/.f64 x -4)) -2)
(.f64 -2 (+.f64 (.f64 z (/.f64 y 2)) (/.f64 x -4)))
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))))
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 8 z))))
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 z 8))))
(.f64 (-.f64 (.f64 x 1/8) (.f64 y (.f64 z 1/4))) 4)
(.f64 4 (-.f64 (.f64 x 1/8) (.f64 y (.f64 z 1/4))))
(.f64 -1/2 (-.f64 (.f64 z (+.f64 y y)) x))
(.f64 -1/2 (-.f64 (.f64 y (+.f64 z z)) x))
(/.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 1)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(/.f64 (-.f64 x (*.f64 z (+.f64 y y))) 2)
(/.f64 (-.f64 x (*.f64 y (+.f64 z z))) 2)
(/.f64 (+.f64 (.f64 y z) (.f64 x -1/2)) -1)
(neg.f64 (+.f64 (.f64 y z) (.f64 x -1/2)))
(/.f64 (.f64 (-.f64 (.f64 x 1/2) (*.f64 y z)) 4) 4)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(/.f64 (-.f64 (*.f64 z (+.f64 y y)) x) -2)
(/.f64 (-.f64 (*.f64 y (+.f64 z z)) x) -2)
(/.f64 (-.f64 (.f64 x 4) (.f64 z (*.f64 y 8))) 8)
(/.f64 (-.f64 (.f64 x 4) (.f64 y (*.f64 8 z))) 8)
(/.f64 (-.f64 (.f64 x 4) (.f64 y (*.f64 z 8))) 8)
(/.f64 (-.f64 (.f64 y (.f64 z 4)) (+.f64 x x)) -4)
(/.f64 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))) 16)
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 8 z))))
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 z 8))))
(/.f64 (.f64 2 (-.f64 (.f64 y (*.f64 z 4)) (+.f64 x x))) -8)
(.f64 (-.f64 (.f64 y (*.f64 z 4)) (+.f64 x x)) -1/4)
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (*.f64 y 8))))) 32)
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 8 z))))
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 z 8))))
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 y (.f64 z 4)) (+.f64 x x)))) -16)
(.f64 (-.f64 (.f64 y (*.f64 z 4)) (+.f64 x x)) -1/4)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))))) 64)
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 8 z))))
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 z 8))))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8)))))) (.f64 2 (.f64 2 (.f64 2 (-.f64 (.f64 x 4) (.f64 z (.f64 y 8))))))) 128)
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 8 z))))
(.f64 1/8 (-.f64 (.f64 x 4) (.f64 y (.f64 z 8))))
(pow.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 1)
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(-.f64 (.f64 x 1/2) (.f64 y z))
(neg.f64 (+.f64 (.f64 y z) (.f64 x -1/2)))

eval21.0ms (0.3%)

Compiler: Compiled 1334 to 800 computations (40% saved)

prune15.0ms (0.2%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	99	1	100
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	99	5	104

Error

Counts

104 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y z))
✓	0.0b	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
▶	0.0b	(+.f64 (.f64 x 1/2) (+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (.f64 x 1/4)))
✓	33.2b	(*.f64 y (neg.f64 z))
	30.3b	x

Compiler

Compiled 51 to 36 computations (29.4% saved)

localize22.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(-.f64 (.f64 x 1/4) (.f64 y z))
✓	0.0b	(+.f64 (.f64 x 1/2) (+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (.f64 x 1/4)))
✓	0.0b	(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (*.f64 x 1/4))

Compiler

Compiled 50 to 28 computations (44% saved)

series3.0ms (0.1%)

Counts

3 → 108

Calls

27 calls:

Time	Variable		Point	Expression
1.0ms	y	@	0	(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (*.f64 x 1/4))
0.0ms	x	@	0	(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (*.f64 x 1/4))
0.0ms	x	@	inf	(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (*.f64 x 1/4))
0.0ms	x	@	inf	(+.f64 (.f64 x 1/2) (+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (.f64 x 1/4)))
0.0ms	z	@	0	(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (*.f64 x 1/4))

rewrite159.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1730×	`rational.json-simplify-35`
1596×	`rational.json-1`
1596×	`rational.json-2`
1596×	`rational.json-4`
1596×	`rational.json-3`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	13	93
1	87	81
2	177	81
3	383	81
4	789	59
5	2030	59
6	3796	59
7	5102	59
8	7069	59

Stop Event

1×	node limit

Counts

3 → 83

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (*.f64 x 1/4))
(+.f64 (.f64 x 1/2) (+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (.f64 x 1/4)))
(-.f64 (.f64 x 1/4) (.f64 y z))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x 1/4) (+.f64 (*.f64 x 1/4) (-.f64 1 (*.f64 y z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 1/2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 1/2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 4)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 x (neg.f64 (*.f64 y z))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (*.f64 x 3/4) (+.f64 (*.f64 x 1/4) (-.f64 1 (*.f64 y z)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 x (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (+.f64 (-.f64 (*.f64 x 1/2) (*.f64 y (+.f64 z z))) (*.f64 x 3/2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (neg.f64 (*.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (+.f64 x (neg.f64 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (*.f64 1/2 (+.f64 x (neg.f64 (*.f64 y z)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 2) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 1/2 (+.f64 x (neg.f64 (*.f64 y z)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 x (*.f64 (+.f64 (*.f64 x 1/2) (neg.f64 (*.f64 y z))) 2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (-.f64 (*.f64 x 1/2) (*.f64 y (+.f64 z z))) (*.f64 x 3/2)) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 x (neg.f64 (*.f64 y z))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 2) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4)) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4)))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4)))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 x (neg.f64 (*.f64 y z))) 1)))))

((#(struct:change #<rule egg-rr> (2) ((x +.f64 (*.f64 x 1/4) (neg.f64 (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (*.f64 x 1/4) (*.f64 y z)) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 (*.f64 x 1/4) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 1 (-.f64 -1 (+.f64 (*.f64 y z) (/.f64 x -4))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (neg.f64 (*.f64 y z)) (*.f64 x 1/4))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -1 (+.f64 (*.f64 x 1/4) (-.f64 1 (*.f64 y z))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (+.f64 (*.f64 x 1/4) (-.f64 1 (*.f64 y z))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 (/.f64 x 8) (*.f64 y (*.f64 z 1/2))) (-.f64 (/.f64 x 8) (*.f64 y (*.f64 z 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 -2 (-.f64 (*.f64 x 1/4) (-.f64 (*.f64 y z) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/4 (-.f64 x (*.f64 y (*.f64 z 4))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 1/4) (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1/2 (-.f64 (*.f64 x 1/2) (*.f64 y (+.f64 z z))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (-.f64 (*.f64 x 1/4) (*.f64 y z)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 2 (-.f64 (/.f64 x 8) (*.f64 y (*.f64 z 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (*.f64 x 1/2) (*.f64 y (+.f64 z z))) 1/2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (+.f64 (*.f64 y z) (/.f64 x -4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (/.f64 (-.f64 (*.f64 x 1/4) (*.f64 y z)) 4))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 4 (-.f64 (/.f64 x 16) (/.f64 (*.f64 y z) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 x (*.f64 y (*.f64 z 4))) 1/4)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 -1 (+.f64 (*.f64 y z) (/.f64 x -4)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (-.f64 (/.f64 x 8) (*.f64 y (*.f64 z 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (-.f64 (*.f64 x 1/4) (*.f64 y z)) 4) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x 1/4) (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 x 1/2) (*.f64 y (+.f64 z z))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 y z) (/.f64 x -4)) -1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 x (*.f64 y (*.f64 z 4))) 4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 x (*.f64 y (*.f64 z 4)))) 8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y (+.f64 z z)) (*.f64 x 1/2)) -2)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (*.f64 y (*.f64 z 4)) x) -4)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (-.f64 x (*.f64 y (*.f64 z 4))))) 16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (-.f64 (*.f64 y (*.f64 z 4)) x)) -8)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (-.f64 x (*.f64 y (*.f64 z 4)))))) 32)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (-.f64 x (*.f64 y (*.f64 z 4))))))) 64)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (*.f64 2 (*.f64 2 (-.f64 (*.f64 y (*.f64 z 4)) x))) -16)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (-.f64 x (*.f64 y (*.f64 z 4))))))) (*.f64 2 (*.f64 2 (*.f64 2 (*.f64 2 (-.f64 x (*.f64 y (*.f64 z 4)))))))) 128)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 (*.f64 x 1/4) (*.f64 y z)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (+.f64 (*.f64 y z) (/.f64 x -4)))))))

simplify809.0ms (12.2%)

Algorithm

1×	egg-herbie

Rules

3428×	`rational.json-simplify-35`
3102×	`rational.json-simplify-51`
1482×	`rational.json-simplify-1`
1130×	`rational.json-simplify-2`
574×	`rational.json-simplify-48`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	174	3863
1	354	3823
2	787	3823
3	1808	3823
4	3204	3823
5	3987	3823
6	4169	3823
7	4375	3823
8	4620	3823
9	4787	3823
10	4908	3823
11	5068	3823
12	5068	3823
13	5173	3823
14	5278	3823
15	7102	3823
16	7279	3823
17	7398	3823
18	7511	3823
19	7614	3823
20	7713	3823
21	7812	3823
22	7911	3823

Stop Event

1×	node limit

Counts

191 → 112

Calls

Call 1

Inputs
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 (.f64 -1 (.f64 y z)) x)
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(*.f64 1/4 x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(*.f64 1/4 x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(*.f64 1/4 x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(*.f64 1/4 x)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(.f64 -1 (.f64 y z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(-.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 0)
(-.f64 (+.f64 (.f64 x 1/4) (+.f64 (.f64 x 1/4) (-.f64 1 (*.f64 y z)))) 1)
(.f64 1/4 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4))
(.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 1)
(.f64 1/2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 2))
(.f64 1 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))))
(.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 1/2))
(.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 2) 1/2)
(.f64 4 (/.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))
(.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4) 1/4)
(.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 1/2) 2)
(.f64 (/.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4) 4)
(/.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 1)
(/.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 2) 2)
(/.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4)))))) 128)
(pow.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 1)
(-.f64 (+.f64 x (neg.f64 (*.f64 y z))) 0)
(-.f64 (+.f64 (.f64 x 3/4) (+.f64 (.f64 x 1/4) (-.f64 1 (*.f64 y z)))) 1)
(.f64 1/4 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4))
(.f64 1/2 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 2))
(.f64 1/2 (+.f64 x (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 2)))
(.f64 1/2 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y (+.f64 z z))) (.f64 x 3/2)))
(.f64 (+.f64 x (neg.f64 (.f64 y z))) 1)
(.f64 1 (+.f64 x (neg.f64 (.f64 y z))))
(.f64 2 (.f64 1/2 (+.f64 x (neg.f64 (*.f64 y z)))))
(.f64 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 2) 1/2)
(.f64 4 (/.f64 (+.f64 x (neg.f64 (.f64 y z))) 4))
(.f64 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4) 1/4)
(.f64 (.f64 1/2 (+.f64 x (neg.f64 (*.f64 y z)))) 2)
(.f64 (/.f64 (+.f64 x (neg.f64 (.f64 y z))) 4) 4)
(.f64 (+.f64 x (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 2)) 1/2)
(.f64 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y (+.f64 z z))) (.f64 x 3/2)) 1/2)
(/.f64 (+.f64 x (neg.f64 (*.f64 y z))) 1)
(/.f64 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 2) 2)
(/.f64 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4) 4)
(/.f64 (.f64 2 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4)) 8)
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4))))) 64)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4)))))) 128)
(pow.f64 (+.f64 x (neg.f64 (*.f64 y z))) 1)
(+.f64 (.f64 x 1/4) (neg.f64 (.f64 y z)))
(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) 0)
(+.f64 0 (-.f64 (.f64 x 1/4) (.f64 y z)))
(+.f64 1 (-.f64 -1 (+.f64 (*.f64 y z) (/.f64 x -4))))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 -1 (+.f64 (.f64 x 1/4) (-.f64 1 (.f64 y z))))
(+.f64 (+.f64 (.f64 x 1/4) (-.f64 1 (.f64 y z))) -1)
(+.f64 (-.f64 (/.f64 x 8) (.f64 y (.f64 z 1/2))) (-.f64 (/.f64 x 8) (.f64 y (.f64 z 1/2))))
(+.f64 -2 (-.f64 (.f64 x 1/4) (-.f64 (.f64 y z) 2)))
(.f64 1/4 (-.f64 x (.f64 y (*.f64 z 4))))
(.f64 (-.f64 (.f64 x 1/4) (*.f64 y z)) 1)
(.f64 1/2 (-.f64 (.f64 x 1/2) (*.f64 y (+.f64 z z))))
(.f64 1 (-.f64 (.f64 x 1/4) (*.f64 y z)))
(.f64 2 (-.f64 (/.f64 x 8) (.f64 y (*.f64 z 1/2))))
(.f64 (-.f64 (.f64 x 1/2) (*.f64 y (+.f64 z z))) 1/2)
(.f64 (+.f64 (.f64 y z) (/.f64 x -4)) -1)
(.f64 4 (/.f64 (-.f64 (.f64 x 1/4) (*.f64 y z)) 4))
(.f64 4 (-.f64 (/.f64 x 16) (/.f64 (.f64 y z) 4)))
(.f64 (-.f64 x (.f64 y (*.f64 z 4))) 1/4)
(.f64 -1 (+.f64 (.f64 y z) (/.f64 x -4)))
(.f64 (-.f64 (/.f64 x 8) (.f64 y (*.f64 z 1/2))) 2)
(.f64 (/.f64 (-.f64 (.f64 x 1/4) (*.f64 y z)) 4) 4)
(/.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) 1)
(/.f64 (-.f64 (.f64 x 1/2) (.f64 y (+.f64 z z))) 2)
(/.f64 (+.f64 (*.f64 y z) (/.f64 x -4)) -1)
(/.f64 (-.f64 x (.f64 y (.f64 z 4))) 4)
(/.f64 (.f64 2 (-.f64 x (.f64 y (*.f64 z 4)))) 8)
(/.f64 (-.f64 (.f64 y (+.f64 z z)) (.f64 x 1/2)) -2)
(/.f64 (-.f64 (.f64 y (.f64 z 4)) x) -4)
(/.f64 (.f64 2 (.f64 2 (-.f64 x (.f64 y (.f64 z 4))))) 16)
(/.f64 (.f64 2 (-.f64 (.f64 y (*.f64 z 4)) x)) -8)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (-.f64 x (.f64 y (*.f64 z 4)))))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (-.f64 x (.f64 y (.f64 z 4))))))) 64)
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 y (.f64 z 4)) x))) -16)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (-.f64 x (.f64 y (.f64 z 4))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (-.f64 x (.f64 y (.f64 z 4)))))))) 128)
(pow.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) 1)
(neg.f64 (+.f64 (*.f64 y z) (/.f64 x -4)))

Outputs
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
x
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 -1 (.f64 y z)) x)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(*.f64 1/4 x)
(*.f64 x 1/4)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(*.f64 1/4 x)
(*.f64 x 1/4)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(*.f64 1/4 x)
(*.f64 x 1/4)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(*.f64 1/4 x)
(*.f64 x 1/4)
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(.f64 -1 (.f64 y z))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (.f64 -1 (.f64 y z)) (*.f64 1/4 x))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(-.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 0)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(-.f64 (+.f64 (.f64 x 1/4) (+.f64 (.f64 x 1/4) (-.f64 1 (*.f64 y z)))) 1)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 1/4 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 1)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 1/2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 2))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 1 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 1/2))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 2) 1/2)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 4 (/.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4) 1/4)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 1/2) 2)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(.f64 (/.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4) 4)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(/.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 1)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(/.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 2) 2)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(/.f64 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4) 4)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(/.f64 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4)) 8)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))) 16)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4)))) 32)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (*.f64 y z))) 4))))) 64)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 4)))))) 128)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(pow.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 1)
(+.f64 (.f64 1/2 x) (neg.f64 (.f64 y z)))
(+.f64 (.f64 1/2 x) (.f64 y (neg.f64 z)))
(-.f64 (+.f64 x (neg.f64 (*.f64 y z))) 0)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(-.f64 (+.f64 (.f64 x 3/4) (+.f64 (.f64 x 1/4) (-.f64 1 (*.f64 y z)))) 1)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 1/4 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 1/2 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 2))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 1/2 (+.f64 x (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 2)))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 1/2 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y (+.f64 z z))) (.f64 x 3/2)))
(.f64 1/2 (+.f64 (-.f64 (.f64 1/2 x) (.f64 y (+.f64 z z))) (.f64 x 3/2)))
(.f64 (+.f64 x (neg.f64 (.f64 y z))) 1)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 1 (+.f64 x (neg.f64 (.f64 y z))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 2 (.f64 1/2 (+.f64 x (neg.f64 (*.f64 y z)))))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 2) 1/2)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 4 (/.f64 (+.f64 x (neg.f64 (.f64 y z))) 4))
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4) 1/4)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 (.f64 1/2 (+.f64 x (neg.f64 (*.f64 y z)))) 2)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 (/.f64 (+.f64 x (neg.f64 (.f64 y z))) 4) 4)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 (+.f64 x (.f64 (+.f64 (.f64 x 1/2) (neg.f64 (.f64 y z))) 2)) 1/2)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(.f64 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y (+.f64 z z))) (.f64 x 3/2)) 1/2)
(.f64 1/2 (+.f64 (-.f64 (.f64 1/2 x) (.f64 y (+.f64 z z))) (.f64 x 3/2)))
(/.f64 (+.f64 x (neg.f64 (*.f64 y z))) 1)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(/.f64 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 2) 2)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(/.f64 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4) 4)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(/.f64 (.f64 2 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4)) 8)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(/.f64 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4))) 16)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (*.f64 y z))) 4)))) 32)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4))))) 64)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (+.f64 x (neg.f64 (.f64 y z))) 4)))))) 128)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(pow.f64 (+.f64 x (neg.f64 (*.f64 y z))) 1)
(+.f64 x (neg.f64 (*.f64 y z)))
(+.f64 x (*.f64 y (neg.f64 z)))
(+.f64 (.f64 x 1/4) (neg.f64 (.f64 y z)))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) 0)
(-.f64 (.f64 x 1/4) (.f64 y z))
(+.f64 0 (-.f64 (.f64 x 1/4) (.f64 y z)))
(-.f64 (.f64 x 1/4) (.f64 y z))
(+.f64 1 (-.f64 -1 (+.f64 (*.f64 y z) (/.f64 x -4))))
(neg.f64 (+.f64 (*.f64 y z) (/.f64 x -4)))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 -1 (+.f64 (.f64 x 1/4) (-.f64 1 (.f64 y z))))
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (+.f64 (.f64 x 1/4) (-.f64 1 (.f64 y z))) -1)
(+.f64 (neg.f64 (.f64 y z)) (.f64 x 1/4))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/4))
(+.f64 (-.f64 (/.f64 x 8) (.f64 y (.f64 z 1/2))) (-.f64 (/.f64 x 8) (.f64 y (.f64 z 1/2))))
(+.f64 -2 (-.f64 (.f64 x 1/4) (-.f64 (.f64 y z) 2)))
(+.f64 -2 (-.f64 2 (-.f64 (.f64 y z) (.f64 x 1/4))))
(+.f64 -2 (+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) 2))
(+.f64 -2 (+.f64 2 (-.f64 (.f64 x 1/4) (.f64 y z))))
(.f64 1/4 (-.f64 x (.f64 y (*.f64 z 4))))
(.f64 1/4 (-.f64 x (.f64 (*.f64 y z) 4)))
(.f64 (-.f64 (.f64 x 1/4) (*.f64 y z)) 1)
(-.f64 (.f64 x 1/4) (.f64 y z))
(.f64 1/2 (-.f64 (.f64 x 1/2) (*.f64 y (+.f64 z z))))
(.f64 1/2 (-.f64 (.f64 1/2 x) (*.f64 y (+.f64 z z))))
(.f64 1 (-.f64 (.f64 x 1/4) (*.f64 y z)))
(-.f64 (.f64 x 1/4) (.f64 y z))
(.f64 2 (-.f64 (/.f64 x 8) (.f64 y (*.f64 z 1/2))))
(.f64 (-.f64 (.f64 x 1/2) (*.f64 y (+.f64 z z))) 1/2)
(.f64 1/2 (-.f64 (.f64 1/2 x) (*.f64 y (+.f64 z z))))
(.f64 (+.f64 (.f64 y z) (/.f64 x -4)) -1)
(+.f64 1 (-.f64 -1 (+.f64 (*.f64 y z) (/.f64 x -4))))
(neg.f64 (+.f64 (*.f64 y z) (/.f64 x -4)))
(.f64 4 (/.f64 (-.f64 (.f64 x 1/4) (*.f64 y z)) 4))
(-.f64 (.f64 x 1/4) (.f64 y z))
(.f64 4 (-.f64 (/.f64 x 16) (/.f64 (.f64 y z) 4)))
(.f64 4 (-.f64 (/.f64 x 16) (.f64 y (/.f64 z 4))))
(.f64 (-.f64 x (.f64 y (*.f64 z 4))) 1/4)
(.f64 1/4 (-.f64 x (.f64 y (*.f64 z 4))))
(.f64 1/4 (-.f64 x (.f64 (*.f64 y z) 4)))
(.f64 -1 (+.f64 (.f64 y z) (/.f64 x -4)))
(+.f64 1 (-.f64 -1 (+.f64 (*.f64 y z) (/.f64 x -4))))
(neg.f64 (+.f64 (*.f64 y z) (/.f64 x -4)))
(.f64 (-.f64 (/.f64 x 8) (.f64 y (*.f64 z 1/2))) 2)
(.f64 2 (-.f64 (/.f64 x 8) (.f64 y (*.f64 z 1/2))))
(.f64 (/.f64 (-.f64 (.f64 x 1/4) (*.f64 y z)) 4) 4)
(-.f64 (.f64 x 1/4) (.f64 y z))
(/.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) 1)
(-.f64 (.f64 x 1/4) (.f64 y z))
(/.f64 (-.f64 (.f64 x 1/2) (.f64 y (+.f64 z z))) 2)
(/.f64 (-.f64 (.f64 1/2 x) (.f64 y (+.f64 z z))) 2)
(/.f64 (+.f64 (*.f64 y z) (/.f64 x -4)) -1)
(+.f64 1 (-.f64 -1 (+.f64 (*.f64 y z) (/.f64 x -4))))
(neg.f64 (+.f64 (*.f64 y z) (/.f64 x -4)))
(/.f64 (-.f64 x (.f64 y (.f64 z 4))) 4)
(/.f64 (-.f64 x (.f64 (.f64 y z) 4)) 4)
(/.f64 (.f64 2 (-.f64 x (.f64 y (*.f64 z 4)))) 8)
(.f64 1/4 (-.f64 x (.f64 y (*.f64 z 4))))
(.f64 1/4 (-.f64 x (.f64 (*.f64 y z) 4)))
(/.f64 (-.f64 (.f64 y (+.f64 z z)) (.f64 x 1/2)) -2)
(/.f64 (-.f64 (.f64 y (+.f64 z z)) (.f64 1/2 x)) -2)
(/.f64 (-.f64 (.f64 y (.f64 z 4)) x) -4)
(/.f64 (-.f64 (.f64 (.f64 y z) 4) x) -4)
(/.f64 (.f64 2 (.f64 2 (-.f64 x (.f64 y (.f64 z 4))))) 16)
(.f64 1/4 (-.f64 x (.f64 y (*.f64 z 4))))
(.f64 1/4 (-.f64 x (.f64 (*.f64 y z) 4)))
(/.f64 (.f64 2 (-.f64 (.f64 y (*.f64 z 4)) x)) -8)
(.f64 (-.f64 (.f64 y (*.f64 z 4)) x) -1/4)
(.f64 (-.f64 (.f64 (*.f64 y z) 4) x) -1/4)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (-.f64 x (.f64 y (*.f64 z 4)))))) 32)
(.f64 1/4 (-.f64 x (.f64 y (*.f64 z 4))))
(.f64 1/4 (-.f64 x (.f64 (*.f64 y z) 4)))
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (-.f64 x (.f64 y (.f64 z 4))))))) 64)
(.f64 1/4 (-.f64 x (.f64 y (*.f64 z 4))))
(.f64 1/4 (-.f64 x (.f64 (*.f64 y z) 4)))
(/.f64 (.f64 2 (.f64 2 (-.f64 (.f64 y (.f64 z 4)) x))) -16)
(.f64 (-.f64 (.f64 y (*.f64 z 4)) x) -1/4)
(.f64 (-.f64 (.f64 (*.f64 y z) 4) x) -1/4)
(/.f64 (+.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (-.f64 x (.f64 y (.f64 z 4))))))) (.f64 2 (.f64 2 (.f64 2 (.f64 2 (-.f64 x (.f64 y (.f64 z 4)))))))) 128)
(.f64 1/4 (-.f64 x (.f64 y (*.f64 z 4))))
(.f64 1/4 (-.f64 x (.f64 (*.f64 y z) 4)))
(pow.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) 1)
(-.f64 (.f64 x 1/4) (.f64 y z))
(neg.f64 (+.f64 (*.f64 y z) (/.f64 x -4)))
(+.f64 1 (-.f64 -1 (+.f64 (*.f64 y z) (/.f64 x -4))))

eval214.0ms (3.2%)

Compiler: Compiled 1791 to 1129 computations (37% saved)

prune493.0ms (7.4%)

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	112	0	112
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	112	5	117

Error

Counts

117 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y z))
✓	0.0b	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
✓	0.0b	(+.f64 (.f64 x 1/2) (+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (.f64 x 1/4)))
✓	33.2b	(*.f64 y (neg.f64 z))
	30.3b	x

Compiler

Compiled 51 to 36 computations (29.4% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

5 alts after pruning (1 fresh and 4 done)

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

Error

Counts

5 → 5

Alt Table

Click to see full alt table

Status	Error	Program
✓	0.0b	(-.f64 x (*.f64 y z))
✓	0.0b	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
✓	0.0b	(+.f64 (.f64 x 1/2) (+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (.f64 x 1/4)))
✓	33.2b	(*.f64 y (neg.f64 z))
	30.3b	x

Compiler

Compiled 51 to 36 computations (29.4% saved)

regimes23.0ms (0.3%)

Counts

5 → 1

Calls

Call 1

Inputs
x
(*.f64 y (neg.f64 z))
(-.f64 x (*.f64 y z))
(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
(+.f64 (.f64 x 1/2) (+.f64 (-.f64 (.f64 x 1/4) (.f64 y z)) (.f64 x 1/4)))

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

Calls

5 calls:

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

Results

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

Compiler

Compiled 65 to 40 computations (38.5% saved)

regimes939.0ms (14.2%)

Accuracy

Total -48.4b remaining (-362.5%)

Threshold costs -48.4b (-362.5%)

Counts

2 → 5

Calls

Call 1

Inputs
x
(*.f64 y (neg.f64 z))

Outputs
x
(*.f64 y (neg.f64 z))
x
(*.f64 y (neg.f64 z))
x

Calls

3 calls:

737.0ms	y
187.0ms	z
14.0ms	x

Results

Error	Segments	Branch
13.4b	5	`x`
16.6b	3	`y`
17.7b	5	`z`

Compiler

Compiled 20 to 14 computations (30% saved)

bsearch54.0ms (0.8%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
17.0ms	1.1818686311306632e+110	1.5397276988904248e+123
13.0ms	-3.3640970153711654e-144	-6.0696449078507424e-152
12.0ms	-8.701998197990188e-91	-6.17262265094437e-95
12.0ms	-532253541024.73285	-1056063668.3191009

Results

48.0ms

560×

body

256

valid

Compiler

Compiled 469 to 360 computations (23.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	75

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

(-.f64 x (*.f64 y z))

(if (<=.f64 x -32000000000) x (if (<=.f64 x -2630367692706693/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) (*.f64 y (neg.f64 z)) (if (<=.f64 x -5799381063278339/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) x (if (<=.f64 x 120000000000000006165803845326852703732165351296751002642315320894463753258191920134015444923344800642355953664) (*.f64 y (neg.f64 z)) x))))

Outputs

(-.f64 x (*.f64 y z))

(if (<=.f64 x -32000000000) x (if (<=.f64 x -2630367692706693/37576681324381331646231689548629392438010920782533117931316655544515344401833735095419183974156299248510959616) (*.f64 y (neg.f64 z)) (if (<=.f64 x -5799381063278339/1757388200993436087035366604564836663620975436836686184804982645551499054949799949343375268009332366074187855716219099657503228927927460816018951242525454630912) x (if (<=.f64 x 120000000000000006165803845326852703732165351296751002642315320894463753258191920134015444923344800642355953664) (*.f64 y (neg.f64 z)) x))))

Compiler

Compiled 42 to 25 computations (40.5% saved)

soundness0.0ms (0%)

end162.0ms (2.4%)

Remove: (sort y z)
Compiler: Compiled 52 to 29 computations (44.2% saved)

Details

analyze669.0ms (10.1%)

sample1.8s (27.7%)

preprocess10.0ms (0.2%)

simplify121.0ms (1.8%)

eval0.0ms (0%)

prune1.0ms (0%)

localize5.0ms (0.1%)

series2.0ms (0%)

rewrite101.0ms (1.5%)

simplify394.0ms (5.9%)

eval10.0ms (0.2%)

prune8.0ms (0.1%)

localize5.0ms (0.1%)

localize10.0ms (0.2%)

series3.0ms (0%)

rewrite110.0ms (1.7%)

simplify425.0ms (6.4%)

eval21.0ms (0.3%)

prune15.0ms (0.2%)

localize22.0ms (0.3%)

series3.0ms (0.1%)

rewrite159.0ms (2.4%)

simplify809.0ms (12.2%)

eval214.0ms (3.2%)

prune493.0ms (7.4%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes23.0ms (0.3%)

regimes939.0ms (14.2%)

bsearch54.0ms (0.8%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end162.0ms (2.4%)

Profiling