Details

analyze409.0ms (4.9%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	99.8%	0.2%	0%	0%	0%	3
0%	0%	99.8%	0.2%	0%	0%	0%	4
0%	0%	99.8%	0.2%	0%	0%	0%	5
0%	0%	99.8%	0.2%	0%	0%	0%	6
0%	0%	99.8%	0.2%	0%	0%	0%	7
0%	0%	99.8%	0.2%	0%	0%	0%	8
6.3%	6.2%	93.6%	0.2%	0%	0%	0%	9
9.4%	9.4%	90.4%	0.2%	0%	0%	0%	10
14.1%	14%	85.8%	0.2%	0%	0%	0%	11
21.1%	21.1%	78.8%	0.2%	0%	0%	0%	12

Compiler

Compiled 18 to 14 computations (22.2% saved)

sample3.5s (41.4%)

Results

3.1s	8252×	body	256	valid
339.0ms	1177×	body	256	infinite
1.0ms	2×	body	4096	valid
0.0ms	1×	body	2048	valid
0.0ms	1×	body	1024	valid

Bogosity

preprocess9.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	217
1	56	217
0	4	4
1	4	4

Stop Event

1×	unsound
1×	saturated

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
1
3

Call 2

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

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) y) (/.f64 (.f64 x z) 2)) t)
(+.f64 t (-.f64 (.f64 1/8 y) (/.f64 (.f64 x z) 2)))
(+.f64 (-.f64 (.f64 (/.f64 1 8) z) (/.f64 (.f64 y x) 2)) t)
(+.f64 t (-.f64 (.f64 1/8 z) (/.f64 (.f64 x y) 2)))
(+.f64 (-.f64 (.f64 (/.f64 1 8) t) (/.f64 (.f64 y z) 2)) x)
(+.f64 x (-.f64 (.f64 1/8 t) (/.f64 (.f64 y z) 2)))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 z y) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 t z) 2)) y)
(+.f64 y (-.f64 (.f64 1/8 x) (/.f64 (.f64 z t) 2)))
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y t) 2)) z)
(+.f64 z (-.f64 (.f64 1/8 x) (/.f64 (.f64 y t) 2)))

Symmetry

(sort y z)

Compiler

Compiled 21 to 17 computations (19% saved)

simplify19.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	31
1	19	31

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

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

Outputs
(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

eval1.0ms (0%)

Compiler: Compiled 28 to 19 computations (32.1% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.0b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

Compiler

Compiled 15 to 11 computations (26.7% saved)

localize15.0ms (0.2%)

Local error

Found 3 expressions with local error:

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

Compiler

Compiled 41 to 22 computations (46.3% saved)

series9.0ms (0.1%)

Counts

3 → 108

Calls

27 calls:

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

rewrite134.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

796×	`rational.json-simplify-54`
746×	`rational.json-simplify-47`
616×	`rational.json-simplify-58`
562×	`rational.json-simplify-50`
556×	`rational.json-5`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	69
1	107	69
2	327	69
3	1198	69
4	4747	69

Stop Event

1×	node limit

Counts

3 → 70

Calls

Call 1

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

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

Outputs

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

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

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

simplify147.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

1478×	`rational.json-simplify-49`
1328×	`rational.json-simplify-54`
1260×	`rational.json-simplify-2`
758×	`rational.json-simplify-46`
706×	`rational.json-simplify-41`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	156	4042
1	330	4042
2	924	4042
3	3300	4042

Stop Event

1×	node limit

Counts

178 → 86

Calls

Call 1

Inputs
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(*.f64 1/8 x)
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(*.f64 1/8 x)
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(*.f64 1/8 x)
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(*.f64 1/8 x)
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(.f64 1/2 (.f64 y z))
(-.f64 t (.f64 1/2 (.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(*.f64 1/8 x)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(*.f64 1/8 x)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
t
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
t
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) 0)
(+.f64 0 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))
(+.f64 1 (-.f64 -1 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x))))
(+.f64 (-.f64 -1 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x))) 1)
(.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) 1)
(.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2))))
(.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)))
(.f64 (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)))
(.f64 (-.f64 (/.f64 (.f64 y z) 2) (*.f64 1/8 x)) -1)
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2))) 1))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (/.f64 (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (/.f64 -1 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x))))
(.f64 (neg.f64 (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))) (-.f64 -1 (-.f64 -1 (-.f64 (/.f64 (.f64 y z) 2) (*.f64 1/8 x)))))
(.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))) (/.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)))))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))) (/.f64 (.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) 1) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))))
(.f64 (.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))))))
(/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) 1)
(/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))
(/.f64 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)) -1)
(pow.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) 1)
(neg.f64 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(+.f64 (/.f64 (*.f64 y z) 2) 0)
(+.f64 0 (/.f64 (*.f64 y z) 2))
(-.f64 (/.f64 (*.f64 y z) 2) 0)
(-.f64 0 (neg.f64 (/.f64 (*.f64 y z) 2)))
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (*.f64 y z) 2))) 1)
(.f64 (/.f64 (.f64 y z) 2) 1)
(.f64 (/.f64 (.f64 y z) 2) (/.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)))
(.f64 1 (/.f64 (.f64 y z) 2))
(.f64 (/.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (/.f64 1 (/.f64 (*.f64 y z) 2)))
(.f64 (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) 1))
(.f64 (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (/.f64 (/.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (/.f64 (*.f64 y z) 2)))
(.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (*.f64 y z) 2)))
(.f64 (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)))) (/.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2))))
(.f64 (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)))) (/.f64 (.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) 1) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (*.f64 y z) 2))))
(.f64 (.f64 (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)))) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2))) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (*.f64 y z) 2))))))
(pow.f64 (/.f64 (*.f64 y z) 2) 1)
(neg.f64 (neg.f64 (/.f64 (*.f64 y z) 2)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (.f64 1/8 x) (+.f64 (/.f64 (.f64 y z) 2) (neg.f64 t)))
(-.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (neg.f64 t))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) 0)
(-.f64 0 (-.f64 (/.f64 (.f64 y z) 2) (+.f64 (.f64 1/8 x) t)))
(-.f64 0 (+.f64 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)) (neg.f64 t)))
(-.f64 (-.f64 (.f64 1/8 x) (neg.f64 t)) (/.f64 (.f64 y z) 2))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (-.f64 0 (-.f64 -1 t)) (-.f64 (/.f64 (.f64 y z) 2) (-.f64 (.f64 1/8 x) 1)))
(-.f64 (-.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 -1 t)) 1)
(-.f64 (-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (-.f64 (.f64 1/8 x) -1))) 1)
(-.f64 (-.f64 0 (-.f64 (/.f64 (.f64 y z) 2) (-.f64 (.f64 1/8 x) -1))) (-.f64 1 t))
(-.f64 (-.f64 0 (-.f64 (-.f64 (/.f64 (.f64 y z) 2) (-.f64 (.f64 1/8 x) -1)) t)) 1)
(.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t) 1)
(.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)))
(.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t))
(.f64 (/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)) 1))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (/.f64 (/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))
(.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))) (/.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t))))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))) (/.f64 (.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) 1) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t))))
(.f64 (.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t))))) (/.f64 (/.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t))) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t))))))
(/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) 1)
(/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))
(pow.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) 1)
(neg.f64 (-.f64 (/.f64 (.f64 y z) 2) (+.f64 (.f64 1/8 x) t)))

Outputs
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(*.f64 1/8 x)
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(*.f64 1/8 x)
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(*.f64 1/8 x)
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(*.f64 1/8 x)
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(+.f64 (.f64 -1/2 (.f64 y z)) (*.f64 1/8 x))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(.f64 1/2 (.f64 y z))
(.f64 y (.f64 z 1/2))
(-.f64 t (.f64 1/2 (.f64 y z)))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(*.f64 1/8 x)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(*.f64 1/8 x)
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (*.f64 1/8 x) t)
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(+.f64 (.f64 -1/2 (.f64 y z)) (+.f64 (*.f64 1/8 x) t))
(-.f64 (.f64 1/8 x) (.f64 1/2 (*.f64 y z)))
(-.f64 (.f64 1/8 x) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
t
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
t
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 1/2 (*.f64 y z)))
(-.f64 (+.f64 (.f64 1/8 x) t) (.f64 y (*.f64 z 1/2)))
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) 0)
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(+.f64 0 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(+.f64 1 (-.f64 -1 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(+.f64 (-.f64 -1 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x))) 1)
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) 1)
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (-.f64 (/.f64 (.f64 y z) 2) (*.f64 1/8 x)) -1)
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2))) 1))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (/.f64 (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (/.f64 -1 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (neg.f64 (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))) (-.f64 -1 (-.f64 -1 (-.f64 (/.f64 (.f64 y z) 2) (*.f64 1/8 x)))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))) (/.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))) (/.f64 (.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) 1) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))))) (/.f64 (/.f64 (/.f64 1 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)))))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) 1)
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (/.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(/.f64 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)) -1)
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(pow.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) 1)
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(neg.f64 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2))
(+.f64 (/.f64 (*.f64 y z) 2) 0)
(/.f64 (*.f64 y z) 2)
(+.f64 0 (/.f64 (*.f64 y z) 2))
(/.f64 (*.f64 y z) 2)
(-.f64 (/.f64 (*.f64 y z) 2) 0)
(/.f64 (*.f64 y z) 2)
(-.f64 0 (neg.f64 (/.f64 (*.f64 y z) 2)))
(/.f64 (*.f64 y z) 2)
(-.f64 (-.f64 0 (-.f64 -1 (/.f64 (*.f64 y z) 2))) 1)
(/.f64 (*.f64 y z) 2)
(.f64 (/.f64 (.f64 y z) 2) 1)
(/.f64 (*.f64 y z) 2)
(.f64 (/.f64 (.f64 y z) 2) (/.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)))
(/.f64 (*.f64 y z) 2)
(.f64 1 (/.f64 (.f64 y z) 2))
(/.f64 (*.f64 y z) 2)
(.f64 (/.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (/.f64 (.f64 y z) 2))
(/.f64 (*.f64 y z) 2)
(.f64 (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (/.f64 1 (/.f64 (*.f64 y z) 2)))
(/.f64 (*.f64 y z) 2)
(.f64 (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) 1))
(/.f64 (*.f64 y z) 2)
(.f64 (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (/.f64 (/.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)) (/.f64 (*.f64 y z) 2)))
(/.f64 (*.f64 y z) 2)
(.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (*.f64 y z) 2)))
(/.f64 (*.f64 y z) 2)
(.f64 (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)))) (/.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2))))
(/.f64 (*.f64 y z) 2)
(.f64 (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)))) (/.f64 (.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) 1) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (*.f64 y z) 2))))
(/.f64 (*.f64 y z) 2)
(.f64 (.f64 (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2)))) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2))))) (/.f64 (/.f64 (/.f64 1 (/.f64 (.f64 y z) 2)) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (.f64 y z) 2))) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (.f64 (/.f64 (.f64 y z) 2) (/.f64 (*.f64 y z) 2))))))
(/.f64 (*.f64 y z) 2)
(pow.f64 (/.f64 (*.f64 y z) 2) 1)
(/.f64 (*.f64 y z) 2)
(neg.f64 (neg.f64 (/.f64 (*.f64 y z) 2)))
(/.f64 (*.f64 y z) 2)
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (.f64 1/8 x) (+.f64 (/.f64 (.f64 y z) 2) (neg.f64 t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (neg.f64 t))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) 0)
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 0 (-.f64 (/.f64 (.f64 y z) 2) (+.f64 (.f64 1/8 x) t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 0 (+.f64 (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)) (neg.f64 t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (-.f64 (.f64 1/8 x) (neg.f64 t)) (/.f64 (.f64 y z) 2))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (-.f64 0 (-.f64 -1 t)) (-.f64 (/.f64 (.f64 y z) 2) (-.f64 (.f64 1/8 x) 1)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (-.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) (-.f64 -1 t)) 1)
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (-.f64 (.f64 1/8 x) -1))) 1)
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (-.f64 0 (-.f64 (/.f64 (.f64 y z) 2) (-.f64 (.f64 1/8 x) -1))) (-.f64 1 t))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(-.f64 (-.f64 0 (-.f64 (-.f64 (/.f64 (.f64 y z) 2) (-.f64 (.f64 1/8 x) -1)) t)) 1)
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t) 1)
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t)) 1))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (/.f64 (/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))) (/.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (*.f64 y z) 2)) t))))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))) (/.f64 (.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) 1) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t))))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(.f64 (.f64 (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t))))) (/.f64 (/.f64 (/.f64 1 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t))) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t))))))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) 1)
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (/.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(pow.f64 (+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t) 1)
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))
(neg.f64 (-.f64 (/.f64 (.f64 y z) 2) (+.f64 (.f64 1/8 x) t)))
(-.f64 t (-.f64 (/.f64 (.f64 y z) 2) (.f64 1/8 x)))
(-.f64 (.f64 1/8 x) (-.f64 (/.f64 (.f64 y z) 2) t))
(-.f64 (+.f64 (.f64 1/8 x) t) (/.f64 (.f64 y z) 2))

eval35.0ms (0.4%)

Compiler: Compiled 2264 to 1337 computations (40.9% saved)

prune21.0ms (0.3%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	82	4	86
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	82	5	87

Error

0.0b

Counts

87 → 5

Alt Table

Click to see full alt table

Status	Error	Program
▶	23.4b	(-.f64 (.f64 1/8 x) (.f64 y (*.f64 z 1/2)))
▶	22.4b	(-.f64 t (.f64 y (.f64 z 1/2)))
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
▶	18.1b	(+.f64 (*.f64 1/8 x) t)
	40.3b	t

Compiler

Compiled 53 to 40 computations (24.5% saved)

localize8.0ms (0.1%)

Compiler: Compiled 15 to 10 computations (33.3% saved)

localize9.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 14 computations (39.1% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite90.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1990×	`rational.json-5`
1988×	`rational.json-1`
1988×	`rational.json-2`
1988×	`rational.json-4`
1988×	`rational.json-3`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	19
1	77	19
2	262	19
3	988	19
4	3872	19

Stop Event

1×	node limit

Counts

1 → 16

Calls

Call 1

Inputs
(-.f64 t (.f64 y (.f64 z 1/2)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 0)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (-.f64 t (.f64 y (.f64 z 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (-.f64 -1 (-.f64 (.f64 y (.f64 z 1/2)) t)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 t (.f64 y (.f64 z 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 t (.f64 y (.f64 z 1/2))) (/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (-.f64 t (.f64 y (.f64 z 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (.f64 y (.f64 z 1/2)) t) -1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))) (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))) (/.f64 (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 y (.f64 z 1/2)) t) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (-.f64 (.f64 y (.f64 z 1/2)) t))))))

Outputs

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

simplify226.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1278×	`rational.json-simplify-58`
938×	`rational.json-simplify-47`
890×	`rational.json-simplify-41`
830×	`rational.json-simplify-1`
652×	`rational.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	42	886
1	73	886
2	197	886
3	834	886
4	3366	886
5	5547	886

Stop Event

1×	node limit

Counts

52 → 21

Calls

Call 1

Inputs
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 0)
(+.f64 0 (-.f64 t (.f64 y (.f64 z 1/2))))
(+.f64 (-.f64 -1 (-.f64 (.f64 y (.f64 z 1/2)) t)) 1)
(.f64 (-.f64 t (.f64 y (*.f64 z 1/2))) 1)
(.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (*.f64 z 1/2)))))
(.f64 1 (-.f64 t (.f64 y (*.f64 z 1/2))))
(.f64 (-.f64 (.f64 y (*.f64 z 1/2)) t) -1)
(.f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))) (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))))
(.f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (/.f64 1 (-.f64 t (.f64 y (*.f64 z 1/2)))) 1))
(.f64 (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))
(.f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))) (/.f64 (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (*.f64 z 1/2))))))
(/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 1)
(/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))
(/.f64 (-.f64 (.f64 y (.f64 z 1/2)) t) -1)
(pow.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 1)
(neg.f64 (-.f64 (.f64 y (.f64 z 1/2)) t))

Outputs
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
t
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(.f64 -1/2 (.f64 y z))
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (.f64 -1/2 (.f64 y z)) t)
(+.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 0)
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(+.f64 0 (-.f64 t (.f64 y (.f64 z 1/2))))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(+.f64 (-.f64 -1 (-.f64 (.f64 y (.f64 z 1/2)) t)) 1)
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(.f64 (-.f64 t (.f64 y (*.f64 z 1/2))) 1)
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (*.f64 z 1/2)))))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(.f64 1 (-.f64 t (.f64 y (*.f64 z 1/2))))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(.f64 (-.f64 (.f64 y (*.f64 z 1/2)) t) -1)
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(.f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))) (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(.f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (/.f64 1 (-.f64 t (.f64 y (*.f64 z 1/2)))) 1))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(.f64 (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(.f64 (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))) (/.f64 (/.f64 1 (-.f64 t (.f64 y (.f64 z 1/2)))) (.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (*.f64 z 1/2))))))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 1)
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (/.f64 (-.f64 t (.f64 y (.f64 z 1/2))) (-.f64 t (.f64 y (.f64 z 1/2)))))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(/.f64 (-.f64 (.f64 y (.f64 z 1/2)) t) -1)
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(pow.f64 (-.f64 t (.f64 y (.f64 z 1/2))) 1)
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))
(neg.f64 (-.f64 (.f64 y (.f64 z 1/2)) t))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 t (.f64 z (.f64 y 1/2)))

localize13.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 29 to 19 computations (34.5% saved)

series1.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite113.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

1042×	`rational.json-simplify-54`
884×	`rational.json-simplify-79`
806×	`rational.json-simplify-47`
676×	`rational.json-simplify-58`
622×	`rational.json-simplify-50`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	25
1	93	25
2	300	25
3	1125	25
4	4443	25

Stop Event

1×	node limit

Counts

1 → 23

Calls

Call 1

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

Outputs

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

simplify281.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1486×	`rational.json-simplify-2`
1264×	`rational.json-simplify-50`
1056×	`rational.json-simplify-43`
1024×	`rational.json-simplify-58`
910×	`rational.json-simplify-54`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	58	1343
1	116	1343
2	314	1343
3	1797	1343
4	4899	1343
5	7547	1343

Stop Event

1×	node limit

Counts

59 → 27

Calls

Call 1

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

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

eval19.0ms (0.2%)

Compiler: Compiled 1043 to 716 computations (31.4% saved)

prune12.0ms (0.1%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	46	2	48
Fresh	0	1	1
Picked	0	1	1
Done	0	3	3
Total	46	7	53

Error

0.0b

Counts

53 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	23.4b	(-.f64 (.f64 1/8 x) (.f64 y (*.f64 z 1/2)))
✓	22.4b	(-.f64 t (.f64 y (.f64 z 1/2)))
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	18.1b	(+.f64 (*.f64 1/8 x) t)
▶	40.9b	(*.f64 1/8 x)
▶	45.0b	(.f64 -1/2 (.f64 y z))
	40.3b	t

Compiler

Compiled 69 to 53 computations (23.2% saved)

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 15 to 8 computations (46.7% saved)

series2.0ms (0%)

Counts

1 → 0

Calls

6 calls:

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

rewrite79.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1582×	`rational.json-5`
1580×	`exponential.json-3`
1580×	`rational.json-1`
1580×	`rational.json-2`
1580×	`rational.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	61	13
2	209	13
3	779	13
4	3197	13

Stop Event

1×	node limit

Counts

1 → 9

Calls

Call 1

Inputs
(.f64 -1/2 (.f64 y z))

Outputs

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

simplify250.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1456×	`rational.json-simplify-43`
944×	`rational.json-simplify-104`
928×	`rational.json-simplify-79`
900×	`rational.json-simplify-73`
816×	`rational.json-simplify-47`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	141
1	50	141
2	114	141
3	316	141
4	890	141
5	3307	141
6	4994	141
7	6134	141
8	7586	141

Stop Event

1×	node limit

Counts

9 → 14

Calls

Call 1

Inputs
(+.f64 (.f64 -1/2 (.f64 y z)) 0)
(+.f64 0 (.f64 -1/2 (.f64 y z)))
(-.f64 (.f64 -1/2 (.f64 y z)) 0)
(-.f64 0 (neg.f64 (.f64 -1/2 (.f64 y z))))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 -1/2 (.f64 y z)))) 1)
(/.f64 (.f64 -1/2 (.f64 y z)) 1)
(/.f64 (.f64 -1/2 (.f64 y z)) (/.f64 (.f64 y z) (.f64 y z)))
(pow.f64 (.f64 -1/2 (.f64 y z)) 1)
(neg.f64 (neg.f64 (.f64 -1/2 (.f64 y z))))

Outputs
(+.f64 (.f64 -1/2 (.f64 y z)) 0)
(.f64 -1/2 (.f64 y z))
(+.f64 0 (.f64 -1/2 (.f64 y z)))
(.f64 -1/2 (.f64 y z))
(-.f64 (.f64 -1/2 (.f64 y z)) 0)
(.f64 -1/2 (.f64 y z))
(-.f64 0 (neg.f64 (.f64 -1/2 (.f64 y z))))
(.f64 -1/2 (.f64 y z))
(-.f64 (-.f64 0 (-.f64 -1 (.f64 -1/2 (.f64 y z)))) 1)
(.f64 -1/2 (.f64 y z))
(/.f64 (.f64 -1/2 (.f64 y z)) 1)
(.f64 -1/2 (.f64 y z))
(/.f64 (.f64 -1/2 (.f64 y z)) (/.f64 (.f64 y z) (.f64 y z)))
(.f64 (.f64 z (.f64 y (.f64 y z))) (/.f64 -1/2 (*.f64 y z)))
(.f64 (.f64 -1/2 (.f64 y z)) (/.f64 (.f64 y z) (*.f64 y z)))
(.f64 y (.f64 (.f64 -1/2 z) (/.f64 (.f64 y z) (*.f64 y z))))
(.f64 (.f64 y z) (.f64 (.f64 y z) (/.f64 -1/2 (*.f64 y z))))
(pow.f64 (.f64 -1/2 (.f64 y z)) 1)
(.f64 -1/2 (.f64 y z))
(neg.f64 (neg.f64 (.f64 -1/2 (.f64 y z))))
(.f64 -1/2 (.f64 y z))

localize4.0ms (0%)

Compiler: Compiled 9 to 7 computations (22.2% saved)

eval3.0ms (0%)

Compiler: Compiled 135 to 64 computations (52.6% saved)

prune6.0ms (0.1%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	14	0	14
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	14	7	21

Error

0.0b

Counts

21 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	23.4b	(-.f64 (.f64 1/8 x) (.f64 y (*.f64 z 1/2)))
✓	22.4b	(-.f64 t (.f64 y (.f64 z 1/2)))
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	18.1b	(+.f64 (*.f64 1/8 x) t)
✓	40.9b	(*.f64 1/8 x)
✓	45.0b	(.f64 -1/2 (.f64 y z))
	40.3b	t

Compiler

Compiled 69 to 53 computations (23.2% saved)

eval0.0ms (0%)

Compiler: Compiled 4 to 4 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
✓	23.4b	(-.f64 (.f64 1/8 x) (.f64 y (*.f64 z 1/2)))
✓	22.4b	(-.f64 t (.f64 y (.f64 z 1/2)))
✓	0.0b	(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
✓	18.1b	(+.f64 (*.f64 1/8 x) t)
✓	40.9b	(*.f64 1/8 x)
✓	45.0b	(.f64 -1/2 (.f64 y z))
	40.3b	t

Compiler

Compiled 69 to 53 computations (23.2% saved)

regimes216.0ms (2.6%)

Counts

8 → 1

Calls

Call 1

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

Outputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)

Calls

9 calls:

150.0ms	t
12.0ms	y
9.0ms	x
9.0ms	z
7.0ms	(*.f64 (/.f64 1 8) x)

Results

Error	Segments	Branch
0.0b	1	`x`
0.0b	1	`y`
0.0b	1	`z`
0.0b	1	`t`
0.0b	1	`(+.f64 (-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2)) t)`
0.0b	1	`(-.f64 (.f64 (/.f64 1 8) x) (/.f64 (.f64 y z) 2))`
0.0b	1	`(*.f64 (/.f64 1 8) x)`
0.0b	1	`(/.f64 (*.f64 y z) 2)`
0.0b	1	`(*.f64 y z)`

Compiler

Compiled 135 to 97 computations (28.1% saved)

regimes763.0ms (9.1%)

Counts

6 → 5

Calls

Call 1

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

Outputs
(+.f64 (*.f64 1/8 x) t)
(-.f64 (.f64 1/8 x) (.f64 y (*.f64 z 1/2)))
(-.f64 t (.f64 y (.f64 z 1/2)))
(-.f64 (.f64 1/8 x) (.f64 y (*.f64 z 1/2)))
(+.f64 (*.f64 1/8 x) t)

Calls

5 calls:

373.0ms	z
173.0ms	t
165.0ms	(*.f64 y z)
25.0ms	x
25.0ms	y

Results

Error	Segments	Branch
6.5b	3	`x`
12.4b	3	`y`
8.7b	8	`z`
5.7b	5	`t`
6.3b	5	`(*.f64 y z)`

Compiler

Compiled 61 to 43 computations (29.5% saved)

bsearch444.0ms (5.3%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
26.0ms	9.506311953359597e+43	9.583476840820793e+47
27.0ms	7422.745777398873	15035937.009625038
363.0ms	1.0405939261952873e-157	8.587536509367368e-153
27.0ms	-1.177144548171511e+88	-3.1022003656608163e+85

Results

429.0ms

528×

body

256

valid

Compiler

Compiled 850 to 663 computations (22% saved)

regimes456.0ms (5.4%)

Counts

5 → 3

Calls

Call 1

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

Outputs
(+.f64 (*.f64 1/8 x) t)
(-.f64 t (.f64 y (.f64 z 1/2)))
(+.f64 (*.f64 1/8 x) t)

Calls

5 calls:

286.0ms	t
85.0ms	(*.f64 y z)
34.0ms	z
25.0ms	x
24.0ms	y

Results

Error	Segments	Branch
6.6b	3	`x`
12.6b	3	`y`
11.0b	3	`z`
11.2b	7	`t`
8.1b	3	`(*.f64 y z)`

Compiler

Compiled 52 to 37 computations (28.8% saved)

bsearch56.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
31.0ms	5.616578459152521e+92	8.013145588270658e+99
24.0ms	-8.451029794938325e+27	-1.3129909889476604e+26

Results

49.0ms

256×

body

256

valid

Compiler

Compiled 376 to 291 computations (22.6% saved)

regimes149.0ms (1.8%)

Counts

4 → 3

Calls

Call 1

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

Outputs
(.f64 -1/2 (.f64 y z))
(+.f64 (*.f64 1/8 x) t)
(.f64 -1/2 (.f64 y z))

Calls

5 calls:

51.0ms	t
38.0ms	(*.f64 y z)
21.0ms	x
20.0ms	y
17.0ms	z

Results

Error	Segments	Branch
16.9b	3	`x`
16.1b	2	`y`
15.5b	2	`z`
12.8b	7	`t`
10.9b	3	`(*.f64 y z)`

Compiler

Compiled 45 to 33 computations (26.7% saved)

bsearch58.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
20.0ms	4.1600448008634595e+133	4.3733886125699644e+134
37.0ms	-3.59824825246985e+141	-5.370177899498616e+133

Results

44.0ms

240×

body

256

valid

Compiler

Compiled 294 to 244 computations (17% saved)

regimes259.0ms (3.1%)

Counts

3 → 9

Calls

Call 1

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

Outputs
t
(*.f64 1/8 x)
(.f64 -1/2 (.f64 y z))
(*.f64 1/8 x)
(.f64 -1/2 (.f64 y z))
(*.f64 1/8 x)
(.f64 -1/2 (.f64 y z))
(*.f64 1/8 x)
t

Calls

5 calls:

68.0ms	y
56.0ms	t
55.0ms	(*.f64 y z)
48.0ms	x
29.0ms	z

Results

Error	Segments	Branch
22.7b	7	`x`
26.9b	12	`y`
31.3b	5	`z`
20.3b	9	`t`
25.5b	9	`(*.f64 y z)`

Compiler

Compiled 40 to 30 computations (25% saved)

bsearch236.0ms (2.8%)

Algorithm

8×	binary-search

Steps

Time	Left	Right
26.0ms	5.145427650238201e+133	3.50488112667466e+134
34.0ms	6.250432466358808e-28	6.339313944647814e-16
26.0ms	3.254086486810954e-175	5.905704506167529e-173
35.0ms	1.911405182927584e-277	1.9554538766466685e-268
29.0ms	-8.912388149727003e-278	-1.0216172979930147e-280
34.0ms	-1.7984499767585343e-41	-3.8237953588401995e-51
25.0ms	-247916390087.5857	-3745055067.2393093
26.0ms	-1.4804520825185153e+133	-1.8421787636773676e+129

Results

208.0ms

1040×

body

256

valid

Compiler

Compiled 1138 to 952 computations (16.3% saved)

regimes135.0ms (1.6%)

Accuracy

Total -37.3b remaining (-148.8%)

Threshold costs -37.3b (-148.8%)

Counts

2 → 3

Calls

Call 1

Inputs
t
(*.f64 1/8 x)

Outputs
(*.f64 1/8 x)
t
(*.f64 1/8 x)

Calls

4 calls:

47.0ms	y
31.0ms	t
30.0ms	z
25.0ms	x

Results

Error	Segments	Branch
25.0b	3	`x`
34.0b	8	`y`
35.9b	4	`z`
25.4b	5	`t`

Compiler

Compiled 28 to 22 computations (21.4% saved)

bsearch58.0ms (0.7%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
33.0ms	1.4757335626535403e+78	2.1498284651336988e+81
24.0ms	-8.451029794938325e+27	-1.3129909889476604e+26

Results

52.0ms

240×

body

256

valid

Compiler

Compiled 234 to 199 computations (15% saved)

simplify13.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	78	469

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(if (<=.f64 t -31499999999999999770692265087202121732080767890034089122165342578809929957658746421248) (+.f64 (.f64 1/8 x) t) (if (<=.f64 t 8019670152745775/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744) (-.f64 (.f64 1/8 x) (.f64 y (.f64 z 1/2))) (if (<=.f64 t 11000) (-.f64 t (.f64 y (.f64 z 1/2))) (if (<=.f64 t 240000000000000013248451121308980578330083328) (-.f64 (.f64 1/8 x) (.f64 y (.f64 z 1/2))) (+.f64 (.f64 1/8 x) t)))))
(if (<=.f64 x -1119999999999999998389387264) (+.f64 (.f64 1/8 x) t) (if (<=.f64 x 659999999999999947574553537127326011871904088386744448493581435013442268886880727682082930688) (-.f64 t (.f64 y (.f64 z 1/2))) (+.f64 (.f64 1/8 x) t)))
(if (<=.f64 (.f64 y z) -91999999999999996004159705305679106876844806186899507496157343202389828517371694190838208206984975560862106901383107146168791302406144) (.f64 -1/2 (.f64 y z)) (if (<=.f64 (.f64 y z) 189999999999999999203265955162110048195152643900118864598891265529527858847222972580095479973375953044166818220645672097107069594763264) (+.f64 (.f64 1/8 x) t) (.f64 -1/2 (*.f64 y z))))
(if (<=.f64 t -1900000000000000027395960112885145574971964928880082036047978650538016972955823056111490089652506054185972145965668508595019317248) t (if (<=.f64 t -4200000000) (.f64 1/8 x) (if (<=.f64 t -2159724731484083/25711008708143844408671393477458601640355247900524685364822016) (.f64 -1/2 (.f64 y z)) (if (<=.f64 t -2656862620052619/20437404769635530871361256581497226916530700906859085224986083762557049772738192033637969566644589579154866655684531151298277765001150399085969119214436673744076858091019117327539586267590276988750370373064129781691707499060437712782221877948907972172872918086407741866417750991158722661661540352) (.f64 1/8 x) (if (<=.f64 t 5359922706269999/2436328502849999770088345596968797077719056714398751881716976614303237172691606525616403766470502564806326229057852167045864792466300773511644496824078163354882819424989118257467697413872513412088199898369804594718421399481348718736436590903867241403206934700776069386770457147497978527744) (.f64 -1/2 (.f64 y z)) (if (<=.f64 t 5012446967602509/278469275977917188637766821636980671685377716506870112950390168328813181592326500641230029987632531724770648777685205524334027387779262573135538410627576549575927409323746640019706676772864) (.f64 1/8 x) (if (<=.f64 t 1565298887836317/1361129467683753853853498429727072845824) (.f64 -1/2 (.f64 y z)) (if (<=.f64 t 51999999999999995110112810926604709536451168983004469254241997486788769076402319806933394159612573180821496618032607331357117122609152) (.f64 1/8 x) t))))))))
(if (<=.f64 x -1900000000000000107709726720) (.f64 1/8 x) (if (<=.f64 x 1599999999999999972452180360873373707963962315424254360863601923484978465734656) t (.f64 1/8 x)))
t

Outputs
(+.f64 (-.f64 (.f64 1/8 x) (/.f64 (.f64 y z) 2)) t)
(if (<=.f64 t -31499999999999999770692265087202121732080767890034089122165342578809929957658746421248) (+.f64 (.f64 1/8 x) t) (if (<=.f64 t 8019670152745775/943490606205385338060388645247067222729230305104110107094051575061406040598037213021531681294414691885367093757690961224942646157481198158140358562858174010912348831744) (-.f64 (.f64 1/8 x) (.f64 y (.f64 z 1/2))) (if (<=.f64 t 11000) (-.f64 t (.f64 y (.f64 z 1/2))) (if (<=.f64 t 240000000000000013248451121308980578330083328) (-.f64 (.f64 1/8 x) (.f64 y (.f64 z 1/2))) (+.f64 (.f64 1/8 x) t)))))
(if (<=.f64 x -1119999999999999998389387264) (+.f64 (.f64 1/8 x) t) (if (<=.f64 x 659999999999999947574553537127326011871904088386744448493581435013442268886880727682082930688) (-.f64 t (.f64 y (.f64 z 1/2))) (+.f64 (.f64 1/8 x) t)))
(if (<=.f64 (.f64 y z) -91999999999999996004159705305679106876844806186899507496157343202389828517371694190838208206984975560862106901383107146168791302406144) (.f64 -1/2 (.f64 y z)) (if (<=.f64 (.f64 y z) 189999999999999999203265955162110048195152643900118864598891265529527858847222972580095479973375953044166818220645672097107069594763264) (+.f64 (.f64 1/8 x) t) (.f64 -1/2 (*.f64 y z))))
(if (<=.f64 t -1900000000000000027395960112885145574971964928880082036047978650538016972955823056111490089652506054185972145965668508595019317248) t (if (<=.f64 t -4200000000) (.f64 1/8 x) (if (<=.f64 t -2159724731484083/25711008708143844408671393477458601640355247900524685364822016) (.f64 -1/2 (.f64 y z)) (if (<=.f64 t -2656862620052619/20437404769635530871361256581497226916530700906859085224986083762557049772738192033637969566644589579154866655684531151298277765001150399085969119214436673744076858091019117327539586267590276988750370373064129781691707499060437712782221877948907972172872918086407741866417750991158722661661540352) (.f64 1/8 x) (if (<=.f64 t 5359922706269999/2436328502849999770088345596968797077719056714398751881716976614303237172691606525616403766470502564806326229057852167045864792466300773511644496824078163354882819424989118257467697413872513412088199898369804594718421399481348718736436590903867241403206934700776069386770457147497978527744) (.f64 -1/2 (.f64 y z)) (if (<=.f64 t 5012446967602509/278469275977917188637766821636980671685377716506870112950390168328813181592326500641230029987632531724770648777685205524334027387779262573135538410627576549575927409323746640019706676772864) (.f64 1/8 x) (if (<=.f64 t 1565298887836317/1361129467683753853853498429727072845824) (.f64 -1/2 (.f64 y z)) (if (<=.f64 t 51999999999999995110112810926604709536451168983004469254241997486788769076402319806933394159612573180821496618032607331357117122609152) (.f64 1/8 x) t))))))))
(if (<=.f64 x -1900000000000000107709726720) (.f64 1/8 x) (if (<=.f64 x 1599999999999999972452180360873373707963962315424254360863601923484978465734656) t (.f64 1/8 x)))
t

Compiler

Compiled 219 to 148 computations (32.4% saved)

soundness28.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

4×	`rational.json-simplify-2`
2×	`rational.json-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	31
1	19	31

Stop Event

1×

saturated

Compiler

Compiled 28 to 19 computations (32.1% saved)

end140.0ms (1.7%)

Remove: (sort y z)
Compiler: Compiled 225 to 144 computations (36% saved)

Details

analyze409.0ms (4.9%)

sample3.5s (41.4%)

preprocess9.0ms (0.1%)

simplify19.0ms (0.2%)

eval1.0ms (0%)

prune1.0ms (0%)

localize15.0ms (0.2%)

series9.0ms (0.1%)

rewrite134.0ms (1.6%)

simplify147.0ms (1.7%)

eval35.0ms (0.4%)

prune21.0ms (0.3%)

localize8.0ms (0.1%)

localize9.0ms (0.1%)

series1.0ms (0%)

rewrite90.0ms (1.1%)

simplify226.0ms (2.7%)

localize13.0ms (0.2%)

series1.0ms (0%)

rewrite113.0ms (1.3%)

simplify281.0ms (3.3%)

eval19.0ms (0.2%)

prune12.0ms (0.1%)

localize6.0ms (0.1%)

series2.0ms (0%)

rewrite79.0ms (0.9%)

simplify250.0ms (3%)

localize4.0ms (0%)

eval3.0ms (0%)

prune6.0ms (0.1%)

eval0.0ms (0%)

prune3.0ms (0%)

regimes216.0ms (2.6%)

regimes763.0ms (9.1%)

bsearch444.0ms (5.3%)

regimes456.0ms (5.4%)

bsearch56.0ms (0.7%)

regimes149.0ms (1.8%)

bsearch58.0ms (0.7%)

regimes259.0ms (3.1%)

bsearch236.0ms (2.8%)

regimes135.0ms (1.6%)

bsearch58.0ms (0.7%)

simplify13.0ms (0.1%)

soundness28.0ms (0.3%)

end140.0ms (1.7%)

Profiling