Details

analyze230.0ms (9%)

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%	25%	74.9%	0.1%	0%	0%	0%	9
37.5%	37.4%	62.4%	0.1%	0%	0%	0%	10
44.5%	44.5%	55.4%	0.1%	0%	0%	0%	11
50.4%	50.3%	49.5%	0.1%	0%	0%	0%	12

Compiler

Compiled 16 to 10 computations (37.5% saved)

sample1.9s (73.9%)

Results

801.0ms	2806×	body	1024	valid
470.0ms	1196×	body	2048	valid
373.0ms	2968×	body	256	valid
227.0ms	1283×	body	512	valid
1.0ms	3×	body	4096	valid

Bogosity

preprocess65.0ms (2.6%)

Algorithm

2×	egg-herbie

Rules

1082×	`rational_best-simplify-3`
916×	`rational_best-simplify-1`
902×	`rational_best-simplify-53`
530×	`rational_best-simplify-21`
530×	`rational_best-simplify-18`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	132
1	155	132
2	723	132
3	4934	132
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 18 to 12 computations (33.3% saved)

simplify42.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

776×	`rational_best-simplify-111`
544×	`rational_best-simplify-126`
542×	`rational_best-simplify-124`
480×	`rational_best-simplify-113`
464×	`rational_best-simplify-96`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	49	33
2	211	33
3	1395	33

Stop Event

1×	node limit

Counts

1 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Compiler: Compiled 51 to 21 computations (58.8% saved)

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

46.6b

Counts

5 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	46.6b	(-.f64 (fma.f64 x y z) (+.f64 (*.f64 x y) (+.f64 z 1)))

Compiler

Compiled 15 to 9 computations (40% saved)

localize12.0ms (0.5%)

Local error

Found 1 expressions with local error:

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

Compiler

Compiled 36 to 15 computations (58.3% saved)

series7.0ms (0.3%)

Counts

1 → 36

Calls

9 calls:

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

rewrite51.0ms (2%)

Algorithm

1×	batch-egg-rewrite

Rules

832×	`rational_best-simplify-111`
572×	`rational_best-simplify-124`
532×	`rational_best-simplify-113`
482×	`rational_best-simplify-96`
478×	`rational_best-simplify-61`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	48	33
2	216	33
3	1415	33

Stop Event

1×	node limit

Counts

1 → 33

Calls

Call 1

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

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

Outputs

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

simplify63.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

1020×	`rational_best-simplify-61`
984×	`rational_best-simplify-65`
692×	`rational_best-simplify-62`
672×	`rational_best-simplify-3`
570×	`rational_best-simplify-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	112	1125
1	541	1125
2	3921	1125

Stop Event

1×	node limit

Counts

69 → 36

Calls

Call 1

Inputs
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(+.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 0)
(+.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) (fma.f64 x y z))
(+.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) (+.f64 0 (fma.f64 x y z)))
(+.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) (+.f64 (fma.f64 x y z) 0))
(+.f64 (*.f64 x (neg.f64 y)) (+.f64 (-.f64 -1 z) (fma.f64 x y z)))
(+.f64 (*.f64 x (neg.f64 y)) (+.f64 (fma.f64 x y z) (-.f64 -1 z)))
(+.f64 0 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 (-.f64 -1 z) (+.f64 (*.f64 x (neg.f64 y)) (fma.f64 x y z)))
(+.f64 (-.f64 -1 z) (+.f64 (fma.f64 x y z) (*.f64 x (neg.f64 y))))
(.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) 1)
(.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) -1)
(.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))
(/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 1)
(/.f64 (-.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) (fma.f64 x y z)) -1)
(/.f64 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))) -2)
(/.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))))
(/.f64 (+.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) 2)
(/.f64 (+.f64 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))) (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) -4)
(/.f64 (+.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))))) (+.f64 (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))
(/.f64 (-.f64 (.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (-.f64 1 (.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) (.f64 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))) (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) (fma.f64 x y z))))))
(/.f64 (-.f64 (.f64 (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))))) (.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))))) (-.f64 (.f64 (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (.f64 (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))))))
(pow.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 1)
(neg.f64 (-.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) (fma.f64 x y z)))
(if (!=.f64 (+.f64 z (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1))) 0) (/.f64 (+.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (-.f64 -1 (+.f64 z (.f64 x y))))) (+.f64 z (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(if (!=.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 0) (/.f64 (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (-.f64 -1 (+.f64 z (.f64 x y)))) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))
(if (!=.f64 (fma.f64 x y z) 0) (/.f64 (.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (fma.f64 x y z)) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(if (!=.f64 (-.f64 -1 (+.f64 z (.f64 x y))) 0) (/.f64 (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (-.f64 -1 (+.f64 z (.f64 x y)))) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))
(if (!=.f64 (neg.f64 (fma.f64 x y z)) 0) (/.f64 (.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (fma.f64 x y z)) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(if (!=.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) 0) (/.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))
(if (!=.f64 0 0) (/.f64 (neg.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) 0)) 0) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(if (!=.f64 (-.f64 (-.f64 -1 (+.f64 z (.f64 x y))) (fma.f64 x y z)) 0) (/.f64 (+.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (-.f64 -1 (+.f64 z (.f64 x y))))) (+.f64 z (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))

Outputs
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
-1
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 0)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) (fma.f64 x y z))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) (+.f64 0 (fma.f64 x y z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 (-.f64 -1 (+.f64 z (*.f64 x y))) (+.f64 (fma.f64 x y z) 0))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 (*.f64 x (neg.f64 y)) (+.f64 (-.f64 -1 z) (fma.f64 x y z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 (*.f64 x (neg.f64 y)) (+.f64 (fma.f64 x y z) (-.f64 -1 z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 0 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 (-.f64 -1 z) (+.f64 (*.f64 x (neg.f64 y)) (fma.f64 x y z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(+.f64 (-.f64 -1 z) (+.f64 (fma.f64 x y z) (*.f64 x (neg.f64 y))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) 1)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) -1)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 1)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (-.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) (fma.f64 x y z)) -1)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))) -2)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (+.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) 2)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (+.f64 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))) (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) -4)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (+.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))))) (+.f64 (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (-.f64 (.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (-.f64 1 (.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (-.f64 (.f64 -2 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) (.f64 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))) (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))))) (-.f64 4 (.f64 -2 (+.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) (fma.f64 x y z))))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(/.f64 (-.f64 (.f64 (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))))) (.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))) (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))))) (-.f64 (.f64 (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))) (.f64 (-.f64 1 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (-.f64 -1 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)))))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(pow.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))) 1)
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(neg.f64 (-.f64 (+.f64 z (+.f64 (*.f64 x y) 1)) (fma.f64 x y z)))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(if (!=.f64 (+.f64 z (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1))) 0) (/.f64 (+.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (-.f64 -1 (+.f64 z (.f64 x y))))) (+.f64 z (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(if (!=.f64 (+.f64 z (+.f64 (.f64 x y) 1)) 0) (/.f64 (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (-.f64 -1 (+.f64 z (.f64 x y)))) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(if (!=.f64 (fma.f64 x y z) 0) (/.f64 (.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (fma.f64 x y z)) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(if (!=.f64 (-.f64 -1 (+.f64 z (.f64 x y))) 0) (/.f64 (.f64 (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))) (-.f64 -1 (+.f64 z (.f64 x y)))) (-.f64 -1 (+.f64 z (.f64 x y)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(if (!=.f64 (neg.f64 (fma.f64 x y z)) 0) (/.f64 (.f64 (fma.f64 x y z) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (fma.f64 x y z)) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(if (!=.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) 0) (/.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y))))) (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(if (!=.f64 0 0) (/.f64 (neg.f64 (.f64 (-.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (fma.f64 x y z)) 0)) 0) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))
(if (!=.f64 (-.f64 (-.f64 -1 (+.f64 z (.f64 x y))) (fma.f64 x y z)) 0) (/.f64 (+.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (.f64 (+.f64 z (+.f64 (.f64 x y) 1)) (-.f64 -1 (+.f64 z (.f64 x y))))) (+.f64 z (+.f64 (fma.f64 x y z) (+.f64 (.f64 x y) 1)))) (+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y)))))
(+.f64 (fma.f64 x y z) (-.f64 -1 (+.f64 z (*.f64 x y))))
(-.f64 (fma.f64 x y z) (+.f64 z (+.f64 (*.f64 x y) 1)))
(+.f64 -1 (-.f64 (-.f64 (fma.f64 x y z) (*.f64 x y)) z))

eval12.0ms (0.5%)

Compiler: Compiled 1239 to 468 computations (62.2% saved)

prune5.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	35	1	36
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	36	1	37

Error

Counts

37 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	-1

Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	-1

Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	-1

Compiler

Compiled 4 to 4 computations (0% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

1 → 1

Alt Table

Click to see full alt table

Status	Error	Program
	0b	-1

Compiler

Compiled 4 to 4 computations (0% saved)

regimes74.0ms (2.9%)

Accuracy

Total -46.6b remaining (-∞%)

Threshold costs -46.6b (-∞%)

Counts

3 → 1

Calls

Call 1

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

Outputs
-1

Calls

4 calls:

65.0ms	z
3.0ms	y
3.0ms	x
2.0ms	(-.f64 (fma.f64 x y z) (+.f64 1 (+.f64 (*.f64 x y) z)))

Results

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

Compiler

Compiled 55 to 32 computations (41.8% saved)

simplify1.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	1

Stop Event

1×	fuel
1×	saturated

Calls

Call 1

Inputs
-1

Outputs
-1

Compiler

Compiled 4 to 4 computations (0% saved)

soundness88.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

776×	`rational_best-simplify-111`
544×	`rational_best-simplify-126`
542×	`rational_best-simplify-124`
480×	`rational_best-simplify-113`
464×	`rational_best-simplify-96`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	33
1	49	33
2	211	33
3	1395	33

Stop Event

1×	node limit

Compiler

Compiled 27 to 13 computations (51.9% saved)

end11.0ms (0.4%)

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

Details

analyze230.0ms (9%)

sample1.9s (73.9%)

preprocess65.0ms (2.6%)

simplify42.0ms (1.6%)

eval1.0ms (0%)

prune1.0ms (0%)

localize12.0ms (0.5%)

series7.0ms (0.3%)

rewrite51.0ms (2%)

simplify63.0ms (2.5%)

eval12.0ms (0.5%)

prune5.0ms (0.2%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

eval0.0ms (0%)

prune1.0ms (0%)

regimes74.0ms (2.9%)

simplify1.0ms (0.1%)

soundness88.0ms (3.4%)

end11.0ms (0.4%)

Profiling