Metrics for Diagrams.ThreeD.Shapes:frustum from diagrams-lib-1.3.0.3, B

analyze0.0ms (0%)

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 11 to 7 computations (36.4% saved)

Precisions

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

Operation ival-sub, time spent: 0.0ms, 0.0% of total-time

Operation ival-add, time spent: 0.0ms, 0.0% of total-time

Operation ival-mult, time spent: 0.0ms, 0.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.0s (29.3%)

Results

720.0ms	6508×	256	valid
260.0ms	1747×	256	infinite
0.0ms	1×	256	valid

Precisions

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

Operation ival-mult, time spent: 81.0ms, 40.0% of total-time

Operation ival-sub, time spent: 63.0ms, 31.0% of total-time

Operation ival-add, time spent: 48.0ms, 24.0% of total-time

Operation const, time spent: 9.0ms, 4.0% of total-time

Bogosity

preprocess395.0ms (11.3%)

Algorithm

1×	egg-herbie

Rules

2350×	`fma-neg`
632×	`fma-define`
482×	`distribute-rgt-in`
368×	`unsub-neg`
340×	`distribute-lft-in`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(-.f64 y x)`
-	-	`(+.f64 x (*.f64 (-.f64 y x) z))`
-	-	`(*.f64 (-.f64 y x) z)`
-	-	`y`
-	-	`z`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	36	377
1	78	321
2	237	317
3	843	317
4	1876	317
5	3201	317
6	3496	317
7	3528	317
8	3528	317
9	4163	317
10	4163	317

Stop Event

1×

saturated

Calls

Call 1

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

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

Compiler

Compiled 64 to 26 computations (59.4% saved)

Precisions

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

Operation ival-sub, time spent: 6.0ms, 43.0% of total-time

Operation ival-mult, time spent: 4.0ms, 29.0% of total-time

Operation ival-add, time spent: 3.0ms, 21.0% of total-time

Operation const, time spent: 1.0ms, 7.0% of total-time

eval50.0ms (1.4%)

Compiler: Compiled 9 to 5 computations (44.4% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(fma.f64 (-.f64 y x) z x)
▶	100.0%	(+.f64 x (*.f64 (-.f64 y x) z))

Compiler

Compiled 19 to 11 computations (42.1% saved)

localize43.0ms (1.2%)

Localize:

Found 2 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 (-.f64 y x) z)
✓	100.0%	(+.f64 x (*.f64 (-.f64 y x) z))

Compiler

Compiled 34 to 8 computations (76.5% saved)

Precisions

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

Operation composed, time spent: 4.0ms, 32.0% of total-time

Operation ival-mult, time spent: 4.0ms, 32.0% of total-time

Operation ival-add, time spent: 3.0ms, 24.0% of total-time

Operation ival-sub, time spent: 2.0ms, 16.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

series8.0ms (0.2%)

Counts

2 → 72

Calls

Call 1

Inputs
#<alt (+.f64 x (*.f64 (-.f64 y x) z))>
#<alt (*.f64 (-.f64 y x) z)>

Outputs
#<alt (*.f64 y z)>
#<alt (+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))>
#<alt (+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))>
#<alt (+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))>
#<alt (.f64 x (+.f64 1 (.f64 -1 z)))>
#<alt (.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))>
#<alt (.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))>
#<alt (.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))>
#<alt (.f64 -1 (.f64 x (-.f64 z 1)))>
#<alt (.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))>
#<alt (.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))>
#<alt (.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))>
#<alt (+.f64 x (.f64 -1 (.f64 x z)))>
#<alt (+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))>
#<alt (+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))>
#<alt (+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))>
#<alt (*.f64 y z)>
#<alt (.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))>
#<alt (.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))>
#<alt (.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))>
#<alt (*.f64 y z)>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))>
#<alt x>
#<alt (+.f64 x (*.f64 z (-.f64 y x)))>
#<alt (+.f64 x (*.f64 z (-.f64 y x)))>
#<alt (+.f64 x (*.f64 z (-.f64 y x)))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))>
#<alt (*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))>
#<alt (*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))>
#<alt (.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))>
#<alt (.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))>
#<alt (.f64 -1 (.f64 x z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (*.f64 y z)>
#<alt (.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))>
#<alt (.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))>
#<alt (.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))>
#<alt (*.f64 y z)>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))>
#<alt (*.f64 y z)>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (.f64 -1 (.f64 x z))>
#<alt (.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))>
#<alt (.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))>
#<alt (.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))>
#<alt (.f64 -1 (.f64 x z))>
#<alt (.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))>
#<alt (.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))>
#<alt (.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>
#<alt (*.f64 z (-.f64 y x))>

Calls

18 calls:

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

rewrite307.0ms (8.8%)

Algorithm

1×	batch-egg-rewrite

Rules

1304×	`unpow-prod-down`
806×	`log1p-expm1-u`
806×	`expm1-log1p-u`
734×	`log-prod`
726×	`fma-define`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	53
1	146	49
2	2133	49

Stop Event

1×	node limit

Counts

2 → 104

Calls

Call 1

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

Outputs
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (-.f64 y x) z x))) 1)
(-.f64 (/.f64 (pow.f64 x 2) (-.f64 x (.f64 (-.f64 y x) z))) (/.f64 (pow.f64 (.f64 (-.f64 y x) z) 2) (-.f64 x (*.f64 (-.f64 y x) z))))
(*.f64 (fma.f64 (-.f64 y x) z x) 1)
(*.f64 (fma.f64 (-.f64 y x) z x) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 (-.f64 y x) z x))
(*.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2))
(*.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) (pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) 1/3))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2) (cbrt.f64 (fma.f64 (-.f64 y x) z x)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(*.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) (sqrt.f64 (fma.f64 (-.f64 y x) z x)))
(.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))) 1))
(.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (/.f64 1 (-.f64 x (*.f64 (-.f64 y x) z))))
(.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (pow.f64 (/.f64 1 (-.f64 x (*.f64 (-.f64 y x) z))) 1))
(*.f64 (pow.f64 1 1/3) (fma.f64 (-.f64 y x) z x))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) 1/3) (cbrt.f64 (fma.f64 (-.f64 y x) z x)))
(.f64 (pow.f64 (.f64 (fma.f64 (-.f64 y x) z x) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3) (pow.f64 (*.f64 (fma.f64 (-.f64 y x) z x) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 1/3) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3) (pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(/.f64 1 (/.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))))
(/.f64 1 (/.f64 (-.f64 x (.f64 (-.f64 y x) z)) (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))))
(/.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 2) (-.f64 (pow.f64 x 2) (.f64 (.f64 x z) (-.f64 y x)))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (-.f64 x (.f64 (-.f64 y x) z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))) (neg.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))) (neg.f64 (-.f64 x (.f64 (-.f64 y x) z))))
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 y x) z) 2) (pow.f64 x 2)) (fma.f64 (-.f64 y x) z (neg.f64 x)))
(pow.f64 (fma.f64 (-.f64 y x) z x) 1)
(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 3)
(pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))) -1)
(pow.f64 (/.f64 (-.f64 x (.f64 (-.f64 y x) z)) (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))) -1)
(sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2))
(log.f64 (exp.f64 (fma.f64 (-.f64 y x) z x)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (-.f64 y x) z x))))
(log.f64 (.f64 (exp.f64 x) (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (pow.f64 (exp.f64 (-.f64 y x)) z)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 x)) (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 (-.f64 y x)) z) (+.f64 1 (expm1.f64 x))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z))) (exp.f64 x)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z))) (+.f64 1 (expm1.f64 x))))
(cbrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3))
(expm1.f64 (log1p.f64 (fma.f64 (-.f64 y x) z x)))
(log1p.f64 (expm1.f64 (fma.f64 (-.f64 y x) z x)))
(exp.f64 (log.f64 (fma.f64 (-.f64 y x) z x)))
(exp.f64 (*.f64 (log.f64 (fma.f64 (-.f64 y x) z x)) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(fma.f64 x 1 (*.f64 (-.f64 y x) z))
(fma.f64 (-.f64 y x) z x)
(fma.f64 z (-.f64 y x) x)
(fma.f64 (*.f64 (-.f64 y x) z) 1 x)
(fma.f64 1 x (*.f64 (-.f64 y x) z))
(fma.f64 1 (*.f64 (-.f64 y x) z) x)
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 y x)) 2) (*.f64 (cbrt.f64 (-.f64 y x)) z) x)
(fma.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) (pow.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) 2) x)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) 2) (cbrt.f64 (.f64 (-.f64 y x) z)) x)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (*.f64 (cbrt.f64 z) (-.f64 y x)) x)
(fma.f64 (sqrt.f64 (-.f64 y x)) (*.f64 (sqrt.f64 (-.f64 y x)) z) x)
(fma.f64 (sqrt.f64 (.f64 (-.f64 y x) z)) (sqrt.f64 (.f64 (-.f64 y x) z)) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 y x)) x)
(fma.f64 (*.f64 (-.f64 y x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) x)
(fma.f64 (*.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z) x)
(fma.f64 (*.f64 z (pow.f64 (cbrt.f64 (-.f64 y x)) 2)) (cbrt.f64 (-.f64 y x)) x)
(fma.f64 (*.f64 z (sqrt.f64 (-.f64 y x))) (sqrt.f64 (-.f64 y x)) x)
(+.f64 0 (*.f64 (-.f64 y x) z))
(+.f64 (.f64 z y) (.f64 z (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 (neg.f64 x) z))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z)) (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (-.f64 y x) z))) 1)
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 x (+.f64 x y) (pow.f64 y 2)))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 x y))
(/.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 x (+.f64 x y) (pow.f64 y 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (+.f64 x y))
(pow.f64 (*.f64 (-.f64 y x) z) 1)
(pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) z)) 3)
(pow.f64 (pow.f64 (*.f64 (-.f64 y x) z) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (-.f64 y x) z)) 2)
(sqrt.f64 (pow.f64 (*.f64 (-.f64 y x) z) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 y x) z))))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 y x) z) 3))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 y x) z)))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 y x) z)))
(exp.f64 (log.f64 (*.f64 (-.f64 y x) z)))
(exp.f64 (.f64 (log.f64 (.f64 (-.f64 y x) z)) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (-.f64 y x) z))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (-.f64 y x) z))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (-.f64 y x) z))) 2))
(fma.f64 y z (*.f64 (neg.f64 x) z))
(fma.f64 z y (*.f64 z (neg.f64 x)))

simplify211.0ms (6%)

Algorithm

1×	egg-herbie

Rules

1746×	`fma-define`
750×	`div-sub`
594×	`*-commutative`
540×	`exp-prod`
454×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	311	7182
1	707	6378
2	2107	6170
3	6862	6134

Stop Event

1×	node limit

Counts

176 → 159

Calls

Call 1

Inputs
(*.f64 y z)
(+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))
(+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))
(+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))
(.f64 x (+.f64 1 (.f64 -1 z)))
(.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))
(.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))
(.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))
(.f64 -1 (.f64 x (-.f64 z 1)))
(.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))
(.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))
(.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))
(+.f64 x (.f64 -1 (.f64 x z)))
(+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))
(+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))
(+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))
(*.f64 y z)
(.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))
(.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))
(.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))
(*.f64 y z)
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))
x
(+.f64 x (*.f64 z (-.f64 y x)))
(+.f64 x (*.f64 z (-.f64 y x)))
(+.f64 x (*.f64 z (-.f64 y x)))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))
(.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))
(.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))
(.f64 -1 (.f64 x z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 y z)
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(*.f64 y z)
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(*.f64 y z)
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(.f64 -1 (.f64 x z))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 -1 (.f64 x z))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (-.f64 y x) z x))) 1)
(-.f64 (/.f64 (pow.f64 x 2) (-.f64 x (.f64 (-.f64 y x) z))) (/.f64 (pow.f64 (.f64 (-.f64 y x) z) 2) (-.f64 x (*.f64 (-.f64 y x) z))))
(*.f64 (fma.f64 (-.f64 y x) z x) 1)
(*.f64 (fma.f64 (-.f64 y x) z x) (log.f64 (exp.f64 1)))
(*.f64 1 (fma.f64 (-.f64 y x) z x))
(*.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2))
(*.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) (pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) 1/3))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2) (cbrt.f64 (fma.f64 (-.f64 y x) z x)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(*.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) (sqrt.f64 (fma.f64 (-.f64 y x) z x)))
(.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))) 1))
(.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (/.f64 1 (-.f64 x (*.f64 (-.f64 y x) z))))
(.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (pow.f64 (/.f64 1 (-.f64 x (*.f64 (-.f64 y x) z))) 1))
(*.f64 (pow.f64 1 1/3) (fma.f64 (-.f64 y x) z x))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(*.f64 (pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) 1/3) (cbrt.f64 (fma.f64 (-.f64 y x) z x)))
(.f64 (pow.f64 (.f64 (fma.f64 (-.f64 y x) z x) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3) (pow.f64 (*.f64 (fma.f64 (-.f64 y x) z x) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 1/3) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 1/3))
(.f64 (pow.f64 (.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3) (pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(/.f64 1 (/.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))))
(/.f64 1 (/.f64 (-.f64 x (.f64 (-.f64 y x) z)) (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))))
(/.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 2) (-.f64 (pow.f64 x 2) (.f64 (.f64 x z) (-.f64 y x)))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (-.f64 x (.f64 (-.f64 y x) z)))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))) (neg.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))) (neg.f64 (-.f64 x (.f64 (-.f64 y x) z))))
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 y x) z) 2) (pow.f64 x 2)) (fma.f64 (-.f64 y x) z (neg.f64 x)))
(pow.f64 (fma.f64 (-.f64 y x) z x) 1)
(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 3)
(pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3) 1/3)
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) 2)
(pow.f64 (/.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))) -1)
(pow.f64 (/.f64 (-.f64 x (.f64 (-.f64 y x) z)) (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))) -1)
(sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2))
(log.f64 (exp.f64 (fma.f64 (-.f64 y x) z x)))
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (-.f64 y x) z x))))
(log.f64 (.f64 (exp.f64 x) (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (pow.f64 (exp.f64 (-.f64 y x)) z)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 x)) (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z)))))
(log.f64 (*.f64 (pow.f64 (exp.f64 (-.f64 y x)) z) (+.f64 1 (expm1.f64 x))))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z))) (exp.f64 x)))
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z))) (+.f64 1 (expm1.f64 x))))
(cbrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3))
(expm1.f64 (log1p.f64 (fma.f64 (-.f64 y x) z x)))
(log1p.f64 (expm1.f64 (fma.f64 (-.f64 y x) z x)))
(exp.f64 (log.f64 (fma.f64 (-.f64 y x) z x)))
(exp.f64 (*.f64 (log.f64 (fma.f64 (-.f64 y x) z x)) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(fma.f64 x 1 (*.f64 (-.f64 y x) z))
(fma.f64 (-.f64 y x) z x)
(fma.f64 z (-.f64 y x) x)
(fma.f64 (*.f64 (-.f64 y x) z) 1 x)
(fma.f64 1 x (*.f64 (-.f64 y x) z))
(fma.f64 1 (*.f64 (-.f64 y x) z) x)
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 y x)) 2) (*.f64 (cbrt.f64 (-.f64 y x)) z) x)
(fma.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) (pow.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) 2) x)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) 2) (cbrt.f64 (.f64 (-.f64 y x) z)) x)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (-.f64 y x) z))
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (*.f64 (cbrt.f64 z) (-.f64 y x)) x)
(fma.f64 (sqrt.f64 (-.f64 y x)) (*.f64 (sqrt.f64 (-.f64 y x)) z) x)
(fma.f64 (sqrt.f64 (.f64 (-.f64 y x) z)) (sqrt.f64 (.f64 (-.f64 y x) z)) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (-.f64 y x) z))
(fma.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 y x)) x)
(fma.f64 (*.f64 (-.f64 y x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) x)
(fma.f64 (*.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z) x)
(fma.f64 (*.f64 z (pow.f64 (cbrt.f64 (-.f64 y x)) 2)) (cbrt.f64 (-.f64 y x)) x)
(fma.f64 (*.f64 z (sqrt.f64 (-.f64 y x))) (sqrt.f64 (-.f64 y x)) x)
(+.f64 0 (*.f64 (-.f64 y x) z))
(+.f64 (.f64 z y) (.f64 z (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 (neg.f64 x) z))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z)) (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (-.f64 y x) z))) 1)
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 x (+.f64 x y) (pow.f64 y 2)))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 x y))
(/.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 x (+.f64 x y) (pow.f64 y 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (+.f64 x y))
(pow.f64 (*.f64 (-.f64 y x) z) 1)
(pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) z)) 3)
(pow.f64 (pow.f64 (*.f64 (-.f64 y x) z) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 (-.f64 y x) z)) 2)
(sqrt.f64 (pow.f64 (*.f64 (-.f64 y x) z) 2))
(log.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 y x) z))))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 y x) z) 3))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 y x) z)))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 y x) z)))
(exp.f64 (log.f64 (*.f64 (-.f64 y x) z)))
(exp.f64 (.f64 (log.f64 (.f64 (-.f64 y x) z)) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (-.f64 y x) z))) 3))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (-.f64 y x) z))) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (-.f64 y x) z))) 2))
(fma.f64 y z (*.f64 (neg.f64 x) z))
(fma.f64 z y (*.f64 z (neg.f64 x)))

Outputs
(*.f64 y z)
(+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(+.f64 (.f64 x (+.f64 1 (.f64 -1 z))) (*.f64 y z))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(.f64 x (+.f64 1 (.f64 -1 z)))
(*.f64 x (+.f64 1 (neg.f64 z)))
(*.f64 x (-.f64 1 z))
(.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))
(.f64 x (+.f64 1 (fma.f64 -1 z (.f64 y (/.f64 z x)))))
(*.f64 x (+.f64 1 (fma.f64 y (/.f64 z x) (neg.f64 z))))
(*.f64 x (-.f64 (fma.f64 y (/.f64 z x) 1) z))
(.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))
(.f64 x (+.f64 1 (fma.f64 -1 z (.f64 y (/.f64 z x)))))
(*.f64 x (+.f64 1 (fma.f64 y (/.f64 z x) (neg.f64 z))))
(*.f64 x (-.f64 (fma.f64 y (/.f64 z x) 1) z))
(.f64 x (+.f64 1 (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x))))
(.f64 x (+.f64 1 (fma.f64 -1 z (.f64 y (/.f64 z x)))))
(*.f64 x (+.f64 1 (fma.f64 y (/.f64 z x) (neg.f64 z))))
(*.f64 x (-.f64 (fma.f64 y (/.f64 z x) 1) z))
(.f64 -1 (.f64 x (-.f64 z 1)))
(*.f64 x (+.f64 1 (neg.f64 z)))
(*.f64 x (-.f64 1 z))
(.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))
(.f64 x (+.f64 1 (fma.f64 -1 z (.f64 y (/.f64 z x)))))
(*.f64 x (+.f64 1 (fma.f64 y (/.f64 z x) (neg.f64 z))))
(*.f64 x (-.f64 (fma.f64 y (/.f64 z x) 1) z))
(.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))
(.f64 x (+.f64 1 (fma.f64 -1 z (.f64 y (/.f64 z x)))))
(*.f64 x (+.f64 1 (fma.f64 y (/.f64 z x) (neg.f64 z))))
(*.f64 x (-.f64 (fma.f64 y (/.f64 z x) 1) z))
(.f64 -1 (.f64 x (-.f64 (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x))) 1)))
(.f64 x (+.f64 1 (fma.f64 -1 z (.f64 y (/.f64 z x)))))
(*.f64 x (+.f64 1 (fma.f64 y (/.f64 z x) (neg.f64 z))))
(*.f64 x (-.f64 (fma.f64 y (/.f64 z x) 1) z))
(+.f64 x (.f64 -1 (.f64 x z)))
(*.f64 x (+.f64 1 (neg.f64 z)))
(*.f64 x (-.f64 1 z))
(+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(+.f64 x (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 y z)
(.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))
(.f64 y (+.f64 z (fma.f64 -1 (.f64 x (/.f64 z y)) (/.f64 x y))))
(.f64 y (+.f64 z (-.f64 (/.f64 x y) (.f64 z (/.f64 x y)))))
(.f64 y (+.f64 z (.f64 x (/.f64 (-.f64 1 z) y))))
(.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))
(.f64 y (+.f64 z (fma.f64 -1 (.f64 x (/.f64 z y)) (/.f64 x y))))
(.f64 y (+.f64 z (-.f64 (/.f64 x y) (.f64 z (/.f64 x y)))))
(.f64 y (+.f64 z (.f64 x (/.f64 (-.f64 1 z) y))))
(.f64 y (+.f64 z (+.f64 (.f64 -1 (/.f64 (*.f64 x z) y)) (/.f64 x y))))
(.f64 y (+.f64 z (fma.f64 -1 (.f64 x (/.f64 z y)) (/.f64 x y))))
(.f64 y (+.f64 z (-.f64 (/.f64 x y) (.f64 z (/.f64 x y)))))
(.f64 y (+.f64 z (.f64 x (/.f64 (-.f64 1 z) y))))
(*.f64 y z)
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))
(.f64 y (+.f64 z (fma.f64 -1 (.f64 x (/.f64 z y)) (/.f64 x y))))
(.f64 y (+.f64 z (-.f64 (/.f64 x y) (.f64 z (/.f64 x y)))))
(.f64 y (+.f64 z (.f64 x (/.f64 (-.f64 1 z) y))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))
(.f64 y (+.f64 z (fma.f64 -1 (.f64 x (/.f64 z y)) (/.f64 x y))))
(.f64 y (+.f64 z (-.f64 (/.f64 x y) (.f64 z (/.f64 x y)))))
(.f64 y (+.f64 z (.f64 x (/.f64 (-.f64 1 z) y))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (.f64 -1 (/.f64 (+.f64 x (.f64 -1 (.f64 x z))) y)))))
(.f64 y (+.f64 z (fma.f64 -1 (.f64 x (/.f64 z y)) (/.f64 x y))))
(.f64 y (+.f64 z (-.f64 (/.f64 x y) (.f64 z (/.f64 x y)))))
(.f64 y (+.f64 z (.f64 x (/.f64 (-.f64 1 z) y))))
x
(+.f64 x (*.f64 z (-.f64 y x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(+.f64 x (*.f64 z (-.f64 y x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(+.f64 x (*.f64 z (-.f64 y x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 y (-.f64 x (/.f64 x z))))
(*.f64 z (+.f64 y (-.f64 (/.f64 x z) x)))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 y (-.f64 x (/.f64 x z))))
(*.f64 z (+.f64 y (-.f64 (/.f64 x z) x)))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 y (-.f64 x (/.f64 x z))))
(*.f64 z (+.f64 y (-.f64 (/.f64 x z) x)))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 y (-.f64 x (/.f64 x z))))
(*.f64 z (+.f64 y (-.f64 (/.f64 x z) x)))
(.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 y (-.f64 x (/.f64 x z))))
(*.f64 z (+.f64 y (-.f64 (/.f64 x z) x)))
(.f64 -1 (.f64 z (+.f64 (.f64 -1 (-.f64 y x)) (.f64 -1 (/.f64 x z)))))
(*.f64 z (-.f64 (+.f64 y (/.f64 x z)) x))
(*.f64 z (-.f64 y (-.f64 x (/.f64 x z))))
(*.f64 z (+.f64 y (-.f64 (/.f64 x z) x)))
(.f64 -1 (.f64 x z))
(*.f64 z (neg.f64 x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(*.f64 y z)
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(.f64 y (+.f64 z (/.f64 (.f64 z (neg.f64 x)) y)))
(.f64 y (-.f64 z (.f64 z (/.f64 x y))))
(.f64 y (-.f64 z (.f64 x (/.f64 z y))))
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(.f64 y (+.f64 z (/.f64 (.f64 z (neg.f64 x)) y)))
(.f64 y (-.f64 z (.f64 z (/.f64 x y))))
(.f64 y (-.f64 z (.f64 x (/.f64 z y))))
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(.f64 y (+.f64 z (/.f64 (.f64 z (neg.f64 x)) y)))
(.f64 y (-.f64 z (.f64 z (/.f64 x y))))
(.f64 y (-.f64 z (.f64 x (/.f64 z y))))
(*.f64 y z)
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(.f64 y (+.f64 z (/.f64 (.f64 z (neg.f64 x)) y)))
(.f64 y (-.f64 z (.f64 z (/.f64 x y))))
(.f64 y (-.f64 z (.f64 x (/.f64 z y))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(.f64 y (+.f64 z (/.f64 (.f64 z (neg.f64 x)) y)))
(.f64 y (-.f64 z (.f64 z (/.f64 x y))))
(.f64 y (-.f64 z (.f64 x (/.f64 z y))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(.f64 y (+.f64 z (/.f64 (.f64 z (neg.f64 x)) y)))
(.f64 y (-.f64 z (.f64 z (/.f64 x y))))
(.f64 y (-.f64 z (.f64 x (/.f64 z y))))
(*.f64 y z)
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 x z))
(*.f64 z (neg.f64 x))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 x (fma.f64 -1 z (.f64 y (/.f64 z x))))
(*.f64 x (fma.f64 y (/.f64 z x) (neg.f64 z)))
(.f64 x (.f64 z (+.f64 -1 (/.f64 y x))))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 x (fma.f64 -1 z (.f64 y (/.f64 z x))))
(*.f64 x (fma.f64 y (/.f64 z x) (neg.f64 z)))
(.f64 x (.f64 z (+.f64 -1 (/.f64 y x))))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 x (fma.f64 -1 z (.f64 y (/.f64 z x))))
(*.f64 x (fma.f64 y (/.f64 z x) (neg.f64 z)))
(.f64 x (.f64 z (+.f64 -1 (/.f64 y x))))
(.f64 -1 (.f64 x z))
(*.f64 z (neg.f64 x))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(.f64 x (fma.f64 -1 z (.f64 y (/.f64 z x))))
(*.f64 x (fma.f64 y (/.f64 z x) (neg.f64 z)))
(.f64 x (.f64 z (+.f64 -1 (/.f64 y x))))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(.f64 x (fma.f64 -1 z (.f64 y (/.f64 z x))))
(*.f64 x (fma.f64 y (/.f64 z x) (neg.f64 z)))
(.f64 x (.f64 z (+.f64 -1 (/.f64 y x))))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(.f64 x (fma.f64 -1 z (.f64 y (/.f64 z x))))
(*.f64 x (fma.f64 y (/.f64 z x) (neg.f64 z)))
(.f64 x (.f64 z (+.f64 -1 (/.f64 y x))))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(*.f64 z (-.f64 y x))
(-.f64 (exp.f64 (log1p.f64 (fma.f64 (-.f64 y x) z x))) 1)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(-.f64 (/.f64 (pow.f64 x 2) (-.f64 x (.f64 (-.f64 y x) z))) (/.f64 (pow.f64 (.f64 (-.f64 y x) z) 2) (-.f64 x (*.f64 (-.f64 y x) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 z (-.f64 y x)) 2)) (-.f64 x (.f64 z (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (*.f64 z (-.f64 y x)) 2)) (fma.f64 z (-.f64 x y) x))
(*.f64 (fma.f64 (-.f64 y x) z x) 1)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (fma.f64 (-.f64 y x) z x) (log.f64 (exp.f64 1)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 1 (fma.f64 (-.f64 y x) z x))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) (pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) 1/3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2) (cbrt.f64 (fma.f64 (-.f64 y x) z x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) (sqrt.f64 (fma.f64 (-.f64 y x) z x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 z (-.f64 y x)) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 (.f64 z (-.f64 y x)) (-.f64 (*.f64 z (-.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 x (fma.f64 z (-.f64 x y) x) (pow.f64 (.f64 z (-.f64 y x)) 2)))
(.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (pow.f64 (/.f64 1 (fma.f64 (*.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))) 1))
(.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 z (-.f64 y x)) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 (.f64 z (-.f64 y x)) (-.f64 (*.f64 z (-.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 x (fma.f64 z (-.f64 x y) x) (pow.f64 (.f64 z (-.f64 y x)) 2)))
(.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (/.f64 1 (-.f64 x (*.f64 (-.f64 y x) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 z (-.f64 y x)) 2)) (-.f64 x (.f64 z (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (*.f64 z (-.f64 y x)) 2)) (fma.f64 z (-.f64 x y) x))
(.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (pow.f64 (/.f64 1 (-.f64 x (*.f64 (-.f64 y x) z))) 1))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 z (-.f64 y x)) 2)) (-.f64 x (.f64 z (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (*.f64 z (-.f64 y x)) 2)) (fma.f64 z (-.f64 x y) x))
(*.f64 (pow.f64 1 1/3) (fma.f64 (-.f64 y x) z x))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) 1/3) (cbrt.f64 (fma.f64 (-.f64 y x) z x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(.f64 (pow.f64 (.f64 (fma.f64 (-.f64 y x) z x) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3) (pow.f64 (*.f64 (fma.f64 (-.f64 y x) z x) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(.f64 (pow.f64 (.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 1/3) (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 1/3))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (-.f64 y x) x))) (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (fma.f64 z (-.f64 y x) x)) 2) (pow.f64 (fma.f64 z (-.f64 y x) x) 2))))
(.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (-.f64 y x) x))) (cbrt.f64 (.f64 (cbrt.f64 (fma.f64 z (-.f64 y x) x)) (pow.f64 (cbrt.f64 (fma.f64 z (-.f64 y x) x)) 7))))
(*.f64 (cbrt.f64 (cbrt.f64 (fma.f64 z (-.f64 y x) x))) (cbrt.f64 (pow.f64 (cbrt.f64 (fma.f64 z (-.f64 y x) x)) 8)))
(.f64 (pow.f64 (.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2) (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 1/3) (pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) 1/3))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (-.f64 y x) x))) (cbrt.f64 (.f64 (pow.f64 (fma.f64 z (-.f64 y x) x) 2) (sqrt.f64 (fma.f64 z (-.f64 y x) x)))))
(.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (-.f64 y x) x))) (cbrt.f64 (.f64 (fma.f64 z (-.f64 y x) x) (pow.f64 (sqrt.f64 (fma.f64 z (-.f64 y x) x)) 3))))
(*.f64 (cbrt.f64 (sqrt.f64 (fma.f64 z (-.f64 y x) x))) (cbrt.f64 (pow.f64 (sqrt.f64 (fma.f64 z (-.f64 y x) x)) 5)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(/.f64 1 (/.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))))
(.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 z (-.f64 y x)) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 (.f64 z (-.f64 y x)) (-.f64 (*.f64 z (-.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 x (fma.f64 z (-.f64 x y) x) (pow.f64 (.f64 z (-.f64 y x)) 2)))
(/.f64 1 (/.f64 (-.f64 x (.f64 (-.f64 y x) z)) (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 z (-.f64 y x)) 2)) (-.f64 x (.f64 z (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (*.f64 z (-.f64 y x)) 2)) (fma.f64 z (-.f64 x y) x))
(/.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)))
(.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 z (-.f64 y x)) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 (.f64 z (-.f64 y x)) (-.f64 (*.f64 z (-.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 x (fma.f64 z (-.f64 x y) x) (pow.f64 (.f64 z (-.f64 y x)) 2)))
(/.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 2) (-.f64 (pow.f64 x 2) (.f64 (.f64 x z) (-.f64 y x)))))
(.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 z (-.f64 y x)) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 (.f64 z (-.f64 y x)) (-.f64 (*.f64 z (-.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 x (fma.f64 z (-.f64 x y) x) (pow.f64 (.f64 z (-.f64 y x)) 2)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2)) (-.f64 x (.f64 (-.f64 y x) z)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 z (-.f64 y x)) 2)) (-.f64 x (.f64 z (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (*.f64 z (-.f64 y x)) 2)) (fma.f64 z (-.f64 x y) x))
(/.f64 (neg.f64 (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))) (neg.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 z (-.f64 y x)) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 (.f64 z (-.f64 y x)) (-.f64 (*.f64 z (-.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 x (fma.f64 z (-.f64 x y) x) (pow.f64 (.f64 z (-.f64 y x)) 2)))
(/.f64 (neg.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))) (neg.f64 (-.f64 x (.f64 (-.f64 y x) z))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 z (-.f64 y x)) 2)) (-.f64 x (.f64 z (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (*.f64 z (-.f64 y x)) 2)) (fma.f64 z (-.f64 x y) x))
(/.f64 (-.f64 (pow.f64 (*.f64 (-.f64 y x) z) 2) (pow.f64 x 2)) (fma.f64 (-.f64 y x) z (neg.f64 x)))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 z (-.f64 y x)) 2)) (-.f64 x (.f64 z (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (*.f64 z (-.f64 y x)) 2)) (fma.f64 z (-.f64 x y) x))
(pow.f64 (fma.f64 (-.f64 y x) z x) 1)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(pow.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x)) 3)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(pow.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3) 1/3)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(pow.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x)) 2)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(pow.f64 (/.f64 (fma.f64 (.f64 (-.f64 y x) z) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2)) (+.f64 (pow.f64 (.f64 (-.f64 y x) z) 3) (pow.f64 x 3))) -1)
(.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (/.f64 1 (fma.f64 (*.f64 z (-.f64 y x)) (fma.f64 (-.f64 y x) z (neg.f64 x)) (pow.f64 x 2))))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 (.f64 z (-.f64 y x)) (-.f64 (*.f64 z (-.f64 y x)) x) (pow.f64 x 2)))
(/.f64 (+.f64 (pow.f64 (.f64 z (-.f64 y x)) 3) (pow.f64 x 3)) (fma.f64 x (fma.f64 z (-.f64 x y) x) (pow.f64 (.f64 z (-.f64 y x)) 2)))
(pow.f64 (/.f64 (-.f64 x (.f64 (-.f64 y x) z)) (-.f64 (pow.f64 x 2) (pow.f64 (.f64 (-.f64 y x) z) 2))) -1)
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (.f64 z (-.f64 y x)) 2)) (-.f64 x (.f64 z (-.f64 y x))))
(/.f64 (-.f64 (pow.f64 x 2) (pow.f64 (*.f64 z (-.f64 y x)) 2)) (fma.f64 z (-.f64 x y) x))
(sqrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 2))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log.f64 (exp.f64 (fma.f64 (-.f64 y x) z x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log.f64 (+.f64 1 (expm1.f64 (fma.f64 (-.f64 y x) z x))))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log.f64 (.f64 (exp.f64 x) (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z)))))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log.f64 (*.f64 (+.f64 1 (expm1.f64 x)) (pow.f64 (exp.f64 (-.f64 y x)) z)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log.f64 (.f64 (+.f64 1 (expm1.f64 x)) (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z)))))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log.f64 (*.f64 (pow.f64 (exp.f64 (-.f64 y x)) z) (+.f64 1 (expm1.f64 x))))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z))) (exp.f64 x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log.f64 (.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 y x) z))) (+.f64 1 (expm1.f64 x))))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(cbrt.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(expm1.f64 (log1p.f64 (fma.f64 (-.f64 y x) z x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(log1p.f64 (expm1.f64 (fma.f64 (-.f64 y x) z x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(exp.f64 (log.f64 (fma.f64 (-.f64 y x) z x)))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(exp.f64 (*.f64 (log.f64 (fma.f64 (-.f64 y x) z x)) 1))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (fma.f64 (-.f64 y x) z x))) 3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(exp.f64 (*.f64 (log.f64 (pow.f64 (fma.f64 (-.f64 y x) z x) 3)) 1/3))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (fma.f64 (-.f64 y x) z x))) 2))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 x 1 (*.f64 (-.f64 y x) z))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (-.f64 y x) z x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 z (-.f64 y x) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 (*.f64 (-.f64 y x) z) 1 x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 1 x (*.f64 (-.f64 y x) z))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 1 (*.f64 (-.f64 y x) z) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 y x)) 2) (*.f64 (cbrt.f64 (-.f64 y x)) z) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) (pow.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) 2) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 y x) z)) 2) (cbrt.f64 (.f64 (-.f64 y x) z)) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) 2) (*.f64 (-.f64 y x) z))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (pow.f64 (cbrt.f64 x) 2) (cbrt.f64 x) (*.f64 (-.f64 y x) z))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (pow.f64 (cbrt.f64 z) 2) (*.f64 (cbrt.f64 z) (-.f64 y x)) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (sqrt.f64 (-.f64 y x)) (*.f64 (sqrt.f64 (-.f64 y x)) z) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (sqrt.f64 (.f64 (-.f64 y x) z)) (sqrt.f64 (.f64 (-.f64 y x) z)) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (*.f64 (-.f64 y x) z))
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (sqrt.f64 z) (*.f64 (sqrt.f64 z) (-.f64 y x)) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (*.f64 (-.f64 y x) (pow.f64 (cbrt.f64 z) 2)) (cbrt.f64 z) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (*.f64 (-.f64 y x) (sqrt.f64 z)) (sqrt.f64 z) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (*.f64 z (pow.f64 (cbrt.f64 (-.f64 y x)) 2)) (cbrt.f64 (-.f64 y x)) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(fma.f64 (*.f64 z (sqrt.f64 (-.f64 y x))) (sqrt.f64 (-.f64 y x)) x)
(fma.f64 x (+.f64 1 (neg.f64 z)) (*.f64 y z))
(fma.f64 z (-.f64 y x) x)
(+.f64 0 (*.f64 (-.f64 y x) z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 z y) (.f64 z (neg.f64 x)))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 y z) (.f64 (neg.f64 x) z))
(*.f64 z (-.f64 y x))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z)) (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z)))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))))
(+.f64 (log.f64 (*.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x))) (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x))))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (-.f64 y x) z))) 1)
(*.f64 z (-.f64 y x))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 x (+.f64 x y) (pow.f64 y 2)))
(*.f64 z (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (+.f64 y x) (pow.f64 y 2))))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 x y))
(*.f64 z (/.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 y x)))
(/.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 x (+.f64 x y) (pow.f64 y 2)))
(*.f64 z (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (+.f64 y x) (pow.f64 y 2))))
(/.f64 (*.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (+.f64 x y))
(*.f64 z (/.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 y x)))
(pow.f64 (*.f64 (-.f64 y x) z) 1)
(*.f64 z (-.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 (-.f64 y x) z)) 3)
(*.f64 z (-.f64 y x))
(pow.f64 (pow.f64 (*.f64 (-.f64 y x) z) 3) 1/3)
(*.f64 z (-.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 (-.f64 y x) z)) 2)
(*.f64 z (-.f64 y x))
(sqrt.f64 (pow.f64 (*.f64 (-.f64 y x) z) 2))
(*.f64 z (-.f64 y x))
(log.f64 (pow.f64 (exp.f64 (-.f64 y x)) z))
(*.f64 z (-.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 (-.f64 y x) z))))
(*.f64 z (-.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 (-.f64 y x) z) 3))
(*.f64 z (-.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 (-.f64 y x) z)))
(*.f64 z (-.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 (-.f64 y x) z)))
(*.f64 z (-.f64 y x))
(exp.f64 (log.f64 (*.f64 (-.f64 y x) z)))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (log.f64 (.f64 (-.f64 y x) z)) 1))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 (-.f64 y x) z))) 3))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (.f64 3 (log.f64 (*.f64 (-.f64 y x) z))) 1/3))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 (-.f64 y x) z))) 2))
(*.f64 z (-.f64 y x))
(fma.f64 y z (*.f64 (neg.f64 x) z))
(*.f64 z (-.f64 y x))
(fma.f64 z y (*.f64 z (neg.f64 x)))
(*.f64 z (-.f64 y x))

eval38.0ms (1.1%)

Compiler: Compiled 2310 to 808 computations (65% saved)

prune26.0ms (0.7%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	155	4	159
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	156	5	161

Accuracy

100.0%

Counts

161 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 x (*.f64 (-.f64 y x) z))
▶	67.1%	(*.f64 z (-.f64 y x))
▶	39.0%	(*.f64 y z)
▶	65.3%	(*.f64 x (-.f64 1 z))
▶	34.4%	x

Compiler

Compiled 36 to 24 computations (33.3% saved)

localize50.0ms (1.4%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 z (-.f64 y x))

Compiler

Compiled 32 to 13 computations (59.4% saved)

Precisions

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

Operation ival-mult, time spent: 6.0ms, 48.0% of total-time

Operation ival-sub, time spent: 5.0ms, 40.0% of total-time

Operation const, time spent: 1.0ms, 8.0% of total-time

series2.0ms (0.1%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (*.f64 z (-.f64 y x))>

Outputs
#<alt (.f64 -1 (.f64 x z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (*.f64 y z)>
#<alt (.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))>
#<alt (.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))>
#<alt (.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))>
#<alt (*.f64 y z)>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))>
#<alt (.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))>
#<alt (*.f64 y z)>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))>
#<alt (.f64 -1 (.f64 x z))>
#<alt (.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))>
#<alt (.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))>
#<alt (.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))>
#<alt (.f64 -1 (.f64 x z))>
#<alt (.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))>
#<alt (.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))>
#<alt (.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))>

Calls

9 calls:

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

rewrite76.0ms (2.2%)

Algorithm

1×	batch-egg-rewrite

Rules

996×	`unpow-prod-down`
718×	`prod-diff`
577×	`log1p-expm1-u`
577×	`expm1-log1p-u`
572×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	22
1	117	22
2	1530	22

Stop Event

1×	node limit

Counts

1 → 29

Calls

Call 1

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

Outputs
(+.f64 0 (*.f64 z (-.f64 y x)))
(+.f64 (.f64 z y) (.f64 z (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 (neg.f64 x) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 z (-.f64 y x)))) 1)
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 x (+.f64 y x) (pow.f64 y 2)))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 y x))
(/.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 x (+.f64 y x) (pow.f64 y 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (+.f64 y x))
(pow.f64 (*.f64 z (-.f64 y x)) 1)
(pow.f64 (cbrt.f64 (*.f64 z (-.f64 y x))) 3)
(pow.f64 (pow.f64 (*.f64 z (-.f64 y x)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 z (-.f64 y x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 z (-.f64 y x))) 2)
(sqrt.f64 (pow.f64 (*.f64 z (-.f64 y x)) 2))
(log.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 z (-.f64 y x)))))
(cbrt.f64 (pow.f64 (*.f64 z (-.f64 y x)) 3))
(expm1.f64 (log1p.f64 (*.f64 z (-.f64 y x))))
(log1p.f64 (expm1.f64 (*.f64 z (-.f64 y x))))
(exp.f64 (log.f64 (*.f64 z (-.f64 y x))))
(exp.f64 (.f64 (log.f64 (.f64 z (-.f64 y x))) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 z (-.f64 y x)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 z (-.f64 y x)) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 z (-.f64 y x)))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 z (-.f64 y x))) 1) 1))
(fma.f64 z y (*.f64 z (neg.f64 x)))
(fma.f64 y z (*.f64 (neg.f64 x) z))

simplify74.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

834×	`distribute-lft-neg-out`
788×	`unsub-neg`
636×	`*-commutative`
632×	`distribute-lft-neg-in`
624×	`distribute-rgt-neg-out`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	109	1359
1	232	1359
2	624	1359
3	2337	1359
4	4730	1311

Stop Event

1×	node limit

Counts

53 → 46

Calls

Call 1

Inputs
(.f64 -1 (.f64 x z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 y z)
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(*.f64 y z)
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(*.f64 y z)
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(.f64 -1 (.f64 x z))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(.f64 -1 (.f64 x z))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(+.f64 0 (*.f64 z (-.f64 y x)))
(+.f64 (.f64 z y) (.f64 z (neg.f64 x)))
(+.f64 (.f64 y z) (.f64 (neg.f64 x) z))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 z (-.f64 y x)))) 1)
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 x (+.f64 y x) (pow.f64 y 2)))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 y x))
(/.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 x (+.f64 y x) (pow.f64 y 2)))
(/.f64 (*.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (+.f64 y x))
(pow.f64 (*.f64 z (-.f64 y x)) 1)
(pow.f64 (cbrt.f64 (*.f64 z (-.f64 y x))) 3)
(pow.f64 (pow.f64 (*.f64 z (-.f64 y x)) 2) 1/2)
(pow.f64 (pow.f64 (*.f64 z (-.f64 y x)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 z (-.f64 y x))) 2)
(sqrt.f64 (pow.f64 (*.f64 z (-.f64 y x)) 2))
(log.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 z (-.f64 y x)))))
(cbrt.f64 (pow.f64 (*.f64 z (-.f64 y x)) 3))
(expm1.f64 (log1p.f64 (*.f64 z (-.f64 y x))))
(log1p.f64 (expm1.f64 (*.f64 z (-.f64 y x))))
(exp.f64 (log.f64 (*.f64 z (-.f64 y x))))
(exp.f64 (.f64 (log.f64 (.f64 z (-.f64 y x))) 1))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 z (-.f64 y x)))) 3))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 z (-.f64 y x)) 3)) 1/3))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 z (-.f64 y x)))) 2))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 z (-.f64 y x))) 1) 1))
(fma.f64 z y (*.f64 z (neg.f64 x)))
(fma.f64 y z (*.f64 (neg.f64 x) z))

Outputs
(.f64 -1 (.f64 x z))
(*.f64 z (neg.f64 x))
(*.f64 x (neg.f64 z))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(*.f64 y z)
(*.f64 z y)
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(*.f64 z (-.f64 y x))
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(*.f64 z (-.f64 y x))
(.f64 y (+.f64 z (.f64 -1 (/.f64 (*.f64 x z) y))))
(*.f64 z (-.f64 y x))
(*.f64 y z)
(*.f64 z y)
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 y (+.f64 (.f64 -1 z) (/.f64 (.f64 x z) y))))
(*.f64 z (-.f64 y x))
(*.f64 y z)
(*.f64 z y)
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 -1 (.f64 x z)) (*.f64 y z))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 x z))
(*.f64 z (neg.f64 x))
(*.f64 x (neg.f64 z))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(*.f64 z (-.f64 y x))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(*.f64 z (-.f64 y x))
(.f64 x (+.f64 (.f64 -1 z) (/.f64 (*.f64 y z) x)))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 x z))
(*.f64 z (neg.f64 x))
(*.f64 x (neg.f64 z))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(*.f64 z (-.f64 y x))
(.f64 -1 (.f64 x (+.f64 z (.f64 -1 (/.f64 (.f64 y z) x)))))
(*.f64 z (-.f64 y x))
(+.f64 0 (*.f64 z (-.f64 y x)))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 z y) (.f64 z (neg.f64 x)))
(*.f64 z (-.f64 y x))
(+.f64 (.f64 y z) (.f64 (neg.f64 x) z))
(*.f64 z (-.f64 y x))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(*.f64 2 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 z (-.f64 y x)))) 1)
(*.f64 z (-.f64 y x))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 x (+.f64 y x) (pow.f64 y 2)))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 x (+.f64 x y) (pow.f64 y 2)))
(*.f64 z (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (+.f64 x y) (pow.f64 y 2))))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 2) (pow.f64 x 2))) (+.f64 y x))
(*.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 z (+.f64 x y)))
(*.f64 z (/.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 x y)))
(.f64 z (.f64 (-.f64 y x) 1))
(/.f64 (*.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) z) (fma.f64 x (+.f64 y x) (pow.f64 y 2)))
(/.f64 (*.f64 z (-.f64 (pow.f64 y 3) (pow.f64 x 3))) (fma.f64 x (+.f64 x y) (pow.f64 y 2)))
(*.f64 z (/.f64 (-.f64 (pow.f64 y 3) (pow.f64 x 3)) (fma.f64 x (+.f64 x y) (pow.f64 y 2))))
(/.f64 (*.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) z) (+.f64 y x))
(*.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) (/.f64 z (+.f64 x y)))
(*.f64 z (/.f64 (-.f64 (pow.f64 y 2) (pow.f64 x 2)) (+.f64 x y)))
(.f64 z (.f64 (-.f64 y x) 1))
(pow.f64 (*.f64 z (-.f64 y x)) 1)
(*.f64 z (-.f64 y x))
(pow.f64 (cbrt.f64 (*.f64 z (-.f64 y x))) 3)
(*.f64 z (-.f64 y x))
(pow.f64 (pow.f64 (*.f64 z (-.f64 y x)) 2) 1/2)
(*.f64 z (-.f64 y x))
(pow.f64 (pow.f64 (*.f64 z (-.f64 y x)) 3) 1/3)
(*.f64 z (-.f64 y x))
(pow.f64 (sqrt.f64 (*.f64 z (-.f64 y x))) 2)
(*.f64 z (-.f64 y x))
(sqrt.f64 (pow.f64 (*.f64 z (-.f64 y x)) 2))
(*.f64 z (-.f64 y x))
(log.f64 (pow.f64 (exp.f64 z) (-.f64 y x)))
(*.f64 z (-.f64 y x))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 z (-.f64 y x)))))
(*.f64 z (-.f64 y x))
(cbrt.f64 (pow.f64 (*.f64 z (-.f64 y x)) 3))
(*.f64 z (-.f64 y x))
(expm1.f64 (log1p.f64 (*.f64 z (-.f64 y x))))
(*.f64 z (-.f64 y x))
(log1p.f64 (expm1.f64 (*.f64 z (-.f64 y x))))
(*.f64 z (-.f64 y x))
(exp.f64 (log.f64 (*.f64 z (-.f64 y x))))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (log.f64 (.f64 z (-.f64 y x))) 1))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 z (-.f64 y x)))) 3))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (log.f64 (pow.f64 (.f64 z (-.f64 y x)) 3)) 1/3))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 z (-.f64 y x)))) 2))
(*.f64 z (-.f64 y x))
(exp.f64 (.f64 (.f64 (log.f64 (*.f64 z (-.f64 y x))) 1) 1))
(*.f64 z (-.f64 y x))
(fma.f64 z y (*.f64 z (neg.f64 x)))
(*.f64 z (-.f64 y x))
(fma.f64 y z (*.f64 (neg.f64 x) z))
(*.f64 z (-.f64 y x))

eval9.0ms (0.3%)

Compiler: Compiled 452 to 189 computations (58.2% saved)

prune9.0ms (0.3%)

Pruning

6 alts after pruning (1 fresh and 5 done)

	Pruned	Kept	Total
New	45	1	46
Fresh	0	0	0
Picked	0	4	4
Done	0	1	1
Total	45	6	51

Accuracy

100.0%

Counts

51 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 x (*.f64 (-.f64 y x) z))
✓	67.1%	(*.f64 z (-.f64 y x))
▶	32.6%	(*.f64 z (neg.f64 x))
✓	39.0%	(*.f64 y z)
✓	65.3%	(*.f64 x (-.f64 1 z))
✓	34.4%	x

Compiler

Compiled 43 to 29 computations (32.6% saved)

localize35.0ms (1%)

Compiler: Compiled 12 to 6 computations (50% saved)
Precisions: Click to see histograms. Total time spent on operations: 11.0ms
Operation ival-neg, time spent: 9.0ms, 80.0% of total-time
Operation ival-mult, time spent: 2.0ms, 18.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

eval0.0ms (0%)

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

prune5.0ms (0.1%)

Pruning

6 alts after pruning (0 fresh and 6 done)

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

Accuracy

100.0%

Counts

6 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(+.f64 x (*.f64 (-.f64 y x) z))
✓	67.1%	(*.f64 z (-.f64 y x))
✓	32.6%	(*.f64 z (neg.f64 x))
✓	39.0%	(*.f64 y z)
✓	65.3%	(*.f64 x (-.f64 1 z))
✓	34.4%	x

Compiler

Compiled 77 to 43 computations (44.2% saved)

regimes20.0ms (0.6%)

Counts

7 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(+.f64 x (*.f64 (-.f64 y x) z))`

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes21.0ms (0.6%)

Counts

6 → 1

Calls

Call 1

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

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

Calls

4 calls:

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

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`y`
100.0%	1	`z`
100.0%	1	`(+.f64 x (*.f64 (-.f64 y x) z))`

Compiler

Compiled 22 to 15 computations (31.8% saved)

regimes67.0ms (1.9%)

Counts

5 → 3

Calls

Call 1

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

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

Calls

3 calls:

33.0ms	x
21.0ms	y
13.0ms	z

Results

Accuracy	Segments	Branch
87.0%	7	`x`
88.8%	5	`y`
91.1%	3	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes26.0ms (0.7%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

2 calls:

14.0ms	z
12.0ms	y

Results

Accuracy	Segments	Branch
83.2%	3	`y`
72.2%	4	`z`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes76.0ms (2.2%)

Counts

3 → 5

Calls

Call 1

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

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

Calls

3 calls:

37.0ms	x
22.0ms	y
16.0ms	z

Results

Accuracy	Segments	Branch
71.1%	5	`z`
64.0%	8	`x`
66.7%	7	`y`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes9.0ms (0.3%)

Counts

2 → 3

Calls

Call 1

Inputs
x
(*.f64 y z)

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

Calls

1 calls:

9.0ms

Results

Accuracy	Segments	Branch
62.3%	3	`z`

Compiler

Compiled 4 to 3 computations (25% saved)

regimes10.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
x

Outputs
x

Calls

3 calls:

4.0ms	y
3.0ms	z
3.0ms	x

Results

Accuracy	Segments	Branch
34.4%	1	`x`
34.4%	1	`y`
34.4%	1	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch32.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	441708.42763248656	3148787315.4004893
17.0ms	-9.699694665121004e-46	-2.1397757163026026e-49

Results

27.0ms	250×	256	valid
0.0ms	5×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 304 to 219 computations (28% saved)

Precisions

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

Operation ival-sub, time spent: 2.0ms, 36.0% of total-time

Operation ival-mult, time spent: 2.0ms, 36.0% of total-time

Operation ival-add, time spent: 1.0ms, 18.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch30.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	1.185704100967889e+93	7.062922496234477e+93
18.0ms	-3.1448804985760494e+128	-7.954483089196909e+121

Results

19.0ms	178×	256	valid
6.0ms	61×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 256 to 191 computations (25.4% saved)

Precisions

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

Operation ival-sub, time spent: 2.0ms, 39.0% of total-time

Operation ival-mult, time spent: 2.0ms, 39.0% of total-time

Operation ival-add, time spent: 1.0ms, 19.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch212.0ms (6.1%)

Algorithm

4×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough
1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	0.8744301434372885	8.273034481421261
16.0ms	-9.699694665121004e-46	-2.1397757163026026e-49
16.0ms	-2.590592591961752e+122	-4.3739727228768276e+120
168.0ms	-6.724016815428036e+252	-4.937693614904324e+242

Results

190.0ms	355×	256	valid
14.0ms	140×	256	infinite
0.0ms	1×	256	valid

Compiler

Compiled 445 to 330 computations (25.8% saved)

Precisions

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

Operation ival-sub, time spent: 7.0ms, 50.0% of total-time

Operation ival-mult, time spent: 4.0ms, 29.0% of total-time

Operation ival-add, time spent: 3.0ms, 21.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

bsearch32.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	4.3997498447074834e-21	2.9255420765159262e-18
16.0ms	-9.699694665121004e-46	-2.1397757163026026e-49

Results

27.0ms	255×	256	valid
0.0ms	1×	256	valid

Compiler

Compiled 208 to 155 computations (25.5% saved)

Precisions

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

Operation ival-sub, time spent: 2.0ms, 36.0% of total-time

Operation ival-mult, time spent: 2.0ms, 36.0% of total-time

Operation ival-add, time spent: 1.0ms, 18.0% of total-time

Operation const, time spent: 0.0ms, 0.0% of total-time

simplify13.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

16×	`*-commutative`
12×	`+-commutative`
10×	`sub-neg`
6×	`neg-sub0`
6×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	54	357
1	84	357
2	95	357
3	101	357
4	103	357

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(fma.f64 (-.f64 y x) z x)
(+.f64 x (*.f64 (-.f64 y x) z))
(if (<=.f64 z -4113761393303015/3291009114642412084309938365114701009965471731267159726697218048) (.f64 z (-.f64 y x)) (if (<=.f64 z 450000) (.f64 x (-.f64 1 z)) (*.f64 z (-.f64 y x))))
(if (<=.f64 y -145000000000000004841060739338650523028497274614609660325760843658410792735339498123259174863485131000755147647930362494976) (.f64 y z) (if (<=.f64 y 2999999999999999782755623211908971949157924948792094375565367371086658320296291309084582346752) (.f64 x (-.f64 1 z)) (*.f64 y z)))
(if (<=.f64 z -16500000000000000287876272388968543442196701880293783498281035727082710623844191343263957884663765940601591374378928255916604130291212133338762040465619468017960300280339883513989194228523412399353565489823623391682701615530912354967381140058893451264) (.f64 y z) (if (<=.f64 z -10000000000000000373409337471459889719393275754491820381027730410378005080671497101378613371421126415052399029342192009216) (.f64 z (neg.f64 x)) (if (<=.f64 z -4113761393303015/12855504354071922204335696738729300820177623950262342682411008) (.f64 y z) (if (<=.f64 z 1) x (.f64 z (neg.f64 x))))))
(if (<=.f64 z -1478383000718271/12855504354071922204335696738729300820177623950262342682411008) (.f64 y z) (if (<=.f64 z 1960611293782751/166153499473114484112975882535043072) x (.f64 y z)))
x

Outputs
(fma.f64 (-.f64 y x) z x)
(+.f64 x (*.f64 (-.f64 y x) z))
(if (<=.f64 z -4113761393303015/3291009114642412084309938365114701009965471731267159726697218048) (.f64 z (-.f64 y x)) (if (<=.f64 z 450000) (.f64 x (-.f64 1 z)) (*.f64 z (-.f64 y x))))
(if (or (<=.f64 z -4113761393303015/3291009114642412084309938365114701009965471731267159726697218048) (not (<=.f64 z 450000))) (.f64 (-.f64 y x) z) (.f64 x (-.f64 1 z)))
(if (<=.f64 y -145000000000000004841060739338650523028497274614609660325760843658410792735339498123259174863485131000755147647930362494976) (.f64 y z) (if (<=.f64 y 2999999999999999782755623211908971949157924948792094375565367371086658320296291309084582346752) (.f64 x (-.f64 1 z)) (*.f64 y z)))
(if (or (<=.f64 y -145000000000000004841060739338650523028497274614609660325760843658410792735339498123259174863485131000755147647930362494976) (not (<=.f64 y 2999999999999999782755623211908971949157924948792094375565367371086658320296291309084582346752))) (.f64 y z) (.f64 x (-.f64 1 z)))
(if (<=.f64 z -16500000000000000287876272388968543442196701880293783498281035727082710623844191343263957884663765940601591374378928255916604130291212133338762040465619468017960300280339883513989194228523412399353565489823623391682701615530912354967381140058893451264) (.f64 y z) (if (<=.f64 z -10000000000000000373409337471459889719393275754491820381027730410378005080671497101378613371421126415052399029342192009216) (.f64 z (neg.f64 x)) (if (<=.f64 z -4113761393303015/12855504354071922204335696738729300820177623950262342682411008) (.f64 y z) (if (<=.f64 z 1) x (.f64 z (neg.f64 x))))))
(if (<=.f64 z -16500000000000000287876272388968543442196701880293783498281035727082710623844191343263957884663765940601591374378928255916604130291212133338762040465619468017960300280339883513989194228523412399353565489823623391682701615530912354967381140058893451264) (.f64 y z) (if (<=.f64 z -10000000000000000373409337471459889719393275754491820381027730410378005080671497101378613371421126415052399029342192009216) (.f64 x (neg.f64 z)) (if (<=.f64 z -4113761393303015/12855504354071922204335696738729300820177623950262342682411008) (.f64 y z) (if (<=.f64 z 1) x (.f64 x (neg.f64 z))))))
(if (<=.f64 z -1478383000718271/12855504354071922204335696738729300820177623950262342682411008) (.f64 y z) (if (<=.f64 z 1960611293782751/166153499473114484112975882535043072) x (.f64 y z)))
(if (or (<=.f64 z -1478383000718271/12855504354071922204335696738729300820177623950262342682411008) (not (<=.f64 z 1960611293782751/166153499473114484112975882535043072))) (*.f64 y z) x)
x

Compiler

Compiled 115 to 72 computations (37.4% saved)

soundness520.0ms (14.9%)

Rules

2350×	`fma-neg`
1746×	`fma-define`
834×	`distribute-lft-neg-out`
788×	`unsub-neg`
750×	`div-sub`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	36	377
1	78	321
2	237	317
3	843	317
4	1876	317
5	3201	317
6	3496	317
7	3528	317
8	3528	317
9	4163	317
10	4163	317
0	311	7182
1	707	6378
2	2107	6170
3	6862	6134
0	109	1359
1	232	1359
2	624	1359
3	2337	1359
4	4730	1311

Stop Event

1×	node limit
1×	node limit
1×	saturated

Compiler

Compiled 64 to 33 computations (48.4% saved)

end0.0ms (0%)

preprocess63.0ms (1.8%)

Compiler: Compiled 214 to 110 computations (48.6% saved)

analyze0.0ms (0%)

sample1.0s (29.3%)

preprocess395.0ms (11.3%)

eval50.0ms (1.4%)

prune1.0ms (0%)

localize43.0ms (1.2%)

series8.0ms (0.2%)

rewrite307.0ms (8.8%)

simplify211.0ms (6%)

eval38.0ms (1.1%)

prune26.0ms (0.7%)

localize50.0ms (1.4%)

series2.0ms (0.1%)

rewrite76.0ms (2.2%)

simplify74.0ms (2.1%)

eval9.0ms (0.3%)

prune9.0ms (0.3%)

localize35.0ms (1%)

eval0.0ms (0%)

prune5.0ms (0.1%)

regimes20.0ms (0.6%)

regimes21.0ms (0.6%)

regimes67.0ms (1.9%)

regimes26.0ms (0.7%)

regimes76.0ms (2.2%)

regimes9.0ms (0.3%)

regimes10.0ms (0.3%)

bsearch32.0ms (0.9%)

bsearch30.0ms (0.9%)

bsearch212.0ms (6.1%)

bsearch32.0ms (0.9%)

simplify13.0ms (0.4%)

soundness520.0ms (14.9%)

end0.0ms (0%)

preprocess63.0ms (1.8%)

Profiling