Details

analyze733.0ms (11.1%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.6%	25%	72.5%	0.1%	2.3%	0%	0%	9
36.7%	34.3%	59.3%	0.1%	6.2%	0%	0%	10
44.2%	40.6%	51.3%	0.1%	8%	0%	0%	11
52.1%	46.8%	43%	0.1%	10%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

sample1.9s (29.1%)

Results

1.7s	8256×	body	256	valid
176.0ms	1161×	body	256	infinite

Bogosity

preprocess14.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

8×	`rational_best.json-simplify-1`
8×	`rational_best.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	76
1	25	76
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

simplify16.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

2×	`rational_best.json-simplify-1`
2×	`rational_best.json-simplify-2`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	19
1	10	19

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 10 to 6 computations (40% saved)

prune1.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

Click to see full alt table

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

Compiler

Compiled 10 to 6 computations (40% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 21 to 6 computations (71.4% saved)

series4.0ms (0.1%)

Counts

2 → 60

Calls

18 calls:

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

rewrite101.0ms (1.5%)

Algorithm

1×	batch-egg-rewrite

Rules

868×	`rational_best.json-simplify-57`
672×	`rational_best.json-simplify-80`
614×	`rational_best.json-simplify-43`
590×	`rational_best.json-simplify-49`
464×	`rational_best.json-simplify-78`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	32
1	68	32
2	236	32
3	991	32
4	4332	32

Stop Event

1×	node limit

Counts

2 → 42

Calls

Call 1

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

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

Outputs

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

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

simplify203.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

820×	`rational_best.json-simplify-2`
810×	`rational_best.json-simplify-135`
776×	`rational_best.json-simplify-49`
736×	`rational_best.json-simplify-129`
678×	`rational_best.json-simplify-80`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	96	2082
1	196	1890
2	910	1836
3	2900	1836
4	6187	1836

Stop Event

1×	node limit

Counts

102 → 76

Calls

Call 1

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

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

eval11.0ms (0.2%)

Compiler: Compiled 1577 to 261 computations (83.4% saved)

prune11.0ms (0.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	71	5	76
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	71	6	77

Error

0.0b

Counts

77 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	0.0b	(+.f64 (.f64 y z) (.f64 (+.f64 1 (neg.f64 y)) x))
✓	0.0b	(+.f64 x (*.f64 y (-.f64 z x)))
▶	22.5b	(*.f64 (+.f64 1 (neg.f64 y)) x)
▶	29.1b	(*.f64 y (-.f64 z x))
▶	39.9b	(*.f64 y z)
	33.8b	x

Compiler

Compiled 50 to 34 computations (32% saved)

localize4.0ms (0.1%)

Compiler: Compiled 8 to 4 computations (50% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 1 (neg.f64 y)) x)

Compiler

Compiled 18 to 10 computations (44.4% saved)

series2.0ms (0%)

Counts

1 → 24

Calls

6 calls:

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

rewrite86.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

2012×	`rational_best.json-2`
2012×	`rational_best.json-1`
2010×	`rational_best.json-5`
2008×	`rational_best.json-3`
2008×	`rational_best.json-4`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	77	17
2	246	17
3	959	17
4	4160	17

Stop Event

1×	node limit

Counts

1 → 7

Calls

Call 1

Inputs
(*.f64 (+.f64 1 (neg.f64 y)) x)

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

Outputs

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

simplify166.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1910×	`rational_best.json-simplify-82`
1766×	`rational_best.json-simplify-80`
1352×	`rational_best.json-simplify-78`
1064×	`rational_best.json-simplify-44`
1038×	`rational_best.json-simplify-132`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	30	481
1	48	459
2	90	459
3	212	459
4	825	459
5	2552	459
6	4384	459
7	6524	459

Stop Event

1×	node limit

Counts

31 → 22

Calls

Call 1

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

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

localize11.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 32 to 15 computations (53.1% saved)

series2.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite102.0ms (1.6%)

Algorithm

1×	batch-egg-rewrite

Rules

1198×	`rational_best.json-simplify-57`
746×	`rational_best.json-simplify-44`
604×	`rational_best.json-5`
602×	`rational_best.json-2`
602×	`rational_best.json-3`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	12	29
1	103	29
2	329	29
3	1322	29
4	5851	25

Stop Event

1×	node limit

Counts

1 → 22

Calls

Call 1

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

Outputs

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

simplify237.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

1332×	`rational_best.json-simplify-80`
1260×	`rational_best.json-simplify-78`
1226×	`rational_best.json-simplify-94`
1174×	`rational_best.json-simplify-24`
1106×	`rational_best.json-simplify-135`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	61	1348
1	120	1318
2	583	1318
3	3389	1318
4	7032	1318

Stop Event

1×	node limit

Counts

58 → 44

Calls

Call 1

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

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

eval18.0ms (0.3%)

Compiler: Compiled 1312 to 605 computations (53.9% saved)

prune15.0ms (0.2%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	100	4	104
Fresh	0	1	1
Picked	1	0	1
Done	2	2	4
Total	103	7	110

Error

0.0b

Counts

110 → 7

Alt Table

Click to see full alt table

Status	Error	Program
▶	29.1b	(+.f64 (.f64 y z) (.f64 y (neg.f64 x)))
▶	11.2b	(+.f64 (*.f64 y z) x)
▶	22.5b	(*.f64 (-.f64 1 y) x)
▶	51.2b	(*.f64 (neg.f64 y) x)
✓	29.1b	(*.f64 y (-.f64 z x))
✓	39.9b	(*.f64 y z)
	33.8b	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

localize4.0ms (0.1%)

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 9 computations (35.7% saved)

series0.0ms (0%)

Counts

1 → 12

Calls

6 calls:

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

rewrite67.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

1616×	`rational_best.json-5`
1614×	`rational_best.json-2`
1614×	`rational_best.json-3`
1614×	`rational_best.json-1`
1614×	`exponential.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	56	13
2	181	13
3	753	13
4	3273	13

Stop Event

1×	node limit

Counts

1 → 7

Calls

Call 1

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

Outputs

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

simplify163.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1754×	`rational_best.json-simplify-80`
1354×	`rational_best.json-simplify-78`
1076×	`rational_best.json-simplify-44`
1040×	`rational_best.json-simplify-132`
898×	`rational_best.json-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	24	289
1	37	267
2	76	267
3	198	267
4	809	267
5	2501	267
6	4195	267
7	6748	267

Stop Event

1×	node limit

Counts

19 → 18

Calls

Call 1

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

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

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 9

Calls

9 calls:

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

rewrite73.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

1872×	`rational_best.json-5`
1870×	`rational_best.json-2`
1870×	`rational_best.json-3`
1870×	`rational_best.json-1`
1870×	`exponential.json-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	60	13
2	206	13
3	859	13
4	3774	13

Stop Event

1×	node limit

Counts

1 → 18

Calls

Call 1

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

Outputs

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

simplify124.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

1082×	`rational_best.json-simplify-2`
1046×	`rational_best.json-simplify-80`
952×	`rational_best.json-simplify-78`
918×	`rational_best.json-simplify-94`
560×	`rational_best.json-simplify-49`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	41	285
1	75	285
2	416	285
3	2019	285
4	4196	285

Stop Event

1×	node limit

Counts

27 → 22

Calls

Call 1

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

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

localize8.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 7 computations (69.6% saved)

series3.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite114.0ms (1.7%)

Algorithm

1×	batch-egg-rewrite

Rules

1148×	`rational_best.json-simplify-57`
852×	`rational_best.json-simplify-44`
714×	`rational_best.json-simplify-43`
586×	`rational_best.json-simplify-47`
576×	`rational_best.json-5`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	91	17
2	314	17
3	1257	17
4	5654	17

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

Outputs

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

simplify252.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

1878×	`rational_best.json-simplify-132`
1002×	`rational_best.json-simplify-2`
598×	`rational_best.json-simplify-80`
530×	`rational_best.json-simplify-24`
524×	`rational_best.json-simplify-78`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	93	1157
1	215	1141
2	517	1141
3	1567	1141
4	2849	1141
5	7544	1141

Stop Event

1×	node limit

Counts

69 → 41

Calls

Call 1

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

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

eval11.0ms (0.2%)

Compiler: Compiled 1130 to 267 computations (76.4% saved)

prune12.0ms (0.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	81	0	81
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	81	7	88

Error

0.0b

Counts

88 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	29.1b	(+.f64 (.f64 y z) (.f64 y (neg.f64 x)))
✓	11.2b	(+.f64 (*.f64 y z) x)
✓	22.5b	(*.f64 (-.f64 1 y) x)
✓	51.2b	(*.f64 (neg.f64 y) x)
✓	29.1b	(*.f64 y (-.f64 z x))
✓	39.9b	(*.f64 y z)
	33.8b	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

eval0.0ms (0%)

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

prune2.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
✓	29.1b	(+.f64 (.f64 y z) (.f64 y (neg.f64 x)))
✓	11.2b	(+.f64 (*.f64 y z) x)
✓	22.5b	(*.f64 (-.f64 1 y) x)
✓	51.2b	(*.f64 (neg.f64 y) x)
✓	29.1b	(*.f64 y (-.f64 z x))
✓	39.9b	(*.f64 y z)
	33.8b	x

Compiler

Compiled 52 to 35 computations (32.7% saved)

regimes94.0ms (1.4%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

72.0ms	(+.f64 x (*.f64 y (-.f64 z x)))
8.0ms	y
6.0ms	z
6.0ms	x

Results

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

Compiler

Compiled 79 to 38 computations (51.9% saved)

regimes179.0ms (2.7%)

Counts

9 → 1

Calls

Call 1

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

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

Calls

4 calls:

161.0ms	z
5.0ms	(+.f64 x (*.f64 y (-.f64 z x)))
5.0ms	y
5.0ms	x

Results

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

Compiler

Compiled 69 to 34 computations (50.7% saved)

regimes38.0ms (0.6%)

Counts

7 → 3

Calls

Call 1

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

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

Calls

3 calls:

13.0ms	z
13.0ms	y
10.0ms	x

Results

Error	Segments	Branch
8.5b	2	`x`
0.6b	3	`y`
4.7b	3	`z`

Compiler

Compiled 44 to 24 computations (45.5% saved)

bsearch119.0ms (1.8%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
114.0ms	0.006292983627428483	514306210.74063504
5.0ms	-264.1730254962697	-219.426744097564

Results

117.0ms

208×

body

256

valid

Compiler

Compiled 250 to 167 computations (33.2% saved)

regimes193.0ms (2.9%)

Counts

5 → 5

Calls

Call 1

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

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

Calls

3 calls:

147.0ms	x
25.0ms	z
19.0ms	y

Results

Error	Segments	Branch
13.0b	3	`x`
10.0b	5	`y`
13.2b	7	`z`

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch42.0ms (0.6%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
16.0ms	0.006292983627428483	514306210.74063504
8.0ms	-2.491722969119987e-126	-7.808899676890481e-127
10.0ms	-1.2375233872162497e-89	-1.9494672375993288e-90
8.0ms	-2.7824084236695943e-36	-1.0239037623227606e-36

Results

37.0ms

416×

body

256

valid

Compiler

Compiled 440 to 316 computations (28.2% saved)

regimes154.0ms (2.3%)

Counts

4 → 5

Calls

Call 1

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

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

Calls

3 calls:

105.0ms	y
28.0ms	z
19.0ms	x

Results

Error	Segments	Branch
15.9b	5	`x`
10.3b	5	`y`
21.2b	9	`z`

Compiler

Compiled 28 to 17 computations (39.3% saved)

bsearch208.0ms (3.2%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
182.0ms	1.9054765808100546e-43	7.604084874926645e-33
8.0ms	-2.491722969119987e-126	-7.808899676890481e-127
9.0ms	-1.2375233872162497e-89	-1.9494672375993288e-90
9.0ms	-2.7824084236695943e-36	-1.0239037623227606e-36

Results

204.0ms

416×

body

256

valid

Compiler

Compiled 380 to 271 computations (28.7% saved)

regimes59.0ms (0.9%)

Counts

3 → 6

Calls

Call 1

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

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

Calls

3 calls:

26.0ms	z
18.0ms	y
14.0ms	x

Results

Error	Segments	Branch
22.5b	5	`x`
18.9b	6	`y`
22.5b	9	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch58.0ms (0.9%)

Algorithm

5×	binary-search

Steps

Time	Left	Right
15.0ms	0.006292983627428483	514306210.74063504
9.0ms	-5.268056944167904e-125	-4.8181728366523146e-126
11.0ms	-1.2375233872162497e-89	-1.9494672375993288e-90
8.0ms	-2.7824084236695943e-36	-1.0239037623227606e-36
14.0ms	-1.6219617662332537e+73	-1.167471097484145e+71

Results

49.0ms	544×	body	256	valid
2.0ms	27×	body	256	infinite

Compiler

Compiled 455 to 341 computations (25.1% saved)

regimes122.0ms (1.9%)

Accuracy

Total -41.0b remaining (-195.5%)

Threshold costs -41.0b (-195.5%)

Counts

2 → 5

Calls

Call 1

Inputs
x
(*.f64 y z)

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

Calls

3 calls:

97.0ms	z
15.0ms	y
10.0ms	x

Results

Error	Segments	Branch
24.1b	3	`x`
21.0b	5	`y`
24.2b	7	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch244.0ms (3.7%)

Algorithm

4×	binary-search

Steps

Time	Left	Right
72.0ms	1.9054765808100546e-43	7.604084874926645e-33
10.0ms	-5.268056944167904e-125	-4.8181728366523146e-126
154.0ms	-1.2375233872162497e-89	-1.9494672375993288e-90
8.0ms	-2.7824084236695943e-36	-1.0239037623227606e-36

Results

239.0ms

432×

body

256

valid

Compiler

Compiled 340 to 254 computations (25.3% saved)

simplify7.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	68	414

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 (.f64 y z) (.f64 (+.f64 1 (neg.f64 y)) x))
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -220) (.f64 y (-.f64 z x)) (if (<=.f64 y 1) (+.f64 (.f64 y z) x) (*.f64 y (-.f64 z x))))
(if (<=.f64 y -7482888383134223/2993155353253689176481146537402947624255349848014848) (.f64 y (-.f64 z x)) (if (<=.f64 y -4701672162779647/2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624) x (if (<=.f64 y -7469027293236505/3048582568667961163458591044719888970457615373696260889510895468384152088691177363398736428772941378085768487423248655171335913749304966119424) (.f64 y (-.f64 z x)) (if (<=.f64 y 2871044762448691/562949953421312) (.f64 (-.f64 1 y) x) (.f64 y (-.f64 z x))))))
(if (<=.f64 y -7482888383134223/5986310706507378352962293074805895248510699696029696) (.f64 y (-.f64 z x)) (if (<=.f64 y -4586997231980143/2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624) x (if (<=.f64 y -7469027293236505/3048582568667961163458591044719888970457615373696260889510895468384152088691177363398736428772941378085768487423248655171335913749304966119424) (.f64 y (-.f64 z x)) (if (<=.f64 y 3531923316839353/2993155353253689176481146537402947624255349848014848) x (*.f64 y (-.f64 z x))))))
(if (<=.f64 y -2599999999999999814652822620699129888575098840405516281375000591446573056) (.f64 (neg.f64 y) x) (if (<=.f64 y -8231177221447645/2993155353253689176481146537402947624255349848014848) (.f64 y z) (if (<=.f64 y -2981548200787093/573374653997517877902705223825521735199141247292070280934397209846730719022121202017504638277531421638656) x (if (<=.f64 y -4953946674085437/95268205270873786358080970147496530326800480428008152797215483387004752771599292606210513399154418065180265231976520474104247304665780191232) (.f64 y z) (if (<=.f64 y 1) x (.f64 (neg.f64 y) x))))))
(if (<=.f64 y -8231177221447645/2993155353253689176481146537402947624255349848014848) (.f64 y z) (if (<=.f64 y -4586997231980143/2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624) x (if (<=.f64 y -4953946674085437/95268205270873786358080970147496530326800480428008152797215483387004752771599292606210513399154418065180265231976520474104247304665780191232) (.f64 y z) (if (<=.f64 y 2484552783462535/730750818665451459101842416358141509827966271488) x (*.f64 y z)))))
x

Outputs
(+.f64 (.f64 y z) (.f64 (+.f64 1 (neg.f64 y)) x))
(+.f64 x (*.f64 y (-.f64 z x)))
(if (<=.f64 y -220) (.f64 y (-.f64 z x)) (if (<=.f64 y 1) (+.f64 (.f64 y z) x) (*.f64 y (-.f64 z x))))
(if (<=.f64 y -7482888383134223/2993155353253689176481146537402947624255349848014848) (.f64 y (-.f64 z x)) (if (<=.f64 y -4701672162779647/2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624) x (if (<=.f64 y -7469027293236505/3048582568667961163458591044719888970457615373696260889510895468384152088691177363398736428772941378085768487423248655171335913749304966119424) (.f64 y (-.f64 z x)) (if (<=.f64 y 2871044762448691/562949953421312) (.f64 (-.f64 1 y) x) (.f64 y (-.f64 z x))))))
(if (<=.f64 y -7482888383134223/5986310706507378352962293074805895248510699696029696) (.f64 y (-.f64 z x)) (if (<=.f64 y -4586997231980143/2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624) x (if (<=.f64 y -7469027293236505/3048582568667961163458591044719888970457615373696260889510895468384152088691177363398736428772941378085768487423248655171335913749304966119424) (.f64 y (-.f64 z x)) (if (<=.f64 y 3531923316839353/2993155353253689176481146537402947624255349848014848) x (*.f64 y (-.f64 z x))))))
(if (<=.f64 y -2599999999999999814652822620699129888575098840405516281375000591446573056) (.f64 (neg.f64 y) x) (if (<=.f64 y -8231177221447645/2993155353253689176481146537402947624255349848014848) (.f64 y z) (if (<=.f64 y -2981548200787093/573374653997517877902705223825521735199141247292070280934397209846730719022121202017504638277531421638656) x (if (<=.f64 y -4953946674085437/95268205270873786358080970147496530326800480428008152797215483387004752771599292606210513399154418065180265231976520474104247304665780191232) (.f64 y z) (if (<=.f64 y 1) x (.f64 (neg.f64 y) x))))))
(if (<=.f64 y -8231177221447645/2993155353253689176481146537402947624255349848014848) (.f64 y z) (if (<=.f64 y -4586997231980143/2293498615990071511610820895302086940796564989168281123737588839386922876088484808070018553110125686554624) x (if (<=.f64 y -4953946674085437/95268205270873786358080970147496530326800480428008152797215483387004752771599292606210513399154418065180265231976520474104247304665780191232) (.f64 y z) (if (<=.f64 y 2484552783462535/730750818665451459101842416358141509827966271488) x (*.f64 y z)))))
x

Compiler

Compiled 198 to 105 computations (47% saved)

soundness324.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

820×	`rational_best.json-simplify-2`
810×	`rational_best.json-simplify-135`
776×	`rational_best.json-simplify-49`
736×	`rational_best.json-simplify-129`
678×	`rational_best.json-simplify-80`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	96	2082
1	196	1890
2	910	1836
3	2900	1836
4	6187	1836

Stop Event

1×	node limit

Compiler

Compiled 35 to 21 computations (40% saved)

end237.0ms (3.6%)

Compiler: Compiled 177 to 74 computations (58.2% saved)

Details

analyze733.0ms (11.1%)

sample1.9s (29.1%)

preprocess14.0ms (0.2%)

simplify16.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

localize7.0ms (0.1%)

series4.0ms (0.1%)

rewrite101.0ms (1.5%)

simplify203.0ms (3.1%)

eval11.0ms (0.2%)

prune11.0ms (0.2%)

localize4.0ms (0.1%)

localize5.0ms (0.1%)

localize7.0ms (0.1%)

series2.0ms (0%)

rewrite86.0ms (1.3%)

simplify166.0ms (2.5%)

localize11.0ms (0.2%)

series2.0ms (0%)

rewrite102.0ms (1.6%)

simplify237.0ms (3.6%)

eval18.0ms (0.3%)

prune15.0ms (0.2%)

localize4.0ms (0.1%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite67.0ms (1%)

simplify163.0ms (2.5%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite73.0ms (1.1%)

simplify124.0ms (1.9%)

localize8.0ms (0.1%)

series3.0ms (0%)

rewrite114.0ms (1.7%)

simplify252.0ms (3.8%)

eval11.0ms (0.2%)

prune12.0ms (0.2%)

eval0.0ms (0%)

prune2.0ms (0%)

regimes94.0ms (1.4%)

regimes179.0ms (2.7%)

regimes38.0ms (0.6%)

bsearch119.0ms (1.8%)

regimes193.0ms (2.9%)

bsearch42.0ms (0.6%)

regimes154.0ms (2.3%)

bsearch208.0ms (3.2%)

regimes59.0ms (0.9%)

bsearch58.0ms (0.9%)

regimes122.0ms (1.9%)

bsearch244.0ms (3.7%)

simplify7.0ms (0.1%)

soundness324.0ms (4.9%)

end237.0ms (3.6%)

Profiling