Metrics for Linear.Quaternion:$c/ from linear-1.19.1.3, D

analyze0.0ms (0%)

Memory

0.3MiB live, 0.3MiB 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 17 to 11 computations (35.3% saved)

sample1.6s (41.7%)

Memory

18.6MiB live, 1 393.3MiB allocated

Samples

675.0ms	5 805×	0	valid
526.0ms	2 202×	1	valid
46.0ms	249×	2	valid

Precisions

Click to see histograms. Total time spent on operations: 1.0s

ival-mult: 680.0ms (65.9% of total)

ival-sub: 240.0ms (23.2% of total)

ival-add: 63.0ms (6.1% of total)

adjust: 42.0ms (4.1% of total)

ival-true: 5.0ms (0.5% of total)

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

Bogosity

preprocess111.0ms (3%)

Memory

6.6MiB live, 83.5MiB allocated

Algorithm

1×	egg-herbie

Rules

572×	`sub-neg`
518×	`unsub-neg`
341×	`distribute-lft-out--`
304×	`distribute-lft-neg-in`
282×	`fma-define`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	48	662
1	183	367
2	641	264
3	2518	250
4	5675	250
5	7394	250

Stop Event

1×	node limit

Calls

Call 1

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

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

Symmetry

(negabs y)

explain318.0ms (8.5%)

Memory

-0.6MiB live, 315.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
119	1	(-4.81222488055148e-187 3.7383885118599368e-137 3.5846773639380475e+233)	-	`(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))`
14	0	-	-	`(-.f64 (.f64 x y) (.f64 y y))`
5	0	-	-	`(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))`
0	0	-	-	`z`
0	0	-	-	`(*.f64 x y)`
0	0	-	-	`y`
0	0	-	-	`(*.f64 y z)`
0	0	-	-	`(*.f64 y y)`
0	0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`+.f64`	`(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))`	nan-rescue	61	0
↳	`(*.f64 y y)`	overflow	66
↳	`(*.f64 x y)`	overflow	30
↳	`(-.f64 (.f64 x y) (.f64 y y))`	overflow	70
↳	`(*.f64 y y)`	overflow	66
`+.f64`	`(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))`	cancellation	26	0
`-.f64`	`(-.f64 (.f64 x y) (.f64 y y))`	nan-rescue	14	0
↳	`(*.f64 x y)`	overflow	30
↳	`(*.f64 y y)`	overflow	66
`-.f64`	`(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))`	nan-rescue	5	0
↳	`(*.f64 y y)`	overflow	132
↳	`(+.f64 (-.f64 (.f64 x y) (.f64 y y)) (*.f64 y y))`	overflow	30
↳	`(*.f64 x y)`	overflow	30
↳	`(-.f64 (.f64 x y) (.f64 y y))`	overflow	70
↳	`(*.f64 y z)`	overflow	36

Confusion

	Predicted +	Predicted -
+	84	0
-	8	164

Precision

0.9130434782608695

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	84	0	0
-	8	0	164

Precision?

0.9130434782608695

Recall?

1.0

Freqs

test

number	freq
0	164
1	80
2	10
3	2

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

71.0ms	174×	1	valid
17.0ms	258×	0	valid
13.0ms	80×	2	valid

Compiler

Compiled 130 to 40 computations (69.2% saved)

Precisions

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

ival-mult: 18.0ms (51.4% of total)

ival-sub: 9.0ms (25.7% of total)

adjust: 4.0ms (11.4% of total)

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

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

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

eval0.0ms (0%)

Memory: 1.4MiB live, 1.4MiB allocated
Compiler: Compiled 28 to 13 computations (53.6% saved)

prune1.0ms (0%)

Memory

3.1MiB live, 3.1MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 8 to 5 computations (37.5% saved)

simplify39.0ms (1%)

Memory

-38.6MiB live, 34.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(-.f64 x z)
✓	cost-diff	0	(*.f64 y (-.f64 x z))

Rules

190×	`fma-define`
96×	`fmm-def`
43×	`distribute-lft-in`
41×	`distribute-rgt-in`
26×	`unsub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	47
1	15	47
2	26	47
3	46	47
4	77	47
5	114	47
6	186	47
7	307	47
8	547	47
9	684	47
10	749	47
11	751	47

Stop Event

1×

saturated

Calls

Call 1

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

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

localize14.0ms (0.4%)

Memory

32.0MiB live, 32.0MiB allocated

Localize:

Found 2 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(-.f64 x z)
✓	accuracy	100.0%	(*.f64 y (-.f64 x z))

Samples

9.0ms

256×

valid

Compiler

Compiled 13 to 7 computations (46.2% saved)

Precisions

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

ival-mult: 2.0ms (62.9% of total)

ival-sub: 1.0ms (31.5% of total)

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

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

series78.0ms (2.1%)

Memory

-25.2MiB live, 14.4MiB allocated

Counts

2 → 45

Calls

Call 1

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

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

Calls

15 calls:

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

rewrite592.0ms (15.8%)

Memory

3.1MiB live, 321.7MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

577×	`log1p-expm1-u`
577×	`expm1-log1p-u`
498×	`unpow-prod-down`
359×	`prod-diff`
356×	`pow1`

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

2 → 130

Calls

Call 1

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

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

simplify128.0ms (3.4%)

Memory

20.9MiB live, 139.4MiB allocated

Algorithm

1×	egg-herbie

Rules

840×	`fma-define`
427×	`distribute-lft-in`
413×	`div-sub`
404×	`distribute-rgt-in`
365×	`times-frac`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	317	4611
1	680	4416
2	1889	4347
3	7262	4347

Stop Event

1×	node limit

Counts

175 → 177

Calls

Call 1

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

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

eval21.0ms (0.6%)

Memory: -14.6MiB live, 63.1MiB allocated
Compiler: Compiled 2 127 to 494 computations (76.8% saved)

prune35.0ms (0.9%)

Memory

10.9MiB live, 93.5MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	175	2	177
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	175	3	178

Accuracy

100.0%

Counts

178 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	61.4%	(*.f64 z (neg.f64 y))
✓	100.0%	(*.f64 y (-.f64 x z))
▶	47.7%	(*.f64 y x)

Compiler

Compiled 21 to 14 computations (33.3% saved)

simplify13.0ms (0.3%)

Memory

-19.7MiB live, 19.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Program
✓	cost-diff	(neg.f64 y)
✓	cost-diff	(*.f64 z (neg.f64 y))
✓	cost-diff	(*.f64 y x)

Rules

42×	`fma-define`
9×	`sub-neg`
9×	`distribute-lft-in`
5×	`mul0-rgt`
5×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	54
1	21	54
2	32	54
3	43	54
4	54	54
5	71	54
6	98	54
7	123	54
8	129	54
9	141	54

Stop Event

1×

saturated

Calls

Call 1

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

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

localize18.0ms (0.5%)

Memory

14.6MiB live, 54.0MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(*.f64 z (neg.f64 y))
✓	accuracy	100.0%	(neg.f64 y)
✓	accuracy	100.0%	(*.f64 y x)

Samples

13.0ms

256×

valid

Compiler

Compiled 15 to 8 computations (46.7% saved)

Precisions

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

ival-mult: 4.0ms (68.9% of total)

ival-neg: 1.0ms (17.2% of total)

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

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

series7.0ms (0.2%)

Memory

-17.9MiB live, 21.2MiB allocated

Counts

3 → 60

Calls

Call 1

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

Outputs
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (*.f64 x y)>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y z))>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>
#<alt (*.f64 #s(literal -1 binary64) y)>

Calls

15 calls:

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

rewrite79.0ms (2.1%)

Memory

4.7MiB live, 85.7MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

489×	`unpow-prod-down`
450×	`log1p-expm1-u`
450×	`expm1-log1p-u`
431×	`add-exp-log`
416×	`add-log-exp`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	38
1	130	30
2	1556	30

Stop Event

1×	node limit

Counts

3 → 93

Calls

Call 1

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

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

simplify128.0ms (3.4%)

Memory

8.9MiB live, 87.7MiB allocated

Algorithm

1×	egg-herbie

Rules

891×	`times-frac`
827×	`fmm-def`
402×	`prod-exp`
361×	`fma-define`
356×	`exp-prod`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	232	2202
1	412	2197
2	1070	2191
3	5532	2191

Stop Event

1×	node limit

Counts

153 → 111

Calls

Call 1

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

Outputs
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(*.f64 x y)
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(.f64 #s(literal -1 binary64) (.f64 y z))
(*.f64 y (neg.f64 z))
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(+.f64 #s(literal 0 binary64) (*.f64 y x))
(*.f64 x y)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 x) y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 x) y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) y))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) y))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 x) y))))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y x)) #s(literal 1 binary64))
(*.f64 x y)
(pow.f64 (*.f64 y x) #s(literal 1 binary64))
(*.f64 x y)
(pow.f64 (cbrt.f64 (*.f64 y x)) #s(literal 3 binary64))
(*.f64 x y)
(pow.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 x y)
(pow.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 x y)
(pow.f64 (sqrt.f64 (*.f64 y x)) #s(literal 2 binary64))
(*.f64 x y)
(pow.f64 (E.f64) (log.f64 (*.f64 y x)))
(*.f64 x y)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 y x))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 y x))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 x y))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 x y))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 y x)))) (sqrt.f64 (log.f64 (.f64 y x))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 x y)))) (sqrt.f64 (log.f64 (.f64 x y))))
(sqrt.f64 (pow.f64 (*.f64 y x) #s(literal 2 binary64)))
(*.f64 x y)
(log.f64 (pow.f64 (exp.f64 x) y))
(*.f64 x y)
(cbrt.f64 (pow.f64 (*.f64 y x) #s(literal 3 binary64)))
(*.f64 x y)
(expm1.f64 (log1p.f64 (*.f64 y x)))
(*.f64 x y)
(log1p.f64 (expm1.f64 (*.f64 y x)))
(*.f64 x y)
(exp.f64 (log.f64 (*.f64 y x)))
(*.f64 x y)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y x))) #s(literal 3 binary64)))
(*.f64 x y)
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 y x))) #s(literal 1/3 binary64)))
(*.f64 x y)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y x))) #s(literal 2 binary64)))
(*.f64 x y)
(+.f64 #s(literal 0 binary64) (*.f64 y z))
(*.f64 y z)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 y) z)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 y) z))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) z))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) z))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 y) z))))
(-.f64 #s(literal 0 binary64) (*.f64 y z))
(*.f64 y (neg.f64 z))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 y z)) #s(literal 1 binary64))
(*.f64 y z)
(pow.f64 (*.f64 y z) #s(literal 1 binary64))
(*.f64 y z)
(pow.f64 (cbrt.f64 (*.f64 y z)) #s(literal 3 binary64))
(*.f64 y z)
(pow.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)) #s(literal 1/2 binary64))
(*.f64 y z)
(pow.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 y z)
(pow.f64 (sqrt.f64 (*.f64 y z)) #s(literal 2 binary64))
(*.f64 y z)
(pow.f64 (E.f64) (log.f64 (*.f64 y z)))
(*.f64 y z)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (.f64 y z))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (.f64 y z))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (.f64 y z)))) (sqrt.f64 (log.f64 (.f64 y z))))
(neg.f64 (*.f64 y z))
(*.f64 y (neg.f64 z))
(sqrt.f64 (pow.f64 (*.f64 y z) #s(literal 2 binary64)))
(*.f64 y z)
(log.f64 (pow.f64 (exp.f64 y) z))
(*.f64 y z)
(cbrt.f64 (pow.f64 (*.f64 y z) #s(literal 3 binary64)))
(*.f64 y z)
(expm1.f64 (log1p.f64 (*.f64 y z)))
(*.f64 y z)
(log1p.f64 (expm1.f64 (*.f64 y z)))
(*.f64 y z)
(exp.f64 (log.f64 (*.f64 y z)))
(*.f64 y z)
(exp.f64 (.f64 (log.f64 (cbrt.f64 (.f64 y z))) #s(literal 3 binary64)))
(*.f64 y z)
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 (*.f64 y z))) #s(literal 1/3 binary64)))
(*.f64 y z)
(exp.f64 (.f64 (log.f64 (sqrt.f64 (.f64 y z))) #s(literal 2 binary64)))
(*.f64 y z)
(+.f64 #s(literal 0 binary64) y)
y
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 y))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 y))) (log.f64 (sqrt.f64 (exp.f64 y))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 y))))
(-.f64 #s(literal 0 binary64) y)
(neg.f64 y)
(-.f64 (+.f64 #s(literal 1 binary64) y) #s(literal 1 binary64))
y
(*.f64 y #s(literal 1 binary64))
y
(*.f64 y #s(literal -1 binary64))
(neg.f64 y)
(*.f64 y (log.f64 (E.f64)))
y
(*.f64 y (log.f64 (exp.f64 #s(literal -1 binary64))))
(neg.f64 y)
(*.f64 #s(literal 1 binary64) y)
y
(*.f64 (cbrt.f64 y) (pow.f64 (cbrt.f64 y) #s(literal 2 binary64)))
y
(*.f64 (pow.f64 (cbrt.f64 y) #s(literal 2 binary64)) (cbrt.f64 y))
y
(*.f64 (pow.f64 (cbrt.f64 y) #s(literal 2 binary64)) (neg.f64 (cbrt.f64 y)))
(neg.f64 y)
(*.f64 (sqrt.f64 y) (sqrt.f64 y))
y
(*.f64 (sqrt.f64 y) (neg.f64 (sqrt.f64 y)))
(neg.f64 y)
(*.f64 #s(literal -1 binary64) y)
(neg.f64 y)
(*.f64 (neg.f64 (pow.f64 (cbrt.f64 y) #s(literal 2 binary64))) (cbrt.f64 y))
(neg.f64 y)
(*.f64 (neg.f64 (sqrt.f64 y)) (sqrt.f64 y))
(neg.f64 y)
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 (cbrt.f64 y) #s(literal 2 binary64))) (cbrt.f64 y))
(neg.f64 y)
(.f64 (.f64 #s(literal -1 binary64) (sqrt.f64 y)) (sqrt.f64 y))
(neg.f64 y)
(*.f64 (pow.f64 #s(literal 1 binary64) #s(literal 1/3 binary64)) y)
y
(*.f64 (pow.f64 (cbrt.f64 #s(literal -1 binary64)) #s(literal 3 binary64)) y)
(neg.f64 y)
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 y)) #s(literal 2 binary64)) #s(literal 3 binary64)) (cbrt.f64 y))
y
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 y)) #s(literal 3 binary64)) (pow.f64 (sqrt.f64 (cbrt.f64 y)) #s(literal 3 binary64)))
y
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 y #s(literal 3 binary64))) #s(literal 1/3 binary64)) (pow.f64 (sqrt.f64 (pow.f64 y #s(literal 3 binary64))) #s(literal 1/3 binary64)))
(*.f64 (cbrt.f64 (sqrt.f64 (pow.f64 y #s(literal 3 binary64)))) (cbrt.f64 (sqrt.f64 (pow.f64 y #s(literal 3 binary64)))))
(.f64 (pow.f64 (pow.f64 (.f64 y (cbrt.f64 y)) #s(literal 2 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (cbrt.f64 y)))
(.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (pow.f64 (.f64 y (cbrt.f64 y)) #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 y) #s(literal 4 binary64)) #s(literal 2 binary64))))
(*.f64 (cbrt.f64 (cbrt.f64 y)) (cbrt.f64 (pow.f64 (cbrt.f64 y) #s(literal 8 binary64))))
(*.f64 (pow.f64 (pow.f64 y #s(literal 5/2 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 (sqrt.f64 y)))
(*.f64 (cbrt.f64 (pow.f64 y #s(literal 5/2 binary64))) (cbrt.f64 (sqrt.f64 y)))
(.f64 (pow.f64 (.f64 (pow.f64 y #s(literal 2 binary64)) #s(literal -1 binary64)) #s(literal 1/3 binary64)) (cbrt.f64 y))
(.f64 (cbrt.f64 y) (cbrt.f64 (.f64 #s(literal -1 binary64) (pow.f64 y #s(literal 2 binary64)))))
(*.f64 (cbrt.f64 y) (cbrt.f64 (neg.f64 (pow.f64 y #s(literal 2 binary64)))))
(*.f64 (pow.f64 (sqrt.f64 #s(literal -1 binary64)) #s(literal 2 binary64)) y)
(neg.f64 y)
(*.f64 (exp.f64 (log.f64 #s(literal -1 binary64))) y)
(neg.f64 y)
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 y #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (fma.f64 y y (*.f64 #s(literal 0 binary64) y))))
(neg.f64 y)
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 y #s(literal 2 binary64))) y)
(neg.f64 y)
(pow.f64 y #s(literal 1 binary64))
y
(pow.f64 (cbrt.f64 y) #s(literal 3 binary64))
y
(pow.f64 (pow.f64 y #s(literal 2 binary64)) #s(literal 1/2 binary64))
y
(pow.f64 (pow.f64 y #s(literal 3 binary64)) #s(literal 1/3 binary64))
y
(pow.f64 (sqrt.f64 y) #s(literal 2 binary64))
y
(pow.f64 (E.f64) (log.f64 y))
y
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 y)) #s(literal 2 binary64))) (cbrt.f64 (log.f64 y)))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y)))
(sqrt.f64 (pow.f64 y #s(literal 2 binary64)))
y
(log.f64 (exp.f64 y))
y
(cbrt.f64 (pow.f64 y #s(literal 3 binary64)))
y
(expm1.f64 (log1p.f64 y))
y
(log1p.f64 (expm1.f64 y))
y
(exp.f64 (log.f64 y))
y
(exp.f64 (*.f64 (log.f64 (cbrt.f64 y)) #s(literal 3 binary64)))
y
(exp.f64 (.f64 (.f64 #s(literal 3 binary64) (log.f64 y)) #s(literal 1/3 binary64)))
y
(exp.f64 (*.f64 (log.f64 (sqrt.f64 y)) #s(literal 2 binary64)))
y

eval24.0ms (0.6%)

Memory: -6.1MiB live, 73.4MiB allocated
Compiler: Compiled 888 to 318 computations (64.2% saved)

prune74.0ms (2%)

Memory

18.0MiB live, 57.6MiB allocated

Pruning

3 alts after pruning (0 fresh and 3 done)

	Pruned	Kept	Total
New	111	0	111
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	111	3	114

Accuracy

100.0%

Counts

114 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	61.4%	(*.f64 z (neg.f64 y))
✓	100.0%	(*.f64 y (-.f64 x z))
✓	47.7%	(*.f64 y x)

Compiler

Compiled 51 to 28 computations (45.1% saved)

regimes10.0ms (0.3%)

Memory

-8.9MiB live, 30.6MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

4 calls:

3.0ms	y
2.0ms	(-.f64 (+.f64 (-.f64 (.f64 x y) (.f64 y y)) (.f64 y y)) (.f64 y z))
2.0ms	x
2.0ms	z

Results

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

Compiler

Compiled 30 to 18 computations (40% saved)

regimes5.0ms (0.1%)

Memory

20.7MiB live, 20.7MiB allocated

Counts

2 → 3

Calls

Call 1

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

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

Calls

3 calls:

2.0ms	y
2.0ms	x
2.0ms	z

Results

Accuracy	Segments	Branch
80.6%	3	`x`
61.4%	1	`y`
80.9%	3	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes5.0ms (0.1%)

Memory

-23.9MiB live, 18.3MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(*.f64 y x)

Outputs
(*.f64 y x)

Calls

3 calls:

2.0ms	z
1.0ms	y
1.0ms	x

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch38.0ms (1%)

Memory

4.1MiB live, 120.9MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
19.0ms	2.6620867380518722e-55	1.0263084490818076e-40
16.0ms	-1.8128144054350106e-116	-2.367681306451219e-120

Samples

13.0ms	119×	1	valid
9.0ms	149×	0	valid
3.0ms	20×	2	valid

Compiler

Compiled 291 to 213 computations (26.8% saved)

Precisions

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

ival-mult: 8.0ms (51.2% of total)

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

ival-add: 2.0ms (12.8% of total)

adjust: 2.0ms (12.8% of total)

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

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

simplify4.0ms (0.1%)

Memory

11.8MiB live, 11.8MiB allocated

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative`
4×	`sub-neg`
4×	`+-commutative`
3×	`neg-sub0`
3×	`neg-mul-1`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	96
1	40	96
2	50	96
3	56	96
4	58	96

Stop Event

1×

saturated

Calls

Call 1

Inputs

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

(if (<=.f64 z #s(literal -3549017208474643/1419606883389857208104148062281258856159455782592418086487285545274686109596480318996466895925319463985864300012238628776434768805888 binary64)) (*.f64 z (neg.f64 y)) (if (<=.f64 z #s(literal 1933467854852417/411376139330301510538742295639337626245683966408394965837152256 binary64)) (*.f64 y x) (*.f64 z (neg.f64 y))))

(*.f64 y x)

Outputs
(*.f64 y (-.f64 x z))
(if (<=.f64 z #s(literal -3549017208474643/1419606883389857208104148062281258856159455782592418086487285545274686109596480318996466895925319463985864300012238628776434768805888 binary64)) (.f64 z (neg.f64 y)) (if (<=.f64 z #s(literal 1933467854852417/411376139330301510538742295639337626245683966408394965837152256 binary64)) (.f64 y x) (*.f64 z (neg.f64 y))))
(if (or (<=.f64 z #s(literal -3549017208474643/1419606883389857208104148062281258856159455782592418086487285545274686109596480318996466895925319463985864300012238628776434768805888 binary64)) (not (<=.f64 z #s(literal 1933467854852417/411376139330301510538742295639337626245683966408394965837152256 binary64)))) (.f64 z (neg.f64 y)) (.f64 y x))
(*.f64 y x)

soundness400.0ms (10.7%)

Memory

-12.2MiB live, 304.3MiB allocated

Rules

840×	`fma-define`
572×	`sub-neg`
518×	`unsub-neg`
427×	`distribute-lft-in`
413×	`div-sub`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	317	4611
1	680	4416
2	1889	4347
3	7262	4347
0	48	662
1	183	367
2	641	264
3	2518	250
4	5675	250
5	7394	250

Stop Event

1×	done
1×	node limit
1×	node limit

Compiler

Compiled 125 to 52 computations (58.4% saved)

preprocess39.0ms (1%)

Memory: -6.3MiB live, 114.3MiB allocated
Remove: (negabs y)
Compiler: Compiled 138 to 78 computations (43.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	11	47
1	15	47
2	26	47
3	46	47
4	77	47
5	114	47
6	186	47
7	307	47
8	547	47
9	684	47
10	749	47
11	751	47

Iter	Nodes	Cost
0	11	47
1	15	47
2	26	47
3	46	47
4	77	47
5	114	47
6	186	47
7	307	47
8	547	47
9	684	47
10	749	47
11	751	47

analyze0.0ms (0%)

sample1.6s (41.7%)

preprocess111.0ms (3%)

explain318.0ms (8.5%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify39.0ms (1%)

localize14.0ms (0.4%)

series78.0ms (2.1%)

rewrite592.0ms (15.8%)

simplify128.0ms (3.4%)

eval21.0ms (0.6%)

prune35.0ms (0.9%)

simplify13.0ms (0.3%)

localize18.0ms (0.5%)

series7.0ms (0.2%)

rewrite79.0ms (2.1%)

simplify128.0ms (3.4%)

eval24.0ms (0.6%)

prune74.0ms (2%)

regimes10.0ms (0.3%)

regimes5.0ms (0.1%)

regimes5.0ms (0.1%)

bsearch38.0ms (1%)

simplify4.0ms (0.1%)

soundness400.0ms (10.7%)

preprocess39.0ms (1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	11	47
1	15	47
2	26	47
3	46	47
4	77	47
5	114	47
6	186	47
7	307	47
8	547	47
9	684	47
10	749	47
11	751	47