Details

analyze753.0ms (10.2%)

Algorithm

1×

Search

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

Compiler

Compiled 9 to 6 computations (33.3% saved)

sample3.3s (44.8%)

Results

3.1s	8256×	body	256	valid
152.0ms	616×	body	256	infinite

Bogosity

preprocess79.0ms (1.1%)

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)

simplify9.0ms (0.1%)

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)

localize58.0ms (0.8%)

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	x	@	inf	(-.f64 x (*.f64 y z))
0.0ms	z	@	inf	(-.f64 x (*.f64 y z))

rewrite106.0ms (1.4%)

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

simplify605.0ms (8.2%)

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

eval492.0ms (6.7%)

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

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)))
▶	36.0b	(*.f64 y (neg.f64 z))
	27.2b	x

Compiler

Compiled 33 to 23 computations (30.3% saved)

localize5.0ms (0.1%)

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

localize71.0ms (1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))
✓	0.0b	(-.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	y	@	0	(-.f64 (.f64 x 1/2) (.f64 y z))
0.0ms	x	@	0	(-.f64 (.f64 x 1/2) (.f64 y z))
0.0ms	x	@	inf	(-.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	@	0	(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))

rewrite197.0ms (2.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 y z))
(+.f64 (.f64 x 1/2) (-.f64 (.f64 x 1/2) (*.f64 y z)))

Outputs
((#(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)))))))
((#(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)))))

Outputs

((#(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)))))))

((#(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)))))

simplify1.2s (16.5%)

Algorithm

1×	egg-herbie

Rules

2016×	`rational.json-simplify-35`
1618×	`rational.json-simplify-2`
1604×	`rational.json-simplify-1`
1046×	`rational.json-simplify-52`
628×	`rational.json-simplify-48`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	160	3063
1	313	3063
2	739	3057
3	1677	3055
4	2843	3051
5	3459	3051
6	3675	2859
7	3982	2859
8	4429	2859
9	5149	2859
10	5527	2859
11	5826	2859
12	6156	2859
13	6850	2859
14	7031	2859
15	7195	2859
16	7301	2859
17	7327	2859
18	7597	2859

Stop Event

1×	node limit

Counts

147 → 102

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

Outputs
(.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 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(*.f64 1/2 x)
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 1/2 x) (.f64 -1 (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(.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 (.f64 x 1/2) (.f64 y (neg.f64 z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 0)
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 0 (-.f64 (.f64 x 1/2) (.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 1 (+.f64 (.f64 x 1/2) (-.f64 -1 (.f64 y z))))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (.f64 y (neg.f64 z)) (.f64 x 1/2))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 -1 (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (-.f64 (.f64 x 1/2) (+.f64 (.f64 y z) -1)) -1)
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 -2 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 2))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (+.f64 (.f64 x 1/2) 1) (-.f64 -1 (.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (+.f64 (.f64 x 1/2) -1) (-.f64 1 (.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (+.f64 (.f64 x 1/2) (-.f64 -1 (.f64 y z))) 1)
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (+.f64 (-.f64 (.f64 x 1/2) (.f64 y z)) 2) -2)
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(+.f64 (-.f64 -1 (.f64 y z)) (+.f64 (.f64 x 1/2) 1))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(.f64 1 (-.f64 (.f64 x 1/2) (*.f64 y z)))
(+.f64 (.f64 y (neg.f64 z)) (.f64 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.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 1/2 x))
(-.f64 (.f64 1/2 x) (.f64 y z))
(neg.f64 (+.f64 (.f64 y z) (.f64 x -1/2)))
(-.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 1/2 x) (+.f64 -1 (.f64 y z))) (+.f64 -1 (*.f64 1/2 x)))
(+.f64 -1 (+.f64 (.f64 1/2 x) (-.f64 (.f64 1/2 x) (+.f64 -1 (*.f64 y z)))))
(+.f64 (.f64 1/2 x) (-.f64 0 (-.f64 (.f64 y z) (*.f64 1/2 x))))
(+.f64 (.f64 1/2 x) (neg.f64 (-.f64 (.f64 y z) (*.f64 1/2 x))))
(+.f64 (.f64 1/2 x) (-.f64 (.f64 1/2 x) (*.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 (-.f64 (.f64 1/2 x) (.f64 y z)) 4) (+.f64 x x)))
(.f64 1/4 (+.f64 x (+.f64 x (.f64 (-.f64 (.f64 1/2 x) (.f64 y z)) 4))))
(.f64 1/4 (+.f64 x (+.f64 x (.f64 (-.f64 (.f64 y z) (.f64 1/2 x)) -4))))
(.f64 1/4 (+.f64 x (+.f64 x (.f64 -4 (-.f64 (.f64 y z) (.f64 1/2 x))))))
(.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 (-.f64 (.f64 1/2 x) (.f64 y z)) 4) (+.f64 x x)))
(.f64 1/4 (+.f64 x (+.f64 x (.f64 (-.f64 (.f64 1/2 x) (.f64 y z)) 4))))
(.f64 1/4 (+.f64 x (+.f64 x (.f64 (-.f64 (.f64 y z) (.f64 1/2 x)) -4))))
(.f64 1/4 (+.f64 x (+.f64 x (.f64 -4 (-.f64 (.f64 y z) (.f64 1/2 x))))))
(/.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)

eval24.0ms (0.3%)

Compiler: Compiled 1377 to 825 computations (40.1% saved)

prune16.0ms (0.2%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

106 → 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)))
✓	36.0b	(*.f64 y (neg.f64 z))
	27.2b	x

Compiler

Compiled 33 to 23 computations (30.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 33 to 23 computations (30.3% saved)

eval0.0ms (0%)

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

prune2.0ms (0%)

Pruning

4 alts after pruning (1 fresh and 3 done)

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

Error

Counts

4 → 4

Alt Table

Click to see full alt table

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

Compiler

Compiled 33 to 23 computations (30.3% saved)

regimes20.0ms (0.3%)

Counts

4 → 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)))

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

Calls

5 calls:

4.0ms	z
4.0ms	x
4.0ms	(-.f64 x (*.f64 y z))
4.0ms	y
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 50 to 31 computations (38% saved)

regimes108.0ms (1.5%)

Accuracy

Total -46.5b remaining (-304.1%)

Threshold costs -46.5b (-304.1%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

78.0ms	y
19.0ms	z
11.0ms	x

Results

Error	Segments	Branch
17.6b	3	`x`
15.3b	3	`y`
16.9b	7	`z`

Compiler

Compiled 20 to 14 computations (30% saved)

bsearch159.0ms (2.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
11.0ms	5.846571198440938e-63	9.358077593359212e-60
147.0ms	-2.0697415198008956e+76	-6.949597488221109e+72

Results

155.0ms	256×	body	256	valid
1.0ms	9×	body	256	infinite

Compiler

Compiled 222 to 170 computations (23.4% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	55

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs

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

(if (<=.f64 y -52000000000000001000882753953993170648344044213860137704266595176957345792) (*.f64 y (neg.f64 z)) (if (<=.f64 y 4161278206966051/452312848583266388373324160190187140051835877600158453279131187530910662656) x (*.f64 y (neg.f64 z))))

Outputs

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

(if (<=.f64 y -52000000000000001000882753953993170648344044213860137704266595176957345792) (*.f64 y (neg.f64 z)) (if (<=.f64 y 4161278206966051/452312848583266388373324160190187140051835877600158453279131187530910662656) x (*.f64 y (neg.f64 z))))

Compiler

Compiled 32 to 19 computations (40.6% saved)

soundness0.0ms (0%)

end131.0ms (1.8%)

Remove: (sort y z)
Compiler: Compiled 42 to 23 computations (45.2% saved)

Details

analyze753.0ms (10.2%)

sample3.3s (44.8%)

preprocess79.0ms (1.1%)

simplify9.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize58.0ms (0.8%)

series2.0ms (0%)

rewrite106.0ms (1.4%)

simplify605.0ms (8.2%)

eval492.0ms (6.7%)

prune8.0ms (0.1%)

localize5.0ms (0.1%)

localize71.0ms (1%)

series3.0ms (0%)

rewrite197.0ms (2.7%)

simplify1.2s (16.5%)

eval24.0ms (0.3%)

prune16.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes20.0ms (0.3%)

regimes108.0ms (1.5%)

bsearch159.0ms (2.2%)

simplify2.0ms (0%)

soundness0.0ms (0%)

end131.0ms (1.8%)

Profiling