Details

analyze175.0ms (1.6%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
38.3%	35.9%	57.7%	0.1%	6.2%	0%	0%	10
45.8%	42.9%	50.7%	0.1%	6.2%	0%	0%	11
53.4%	48.8%	42.5%	0.1%	8.6%	0%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample2.2s (19.5%)

Results

1.9s	8256×	body	256	valid
167.0ms	807×	body	256	infinite

Bogosity

preprocess10.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	76
1	24	76
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 1 (.f64 y z)))
(.f64 y (-.f64 1 (.f64 x z)))
(.f64 z (-.f64 1 (.f64 y x)))
(.f64 x (-.f64 1 (.f64 z y)))

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

Symmetry

(sort y z)

Compiler

Compiled 13 to 10 computations (23.1% saved)

simplify352.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	11	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 10 to 7 computations (30% 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

2.8b

Counts

2 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	2.8b	(.f64 x (-.f64 1 (.f64 y z)))

Compiler

Compiled 10 to 7 computations (30% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	2.7b	(.f64 x (-.f64 1 (.f64 y z)))

Compiler

Compiled 22 to 10 computations (54.5% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite225.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

1814×	`rational.json-simplify-35`
1394×	`exponential.json-3`
1394×	`rational.json-1`
1394×	`rational.json-2`
1394×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	68	19
2	149	19
3	281	19
4	509	19
5	1113	19
6	2363	19
7	3969	19
8	5118	19
9	6466	19
10	7506	19
11	7615	19
12	7740	19

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

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

Outputs

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

simplify919.0ms (8.2%)

Algorithm

1×	egg-herbie

Rules

3656×	`rational.json-simplify-35`
2980×	`rational.json-simplify-2`
1534×	`rational.json-simplify-53`
1080×	`exponential.json-simplify-26`
810×	`rational.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	52	1022
1	135	978
2	258	978
3	566	978
4	1989	978
5	3932	978
6	4519	978
7	4752	978
8	4936	978
9	5120	978
10	5121	978
11	5999	978
12	6439	978
13	6628	978
14	6686	978
15	6881	978
16	7061	978
17	7241	978
18	7421	978
19	7601	978
20	7781	978
21	7961	978

Stop Event

1×	node limit

Counts

50 → 25

Calls

Call 1

Inputs
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) 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 (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(.f64 -1 (.f64 y (*.f64 z x)))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(.f64 -1 (.f64 y (*.f64 z x)))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
x
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(.f64 -1 (.f64 y (*.f64 z x)))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(.f64 -1 (.f64 y (*.f64 z x)))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 (.f64 x (-.f64 1 (.f64 y z))) 0)
(+.f64 0 (.f64 x (-.f64 1 (.f64 y z))))
(+.f64 (.f64 (-.f64 1 (.f64 y z)) (.f64 x 1/2)) (.f64 (-.f64 1 (.f64 y z)) (.f64 x 1/2)))
(-.f64 (.f64 x (-.f64 1 (.f64 y z))) 0)
(/.f64 (.f64 x (-.f64 1 (.f64 y z))) 1)
(/.f64 (.f64 (-.f64 1 (.f64 y z)) (+.f64 x x)) 2)
(/.f64 (.f64 x (.f64 (-.f64 1 (*.f64 y z)) 4)) 4)
(/.f64 (.f64 (-.f64 1 (.f64 y z)) (*.f64 x 8)) 8)
(/.f64 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (.f64 x 8))) 16)
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (*.f64 x 8)))) 32)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (.f64 x 8))))) 64)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (*.f64 x 8)))))) 128)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (.f64 x 8))))))) 256)
(pow.f64 (.f64 x (-.f64 1 (.f64 y z))) 1)

Outputs
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) x)
(.f64 (-.f64 1 (.f64 y z)) 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 (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(.f64 -1 (.f64 y (*.f64 z x)))
(neg.f64 (.f64 y (.f64 z x)))
(.f64 (.f64 z x) (neg.f64 y))
(.f64 y (.f64 z (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(.f64 -1 (.f64 y (*.f64 z x)))
(neg.f64 (.f64 y (.f64 z x)))
(.f64 (.f64 z x) (neg.f64 y))
(.f64 y (.f64 z (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
x
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(.f64 -1 (.f64 y (*.f64 z x)))
(neg.f64 (.f64 y (.f64 z x)))
(.f64 (.f64 z x) (neg.f64 y))
(.f64 y (.f64 z (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(.f64 -1 (.f64 y (*.f64 z x)))
(neg.f64 (.f64 y (.f64 z x)))
(.f64 (.f64 z x) (neg.f64 y))
(.f64 y (.f64 z (neg.f64 x)))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 -1 (.f64 y (*.f64 z x))) x)
(+.f64 x (.f64 -1 (.f64 y (*.f64 z x))))
(+.f64 x (neg.f64 (.f64 y (.f64 z x))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
(+.f64 x (.f64 y (.f64 z (neg.f64 x))))
(+.f64 (.f64 x (-.f64 1 (.f64 y z))) 0)
(.f64 (-.f64 1 (.f64 y z)) x)
(+.f64 0 (.f64 x (-.f64 1 (.f64 y z))))
(.f64 (-.f64 1 (.f64 y z)) x)
(+.f64 (.f64 (-.f64 1 (.f64 y z)) (.f64 x 1/2)) (.f64 (-.f64 1 (.f64 y z)) (.f64 x 1/2)))
(.f64 (-.f64 1 (.f64 y z)) x)
(-.f64 (.f64 x (-.f64 1 (.f64 y z))) 0)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 x (-.f64 1 (.f64 y z))) 1)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 (-.f64 1 (.f64 y z)) (+.f64 x x)) 2)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 x (.f64 (-.f64 1 (*.f64 y z)) 4)) 4)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 (-.f64 1 (.f64 y z)) (*.f64 x 8)) 8)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (.f64 x 8))) 16)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (*.f64 x 8)))) 32)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (.f64 x 8))))) 64)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (*.f64 x 8)))))) 128)
(.f64 (-.f64 1 (.f64 y z)) x)
(/.f64 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 2 (.f64 (-.f64 1 (.f64 y z)) (.f64 x 8))))))) 256)
(.f64 (-.f64 1 (.f64 y z)) x)
(pow.f64 (.f64 x (-.f64 1 (.f64 y z))) 1)
(.f64 (-.f64 1 (.f64 y z)) x)

eval4.0ms (0%)

Compiler: Compiled 260 to 147 computations (43.5% saved)

prune6.0ms (0.1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	22	3	25
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	22	4	26

Error

0.1b

Counts

26 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	5.7b	(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
▶	41.5b	(.f64 (.f64 z x) (neg.f64 y))
✓	2.8b	(.f64 x (-.f64 1 (.f64 y z)))
	24.5b	x

Compiler

Compiled 34 to 23 computations (32.4% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.9b	(.f64 (.f64 z x) (neg.f64 y))

Compiler

Compiled 17 to 6 computations (64.7% saved)

series7.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

Time	Variable		Point	Expression
3.0ms	z	@	0	(.f64 (.f64 z x) (neg.f64 y))
1.0ms	y	@	inf	(.f64 (.f64 z x) (neg.f64 y))
1.0ms	y	@	0	(.f64 (.f64 z x) (neg.f64 y))
1.0ms	z	@	inf	(.f64 (.f64 z x) (neg.f64 y))
1.0ms	x	@	0	(.f64 (.f64 z x) (neg.f64 y))

rewrite273.0ms (2.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1742×	`rational.json-simplify-35`
1694×	`rational.json-1`
1694×	`rational.json-2`
1194×	`exponential.json-3`
1194×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	62	17
2	145	17
3	337	17
4	715	17
5	1843	17
6	4081	17
7	6219	17
8	7673	17

Stop Event

1×	node limit

Counts

1 → 21

Calls

Call 1

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

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

Outputs

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

simplify498.0ms (4.4%)

Algorithm

1×	egg-herbie

Rules

2560×	`rational.json-simplify-35`
2376×	`rational.json-simplify-2`
1706×	`rational.json-simplify-53`
1148×	`rational.json-simplify-1`
782×	`exponential.json-simplify-26`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	67	969
1	179	969
2	387	969
3	944	969
4	2501	969
5	4115	969
6	5454	969
7	5917	969
8	6215	969
9	6301	969
10	6363	969
11	7162	969
12	7566	969
13	7854	969

Stop Event

1×	node limit

Counts

57 → 25

Calls

Call 1

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

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

localize9.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))
	6.9b	(.f64 (.f64 z x) (neg.f64 y))

Compiler

Compiled 25 to 7 computations (72% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite153.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1576×	`rational.json-1`
1576×	`rational.json-2`
1330×	`exponential.json-3`
1330×	`rational.json-4`
1330×	`rational.json-3`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	69	23
2	156	23
3	364	23
4	795	23
5	2073	23
6	4404	19
7	6358	19
8	7325	19
9	7856	19

Stop Event

1×	node limit

Counts

1 → 30

Calls

Call 1

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

Outputs

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

simplify315.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

2236×	`rational.json-simplify-2`
1844×	`rational.json-simplify-35`
980×	`rational.json-simplify-48`
904×	`rational.json-simplify-1`
722×	`rational.json-simplify-53`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	88	1638
1	209	1502
2	471	1502
3	1578	1270
4	3123	1270
5	3969	1270
6	4455	1270
7	4683	1270
8	4892	1270
9	5079	1270
10	5694	1270
11	6113	1270
12	6603	1270
13	7481	1270
14	7966	1270

Stop Event

1×	node limit

Counts

66 → 49

Calls

Call 1

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

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

eval18.0ms (0.2%)

Compiler: Compiled 1045 to 542 computations (48.1% saved)

prune16.0ms (0.1%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	95	4	99
Fresh	0	1	1
Picked	1	0	1
Done	0	2	2
Total	96	7	103

Error

0.0b

Counts

103 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	5.7b	(-.f64 x (.f64 y (.f64 z x)))
▶	4.8b	(+.f64 x (neg.f64 (.f64 z (.f64 x y))))
✓	41.5b	(.f64 (.f64 z x) (neg.f64 y))
✓	2.8b	(.f64 x (-.f64 1 (.f64 y z)))
▶	42.0b	(neg.f64 (.f64 z (.f64 x y)))
▶	41.1b	(neg.f64 (.f64 x (.f64 y z)))
	24.5b	x

Compiler

Compiled 62 to 41 computations (33.9% saved)

localize350.0ms (3.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	7.2b	(.f64 x (.f64 y z))

Compiler

Compiled 20 to 6 computations (70% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite227.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

2168×	`rational.json-simplify-2`
1512×	`rational.json-simplify-1`
1370×	`exponential.json-3`
1370×	`rational.json-1`
1370×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	48	13
2	117	13
3	250	13
4	452	13
5	1058	13
6	2170	13
7	3361	13
8	3993	13
9	4949	13
10	5542	13
11	5542	13
12	6896	13
13	7986	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs

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

simplify467.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

4324×	`rational.json-simplify-53`
3824×	`rational.json-simplify-35`
2442×	`rational.json-simplify-2`
1568×	`exponential.json-simplify-26`
682×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	650
1	139	650
2	292	650
3	736	650
4	1988	650
5	3653	650
6	4149	650
7	4512	650
8	4729	650
9	4940	650
10	5829	650
11	6577	650
12	6577	650
13	6577	650
14	6787	650
15	6997	650
16	7207	650
17	7417	650
18	7627	650

Stop Event

1×	node limit

Counts

50 → 17

Calls

Call 1

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

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

localize19.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	6.0b	(.f64 z (.f64 x y))

Compiler

Compiled 20 to 6 computations (70% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite224.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

2168×	`rational.json-simplify-2`
1512×	`rational.json-simplify-1`
1370×	`exponential.json-3`
1370×	`rational.json-1`
1370×	`rational.json-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	48	13
2	117	13
3	250	13
4	452	13
5	1058	13
6	2170	13
7	3361	13
8	3993	13
9	4949	13
10	5542	13
11	5542	13
12	6896	13
13	7986	13

Stop Event

1×	node limit

Counts

1 → 14

Calls

Call 1

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

Outputs

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

simplify469.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

4344×	`rational.json-simplify-53`
3944×	`rational.json-simplify-35`
2452×	`rational.json-simplify-2`
1600×	`exponential.json-simplify-26`
688×	`rational.json-simplify-43`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	650
1	139	650
2	292	650
3	737	650
4	2003	650
5	3669	650
6	4194	650
7	4561	650
8	4783	650
9	4999	650
10	5896	650
11	6669	650
12	6669	650
13	6669	650
14	6884	650
15	7099	650
16	7314	650
17	7529	650
18	7744	650

Stop Event

1×	node limit

Counts

50 → 16

Calls

Call 1

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

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

localize8.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 x (neg.f64 (.f64 z (.f64 x y))))
	6.0b	(.f64 z (.f64 x y))

Compiler

Compiled 28 to 7 computations (75% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite133.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	71	23
2	171	23
3	411	23
4	960	23
5	2677	19
6	4888	19
7	6384	19
8	7579	19

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs

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

simplify988.0ms (8.8%)

Algorithm

1×	egg-herbie

Rules

3794×	`rational.json-simplify-49`
3736×	`rational.json-simplify-35`
1436×	`rational.json-simplify-2`
922×	`rational.json-simplify-1`
690×	`rational.json-simplify-48`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	64	1066
1	145	1058
2	342	1058
3	1032	1058
4	1966	1058
5	2882	1058
6	3389	1058
7	3704	1058
8	3935	1058
9	4151	1058
10	4311	1058
11	4495	1058
12	4621	1058
13	4768	1058
14	4880	1058
15	4970	1058
16	5080	1058
17	5169	1058
18	5258	1058
19	5258	1058
20	5258	1058
21	5340	1058
22	5422	1058
23	5504	1058
24	5586	1058
25	5668	1058
26	5750	1058
27	5832	1058
28	5914	1058
29	5996	1058
30	6078	1058
31	6160	1058
32	6242	1058
33	6324	1058
34	6406	1058

Stop Event

1×	node limit

Counts

58 → 31

Calls

Call 1

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

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

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series1.0ms (0%)

Counts

2 → 36

Calls

18 calls:

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

rewrite111.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1452×	`rational.json-simplify-35`
1448×	`exponential.json-3`
1448×	`rational.json-1`
1448×	`rational.json-2`
1448×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	54	32
2	129	32
3	288	32
4	544	32
5	1316	32
6	2975	32
7	5178	32
8	6636	32

Stop Event

1×	node limit

Counts

2 → 63

Calls

Call 1

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

Outputs

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

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

simplify143.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

1174×	`rational.json-simplify-2`
1028×	`rational.json-simplify-53`
954×	`rational.json-simplify-52`
848×	`rational.json-simplify-51`
844×	`rational.json-simplify-44`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	153	1973
1	365	1973
2	764	1973
3	1977	1973
4	4438	1973
5	5224	1973
6	6216	1973
7	6990	1973

Stop Event

1×	node limit

Counts

99 → 85

Calls

Call 1

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

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

eval30.0ms (0.3%)

Compiler: Compiled 1804 to 996 computations (44.8% saved)

prune23.0ms (0.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	165	0	165
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	165	7	172

Error

0.0b

Counts

172 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	5.7b	(-.f64 x (.f64 y (.f64 z x)))
✓	4.8b	(+.f64 x (neg.f64 (.f64 z (.f64 x y))))
✓	41.5b	(.f64 (.f64 z x) (neg.f64 y))
✓	2.8b	(.f64 x (-.f64 1 (.f64 y z)))
✓	42.0b	(neg.f64 (.f64 z (.f64 x y)))
✓	41.1b	(neg.f64 (.f64 x (.f64 y z)))
	24.5b	x

Compiler

Compiled 62 to 41 computations (33.9% saved)

eval0.0ms (0%)

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

prune3.0ms (0%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Kept	Total
New	0	0
Fresh	1	1
Picked	0	0
Done	6	6
Total	7	7

Error

0.0b

Counts

7 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	5.7b	(-.f64 x (.f64 y (.f64 z x)))
✓	4.8b	(+.f64 x (neg.f64 (.f64 z (.f64 x y))))
✓	41.5b	(.f64 (.f64 z x) (neg.f64 y))
✓	2.8b	(.f64 x (-.f64 1 (.f64 y z)))
✓	42.0b	(neg.f64 (.f64 z (.f64 x y)))
✓	41.1b	(neg.f64 (.f64 x (.f64 y z)))
	24.5b	x

Compiler

Compiled 62 to 41 computations (33.9% saved)

regimes83.0ms (0.7%)

Counts

8 → 3

Calls

Call 1

Inputs
x
(neg.f64 (.f64 x (.f64 y z)))
(neg.f64 (.f64 z (.f64 x y)))
(.f64 (.f64 z x) (neg.f64 y))
(.f64 x (-.f64 1 (.f64 y z)))
(-.f64 x (.f64 y (.f64 z x)))
(+.f64 x (neg.f64 (.f64 z (.f64 x y))))
(+.f64 x (.f64 (.f64 z x) (neg.f64 y)))

Outputs
(neg.f64 (.f64 z (.f64 x y)))
(.f64 x (-.f64 1 (.f64 y z)))
(.f64 (.f64 z x) (neg.f64 y))

Calls

6 calls:

22.0ms	z
16.0ms	x
14.0ms	(*.f64 y z)
10.0ms	(-.f64 1 (*.f64 y z))
9.0ms	y

Results

Error	Segments	Branch
1.1b	3	`x`
1.4b	2	`y`
0.7b	4	`z`
1.1b	2	`(.f64 x (-.f64 1 (.f64 y z)))`
0.1b	3	`(-.f64 1 (*.f64 y z))`
0.1b	3	`(*.f64 y z)`

Compiler

Compiled 88 to 45 computations (48.9% saved)

bsearch0.0ms (0%)

Algorithm

2×	left-value

Steps

Time	Left	Right
0.0ms	9.729691844246147e+140	1.1796691413337828e+143
0.0ms	-inf	-4.674516080844315e+295

Compiler

Compiled 16 to 12 computations (25% saved)

regimes78.0ms (0.7%)

Counts

4 → 4

Calls

Call 1

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

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

Calls

4 calls:

27.0ms	z
27.0ms	x
11.0ms	(*.f64 y z)
11.0ms	y

Results

Error	Segments	Branch
20.5b	7	`x`
13.8b	3	`y`
13.6b	8	`z`
2.4b	4	`(*.f64 y z)`

Compiler

Compiled 40 to 25 computations (37.5% saved)

bsearch0.0ms (0%)

Algorithm

3×	left-value

Steps

Time	Left	Right
0.0ms	9.729691844246147e+140	1.1796691413337828e+143
0.0ms	1.4867002351540628e-6	1661.824676420232
0.0ms	-1.7500864941387482	-0.010545939537442916

Compiler

Compiled 16 to 12 computations (25% saved)

regimes65.0ms (0.6%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

4 calls:

20.0ms	x
19.0ms	z
15.0ms	(*.f64 y z)
9.0ms	y

Results

Error	Segments	Branch
20.6b	7	`x`
14.9b	3	`y`
14.7b	5	`z`
1.5b	5	`(*.f64 y z)`

Compiler

Compiled 34 to 22 computations (35.3% saved)

bsearch0.0ms (0%)

Algorithm

4×	left-value

Steps

Time	Left	Right
0.0ms	6.712872370263676e+148	3.6218914873527216e+155
0.0ms	1.4867002351540628e-6	1661.824676420232
0.0ms	-1.7500864941387482	-0.010545939537442916
0.0ms	-inf	-4.674516080844315e+295

Compiler

Compiled 16 to 12 computations (25% saved)

regimes44.0ms (0.4%)

Accuracy

Total -57.1b remaining (-1330.3%)

Threshold costs -57.1b (-1330.3%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

4 calls:

15.0ms	x
12.0ms	z
8.0ms	y
7.0ms	(*.f64 y z)

Results

Error	Segments	Branch
21.9b	5	`x`
15.1b	3	`y`
16.9b	3	`z`
4.3b	3	`(*.f64 y z)`

Compiler

Compiled 28 to 19 computations (32.1% saved)

bsearch26.0ms (0.2%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	1.4867002351540628e-6	1661.824676420232
10.0ms	-1.7500864941387482	-0.010545939537442916

Results

23.0ms

256×

body

256

valid

Compiler

Compiled 224 to 172 computations (23.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	375

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(if (<=.f64 (.f64 y z) -inf.0) (neg.f64 (.f64 z (.f64 x y))) (if (<=.f64 (.f64 y z) 1000000000000000016976219238238959704141045173573106739630601035115997744067216908958262325956255112879408454231155599236459402033650892537856) (.f64 x (-.f64 1 (.f64 y z))) (.f64 (.f64 z x) (neg.f64 y))))
(if (<=.f64 (.f64 y z) -1) (.f64 (.f64 z x) (neg.f64 y)) (if (<=.f64 (.f64 y z) 4722366482869645/2361183241434822606848) x (if (<=.f64 (.f64 y z) 1000000000000000016976219238238959704141045173573106739630601035115997744067216908958262325956255112879408454231155599236459402033650892537856) (neg.f64 (.f64 x (.f64 y z))) (.f64 (*.f64 z x) (neg.f64 y)))))
(if (<=.f64 (.f64 y z) -inf.0) (neg.f64 (.f64 z (.f64 x y))) (if (<=.f64 (.f64 y z) -1) (neg.f64 (.f64 x (.f64 y z))) (if (<=.f64 (.f64 y z) 4722366482869645/2361183241434822606848) x (if (<=.f64 (.f64 y z) 100000000000000004897672657515052057957222700353074388874504237459016826359338475616123152924727646379311306468151027676205343291866258521710227619840) (neg.f64 (.f64 x (.f64 y z))) (neg.f64 (.f64 z (.f64 x y)))))))
(if (<=.f64 (.f64 y z) -1) (neg.f64 (.f64 x (.f64 y z))) (if (<=.f64 (.f64 y z) 1) x (neg.f64 (.f64 x (.f64 y z)))))
x

Outputs
(if (<=.f64 (.f64 y z) -inf.0) (neg.f64 (.f64 z (.f64 x y))) (if (<=.f64 (.f64 y z) 1000000000000000016976219238238959704141045173573106739630601035115997744067216908958262325956255112879408454231155599236459402033650892537856) (.f64 x (-.f64 1 (.f64 y z))) (.f64 (.f64 z x) (neg.f64 y))))
(if (<=.f64 (.f64 y z) -1) (.f64 (.f64 z x) (neg.f64 y)) (if (<=.f64 (.f64 y z) 4722366482869645/2361183241434822606848) x (if (<=.f64 (.f64 y z) 1000000000000000016976219238238959704141045173573106739630601035115997744067216908958262325956255112879408454231155599236459402033650892537856) (neg.f64 (.f64 x (.f64 y z))) (.f64 (*.f64 z x) (neg.f64 y)))))
(if (<=.f64 (.f64 y z) -inf.0) (neg.f64 (.f64 z (.f64 x y))) (if (<=.f64 (.f64 y z) -1) (neg.f64 (.f64 x (.f64 y z))) (if (<=.f64 (.f64 y z) 4722366482869645/2361183241434822606848) x (if (<=.f64 (.f64 y z) 100000000000000004897672657515052057957222700353074388874504237459016826359338475616123152924727646379311306468151027676205343291866258521710227619840) (neg.f64 (.f64 x (.f64 y z))) (neg.f64 (.f64 z (.f64 x y)))))))
(if (<=.f64 (.f64 y z) -1) (neg.f64 (.f64 x (.f64 y z))) (if (<=.f64 (.f64 y z) 1) x (neg.f64 (.f64 x (.f64 y z)))))
x

Compiler

Compiled 158 to 73 computations (53.8% saved)

soundness1.9s (17.1%)

Algorithm

2×	egg-herbie

Rules

3656×	`rational.json-simplify-35`
3656×	`rational.json-simplify-35`
2980×	`rational.json-simplify-2`
2980×	`rational.json-simplify-2`
1534×	`rational.json-simplify-53`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	52	1022
1	135	978
2	258	978
3	566	978
4	1989	978
5	3932	978
6	4519	978
7	4752	978
8	4936	978
9	5120	978
10	5121	978
11	5999	978
12	6439	978
13	6628	978
14	6686	978
15	6881	978
16	7061	978
17	7241	978
18	7421	978
19	7601	978
20	7781	978
21	7961	978
0	52	1022
1	135	978
2	258	978
3	566	978
4	1989	978
5	3932	978
6	4519	978
7	4752	978
8	4936	978
9	5120	978
10	5121	978
11	5999	978
12	6439	978
13	6628	978
14	6686	978
15	6881	978
16	7061	978
17	7241	978
18	7421	978
19	7601	978
20	7781	978
21	7961	978

Stop Event

1×	node limit
1×	node limit

Compiler

Compiled 60 to 30 computations (50% saved)

end622.0ms (5.5%)

Compiler: Compiled 214 to 86 computations (59.8% saved)

Details

analyze175.0ms (1.6%)

sample2.2s (19.5%)

preprocess10.0ms (0.1%)

simplify352.0ms (3.1%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series3.0ms (0%)

rewrite225.0ms (2%)

simplify919.0ms (8.2%)

eval4.0ms (0%)

prune6.0ms (0.1%)

localize6.0ms (0.1%)

series7.0ms (0.1%)

rewrite273.0ms (2.4%)

simplify498.0ms (4.4%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite153.0ms (1.4%)

simplify315.0ms (2.8%)

eval18.0ms (0.2%)

prune16.0ms (0.1%)

localize350.0ms (3.1%)

series1.0ms (0%)

rewrite227.0ms (2%)

simplify467.0ms (4.2%)

localize19.0ms (0.2%)

series1.0ms (0%)

rewrite224.0ms (2%)

simplify469.0ms (4.2%)

localize8.0ms (0.1%)

series1.0ms (0%)

rewrite133.0ms (1.2%)

simplify988.0ms (8.8%)

localize7.0ms (0.1%)

series1.0ms (0%)

rewrite111.0ms (1%)

simplify143.0ms (1.3%)

eval30.0ms (0.3%)

prune23.0ms (0.2%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes83.0ms (0.7%)

bsearch0.0ms (0%)

regimes78.0ms (0.7%)

bsearch0.0ms (0%)

regimes65.0ms (0.6%)

bsearch0.0ms (0%)

regimes44.0ms (0.4%)

bsearch26.0ms (0.2%)

simplify4.0ms (0%)

soundness1.9s (17.1%)

end622.0ms (5.5%)

Profiling