Metrics for simple fma test

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
100%	99.9%	0%	0.1%	0%	0%	0%	1

Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.4s (28.4%)

Memory

52.6MiB live, 1 418.2MiB allocated

Samples

972.0ms	6 054×	1	valid
105.0ms	2 202×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 623.0ms

ival-add: 194.0ms (31.1% of total)

ival-mult: 158.0ms (25.3% of total)

ival-sub: 135.0ms (21.7% of total)

adjust: 122.0ms (19.6% of total)

ival-true: 6.0ms (1% of total)

exact: 5.0ms (0.8% of total)

ival-assert: 3.0ms (0.5% of total)

Bogosity

explain383.0ms (7.7%)

Memory

-22.6MiB live, 260.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
186	1	(1.5658336178756642e-171 -1.5824380539515299e-298 293589.87662841234)	-	`(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))`
0	0	-	-	`(+.f64 (*.f64 x y) z)`
0	0	-	-	`(fma.f64 x y z)`
0	0	-	-	`#s(literal 1 binary64)`
0	0	-	-	`(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))`
0	0	-	-	`z`
0	0	-	-	`(*.f64 x y)`
0	0	-	-	`y`
0	0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))`	cancellation	142	0
`-.f64`	`(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))`	nan-rescue	45	0
↳	`(fma.f64 x y z)`	overflow	45
↳	`(+.f64 (*.f64 x y) z)`	overflow	45
↳	`(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))`	overflow	45
↳	`(*.f64 x y)`	overflow	45

Confusion

	Predicted +	Predicted -
+	186	0
-	1	69

Precision

0.9946524064171123

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	186	0	0
-	1	0	69

Precision?

0.9946524064171123

Recall?

1.0

Freqs

test

number	freq
0	69
1	187

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	1	0	0
-	0	0	0

Precision?

1.0

Recall?

1.0

Samples

245.0ms	372×	1	valid
8.0ms	140×	0	valid

Compiler

Compiled 93 to 29 computations (68.8% saved)

Precisions

Click to see histograms. Total time spent on operations: 230.0ms

ival-add: 204.0ms (88.6% of total)

ival-mult: 14.0ms (6.1% of total)

adjust: 8.0ms (3.5% of total)

ival-sub: 4.0ms (1.7% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

preprocess850.0ms (17%)

Memory

8.1MiB live, 493.3MiB allocated

Algorithm

1×	egg-herbie

Rules

23 408×	`lower-fma.f32`
23 406×	`lower-fma.f64`
4 272×	`lower-+.f32`
4 268×	`lower-+.f64`
3 446×	`associate--l+`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	34	138
1	119	117
2	389	9
3	1499	9
4	3070	9
5	3872	9
6	4575	9
7	5309	9
8	5959	9
9	6043	9
10	6043	9
11	6151	9
12	6238	9
13	6259	9
14	6271	9
15	6277	9
16	6277	9
0	9	11
0	15	11
1	28	11
2	71	1
3	233	1
4	544	1
5	1918	1
6	3446	1
7	4600	1
8	5183	1
9	5313	1
10	5345	1
11	5345	1
12	5613	1
13	5783	1
14	5859	1
15	5875	1
16	5875	1
17	5891	1
18	5891	1
19	6019	1
20	6765	1
0	8508	1

Stop Event

1×	iter limit
1×	node limit
1×	iter limit
1×	node limit

Calls

Call 1

Inputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Outputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
#s(literal -1 binary64)

Symmetry

(abs z)

(abs y)

(abs x)

(sort x y z)

Compiler

Compiled 15 to 9 computations (40% saved)

eval0.0ms (0%)

Memory: 0.5MiB live, 0.5MiB allocated
Compiler: Compiled 3 to 3 computations (0% saved)

prune1.0ms (0%)

Memory

2.2MiB live, 2.2MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	14.4%	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Compiler

Compiled 15 to 9 computations (40% saved)

simplify554.0ms (11.1%)

Memory

26.9MiB live, 524.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
cost-diff	0	(fma.f64 x y z)
cost-diff	128	(+.f64 (*.f64 x y) z)
cost-diff	1152	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Rules

23 408×	`lower-fma.f32`
23 406×	`lower-fma.f64`
4 272×	`lower-+.f32`
4 268×	`lower-+.f64`
2 278×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	32
0	15	32
1	28	32
2	71	22
3	233	22
4	544	22
5	1918	22
6	3446	22
7	4600	22
8	5183	22
9	5313	22
10	5345	22
11	5345	22
12	5613	22
13	5783	22
14	5859	22
15	5875	22
16	5875	22
17	5891	22
18	5891	22
19	6019	22
20	6765	22
0	8508	22

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Calls

Call 1

Inputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
(fma.f64 x y z)
x
y
z
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
#s(literal 1 binary64)
(+.f64 (*.f64 x y) z)
(*.f64 x y)

Outputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
#s(literal -1 binary64)
(fma.f64 x y z)
x
y
z
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
(+.f64 (fma.f64 x y z) #s(literal 1 binary64))
#s(literal 1 binary64)
(+.f64 (*.f64 x y) z)
(fma.f64 x y z)
(*.f64 x y)

localize39.0ms (0.8%)

Memory

-9.6MiB live, 76.5MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
accuracy	0	(*.f64 x y)
accuracy	0.00390625	(+.f64 (*.f64 x y) z)
accuracy	54.77420094480619	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Samples

28.0ms	228×	1	valid
1.0ms	28×	0	valid

Compiler

Compiled 39 to 10 computations (74.4% saved)

Precisions

Click to see histograms. Total time spent on operations: 18.0ms

ival-add: 8.0ms (45.5% of total)

adjust: 4.0ms (22.8% of total)

ival-mult: 3.0ms (17.1% of total)

ival-sub: 2.0ms (11.4% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

series107.0ms (2.1%)

Memory

-24.5MiB live, 14.1MiB allocated

Counts

5 → 168

Calls

Call 1

Inputs
#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())
#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())
#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())
#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())
#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())

Outputs
#s(alt -1 (taylor 0 x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) (patch (-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z))) #<representation binary64>) () ())) ())
#s(alt z (taylor 0 x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt z (taylor 0 y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt z (taylor inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt z (taylor -inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (+.f64 (.f64 x y) z) (patch (+.f64 (.f64 x y) z) #<representation binary64>) () ())) ())
#s(alt z (taylor 0 x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (/ z x))) (taylor inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ z x))))) (taylor -inf x) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt z (taylor 0 y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (/ z y))) (taylor inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ z y))))) (taylor -inf y) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ z (* x y)) (taylor 0 z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt z (taylor inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (/ (* x y) z))) (taylor inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt z (taylor -inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (* x y) z)) 1))) (taylor -inf z) (#s(alt (fma.f64 x y z) (patch (fma.f64 x y z) #<representation binary64>) () ())) ())
#s(alt (+ 1 z) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (+ (/ 1 x) (/ z x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (+ (/ 1 x) (/ z x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x (+ y (+ (/ 1 x) (/ z x)))) (taylor inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x))))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x))))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x))))) (taylor -inf x) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 z) (taylor 0 y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (+ (/ 1 y) (/ z y)))) (taylor inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (+ (/ 1 y) (/ z y)))) (taylor inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* y (+ x (+ (/ 1 y) (/ z y)))) (taylor inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y))))) (taylor -inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y))))) (taylor -inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y))))) (taylor -inf y) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (* x y)) (taylor 0 z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (+ 1 (+ z (* x y))) (taylor 0 z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt z (taylor inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z)))) (taylor inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z)))) (taylor inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* z (+ 1 (+ (/ 1 z) (/ (* x y) z)))) (taylor inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt z (taylor -inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1))) (taylor -inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1))) (taylor -inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1))) (taylor -inf z) (#s(alt (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) (patch (+.f64 #s(literal 1 binary64) (+.f64 (.f64 x y) z)) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf x) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor 0 y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())
#s(alt (* x y) (taylor -inf y) (#s(alt (.f64 x y) (patch (.f64 x y) #<representation binary64>) () ())) ())

Calls

42 calls:

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

simplify159.0ms (3.2%)

Memory

10.0MiB live, 239.9MiB allocated

Algorithm

1×	egg-herbie

Rules

5 866×	`lower-fma.f64`
5 866×	`lower-fma.f32`
2 620×	`lower-*.f64`
2 620×	`lower-*.f32`
1 204×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	630
1	204	630
2	610	630
3	1487	630
4	3776	630
5	5497	630
6	6816	630
7	7550	630
0	8021	548

Stop Event

1×	iter limit
1×	node limit

Counts

168 → 158

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
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* x y)
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
z
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x (+ y (/ z x)))
(* x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
z
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
(* x y)
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* y (+ x (/ z y)))
(* x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(* x y)
(+ z (* x y))
(+ z (* x y))
(+ z (* x y))
z
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
(* z (+ 1 (/ (* x y) z)))
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(+ 1 z)
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(* x y)
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x (+ y (+ (/ 1 x) (/ z x))))
(* x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(+ 1 z)
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(* x y)
(* y (+ x (+ (/ 1 y) (/ z y))))
(* y (+ x (+ (/ 1 y) (/ z y))))
(* y (+ x (+ (/ 1 y) (/ z y))))
(* x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(+ 1 (* x y))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
(+ 1 (+ z (* x y)))
z
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
z
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)
(* x y)

Outputs
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
z
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
z
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
z
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
z
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x (+ y (/ z x)))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
(* -1 (* x (+ (* -1 y) (* -1 (/ z x)))))
(fma.f64 x y z)
z
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* y (+ x (/ z y)))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* -1 (* y (+ (* -1 x) (* -1 (/ z y)))))
(fma.f64 x y z)
(* x y)
(*.f64 x y)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
(+ z (* x y))
(fma.f64 x y z)
z
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
(* z (+ 1 (/ (* x y) z)))
(fma.f64 x y z)
z
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(* -1 (* z (- (* -1 (/ (* x y) z)) 1)))
(fma.f64 x y z)
(+ 1 z)
(+.f64 z #s(literal 1 binary64))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* x (+ y (+ (/ 1 x) (/ z x))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x (+ y (+ (/ 1 x) (/ z x))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x (+ y (+ (/ 1 x) (/ z x))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* x (+ (* -1 y) (* -1 (/ (+ 1 z) x)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 z)
(+.f64 z #s(literal 1 binary64))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* y (+ x (+ (/ 1 y) (/ z y))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* y (+ x (+ (/ 1 y) (/ z y))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* y (+ x (+ (/ 1 y) (/ z y))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* y (+ (* -1 x) (* -1 (/ (+ 1 z) y)))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (* x y))
(fma.f64 x y #s(literal 1 binary64))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+ 1 (+ z (* x y)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
z
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* z (+ 1 (+ (/ 1 z) (/ (* x y) z))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
z
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* -1 (* z (- (* -1 (/ (+ 1 (* x y)) z)) 1)))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)
(* x y)
(*.f64 x y)

rewrite276.0ms (5.5%)

Memory

-4.9MiB live, 357.7MiB allocated

Rules

4 312×	`lower-fma.f32`
4 310×	`lower-fma.f64`
4 202×	`lower-*.f32`
4 200×	`lower-*.f64`
3 672×	`lower-/.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	9	28
0	15	28
1	63	28
2	628	18
0	8466	18

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

5 → 148

Calls

Call 1

Inputs
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
(+.f64 (*.f64 x y) z)
(fma.f64 x y z)
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
(*.f64 x y)

Outputs
#s(literal -1 binary64)
(+.f64 z (*.f64 x y))
(+.f64 (*.f64 x y) z)
(+.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (neg.f64 (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z)))))
(-.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z))))
(-.f64 (/.f64 (.f64 z z) (-.f64 z (.f64 x y))) (/.f64 (.f64 x (.f64 y (.f64 x y))) (-.f64 z (.f64 x y))))
(fma.f64 x y z)
(fma.f64 y x z)
(fma.f64 z #s(literal 1 binary64) (*.f64 x y))
(fma.f64 #s(literal 1 binary64) z (*.f64 x y))
(fma.f64 #s(literal 1 binary64) (*.f64 x y) z)
(fma.f64 (*.f64 x y) #s(literal 1 binary64) z)
(fma.f64 (.f64 x (.f64 y (.f64 x y))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 z))) (neg.f64 (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x y z)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 x y)))) (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (*.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 z (.f64 x y)) (-.f64 (.f64 z z) (.f64 x (.f64 y (*.f64 x y))))))
(/.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (.f64 x y)))))
(/.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (*.f64 x y)))))
(/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (fma.f64 x y (neg.f64 z)))
(/.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z)))) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (.f64 x y))))))
(/.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z)))) (neg.f64 (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (*.f64 x y))))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (neg.f64 (fma.f64 x y (neg.f64 z))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (-.f64 (.f64 z z) (.f64 x (.f64 y (.f64 x y)))) (-.f64 z (*.f64 x y)))
(/.f64 (-.f64 (.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (.f64 (fma.f64 x y (neg.f64 z)) (.f64 z z))) (*.f64 (fma.f64 x y (neg.f64 z)) (fma.f64 x y (neg.f64 z))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))))) (neg.f64 (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (.f64 x y)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))))) (neg.f64 (neg.f64 (fma.f64 x y (neg.f64 z)))))
(/.f64 (neg.f64 (-.f64 (.f64 z z) (.f64 x (.f64 y (.f64 x y))))) (neg.f64 (-.f64 z (*.f64 x y))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (fma.f64 (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z))) (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z))) (.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z)))))))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal -1 binary64))
(*.f64 (fma.f64 x y z) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 x y z))
(.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (*.f64 x y))))))
(.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 x y))))))
(.f64 (.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 z))))
(.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (*.f64 x y)))))))
(.f64 (neg.f64 (.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x y (neg.f64 z)))))
(.f64 (-.f64 (.f64 z z) (.f64 x (.f64 y (.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 z (.f64 x y))))
(+.f64 z (*.f64 x y))
(+.f64 (*.f64 x y) z)
(+.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (neg.f64 (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z)))))
(-.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z))))
(-.f64 (/.f64 (.f64 z z) (-.f64 z (.f64 x y))) (/.f64 (.f64 x (.f64 y (.f64 x y))) (-.f64 z (.f64 x y))))
(fma.f64 x y z)
(fma.f64 y x z)
(fma.f64 z #s(literal 1 binary64) (*.f64 x y))
(fma.f64 #s(literal 1 binary64) z (*.f64 x y))
(fma.f64 #s(literal 1 binary64) (*.f64 x y) z)
(fma.f64 (*.f64 x y) #s(literal 1 binary64) z)
(fma.f64 (.f64 x (.f64 y (.f64 x y))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 z))) (neg.f64 (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z)))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (fma.f64 x y z)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 x y)))) (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (*.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 z (.f64 x y)) (-.f64 (.f64 z z) (.f64 x (.f64 y (*.f64 x y))))))
(/.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (.f64 x y)))))
(/.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (*.f64 x y)))))
(/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (fma.f64 x y (neg.f64 z)))
(/.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z)))) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (.f64 x y))))))
(/.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z)))) (neg.f64 (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (*.f64 x y))))))
(/.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (neg.f64 (fma.f64 x y (neg.f64 z))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (-.f64 (.f64 z z) (.f64 x (.f64 y (.f64 x y)))) (-.f64 z (*.f64 x y)))
(/.f64 (-.f64 (.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (.f64 (fma.f64 x y (neg.f64 z)) (.f64 z z))) (*.f64 (fma.f64 x y (neg.f64 z)) (fma.f64 x y (neg.f64 z))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))))) (neg.f64 (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (.f64 x y)))))))
(/.f64 (neg.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))))) (neg.f64 (neg.f64 (fma.f64 x y (neg.f64 z)))))
(/.f64 (neg.f64 (-.f64 (.f64 z z) (.f64 x (.f64 y (.f64 x y))))) (neg.f64 (-.f64 z (*.f64 x y))))
(/.f64 (-.f64 (pow.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z))) #s(literal 3 binary64))) (fma.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (fma.f64 (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z))) (/.f64 (.f64 z z) (fma.f64 x y (neg.f64 z))) (.f64 (/.f64 (.f64 x (.f64 y (.f64 x y))) (fma.f64 x y (neg.f64 z))) (/.f64 (*.f64 z z) (fma.f64 x y (neg.f64 z)))))))
(pow.f64 (/.f64 #s(literal 1 binary64) (fma.f64 x y z)) #s(literal -1 binary64))
(*.f64 (fma.f64 x y z) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 x y z))
(.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (*.f64 x y))))))
(.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 x y))))))
(.f64 (.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 z))))
(.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (*.f64 x y)))))))
(.f64 (neg.f64 (.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x y (neg.f64 z)))))
(.f64 (-.f64 (.f64 z z) (.f64 x (.f64 y (.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 z (.f64 x y))))
(+.f64 z (fma.f64 x y #s(literal 1 binary64)))
(+.f64 (fma.f64 x y z) #s(literal 1 binary64))
(+.f64 #s(literal 1 binary64) (fma.f64 x y z))
(+.f64 (*.f64 x y) (+.f64 z #s(literal 1 binary64)))
(+.f64 (fma.f64 x y #s(literal 1 binary64)) z)
(+.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (neg.f64 (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(+.f64 (+.f64 #s(literal 1 binary64) z) (*.f64 x y))
(-.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(-.f64 (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (+.f64 z (fma.f64 x y #s(literal -1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal -1 binary64)))))
(-.f64 (/.f64 (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (-.f64 (fma.f64 x y #s(literal 1 binary64)) z)) (/.f64 (.f64 z z) (-.f64 (fma.f64 x y #s(literal 1 binary64)) z)))
(fma.f64 x y (+.f64 z #s(literal 1 binary64)))
(fma.f64 y x (+.f64 z #s(literal 1 binary64)))
(fma.f64 z #s(literal 1 binary64) (fma.f64 x y #s(literal 1 binary64)))
(fma.f64 (fma.f64 x y z) #s(literal 1 binary64) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) z (fma.f64 x y #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 x y z) #s(literal 1 binary64))
(fma.f64 #s(literal 1 binary64) (*.f64 x y) (+.f64 z #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (neg.f64 (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(fma.f64 (*.f64 x y) #s(literal 1 binary64) (+.f64 z #s(literal 1 binary64)))
(fma.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (.f64 x y))))) #s(literal 1 binary64))
(fma.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 z z (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 z (*.f64 x y))))) #s(literal 1 binary64))
(fma.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z))) (/.f64 #s(literal 1 binary64) (fma.f64 x y (neg.f64 z))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (.f64 z (.f64 z z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 z (-.f64 z (.f64 x y)) (.f64 x (.f64 y (.f64 x y)))))) #s(literal 1 binary64))
(fma.f64 (neg.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y (neg.f64 z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 x y (neg.f64 z)))) #s(literal 1 binary64))
(fma.f64 (+.f64 #s(literal 1 binary64) (.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 x (.f64 y (.f64 x y))) (*.f64 x y)))) z)
(fma.f64 (-.f64 (.f64 z z) (.f64 x (.f64 y (.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 z (*.f64 x y))) #s(literal 1 binary64))
(fma.f64 (-.f64 #s(literal 1 binary64) (.f64 x (.f64 y (.f64 x y)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (.f64 x y))) z)
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64)))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)) (-.f64 (.f64 z z) (.f64 (fma.f64 x y #s(literal 1 binary64)) z))) (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (.f64 z (*.f64 z z)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 z (fma.f64 x y #s(literal -1 binary64))) (fma.f64 (fma.f64 x y z) (fma.f64 x y z) #s(literal -1 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 (fma.f64 x y #s(literal 1 binary64)) z) (-.f64 (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (.f64 z z))))
(/.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)) (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64)))
(/.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)) (fma.f64 (fma.f64 x y z) (fma.f64 x y z) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x y z) (fma.f64 x y z))) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))
(/.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64))))
(/.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64))) (neg.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x y z) (fma.f64 x y z)))) (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (.f64 z (.f64 z z))) (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)) (-.f64 (.f64 z z) (*.f64 (fma.f64 x y #s(literal 1 binary64)) z))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64))))))
(/.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) #s(literal -1 binary64)) (+.f64 z (fma.f64 x y #s(literal -1 binary64))))
(/.f64 (-.f64 (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (.f64 z z)) (-.f64 (fma.f64 x y #s(literal 1 binary64)) z))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z)) (.f64 (fma.f64 x y z) (fma.f64 x y z)))) (.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(/.f64 (neg.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (*.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)))) (neg.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (fma.f64 x y z) (fma.f64 x y z))))) (neg.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(/.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) #s(literal -1 binary64))) (neg.f64 (+.f64 z (fma.f64 x y #s(literal -1 binary64)))))
(/.f64 (neg.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (.f64 z (.f64 z z)))) (neg.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)) (-.f64 (.f64 z z) (*.f64 (fma.f64 x y #s(literal 1 binary64)) z)))))
(/.f64 (neg.f64 (-.f64 (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (.f64 z z))) (neg.f64 (-.f64 (fma.f64 x y #s(literal 1 binary64)) z)))
(/.f64 (fma.f64 z (.f64 z z) (.f64 (fma.f64 x y #s(literal 1 binary64)) (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))))) (fma.f64 z z (-.f64 (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z (fma.f64 x y #s(literal 1 binary64))))))
(/.f64 (fma.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))) (pow.f64 (+.f64 z #s(literal 1 binary64)) #s(literal 3 binary64))) (fma.f64 x (.f64 y (.f64 x y)) (-.f64 (.f64 (+.f64 z #s(literal 1 binary64)) (+.f64 z #s(literal 1 binary64))) (.f64 (*.f64 x y) (+.f64 z #s(literal 1 binary64))))))
(/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) z) #s(literal 3 binary64)) (.f64 (.f64 x y) (.f64 x (.f64 y (.f64 x y))))) (fma.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 #s(literal 1 binary64) z) (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 (+.f64 #s(literal 1 binary64) z) (.f64 x y)))))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) #s(literal 3 binary64)) (pow.f64 (/.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) #s(literal 3 binary64))) (fma.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (fma.f64 (/.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (/.f64 (.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))) (/.f64 (*.f64 (fma.f64 x y z) (fma.f64 x y z)) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))))
(/.f64 (-.f64 (.f64 z z) (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)))) (-.f64 z (fma.f64 x y #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 x (.f64 y (.f64 x y))) (.f64 (+.f64 z #s(literal 1 binary64)) (+.f64 z #s(literal 1 binary64)))) (-.f64 (*.f64 x y) (+.f64 z #s(literal 1 binary64))))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) z) (+.f64 #s(literal 1 binary64) z)) (.f64 x (.f64 y (.f64 x y)))) (-.f64 (+.f64 #s(literal 1 binary64) z) (*.f64 x y)))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64)))) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal 1 binary64))))
(*.f64 (+.f64 z (fma.f64 x y #s(literal 1 binary64))) #s(literal 1 binary64))
(.f64 (fma.f64 (fma.f64 x y z) (.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64))))
(.f64 (fma.f64 (fma.f64 x y z) (.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y z) (fma.f64 x y z) (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 (fma.f64 x y z) (fma.f64 x y z))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 1 binary64) (fma.f64 x y z))))
(.f64 (neg.f64 (fma.f64 (fma.f64 x y z) (.f64 (fma.f64 x y z) (fma.f64 x y z)) #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (neg.f64 (fma.f64 (fma.f64 x y z) (+.f64 z (fma.f64 x y #s(literal -1 binary64))) #s(literal 1 binary64)))))
(.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (.f64 (fma.f64 x y z) (fma.f64 x y z)))) (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 #s(literal 1 binary64) (fma.f64 x y z)))))
(.f64 (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (.f64 z (.f64 z z))) (/.f64 #s(literal 1 binary64) (fma.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64)) (-.f64 (.f64 z z) (.f64 (fma.f64 x y #s(literal 1 binary64)) z)))))
(*.f64 (fma.f64 (fma.f64 x y z) (fma.f64 x y z) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 z (fma.f64 x y #s(literal -1 binary64)))))
(.f64 (-.f64 (.f64 (fma.f64 x y #s(literal 1 binary64)) (fma.f64 x y #s(literal 1 binary64))) (*.f64 z z)) (/.f64 #s(literal 1 binary64) (-.f64 (fma.f64 x y #s(literal 1 binary64)) z)))
(*.f64 x y)
(*.f64 y x)
(.f64 #s(literal 1 binary64) (.f64 x y))
(.f64 (.f64 x y) #s(literal 1 binary64))

eval38.0ms (0.8%)

Memory: 34.8MiB live, 104.5MiB allocated
Compiler: Compiled 5 628 to 454 computations (91.9% saved)

prune31.0ms (0.6%)

Memory

1.9MiB live, 83.5MiB allocated

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	305	1	306
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	306	1	307

Accuracy

100.0%

Counts

307 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Compiler

Compiled 5 to 4 computations (20% saved)

simplify591.0ms (11.8%)

Memory

-9.8MiB live, 431.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
cost-diff	0	#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Rules

23 408×	`lower-fma.f64`
23 408×	`lower-fma.f32`
4 272×	`lower-+.f64`
4 272×	`lower-+.f32`
2 274×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	16
0	10	28
1	23	28
2	65	4
3	228	4
4	536	4
5	1948	4
6	3453	4
7	4597	4
8	5166	4
9	5296	4
10	5328	4
11	5328	4
12	5596	4
13	5763	4
14	5839	4
15	5855	4
16	5855	4
17	5871	4
18	5871	4
19	5999	4
20	6764	4
0	8507	4

Stop Event

1×	iter limit
1×	node limit
1×	saturated

Calls

Call 1

Inputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))
#s(literal -1 binary64)

Outputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))
#s(literal -1 binary64)

localize33.0ms (0.7%)

Memory

-14.5MiB live, 79.2MiB allocated

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
accuracy	0	#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Samples

25.0ms	228×	1	valid
1.0ms	28×	0	valid

Compiler

Compiled 16 to 11 computations (31.3% saved)

Precisions

Click to see histograms. Total time spent on operations: 18.0ms

adjust: 8.0ms (45.3% of total)

ival-add: 4.0ms (22.6% of total)

ival-mult: 3.0ms (17% of total)

ival-sub: 2.0ms (11.3% of total)

ival-assert: 0.0ms (0% of total)

ival-true: 0.0ms (0% of total)

exact: 0.0ms (0% of total)

series1.0ms (0%)

Memory

3.1MiB live, 3.1MiB allocated

Counts

1 → 36

Calls

Call 1

Inputs
#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())

Outputs
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf x) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf y) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor 0 z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())
#s(alt -1 (taylor -inf z) (#s(alt #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) (patch #s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64)) #<representation binary64>) () ())) ())

Calls

9 calls:

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

simplify3.0ms (0.1%)

Memory

7.1MiB live, 7.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	36
0	1	36

Stop Event

1×	saturated
1×	saturated

Counts

36 → 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

Outputs
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)
-1
#s(literal -1 binary64)

rewrite240.0ms (4.8%)

Memory

9.7MiB live, 429.2MiB allocated

Rules

4 312×	`lower-fma.f64`
4 312×	`lower-fma.f32`
4 202×	`lower-*.f64`
4 202×	`lower-*.f32`
3 672×	`lower-/.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	15
0	10	15
1	58	15
2	622	3
0	8467	3

Stop Event

1×	iter limit
1×	node limit
1×	saturated

Counts

1 → 1

Calls

Call 1

Inputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Outputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

eval3.0ms (0.1%)

Memory: 6.5MiB live, 6.5MiB allocated
Compiler: Compiled 77 to 4 computations (94.8% saved)

prune1.0ms (0%)

Memory

2.9MiB live, 2.9MiB allocated

Pruning

1 alts after pruning (0 fresh and 1 done)

	Pruned	Kept	Total
New	37	0	37
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	37	1	38

Accuracy

100.0%

Counts

38 → 1

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Compiler

Compiled 22 to 14 computations (36.4% saved)

regimes7.0ms (0.1%)

Memory

-23.1MiB live, 15.7MiB allocated

Accuracy

Total -54.8b remaining (-∞%)

Threshold costs -54.8b (-∞%)

Counts

2 → 1

Calls

Call 1

Inputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))
(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Outputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Calls

4 calls:

2.0ms	x
1.0ms	y
1.0ms	z
1.0ms	(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))`

Compiler

Compiled 27 to 18 computations (33.3% saved)

simplify6.0ms (0.1%)

Memory

29.3MiB live, 29.3MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`1-exp_binary64`
2×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	15
1	13	15

Stop Event

1×

saturated

Calls

Call 1

Inputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

Outputs
#s(approx (- (+ (* x y) z) (+ 1 (+ (* x y) z))) #s(literal -1 binary64))

soundness218.0ms (4.4%)

Memory

-17.1MiB live, 99.5MiB allocated

Rules

5 866×	`lower-fma.f64`
5 866×	`lower-fma.f32`
2 620×	`lower-*.f64`
2 620×	`lower-*.f32`
1 204×	`sub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	60	630
1	204	630
2	610	630
3	1487	630
4	3776	630
5	5497	630
6	6816	630
7	7550	630
0	8021	548

Stop Event

1×	done
1×	iter limit
1×	node limit

Compiler

Compiled 9 to 8 computations (11.1% saved)

preprocess37.0ms (0.7%)

Memory

4.4MiB live, 117.6MiB allocated

Remove

(sort x y z)

(abs x)

(abs y)

(abs z)

Compiler

Compiled 88 to 66 computations (25% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze0.0ms (0%)

sample1.4s (28.4%)

explain383.0ms (7.7%)

preprocess850.0ms (17%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify554.0ms (11.1%)

localize39.0ms (0.8%)

series107.0ms (2.1%)

simplify159.0ms (3.2%)

rewrite276.0ms (5.5%)

eval38.0ms (0.8%)

prune31.0ms (0.6%)

simplify591.0ms (11.8%)

localize33.0ms (0.7%)

series1.0ms (0%)

simplify3.0ms (0.1%)

rewrite240.0ms (4.8%)

eval3.0ms (0.1%)

prune1.0ms (0%)

regimes7.0ms (0.1%)

simplify6.0ms (0.1%)

soundness218.0ms (4.4%)

preprocess37.0ms (0.7%)

end0.0ms (0%)

Profiling