Details

analyze368.0ms (7.4%)

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
0%	0%	99.9%	0.1%	0%	0%	0%	6
12.5%	12.5%	87.4%	0.1%	0%	0%	0%	7
18.8%	18.7%	81.1%	0.1%	0%	0%	0%	8
25.8%	25%	71.8%	0.1%	3.1%	0%	0%	9
36.4%	34.3%	60.1%	0.1%	5.5%	0%	0%	10
44.5%	41.3%	51.5%	0.1%	7%	0%	0%	11
51.5%	46.8%	44.1%	0.1%	9%	0%	0%	12

Compiler

Compiled 13 to 9 computations (30.8% saved)

sample961.0ms (19.3%)

Results

835.0ms	8256×	body	256	valid
115.0ms	1278×	body	256	infinite

Bogosity

preprocess5.0ms (0.1%)

Algorithm

2×	egg-herbie

Rules

14×	`rational_best-simplify-2`
8×	`rational_best-simplify-1`
2×	`trig-simplify-13`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	100
1	33	100
0	3	3

Stop Event

1×	saturated
1×	saturated

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 15 to 11 computations (26.7% saved)

simplify114.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

4×	`rational_best-simplify-2`
2×	`rational_best-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	13	25

Stop Event

1×

saturated

Counts

1 → 1

Calls

Call 1

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

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

eval0.0ms (0%)

Compiler: Compiled 12 to 8 computations (33.3% 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 (.f64 x y) (.f64 (-.f64 1 x) z))

Compiler

Compiled 12 to 8 computations (33.3% saved)

localize9.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

Compiler

Compiled 27 to 14 computations (48.1% saved)

series5.0ms (0.1%)

Counts

2 → 60

Calls

15 calls:

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

rewrite95.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

994×	`rational_best-simplify-57`
756×	`rational_best-simplify-80`
666×	`rational_best-simplify-43`
596×	`rational_best-simplify-44`
522×	`rational_best-simplify-78`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	38
1	82	38
2	264	38
3	1117	38
4	4956	38

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

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

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

Outputs

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

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

simplify245.0ms (4.9%)

Algorithm

1×	egg-herbie

Rules

942×	`rational_best-simplify-80`
870×	`rational_best-simplify-2`
834×	`rational_best-simplify-78`
728×	`rational_best-simplify-24`
496×	`rational_best-simplify-132`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	83	1832
1	160	1780
2	580	1780
3	1527	1780
4	3901	1780
5	7285	1780

Stop Event

1×	node limit

Counts

92 → 60

Calls

Call 1

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

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

eval15.0ms (0.3%)

Compiler: Compiled 999 to 493 computations (50.7% saved)

prune11.0ms (0.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	54	6	60
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	55	6	61

Error

0.0b

Counts

61 → 6

Alt Table

Click to see full alt table

Status	Error	Program
▶	26.3b	(+.f64 (.f64 x y) (.f64 z (neg.f64 x)))
▶	0.0b	(+.f64 z (*.f64 (+.f64 (neg.f64 z) y) x))
▶	26.3b	(*.f64 (+.f64 (neg.f64 z) y) x)
▶	23.0b	(*.f64 z (-.f64 1 x))
▶	40.1b	(*.f64 y x)
	36.6b	z

Compiler

Compiled 94 to 63 computations (33% saved)

localize11.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 26 to 7 computations (73.1% saved)

series2.0ms (0%)

Counts

1 → 36

Calls

9 calls:

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

rewrite89.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

956×	`rational_best-simplify-57`
690×	`rational_best-simplify-80`
600×	`rational_best-simplify-43`
550×	`rational_best-simplify-44`
484×	`rational_best-5`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	17
1	80	17
2	272	17
3	1071	17
4	4647	17

Stop Event

1×	node limit

Counts

1 → 10

Calls

Call 1

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

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

Outputs

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

simplify148.0ms (3%)

Algorithm

1×	egg-herbie

Rules

1576×	`rational_best-simplify-132`
1398×	`rational_best-simplify-80`
1270×	`rational_best-simplify-78`
990×	`rational_best-simplify-82`
764×	`rational_best-simplify-2`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	35	916
1	60	854
2	106	686
3	250	686
4	1050	686
5	2900	686
6	6007	686

Stop Event

1×	node limit

Counts

46 → 20

Calls

Call 1

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

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

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

rewrite71.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

1616×	`rational_best-5`
1614×	`rational_best-4`
1614×	`rational_best-2`
1614×	`rational_best-3`
1614×	`rational_best-1`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 7

Calls

Call 1

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

Outputs

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

simplify162.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1768×	`rational_best-simplify-80`
1354×	`rational_best-simplify-78`
1066×	`rational_best-simplify-44`
1040×	`rational_best-simplify-132`
938×	`rational_best-simplify-43`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	25	301
1	38	279
2	79	279
3	199	279
4	801	279
5	2497	279
6	4205	279
7	6796	279

Stop Event

1×	node limit

Counts

19 → 18

Calls

Call 1

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

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

localize6.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 18 to 6 computations (66.7% saved)

localize7.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 23 to 7 computations (69.6% saved)

series3.0ms (0.1%)

Counts

1 → 36

Calls

9 calls:

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

rewrite97.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

1120×	`rational_best-simplify-57`
782×	`rational_best-simplify-44`
684×	`rational_best-simplify-43`
562×	`rational_best-simplify-47`
558×	`rational_best-5`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	23
1	89	23
2	302	17
3	1222	17
4	5462	17

Stop Event

1×	node limit

Counts

1 → 25

Calls

Call 1

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

Outputs

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

simplify200.0ms (4%)

Algorithm

1×	egg-herbie

Rules

1208×	`rational_best-simplify-80`
1154×	`rational_best-simplify-82`
1152×	`rational_best-simplify-83`
1144×	`rational_best-simplify-78`
902×	`rational_best-simplify-94`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	67	1171
1	139	1113
2	674	1113
3	3104	1113
4	5692	1113

Stop Event

1×	node limit

Counts

61 → 37

Calls

Call 1

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

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

eval14.0ms (0.3%)

Compiler: Compiled 1029 to 260 computations (74.7% saved)

prune13.0ms (0.3%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	92	3	95
Fresh	0	1	1
Picked	0	1	1
Done	2	2	4
Total	94	7	101

Error

0.0b

Counts

101 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	26.3b	(+.f64 (.f64 x y) (.f64 z (neg.f64 x)))
▶	14.3b	(+.f64 z (*.f64 y x))
▶	26.3b	(*.f64 (-.f64 y z) x)
✓	23.0b	(*.f64 z (-.f64 1 x))
▶	49.0b	(*.f64 z (neg.f64 x))
✓	40.1b	(*.f64 y x)
	36.6b	z

Compiler

Compiled 52 to 35 computations (32.7% saved)

localize7.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 y z) x)

Compiler

Compiled 14 to 5 computations (64.3% saved)

series1.0ms (0%)

Counts

1 → 24

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

rewrite88.0ms (1.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1876×	`rational_best-5`
1874×	`rational_best-4`
1874×	`rational_best-2`
1874×	`rational_best-3`
1874×	`rational_best-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	13
1	59	13
2	208	13
3	871	13
4	3803	13

Stop Event

1×	node limit

Counts

1 → 7

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 0 (*.f64 (-.f64 y z) x))))) (#(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) (+.f64 x x)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (*.f64 (-.f64 y z) x) 1)))))

simplify165.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

1756×	`rational_best-simplify-80`
1356×	`rational_best-simplify-78`
1086×	`rational_best-simplify-44`
1042×	`rational_best-simplify-132`
908×	`rational_best-simplify-43`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	25	601
1	40	559
2	79	487
3	205	451
4	817	451
5	2521	451
6	4219	451
7	6768	451

Stop Event

1×	node limit

Counts

31 → 18

Calls

Call 1

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

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

localize5.0ms (0.1%)

Compiler: Compiled 14 to 5 computations (64.3% saved)

eval2.0ms (0%)

Compiler: Compiled 127 to 44 computations (65.4% saved)

prune207.0ms (4.2%)

Pruning

7 alts after pruning (1 fresh and 6 done)

	Pruned	Kept	Total
New	18	0	18
Fresh	0	1	1
Picked	0	1	1
Done	0	5	5
Total	18	7	25

Error

0.0b

Counts

25 → 7

Alt Table

Click to see full alt table

Status	Error	Program
✓	26.3b	(+.f64 (.f64 x y) (.f64 z (neg.f64 x)))
✓	14.3b	(+.f64 z (*.f64 y x))
✓	26.3b	(*.f64 (-.f64 y z) x)
✓	23.0b	(*.f64 z (-.f64 1 x))
✓	49.0b	(*.f64 z (neg.f64 x))
✓	40.1b	(*.f64 y x)
	36.6b	z

Compiler

Compiled 52 to 35 computations (32.7% saved)

eval0.0ms (0%)

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

prune3.0ms (0.1%)

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
✓	26.3b	(+.f64 (.f64 x y) (.f64 z (neg.f64 x)))
✓	14.3b	(+.f64 z (*.f64 y x))
✓	26.3b	(*.f64 (-.f64 y z) x)
✓	23.0b	(*.f64 z (-.f64 1 x))
✓	49.0b	(*.f64 z (neg.f64 x))
✓	40.1b	(*.f64 y x)
	36.6b	z

Compiler

Compiled 52 to 35 computations (32.7% saved)

regimes27.0ms (0.5%)

Counts

10 → 1

Calls

Call 1

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

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

Calls

4 calls:

7.0ms	z
6.0ms	(+.f64 (.f64 x y) (.f64 (-.f64 1 x) z))
6.0ms	y
6.0ms	x

Results

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

Compiler

Compiled 81 to 39 computations (51.9% saved)

regimes58.0ms (1.2%)

Counts

7 → 3

Calls

Call 1

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

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

Calls

3 calls:

19.0ms	y
18.0ms	z
14.0ms	x

Results

Error	Segments	Branch
0.8b	3	`x`
5.8b	3	`y`
6.5b	4	`z`

Compiler

Compiled 44 to 24 computations (45.5% saved)

bsearch28.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
15.0ms	1.1742152125152169e-14	1.6334654490873476e-8
13.0ms	-7484969.739463093	-108942.90968633082

Results

25.0ms	256×	body	256	valid
0.0ms	1×	body	256	infinite

Compiler

Compiled 306 to 205 computations (33% saved)

regimes46.0ms (0.9%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

20.0ms	y
13.0ms	z
12.0ms	x

Results

Error	Segments	Branch
9.1b	3	`x`
14.8b	5	`y`
10.1b	3	`z`

Compiler

Compiled 33 to 20 computations (39.4% saved)

bsearch31.0ms (0.6%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
16.0ms	1.1742152125152169e-14	1.6334654490873476e-8
15.0ms	-6.639998246626303e-70	-4.290557678937587e-79

Results

27.0ms

288×

body

256

valid

Compiler

Compiled 342 to 247 computations (27.8% saved)

regimes287.0ms (5.8%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

3 calls:

195.0ms	x
77.0ms	y
13.0ms	z

Results

Error	Segments	Branch
16.1b	9	`x`
15.0b	7	`y`
14.1b	3	`z`

Compiler

Compiled 28 to 18 computations (35.7% saved)

bsearch25.0ms (0.5%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
14.0ms	5.508104554313776e-33	7.039152804752641e-29
12.0ms	-1.3285225019485231e-138	-2.978534367719585e-140

Results

23.0ms

240×

body

256

valid

Compiler

Compiled 258 to 193 computations (25.2% saved)

regimes224.0ms (4.5%)

Counts

3 → 9

Calls

Call 1

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

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

Calls

3 calls:

129.0ms	x
71.0ms	z
23.0ms	y

Results

Error	Segments	Branch
16.8b	9	`x`
25.6b	7	`y`
23.1b	4	`z`

Compiler

Compiled 23 to 15 computations (34.8% saved)

bsearch399.0ms (8%)

Algorithm

8×	binary-search

Steps

Time	Left	Right
23.0ms	3.922087938324547e+189	2.027566627053664e+192
19.0ms	1.5791884928674489e+122	4.454946159257984e+125
19.0ms	1.033139677334323e+97	2.655768449700439e+104
11.0ms	3.138468678125365e-19	1.1731705233212836e-17
217.0ms	-6.639998246626303e-70	-4.290557678937587e-79
6.0ms	-3.7566329346820576e+40	-2.675962527559408e+40
12.0ms	-2.3637758124509697e+115	-6.900207613890695e+114
92.0ms	-1.963557840622125e+246	-2.371374598511596e+237

Results

290.0ms	928×	body	256	valid
97.0ms	422×	body	256	infinite

Compiler

Compiled 840 to 619 computations (26.3% saved)

regimes84.0ms (1.7%)

Accuracy

Total -39.2b remaining (-171.2%)

Threshold costs -39.2b (-171.2%)

Counts

2 → 3

Calls

Call 1

Inputs
z
(*.f64 y x)

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

Calls

3 calls:

60.0ms	z
15.0ms	y
8.0ms	x

Results

Error	Segments	Branch
22.9b	3	`x`
28.3b	5	`y`
24.3b	3	`z`

Compiler

Compiled 19 to 13 computations (31.6% saved)

bsearch205.0ms (4.1%)

Algorithm

2×	binary-search

Steps

Time	Left	Right
12.0ms	3.138468678125365e-19	1.1731705233212836e-17
193.0ms	-6.639998246626303e-70	-4.290557678937587e-79

Results

202.0ms

256×

body

256

valid

Compiler

Compiled 210 to 157 computations (25.2% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	70	367

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
(+.f64 z (*.f64 (+.f64 (neg.f64 z) y) x))
(if (<=.f64 x -110000) (.f64 (-.f64 y z) x) (if (<=.f64 x 4835703278458517/302231454903657293676544) (+.f64 z (.f64 y x)) (*.f64 (-.f64 y z) x)))
(if (<=.f64 x -2859608609356273/62165404551223330269422781018352605012557018849668464680057997111644937126566671941632) (.f64 (-.f64 y z) x) (if (<=.f64 x 2630622583481433/77371252455336267181195264) (.f64 z (-.f64 1 x)) (*.f64 (-.f64 y z) x)))
(if (<=.f64 z -6435747806372447/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096) (.f64 z (-.f64 1 x)) (if (<=.f64 z 7307508186654515/11417981541647679048466287755595961091061972992) (.f64 y x) (*.f64 z (-.f64 1 x))))
(if (<=.f64 x -190000000000000006351253198740820480816227454481911115963184491814938986143993382111647674815965185396488144872772293807943693075901871967842476871984884495209221736038685817415448053502446823273018419616743528459863728292944567299278372864) (.f64 z (neg.f64 x)) (if (<=.f64 x -20000000000000000311188322589336860485364027938421228667395411608616675623295114065299707798300948953524125617356800) (.f64 y x) (if (<=.f64 x -33999999999999998856806021345479952957440) (.f64 z (neg.f64 x)) (if (<=.f64 x -4277775550302421/1018517988167243043134222844204689080525734196832968125318070224677190649881668353091698688) (.f64 y x) (if (<=.f64 x 1298074214633707/324518553658426726783156020576256) z (if (<=.f64 x 15499999999999999053574695568916972114477176115298107544058108109054725328173032788964965844254720) (.f64 y x) (if (<=.f64 x 230000000000000012780930231873428186770625938965526796539758599638312011047756831731003125032436136698199092760180171233820672) (.f64 z (neg.f64 x)) (if (<=.f64 x 254999999999999990801583792328580667286454965138704723091781672255562523610415288994038526702883546693949043550930192054674836491865148043820120485034867189336252553803408847520523399729250304) (.f64 y x) (.f64 z (neg.f64 x))))))))))
(if (<=.f64 x -3381798007586549/994646472819573284310764496293641680200912301594695434880927953786318994025066751066112) (.f64 y x) (if (<=.f64 x 7788445287802241/10384593717069655257060992658440192) z (.f64 y x)))
z

Outputs
(+.f64 z (*.f64 (+.f64 (neg.f64 z) y) x))
(if (<=.f64 x -110000) (.f64 (-.f64 y z) x) (if (<=.f64 x 4835703278458517/302231454903657293676544) (+.f64 z (.f64 y x)) (*.f64 (-.f64 y z) x)))
(if (<=.f64 x -2859608609356273/62165404551223330269422781018352605012557018849668464680057997111644937126566671941632) (.f64 (-.f64 y z) x) (if (<=.f64 x 2630622583481433/77371252455336267181195264) (.f64 z (-.f64 1 x)) (*.f64 (-.f64 y z) x)))
(if (<=.f64 z -6435747806372447/13407807929942597099574024998205846127479365820592393377723561443721764030073546976801874298166903427690031858186486050853753882811946569946433649006084096) (.f64 z (-.f64 1 x)) (if (<=.f64 z 7307508186654515/11417981541647679048466287755595961091061972992) (.f64 y x) (*.f64 z (-.f64 1 x))))
(if (<=.f64 x -190000000000000006351253198740820480816227454481911115963184491814938986143993382111647674815965185396488144872772293807943693075901871967842476871984884495209221736038685817415448053502446823273018419616743528459863728292944567299278372864) (.f64 z (neg.f64 x)) (if (<=.f64 x -20000000000000000311188322589336860485364027938421228667395411608616675623295114065299707798300948953524125617356800) (.f64 y x) (if (<=.f64 x -33999999999999998856806021345479952957440) (.f64 z (neg.f64 x)) (if (<=.f64 x -4277775550302421/1018517988167243043134222844204689080525734196832968125318070224677190649881668353091698688) (.f64 y x) (if (<=.f64 x 1298074214633707/324518553658426726783156020576256) z (if (<=.f64 x 15499999999999999053574695568916972114477176115298107544058108109054725328173032788964965844254720) (.f64 y x) (if (<=.f64 x 230000000000000012780930231873428186770625938965526796539758599638312011047756831731003125032436136698199092760180171233820672) (.f64 z (neg.f64 x)) (if (<=.f64 x 254999999999999990801583792328580667286454965138704723091781672255562523610415288994038526702883546693949043550930192054674836491865148043820120485034867189336252553803408847520523399729250304) (.f64 y x) (.f64 z (neg.f64 x))))))))))
(if (<=.f64 x -3381798007586549/994646472819573284310764496293641680200912301594695434880927953786318994025066751066112) (.f64 y x) (if (<=.f64 x 7788445287802241/10384593717069655257060992658440192) z (.f64 y x)))
z

Compiler

Compiled 173 to 93 computations (46.2% saved)

soundness348.0ms (7%)

Algorithm

1×	egg-herbie

Rules

942×	`rational_best-simplify-80`
870×	`rational_best-simplify-2`
834×	`rational_best-simplify-78`
728×	`rational_best-simplify-24`
496×	`rational_best-simplify-132`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	83	1832
1	160	1780
2	580	1780
3	1527	1780
4	3901	1780
5	7285	1780

Stop Event

1×	node limit

Compiler

Compiled 38 to 22 computations (42.1% saved)

end58.0ms (1.2%)

Compiler: Compiled 155 to 70 computations (54.8% saved)

Details

analyze368.0ms (7.4%)

sample961.0ms (19.3%)

preprocess5.0ms (0.1%)

simplify114.0ms (2.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize9.0ms (0.2%)

series5.0ms (0.1%)

rewrite95.0ms (1.9%)

simplify245.0ms (4.9%)

eval15.0ms (0.3%)

prune11.0ms (0.2%)

localize11.0ms (0.2%)

series2.0ms (0%)

rewrite89.0ms (1.8%)

simplify148.0ms (3%)

localize3.0ms (0.1%)

localize5.0ms (0.1%)

series0.0ms (0%)

rewrite71.0ms (1.4%)

simplify162.0ms (3.3%)

localize6.0ms (0.1%)

localize7.0ms (0.2%)

series3.0ms (0.1%)

rewrite97.0ms (1.9%)

simplify200.0ms (4%)

eval14.0ms (0.3%)

prune13.0ms (0.3%)

localize7.0ms (0.1%)

localize5.0ms (0.1%)

series1.0ms (0%)

rewrite88.0ms (1.8%)

simplify165.0ms (3.3%)

localize5.0ms (0.1%)

eval2.0ms (0%)

prune207.0ms (4.2%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes27.0ms (0.5%)

regimes58.0ms (1.2%)

bsearch28.0ms (0.6%)

regimes46.0ms (0.9%)

bsearch31.0ms (0.6%)

regimes287.0ms (5.8%)

bsearch25.0ms (0.5%)

regimes224.0ms (4.5%)

bsearch399.0ms (8%)

regimes84.0ms (1.7%)

bsearch205.0ms (4.1%)

simplify6.0ms (0.1%)

soundness348.0ms (7%)

end58.0ms (1.2%)

Profiling