Metrics for Statistics.Distribution.Poisson.Internal:probability from math-functions-0.1.5.2

analyze1.0ms (0%)

Algorithm

1×

Search

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

Compiler

Compiled 13 to 9 computations (30.8% saved)

Precisions

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

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

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

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

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

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

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

sample1.8s (36.1%)

Results

741.0ms	4838×	256	infinite
682.0ms	3418×	256	valid

Precisions

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

Operation ival-log, time spent: 202.0ms, 32.0% of total-time

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

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

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

Operation ival-exp, time spent: 61.0ms, 10.0% of total-time

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

Bogosity

preprocess460.0ms (9.4%)

Algorithm

1×	egg-herbie

Rules

1576×	`fma-define`
886×	`fma-neg`
436×	`exp-sum`
365×	`div-sub`
328×	`sub-neg`

FPErrors

Click to see full error table

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

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	44	473
1	108	421
2	295	421
3	871	405
4	1971	405
5	3435	405
6	5159	405
7	6112	405
8	6635	405
9	6973	405
10	7095	405
11	7136	405
12	7759	405
13	7916	405

Stop Event

1×	node limit

Calls

Call 1

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

Outputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) z)))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) z)))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) x) z))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
(exp.f64 (-.f64 (+.f64 (neg.f64 x) (*.f64 y (log.f64 y))) z))
(exp.f64 (+.f64 (neg.f64 x) (-.f64 (*.f64 y (log.f64 y)) z)))
(exp.f64 (-.f64 (-.f64 (*.f64 y (log.f64 y)) x) z))
(/.f64 (/.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 z))
(/.f64 (pow.f64 y y) (exp.f64 (+.f64 x z)))
(exp.f64 (-.f64 (+.f64 x (*.f64 (neg.f64 y) (log.f64 (neg.f64 y)))) z))
(exp.f64 (-.f64 (fma.f64 (neg.f64 y) (log.f64 (neg.f64 y)) x) z))
(*.f64 (pow.f64 (neg.f64 y) (neg.f64 y)) (exp.f64 (-.f64 x z)))
(/.f64 (exp.f64 (-.f64 x z)) (pow.f64 (neg.f64 y) y))
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) (neg.f64 z)))
(exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) (neg.f64 z))))
(exp.f64 (+.f64 x (fma.f64 y (log.f64 y) z)))
(*.f64 (pow.f64 y y) (exp.f64 (+.f64 x z)))
(neg.f64 (exp.f64 (-.f64 (+.f64 (neg.f64 x) (*.f64 y (log.f64 y))) z)))
(neg.f64 (exp.f64 (+.f64 (neg.f64 x) (-.f64 (*.f64 y (log.f64 y)) z))))
(neg.f64 (exp.f64 (-.f64 (-.f64 (*.f64 y (log.f64 y)) x) z)))
(/.f64 (/.f64 (pow.f64 y y) (exp.f64 x)) (neg.f64 (exp.f64 z)))
(neg.f64 (/.f64 (pow.f64 y y) (exp.f64 (+.f64 x z))))
(/.f64 (neg.f64 (pow.f64 y y)) (exp.f64 (+.f64 x z)))
(neg.f64 (exp.f64 (-.f64 (+.f64 x (*.f64 (neg.f64 y) (log.f64 (neg.f64 y)))) z)))
(neg.f64 (exp.f64 (-.f64 (fma.f64 (neg.f64 y) (log.f64 (neg.f64 y)) x) z)))
(neg.f64 (*.f64 (pow.f64 (neg.f64 y) (neg.f64 y)) (exp.f64 (-.f64 x z))))
(neg.f64 (/.f64 (exp.f64 (-.f64 x z)) (pow.f64 (neg.f64 y) y)))
(/.f64 (exp.f64 (-.f64 x z)) (neg.f64 (pow.f64 (neg.f64 y) y)))
(neg.f64 (exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) (neg.f64 z))))
(neg.f64 (exp.f64 (+.f64 x (-.f64 (*.f64 y (log.f64 y)) (neg.f64 z)))))
(neg.f64 (exp.f64 (+.f64 x (fma.f64 y (log.f64 y) z))))
(neg.f64 (*.f64 (pow.f64 y y) (exp.f64 (+.f64 x z))))
(*.f64 (pow.f64 y y) (neg.f64 (exp.f64 (+.f64 x z))))
(*.f64 (neg.f64 (pow.f64 y y)) (exp.f64 (+.f64 x z)))
(exp.f64 (-.f64 (+.f64 y (*.f64 x (log.f64 x))) z))
(exp.f64 (+.f64 y (-.f64 (*.f64 x (log.f64 x)) z)))
(exp.f64 (-.f64 (fma.f64 x (log.f64 x) y) z))
(/.f64 (pow.f64 x x) (exp.f64 (-.f64 z y)))
(*.f64 (pow.f64 x x) (exp.f64 (-.f64 y z)))
(exp.f64 (-.f64 (+.f64 z (*.f64 y (log.f64 y))) x))
(exp.f64 (+.f64 z (-.f64 (*.f64 y (log.f64 y)) x)))
(exp.f64 (-.f64 (fma.f64 y (log.f64 y) z) x))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 z x)))
(exp.f64 (-.f64 (+.f64 x (*.f64 z (log.f64 z))) y))
(exp.f64 (+.f64 x (-.f64 (*.f64 z (log.f64 z)) y)))
(exp.f64 (-.f64 (fma.f64 z (log.f64 z) x) y))
(*.f64 (pow.f64 z z) (exp.f64 (-.f64 x y)))
(/.f64 (pow.f64 z z) (exp.f64 (-.f64 y x)))

Results

44.0ms	290×	256	infinite
35.0ms	220×	256	valid
1.0ms	2×	2048	valid

Compiler

Compiled 84 to 26 computations (69% saved)

Precisions

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

Operation ival-log, time spent: 10.0ms, 39.0% of total-time

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

Operation ival-exp, time spent: 4.0ms, 16.0% of total-time

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

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

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

eval1.0ms (0%)

Compiler: Compiled 44 to 20 computations (54.5% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	80.9%	(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
▶	100.0%	(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize76.0ms (1.6%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	98.7%	(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
✓	100.0%	(-.f64 (+.f64 x (*.f64 y (log.f64 y))) z)
✓	99.7%	(*.f64 y (log.f64 y))

Results

28.0ms	127×	256	infinite
17.0ms	83×	256	valid
10.0ms	45×	256	unsamplable
1.0ms	1×	2048	valid

Compiler

Compiled 57 to 13 computations (77.2% saved)

Precisions

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

Operation ival-pow, time spent: 10.0ms, 31.0% of total-time

Operation ival-log, time spent: 7.0ms, 22.0% of total-time

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

Operation ival-exp, time spent: 4.0ms, 13.0% of total-time

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

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

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

series102.0ms (2.1%)

Counts

3 → 74

Calls

Call 1

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

Outputs
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>
#<alt (-.f64 (*.f64 y (log.f64 y)) z)>
#<alt x>
#<alt (.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))>
#<alt (.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))>
#<alt (.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))>
#<alt x>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))>
#<alt (-.f64 x z)>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))>
#<alt (.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))>
#<alt (.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))>
#<alt (.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))>
#<alt (.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))>
#<alt (+.f64 x (*.f64 y (log.f64 y)))>
#<alt (+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))>
#<alt (+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))>
#<alt (+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))>
#<alt (*.f64 #s(literal -1 binary64) z)>
#<alt (.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) z)) #s(literal 1 binary64)))>
#<alt (.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) z)) #s(literal 1 binary64)))>
#<alt (.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) 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 (+.f64 x (.f64 y (log.f64 y))) z)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 y (log.f64 y))) z)))))>
#<alt (.f64 #s(literal -1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 y (log.f64 y))) z)))))>
#<alt (exp.f64 (-.f64 x z))>
#<alt (+.f64 (exp.f64 (-.f64 x z)) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (log.f64 y))))>
#<alt (+.f64 (exp.f64 (-.f64 x z)) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 2 binary64))))) (*.f64 (exp.f64 (-.f64 x z)) (log.f64 y)))))>
#<alt (+.f64 (exp.f64 (-.f64 x z)) (.f64 y (+.f64 (.f64 y (+.f64 (.f64 #s(literal 1/6 binary64) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 3 binary64))))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 2 binary64)))))) (.f64 (exp.f64 (-.f64 x z)) (log.f64 y)))))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))>
#<alt (+.f64 (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))) (*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))>
#<alt (+.f64 (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))>
#<alt (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 #s(literal 1/6 binary64) (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))>
#<alt (.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))>
#<alt (.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))>
#<alt (.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (+.f64 (.f64 #s(literal -1 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))) (.f64 (exp.f64 x) (pow.f64 y y)))>
#<alt (+.f64 (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (.f64 (exp.f64 x) (pow.f64 y y))) (.f64 #s(literal 1/2 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))))) (*.f64 (exp.f64 x) (pow.f64 y y)))>
#<alt (+.f64 (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (.f64 (exp.f64 x) (pow.f64 y y))) (.f64 z (+.f64 (.f64 #s(literal -1/6 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 x) (pow.f64 y y))))))) (.f64 (exp.f64 x) (pow.f64 y y)))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))>
#<alt (.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))>
#<alt (.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))>
#<alt (.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))>
#<alt (.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))>

Calls

21 calls:

Time	Variable		Point	Expression
38.0ms	y	@	0	(* y (log y))
20.0ms	y	@	-inf	(* y (log y))
11.0ms	x	@	inf	(* (pow y y) (exp (- x z)))
9.0ms	y	@	inf	(* y (log y))
5.0ms	x	@	-inf	(* (pow y y) (exp (- x z)))

rewrite250.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

867×	`log1p-expm1-u`
867×	`expm1-log1p-u`
695×	`fma-define`
334×	`fma-neg`
224×	`log1p-undefine`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	87
1	255	83
2	3656	83

Stop Event

1×	node limit

Counts

3 → 161

Calls

Call 1

Inputs
(*.f64 y (log.f64 y))
(-.f64 (+.f64 x (*.f64 y (log.f64 y))) z)
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))

Outputs
(+.f64 #s(literal 0 binary64) (*.f64 y (log.f64 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 y y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 y y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 y y))) (log.f64 (sqrt.f64 (pow.f64 y y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (log.f64 y)))) #s(literal 1 binary64))
(pow.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 y (log.f64 y))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 y (log.f64 y))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)))
(log.f64 (pow.f64 y y))
(log.f64 (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 y y) #s(literal 1 binary64))))
(cbrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 y (log.f64 y))))
(log1p.f64 (-.f64 (pow.f64 y y) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 y (log.f64 y))))
(exp.f64 (.f64 (log.f64 (.f64 y (log.f64 y))) #s(literal 1 binary64)))
(+.f64 (*.f64 y (log.f64 y)) (-.f64 x z))
(+.f64 x (-.f64 (*.f64 y (log.f64 y)) z))
(+.f64 x (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(+.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z))
(+.f64 (fma.f64 y (log.f64 y) x) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (+.f64 (neg.f64 z) z))
(+.f64 (-.f64 x z) (*.f64 y (log.f64 y)))
(+.f64 (neg.f64 z) (fma.f64 y (log.f64 y) x))
(+.f64 (-.f64 (*.f64 y (log.f64 y)) z) x)
(+.f64 #s(literal 0 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(+.f64 (log.f64 (sqrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))) (log.f64 (sqrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(*.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)))
(*.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(*.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(*.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))) (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 x (fma.f64 y (log.f64 y) z)) (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 x (fma.f64 y (log.f64 y) z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64)))) (neg.f64 (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (.f64 y (log.f64 y)) z)) (.f64 x (-.f64 (.f64 y (log.f64 y)) z)))))
(/.f64 (+.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 (neg.f64 z) #s(literal 3 binary64))) (+.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 z) (neg.f64 z)) (.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z)))))
(/.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (.f64 y (log.f64 y)) z))) (-.f64 x (-.f64 (.f64 y (log.f64 y)) z)))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (*.f64 (neg.f64 z) (neg.f64 z))) (-.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z)))
(pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 2 binary64)))
(log.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))))
(cbrt.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(log1p.f64 (expm1.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(exp.f64 (log.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(exp.f64 (*.f64 (log.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 1 binary64)))
(fma.f64 y (log.f64 y) (-.f64 x z))
(fma.f64 (log.f64 y) y (-.f64 x z))
(fma.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64) (-.f64 x z))
(fma.f64 x #s(literal 1 binary64) (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 x #s(literal 1 binary64) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 (fma.f64 y (log.f64 y) x) #s(literal 1 binary64) (neg.f64 z))
(fma.f64 (fma.f64 y (log.f64 y) x) #s(literal 1 binary64) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (fma.f64 y (log.f64 y) (-.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 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64) (+.f64 (neg.f64 z) z))
(fma.f64 (-.f64 x z) #s(literal 1 binary64) (*.f64 y (log.f64 y)))
(fma.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y)) (-.f64 x z))
(fma.f64 #s(literal 1 binary64) x (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 #s(literal 1 binary64) x (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) x) (neg.f64 z))
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) x) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.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) (fma.f64 y (log.f64 y) (-.f64 x z)) (+.f64 (neg.f64 z) z))
(fma.f64 #s(literal 1 binary64) (-.f64 x z) (*.f64 y (log.f64 y)))
(fma.f64 #s(literal 1 binary64) (neg.f64 z) (fma.f64 y (log.f64 y) x))
(fma.f64 #s(literal 1 binary64) (-.f64 (*.f64 y (log.f64 y)) z) x)
(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) #s(literal 2 binary64)) (*.f64 (cbrt.f64 (log.f64 y)) y) (-.f64 x z))
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.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 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (+.f64 (neg.f64 z) z))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.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 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (+.f64 (neg.f64 z) z))
(fma.f64 (cbrt.f64 (-.f64 x z)) (pow.f64 (cbrt.f64 (-.f64 x z)) #s(literal 2 binary64)) (*.f64 y (log.f64 y)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) #s(literal 2 binary64)) (cbrt.f64 (-.f64 x z)) (*.f64 y (log.f64 y)))
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (neg.f64 z))
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) x)) (neg.f64 z))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) x)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (cbrt.f64 (.f64 y (log.f64 y))) (pow.f64 (cbrt.f64 (.f64 y (log.f64 y))) #s(literal 2 binary64)) (-.f64 x z))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 y (log.f64 y))) #s(literal 2 binary64)) (cbrt.f64 (.f64 y (log.f64 y))) (-.f64 x z))
(fma.f64 (pow.f64 (cbrt.f64 y) #s(literal 2 binary64)) (*.f64 (cbrt.f64 y) (log.f64 y)) (-.f64 x z))
(fma.f64 (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) (neg.f64 (cbrt.f64 z)) (fma.f64 y (log.f64 y) x))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (cbrt.f64 x) (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (cbrt.f64 x) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 (sqrt.f64 (log.f64 y)) (*.f64 (sqrt.f64 (log.f64 y)) y) (-.f64 x z))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (+.f64 (neg.f64 z) z))
(fma.f64 (sqrt.f64 (-.f64 x z)) (sqrt.f64 (-.f64 x z)) (*.f64 y (log.f64 y)))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 (fma.f64 y (log.f64 y) x)) (neg.f64 z))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 (fma.f64 y (log.f64 y) x)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (sqrt.f64 (.f64 y (log.f64 y))) (sqrt.f64 (.f64 y (log.f64 y))) (-.f64 x z))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (log.f64 y)) (-.f64 x z))
(fma.f64 (sqrt.f64 z) (neg.f64 (sqrt.f64 z)) (fma.f64 y (log.f64 y) x))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (fma.f64 y (log.f64 y) (neg.f64 x)) (pow.f64 x #s(literal 2 binary64)))) (neg.f64 z))
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (fma.f64 y (log.f64 y) (neg.f64 x)) (pow.f64 x #s(literal 2 binary64)))) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) 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 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))) (+.f64 (neg.f64 z) 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 y (log.f64 y)))
(fma.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (.f64 y (log.f64 y)))) (neg.f64 z))
(fma.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (.f64 y (log.f64 y)))) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (+.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)) (*.f64 y (log.f64 y)))
(fma.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z) (fma.f64 y (log.f64 y) x))
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 (neg.f64 z))) (cbrt.f64 (neg.f64 z)) (fma.f64 y (log.f64 y) x))
(fma.f64 (.f64 (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z))) (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) x)
(fma.f64 (sqrt.f64 (neg.f64 z)) (sqrt.f64 (neg.f64 z)) (fma.f64 y (log.f64 y) x))
(fma.f64 (sqrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) (sqrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) x)
(fma.f64 #s(literal -1 binary64) z (fma.f64 y (log.f64 y) x))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) 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 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (+.f64 (neg.f64 z) z))
(fma.f64 (fma.f64 (sqrt.f64 (log.f64 y)) (sqrt.f64 y) (sqrt.f64 z)) (-.f64 (sqrt.f64 (*.f64 y (log.f64 y))) (sqrt.f64 z)) x)
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 z)) (-.f64 (sqrt.f64 x) (sqrt.f64 z)) (*.f64 y (log.f64 y)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 z) #s(literal 2 binary64))) (cbrt.f64 z) (fma.f64 y (log.f64 y) x))
(fma.f64 (*.f64 y (pow.f64 (cbrt.f64 (log.f64 y)) #s(literal 2 binary64))) (cbrt.f64 (log.f64 y)) (-.f64 x z))
(fma.f64 (*.f64 y (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y)) (-.f64 x z))
(fma.f64 (*.f64 (log.f64 y) (pow.f64 (cbrt.f64 y) #s(literal 2 binary64))) (cbrt.f64 y) (-.f64 x z))
(fma.f64 (*.f64 (log.f64 y) (sqrt.f64 y)) (sqrt.f64 y) (-.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))) #s(literal 1 binary64))
(/.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 z))
(pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (fma.f64 y (log.f64 y) (-.f64 x z)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64))) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(sqrt.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 y y)) (exp.f64 (-.f64 x z))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 y y) #s(literal 3 binary64)) (pow.f64 (exp.f64 (-.f64 x z)) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (exp.f64 (-.f64 x z)) #s(literal 3 binary64)) (pow.f64 (pow.f64 y y) #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))

simplify131.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

568×	`times-frac`
430×	`fma-neg`
417×	`associate-+r+`
412×	`associate-+l+`
195×	`fma-define`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	442	10530
1	1062	10013
2	3269	9817

Stop Event

1×	node limit

Counts

235 → 260

Calls

Call 1

Inputs
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(-.f64 (*.f64 y (log.f64 y)) z)
x
(.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))
(.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))
(.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))
x
(.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))
(.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))
(.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))
(-.f64 x z)
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))
(.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))
(.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))
(+.f64 x (*.f64 y (log.f64 y)))
(+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))
(+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))
(+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))
(*.f64 #s(literal -1 binary64) z)
(.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) z)) #s(literal 1 binary64)))
(.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) z)) #s(literal 1 binary64)))
(.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) 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 (+.f64 x (.f64 y (log.f64 y))) z)))))
(.f64 #s(literal -1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 y (log.f64 y))) z)))))
(.f64 #s(literal -1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 y (log.f64 y))) z)))))
(exp.f64 (-.f64 x z))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (log.f64 y))))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 2 binary64))))) (*.f64 (exp.f64 (-.f64 x z)) (log.f64 y)))))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (+.f64 (.f64 y (+.f64 (.f64 #s(literal 1/6 binary64) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 3 binary64))))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 2 binary64)))))) (.f64 (exp.f64 (-.f64 x z)) (log.f64 y)))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))
(+.f64 (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))) (*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))
(+.f64 (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))
(+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 #s(literal 1/6 binary64) (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))
(.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))
(.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))
(.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))
(*.f64 (exp.f64 x) (pow.f64 y y))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))) (.f64 (exp.f64 x) (pow.f64 y y)))
(+.f64 (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (.f64 (exp.f64 x) (pow.f64 y y))) (.f64 #s(literal 1/2 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))))) (*.f64 (exp.f64 x) (pow.f64 y y)))
(+.f64 (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (.f64 (exp.f64 x) (pow.f64 y y))) (.f64 z (+.f64 (.f64 #s(literal -1/6 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 x) (pow.f64 y y))))))) (.f64 (exp.f64 x) (pow.f64 y y)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))
(.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))
(.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))
(.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))
(+.f64 #s(literal 0 binary64) (*.f64 y (log.f64 y)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 y y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 y y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 y y))) (log.f64 (sqrt.f64 (pow.f64 y y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (log.f64 y)))) #s(literal 1 binary64))
(pow.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 y (log.f64 y))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 y (log.f64 y))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)))
(log.f64 (pow.f64 y y))
(log.f64 (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 y y) #s(literal 1 binary64))))
(cbrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 y (log.f64 y))))
(log1p.f64 (-.f64 (pow.f64 y y) #s(literal 1 binary64)))
(exp.f64 (log.f64 (*.f64 y (log.f64 y))))
(exp.f64 (.f64 (log.f64 (.f64 y (log.f64 y))) #s(literal 1 binary64)))
(+.f64 (*.f64 y (log.f64 y)) (-.f64 x z))
(+.f64 x (-.f64 (*.f64 y (log.f64 y)) z))
(+.f64 x (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(+.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z))
(+.f64 (fma.f64 y (log.f64 y) x) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (+.f64 (neg.f64 z) z))
(+.f64 (-.f64 x z) (*.f64 y (log.f64 y)))
(+.f64 (neg.f64 z) (fma.f64 y (log.f64 y) x))
(+.f64 (-.f64 (*.f64 y (log.f64 y)) z) x)
(+.f64 #s(literal 0 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(+.f64 (log.f64 (sqrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))) (log.f64 (sqrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(*.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)))
(*.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(*.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(*.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))) (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 x (fma.f64 y (log.f64 y) z)) (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 x (fma.f64 y (log.f64 y) z)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64)))) (neg.f64 (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (.f64 y (log.f64 y)) z)) (.f64 x (-.f64 (.f64 y (log.f64 y)) z)))))
(/.f64 (+.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 (neg.f64 z) #s(literal 3 binary64))) (+.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 z) (neg.f64 z)) (.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z)))))
(/.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (.f64 y (log.f64 y)) z))) (-.f64 x (-.f64 (.f64 y (log.f64 y)) z)))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (*.f64 (neg.f64 z) (neg.f64 z))) (-.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z)))
(pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 2 binary64)))
(log.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))))
(cbrt.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(log1p.f64 (expm1.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(exp.f64 (log.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(exp.f64 (*.f64 (log.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 1 binary64)))
(fma.f64 y (log.f64 y) (-.f64 x z))
(fma.f64 (log.f64 y) y (-.f64 x z))
(fma.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64) (-.f64 x z))
(fma.f64 x #s(literal 1 binary64) (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 x #s(literal 1 binary64) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 (fma.f64 y (log.f64 y) x) #s(literal 1 binary64) (neg.f64 z))
(fma.f64 (fma.f64 y (log.f64 y) x) #s(literal 1 binary64) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (fma.f64 y (log.f64 y) (-.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 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64) (+.f64 (neg.f64 z) z))
(fma.f64 (-.f64 x z) #s(literal 1 binary64) (*.f64 y (log.f64 y)))
(fma.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y)) (-.f64 x z))
(fma.f64 #s(literal 1 binary64) x (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 #s(literal 1 binary64) x (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) x) (neg.f64 z))
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) x) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.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) (fma.f64 y (log.f64 y) (-.f64 x z)) (+.f64 (neg.f64 z) z))
(fma.f64 #s(literal 1 binary64) (-.f64 x z) (*.f64 y (log.f64 y)))
(fma.f64 #s(literal 1 binary64) (neg.f64 z) (fma.f64 y (log.f64 y) x))
(fma.f64 #s(literal 1 binary64) (-.f64 (*.f64 y (log.f64 y)) z) x)
(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) #s(literal 2 binary64)) (*.f64 (cbrt.f64 (log.f64 y)) y) (-.f64 x z))
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.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 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (+.f64 (neg.f64 z) z))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.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 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (+.f64 (neg.f64 z) z))
(fma.f64 (cbrt.f64 (-.f64 x z)) (pow.f64 (cbrt.f64 (-.f64 x z)) #s(literal 2 binary64)) (*.f64 y (log.f64 y)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) #s(literal 2 binary64)) (cbrt.f64 (-.f64 x z)) (*.f64 y (log.f64 y)))
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (neg.f64 z))
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) x)) (neg.f64 z))
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) x)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (cbrt.f64 (.f64 y (log.f64 y))) (pow.f64 (cbrt.f64 (.f64 y (log.f64 y))) #s(literal 2 binary64)) (-.f64 x z))
(fma.f64 (pow.f64 (cbrt.f64 (.f64 y (log.f64 y))) #s(literal 2 binary64)) (cbrt.f64 (.f64 y (log.f64 y))) (-.f64 x z))
(fma.f64 (pow.f64 (cbrt.f64 y) #s(literal 2 binary64)) (*.f64 (cbrt.f64 y) (log.f64 y)) (-.f64 x z))
(fma.f64 (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) (neg.f64 (cbrt.f64 z)) (fma.f64 y (log.f64 y) x))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (cbrt.f64 x) (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (cbrt.f64 x) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 (sqrt.f64 (log.f64 y)) (*.f64 (sqrt.f64 (log.f64 y)) y) (-.f64 x z))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (+.f64 (neg.f64 z) z))
(fma.f64 (sqrt.f64 (-.f64 x z)) (sqrt.f64 (-.f64 x z)) (*.f64 y (log.f64 y)))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 (fma.f64 y (log.f64 y) x)) (neg.f64 z))
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 (fma.f64 y (log.f64 y) x)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (sqrt.f64 (.f64 y (log.f64 y))) (sqrt.f64 (.f64 y (log.f64 y))) (-.f64 x z))
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (log.f64 y)) (-.f64 x z))
(fma.f64 (sqrt.f64 z) (neg.f64 (sqrt.f64 z)) (fma.f64 y (log.f64 y) x))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (*.f64 y (log.f64 y)) z))
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (fma.f64 y (log.f64 y) (neg.f64 x)) (pow.f64 x #s(literal 2 binary64)))) (neg.f64 z))
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (fma.f64 y (log.f64 y) (neg.f64 x)) (pow.f64 x #s(literal 2 binary64)))) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) 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 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))) (+.f64 (neg.f64 z) 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 y (log.f64 y)))
(fma.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (.f64 y (log.f64 y)))) (neg.f64 z))
(fma.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (.f64 y (log.f64 y)))) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (+.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)) (*.f64 y (log.f64 y)))
(fma.f64 (neg.f64 (sqrt.f64 z)) (sqrt.f64 z) (fma.f64 y (log.f64 y) x))
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 (neg.f64 z))) (cbrt.f64 (neg.f64 z)) (fma.f64 y (log.f64 y) x))
(fma.f64 (.f64 (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z))) (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) x)
(fma.f64 (sqrt.f64 (neg.f64 z)) (sqrt.f64 (neg.f64 z)) (fma.f64 y (log.f64 y) x))
(fma.f64 (sqrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) (sqrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) x)
(fma.f64 #s(literal -1 binary64) z (fma.f64 y (log.f64 y) x))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) 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 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (+.f64 (neg.f64 z) z))
(fma.f64 (fma.f64 (sqrt.f64 (log.f64 y)) (sqrt.f64 y) (sqrt.f64 z)) (-.f64 (sqrt.f64 (*.f64 y (log.f64 y))) (sqrt.f64 z)) x)
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 z)) (-.f64 (sqrt.f64 x) (sqrt.f64 z)) (*.f64 y (log.f64 y)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 z) #s(literal 2 binary64))) (cbrt.f64 z) (fma.f64 y (log.f64 y) x))
(fma.f64 (*.f64 y (pow.f64 (cbrt.f64 (log.f64 y)) #s(literal 2 binary64))) (cbrt.f64 (log.f64 y)) (-.f64 x z))
(fma.f64 (*.f64 y (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y)) (-.f64 x z))
(fma.f64 (*.f64 (log.f64 y) (pow.f64 (cbrt.f64 y) #s(literal 2 binary64))) (cbrt.f64 y) (-.f64 x z))
(fma.f64 (*.f64 (log.f64 y) (sqrt.f64 y)) (sqrt.f64 y) (-.f64 x z))
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))) #s(literal 1 binary64))
(/.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 z))
(pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 2 binary64))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (fma.f64 y (log.f64 y) (-.f64 x z)))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64))) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(sqrt.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (pow.f64 y y)) (exp.f64 (-.f64 x z))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 3 binary64)))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 y y) #s(literal 3 binary64)) (pow.f64 (exp.f64 (-.f64 x z)) #s(literal 3 binary64))))
(cbrt.f64 (*.f64 (pow.f64 (exp.f64 (-.f64 x z)) #s(literal 3 binary64)) (pow.f64 (pow.f64 y y) #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))

Outputs
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(-.f64 (*.f64 y (log.f64 y)) z)
x
(.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))
(.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)))
(.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))
(.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)))
(.f64 x (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 (.f64 y (log.f64 y)) x)) (/.f64 z x)))
(.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)))
x
(.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))
(.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)))
(.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))
(.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)))
(.f64 #s(literal -1 binary64) (.f64 x (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)) #s(literal 1 binary64))))
(.f64 x (+.f64 #s(literal 1 binary64) (/.f64 (-.f64 (.f64 y (log.f64 y)) z) x)))
(-.f64 x z)
(.f64 #s(literal -1 binary64) (.f64 y (log.f64 (/.f64 #s(literal 1 binary64) y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))
(*.f64 y (+.f64 (neg.f64 (neg.f64 (log.f64 y))) (/.f64 (-.f64 x z) y)))
(*.f64 y (+.f64 (log.f64 y) (/.f64 (-.f64 x z) y)))
(.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))
(*.f64 y (+.f64 (neg.f64 (neg.f64 (log.f64 y))) (/.f64 (-.f64 x z) y)))
(*.f64 y (+.f64 (log.f64 y) (/.f64 (-.f64 x z) y)))
(.f64 y (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) y))) (/.f64 x y)) (/.f64 z y)))
(*.f64 y (+.f64 (neg.f64 (neg.f64 (log.f64 y))) (/.f64 (-.f64 x z) y)))
(*.f64 y (+.f64 (log.f64 y) (/.f64 (-.f64 x z) y)))
(.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))))
(*.f64 y (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))
(neg.f64 (.f64 y (.f64 #s(literal -1 binary64) (+.f64 (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))) (/.f64 (-.f64 x z) y)))))
(*.f64 (-.f64 (/.f64 (-.f64 z x) y) (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y)))) (neg.f64 y))
(*.f64 y (+.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))) (/.f64 (-.f64 x z) y)))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))
(neg.f64 (.f64 y (.f64 #s(literal -1 binary64) (+.f64 (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))) (/.f64 (-.f64 x z) y)))))
(*.f64 (-.f64 (/.f64 (-.f64 z x) y) (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y)))) (neg.f64 y))
(*.f64 y (+.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))) (/.f64 (-.f64 x z) y)))
(.f64 #s(literal -1 binary64) (.f64 y (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (log.f64 #s(literal -1 binary64)) (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) y))))) (*.f64 #s(literal -1 binary64) (/.f64 (-.f64 x z) y)))))
(neg.f64 (.f64 y (.f64 #s(literal -1 binary64) (+.f64 (+.f64 (log.f64 #s(literal -1 binary64)) (neg.f64 (log.f64 (/.f64 #s(literal -1 binary64) y)))) (/.f64 (-.f64 x z) y)))))
(*.f64 (-.f64 (/.f64 (-.f64 z x) y) (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y)))) (neg.f64 y))
(*.f64 y (+.f64 (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) y))) (/.f64 (-.f64 x z) y)))
(+.f64 x (*.f64 y (log.f64 y)))
(fma.f64 y (log.f64 y) x)
(+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 x (+.f64 (.f64 #s(literal -1 binary64) z) (.f64 y (log.f64 y))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(*.f64 #s(literal -1 binary64) z)
(neg.f64 z)
(.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) z)) #s(literal 1 binary64)))
(.f64 z (+.f64 (/.f64 x z) (-.f64 (.f64 y (/.f64 (log.f64 y) z)) #s(literal 1 binary64))))
(*.f64 z (+.f64 #s(literal -1 binary64) (fma.f64 y (/.f64 (log.f64 y) z) (/.f64 x z))))
(.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) z)) #s(literal 1 binary64)))
(.f64 z (+.f64 (/.f64 x z) (-.f64 (.f64 y (/.f64 (log.f64 y) z)) #s(literal 1 binary64))))
(*.f64 z (+.f64 #s(literal -1 binary64) (fma.f64 y (/.f64 (log.f64 y) z) (/.f64 x z))))
(.f64 z (-.f64 (+.f64 (/.f64 x z) (/.f64 (.f64 y (log.f64 y)) z)) #s(literal 1 binary64)))
(.f64 z (+.f64 (/.f64 x z) (-.f64 (.f64 y (/.f64 (log.f64 y) z)) #s(literal 1 binary64))))
(*.f64 z (+.f64 #s(literal -1 binary64) (fma.f64 y (/.f64 (log.f64 y) z) (/.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 (+.f64 x (.f64 y (log.f64 y))) z)))))
(*.f64 (neg.f64 z) (+.f64 #s(literal 1 binary64) (neg.f64 (/.f64 (fma.f64 y (log.f64 y) x) z))))
(*.f64 z (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 y (log.f64 y) x) z))))
(*.f64 z (+.f64 #s(literal -1 binary64) (/.f64 (fma.f64 y (log.f64 y) x) z)))
(.f64 #s(literal -1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 y (log.f64 y))) z)))))
(*.f64 (neg.f64 z) (+.f64 #s(literal 1 binary64) (neg.f64 (/.f64 (fma.f64 y (log.f64 y) x) z))))
(*.f64 z (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 y (log.f64 y) x) z))))
(*.f64 z (+.f64 #s(literal -1 binary64) (/.f64 (fma.f64 y (log.f64 y) x) z)))
(.f64 #s(literal -1 binary64) (.f64 z (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 x (.f64 y (log.f64 y))) z)))))
(*.f64 (neg.f64 z) (+.f64 #s(literal 1 binary64) (neg.f64 (/.f64 (fma.f64 y (log.f64 y) x) z))))
(*.f64 z (neg.f64 (-.f64 #s(literal 1 binary64) (/.f64 (fma.f64 y (log.f64 y) x) z))))
(*.f64 z (+.f64 #s(literal -1 binary64) (/.f64 (fma.f64 y (log.f64 y) x) z)))
(exp.f64 (-.f64 x z))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (log.f64 y))))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (.f64 (log.f64 y) (exp.f64 (-.f64 x z)))))
(fma.f64 y (*.f64 (log.f64 y) (exp.f64 (-.f64 x z))) (exp.f64 (-.f64 x z)))
(.f64 (+.f64 #s(literal 1 binary64) (.f64 y (log.f64 y))) (exp.f64 (-.f64 x z)))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 2 binary64))))) (*.f64 (exp.f64 (-.f64 x z)) (log.f64 y)))))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (fma.f64 #s(literal 1/2 binary64) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 2 binary64)))) (.f64 (log.f64 y) (exp.f64 (-.f64 x z))))))
(fma.f64 y (fma.f64 (log.f64 y) (exp.f64 (-.f64 x z)) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (*.f64 (pow.f64 (log.f64 y) #s(literal 2 binary64)) #s(literal 1/2 binary64))))) (exp.f64 (-.f64 x z)))
(fma.f64 y (.f64 (exp.f64 (-.f64 x z)) (+.f64 (log.f64 y) (.f64 (*.f64 y #s(literal 1/2 binary64)) (pow.f64 (log.f64 y) #s(literal 2 binary64))))) (exp.f64 (-.f64 x z)))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (+.f64 (.f64 y (+.f64 (.f64 #s(literal 1/6 binary64) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 3 binary64))))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 2 binary64)))))) (.f64 (exp.f64 (-.f64 x z)) (log.f64 y)))))
(+.f64 (exp.f64 (-.f64 x z)) (.f64 y (fma.f64 y (fma.f64 #s(literal 1/6 binary64) (.f64 y (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 3 binary64)))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 2 binary64))))) (.f64 (log.f64 y) (exp.f64 (-.f64 x z))))))
(fma.f64 y (fma.f64 y (fma.f64 (.f64 y #s(literal 1/6 binary64)) (.f64 (exp.f64 (-.f64 x z)) (pow.f64 (log.f64 y) #s(literal 3 binary64))) (.f64 (exp.f64 (-.f64 x z)) (.f64 (pow.f64 (log.f64 y) #s(literal 2 binary64)) #s(literal 1/2 binary64)))) (*.f64 (log.f64 y) (exp.f64 (-.f64 x z)))) (exp.f64 (-.f64 x z)))
(fma.f64 y (fma.f64 y (.f64 (exp.f64 (-.f64 x z)) (+.f64 (.f64 (.f64 y #s(literal 1/6 binary64)) (pow.f64 (log.f64 y) #s(literal 3 binary64))) (.f64 #s(literal 1/2 binary64) (pow.f64 (log.f64 y) #s(literal 2 binary64))))) (*.f64 (log.f64 y) (exp.f64 (-.f64 x z)))) (exp.f64 (-.f64 x z)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))
(*.f64 (pow.f64 y y) (exp.f64 (neg.f64 z)))
(/.f64 (pow.f64 y y) (exp.f64 z))
(+.f64 (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))) (*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))
(.f64 (+.f64 x #s(literal 1 binary64)) (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z))))
(.f64 (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z))) (+.f64 #s(literal 1 binary64) x))
(*.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 #s(literal 1 binary64) x))
(+.f64 (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))
(fma.f64 x (fma.f64 #s(literal 1/2 binary64) (.f64 x (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z)))) (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z)))) (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z))))
(fma.f64 x (.f64 (+.f64 (.f64 x #s(literal 1/2 binary64)) #s(literal 1 binary64)) (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z)))) (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z))))
(.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 (.f64 x (*.f64 x #s(literal 1/2 binary64))) (+.f64 #s(literal 1 binary64) x)))
(+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 #s(literal 1/6 binary64) (.f64 x (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y))))) (.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))) (*.f64 (exp.f64 (neg.f64 z)) (pow.f64 y y)))
(fma.f64 x (fma.f64 x (fma.f64 #s(literal 1/6 binary64) (.f64 x (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z)))) (.f64 #s(literal 1/2 binary64) (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z))))) (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z)))) (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z))))
(+.f64 (.f64 (.f64 (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z))) (+.f64 (.f64 x #s(literal 1/6 binary64)) #s(literal 1/2 binary64))) (pow.f64 x #s(literal 2 binary64))) (.f64 (.f64 (pow.f64 y y) (exp.f64 (neg.f64 z))) (+.f64 #s(literal 1 binary64) x)))
(fma.f64 x (.f64 (/.f64 (pow.f64 y y) (exp.f64 z)) (+.f64 (.f64 x (.f64 x #s(literal 1/6 binary64))) (+.f64 (.f64 x #s(literal 1/2 binary64)) #s(literal 1 binary64)))) (/.f64 (pow.f64 y y) (exp.f64 z)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (neg.f64 (+.f64 z (.f64 #s(literal -1 binary64) x)))) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 x) (pow.f64 y y))
(*.f64 (pow.f64 y y) (exp.f64 x))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))) (.f64 (exp.f64 x) (pow.f64 y y)))
(fma.f64 #s(literal -1 binary64) (.f64 z (.f64 (pow.f64 y y) (exp.f64 x))) (*.f64 (pow.f64 y y) (exp.f64 x)))
(.f64 (+.f64 (neg.f64 z) #s(literal 1 binary64)) (.f64 (pow.f64 y y) (exp.f64 x)))
(.f64 (-.f64 #s(literal 1 binary64) z) (.f64 (pow.f64 y y) (exp.f64 x)))
(+.f64 (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (.f64 (exp.f64 x) (pow.f64 y y))) (.f64 #s(literal 1/2 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))))) (*.f64 (exp.f64 x) (pow.f64 y y)))
(fma.f64 z (fma.f64 #s(literal -1 binary64) (.f64 (pow.f64 y y) (exp.f64 x)) (.f64 (.f64 #s(literal 1/2 binary64) z) (.f64 (pow.f64 y y) (exp.f64 x)))) (*.f64 (pow.f64 y y) (exp.f64 x)))
(fma.f64 z (.f64 (.f64 (pow.f64 y y) (exp.f64 x)) (+.f64 #s(literal -1 binary64) (.f64 z #s(literal 1/2 binary64)))) (.f64 (pow.f64 y y) (exp.f64 x)))
(.f64 (.f64 (pow.f64 y y) (exp.f64 x)) (+.f64 (-.f64 #s(literal 1 binary64) z) (.f64 z (.f64 z #s(literal 1/2 binary64)))))
(+.f64 (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (.f64 (exp.f64 x) (pow.f64 y y))) (.f64 z (+.f64 (.f64 #s(literal -1/6 binary64) (.f64 z (.f64 (exp.f64 x) (pow.f64 y y)))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 x) (pow.f64 y y))))))) (.f64 (exp.f64 x) (pow.f64 y y)))
(fma.f64 z (fma.f64 #s(literal -1 binary64) (.f64 (pow.f64 y y) (exp.f64 x)) (.f64 z (fma.f64 #s(literal -1/6 binary64) (.f64 z (.f64 (pow.f64 y y) (exp.f64 x))) (.f64 #s(literal 1/2 binary64) (.f64 (pow.f64 y y) (exp.f64 x)))))) (*.f64 (pow.f64 y y) (exp.f64 x)))
(+.f64 (.f64 (+.f64 (neg.f64 z) #s(literal 1 binary64)) (.f64 (pow.f64 y y) (exp.f64 x))) (.f64 (.f64 (.f64 (pow.f64 y y) (exp.f64 x)) (+.f64 (.f64 z #s(literal -1/6 binary64)) #s(literal 1/2 binary64))) (pow.f64 z #s(literal 2 binary64))))
(+.f64 (.f64 (-.f64 #s(literal 1 binary64) z) (.f64 (pow.f64 y y) (exp.f64 x))) (.f64 (.f64 (.f64 (pow.f64 y y) (exp.f64 x)) (+.f64 (.f64 z #s(literal -1/6 binary64)) #s(literal 1/2 binary64))) (pow.f64 z #s(literal 2 binary64))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(.f64 (exp.f64 (+.f64 x (.f64 #s(literal -1 binary64) z))) (pow.f64 y y))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(+.f64 #s(literal 0 binary64) (*.f64 y (log.f64 y)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 y y)) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 y y))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 y y))) (log.f64 (sqrt.f64 (pow.f64 y y))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 y y))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 y (log.f64 y)))) #s(literal 1 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(pow.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(pow.f64 (cbrt.f64 (*.f64 y (log.f64 y))) #s(literal 3 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(pow.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(pow.f64 (sqrt.f64 (*.f64 y (log.f64 y))) #s(literal 2 binary64))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(sqrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 2 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(log.f64 (pow.f64 y y))
(log.f64 (+.f64 #s(literal 1 binary64) (-.f64 (pow.f64 y y) #s(literal 1 binary64))))
(log.f64 (pow.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 y (log.f64 y)) #s(literal 3 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(expm1.f64 (log1p.f64 (*.f64 y (log.f64 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(log1p.f64 (-.f64 (pow.f64 y y) #s(literal 1 binary64)))
(log.f64 (pow.f64 y y))
(exp.f64 (log.f64 (*.f64 y (log.f64 y))))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(exp.f64 (.f64 (log.f64 (.f64 y (log.f64 y))) #s(literal 1 binary64)))
(neg.f64 (*.f64 y (neg.f64 (log.f64 y))))
(*.f64 y (log.f64 y))
(+.f64 (*.f64 y (log.f64 y)) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 x (-.f64 (*.f64 y (log.f64 y)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 x (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (fma.f64 y (log.f64 y) x) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) (+.f64 (neg.f64 z) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (-.f64 x z) (*.f64 y (log.f64 y)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (neg.f64 z) (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (-.f64 (*.f64 y (log.f64 y)) z) x)
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 #s(literal 0 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y)))))
(+.f64 (log.f64 (sqrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))) (log.f64 (sqrt.f64 (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y)))))
(*.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(*.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(*.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(*.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(*.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 z (fma.f64 y (log.f64 y) x)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 z (fma.f64 y (log.f64 y) x)))
(*.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)))
(/.f64 #s(literal 1 binary64) (/.f64 (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))) (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 z (fma.f64 y (log.f64 y) x)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 x (fma.f64 y (log.f64 y) z)) (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64)))))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 z (fma.f64 y (log.f64 y) x)))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 z (fma.f64 y (log.f64 y) x)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 x (fma.f64 y (log.f64 y) z)))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 z (fma.f64 y (log.f64 y) x)))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64)))) (neg.f64 (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 z (fma.f64 y (log.f64 y) x)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64)))) (neg.f64 (+.f64 x (fma.f64 y (log.f64 y) z))))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 z (fma.f64 y (log.f64 y) x)))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 3 binary64))) (fma.f64 x x (-.f64 (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (.f64 y (log.f64 y)) z)) (.f64 x (-.f64 (.f64 y (log.f64 y)) z)))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 3 binary64))) (fma.f64 x x (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (-.f64 (.f64 y (log.f64 y)) z) x))))
(/.f64 (+.f64 (pow.f64 x #s(literal 3 binary64)) (pow.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 3 binary64))) (fma.f64 x x (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (.f64 y (log.f64 y)) (+.f64 z x)))))
(/.f64 (+.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 (neg.f64 z) #s(literal 3 binary64))) (+.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (-.f64 (.f64 (neg.f64 z) (neg.f64 z)) (.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z)))))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 z (fma.f64 y (log.f64 y) x)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (.f64 y (log.f64 y)) z))) (-.f64 x (-.f64 (.f64 y (log.f64 y)) z)))
(/.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y (log.f64 y)) z) (-.f64 (.f64 y (log.f64 y)) z))) (+.f64 (-.f64 x (.f64 y (log.f64 y))) z))
(/.f64 (.f64 (-.f64 (fma.f64 y (log.f64 y) x) z) (+.f64 z (-.f64 x (.f64 y (log.f64 y))))) (+.f64 z (-.f64 x (*.f64 y (log.f64 y)))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (*.f64 (neg.f64 z) (neg.f64 z))) (-.f64 (fma.f64 y (log.f64 y) x) (neg.f64 z)))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 z (fma.f64 y (log.f64 y) x)))
(pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 3 binary64))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(pow.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(pow.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(sqrt.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 2 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(log.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(cbrt.f64 (pow.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 3 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(expm1.f64 (log1p.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(log1p.f64 (expm1.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(exp.f64 (log.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(exp.f64 (*.f64 (log.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 y (log.f64 y) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (log.f64 y) y (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (*.f64 y (log.f64 y)) #s(literal 1 binary64) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 x #s(literal 1 binary64) (-.f64 (*.f64 y (log.f64 y)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 x #s(literal 1 binary64) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (fma.f64 y (log.f64 y) x) #s(literal 1 binary64) (neg.f64 z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (fma.f64 y (log.f64 y) x) #s(literal 1 binary64) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (fma.f64 y (log.f64 y) (-.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 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (fma.f64 y (log.f64 y) (-.f64 x z)) #s(literal 1 binary64) (+.f64 (neg.f64 z) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (-.f64 x z) #s(literal 1 binary64) (*.f64 y (log.f64 y)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (*.f64 y (log.f64 y)) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) x (-.f64 (*.f64 y (log.f64 y)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) x (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) x) (neg.f64 z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) x) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (fma.f64 y (log.f64 y) (-.f64 x z)) (+.f64 (neg.f64 z) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (-.f64 x z) (*.f64 y (log.f64 y)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (neg.f64 z) (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal 1 binary64) (-.f64 (*.f64 y (log.f64 y)) z) x)
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (log.f64 y)) #s(literal 2 binary64)) (*.f64 (cbrt.f64 (log.f64 y)) y) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.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 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (+.f64 (neg.f64 z) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (+.f64 (neg.f64 z) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 (-.f64 x z)) (pow.f64 (cbrt.f64 (-.f64 x z)) #s(literal 2 binary64)) (*.f64 y (log.f64 y)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 x z)) #s(literal 2 binary64)) (cbrt.f64 (-.f64 x z)) (*.f64 y (log.f64 y)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (neg.f64 z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) x)) (neg.f64 z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) x)) #s(literal 2 binary64)) (cbrt.f64 (fma.f64 y (log.f64 y) x)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 (.f64 y (log.f64 y))) (pow.f64 (cbrt.f64 (.f64 y (log.f64 y))) #s(literal 2 binary64)) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 (.f64 y (log.f64 y))) #s(literal 2 binary64)) (cbrt.f64 (.f64 y (log.f64 y))) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 y) #s(literal 2 binary64)) (*.f64 (cbrt.f64 y) (log.f64 y)) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) (neg.f64 (cbrt.f64 z)) (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (-.f64 (*.f64 y (log.f64 y)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (cbrt.f64 x) (-.f64 (*.f64 y (log.f64 y)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (pow.f64 (cbrt.f64 x) #s(literal 2 binary64)) (cbrt.f64 x) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (log.f64 y)) (*.f64 (sqrt.f64 (log.f64 y)) y) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) (+.f64 (neg.f64 z) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (-.f64 x z)) (sqrt.f64 (-.f64 x z)) (*.f64 y (log.f64 y)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 (fma.f64 y (log.f64 y) x)) (neg.f64 z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 (fma.f64 y (log.f64 y) x)) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (.f64 y (log.f64 y))) (sqrt.f64 (.f64 y (log.f64 y))) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 y) (*.f64 (sqrt.f64 y) (log.f64 y)) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 z) (neg.f64 (sqrt.f64 z)) (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (-.f64 (*.f64 y (log.f64 y)) z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 x) (sqrt.f64 x) (.f64 (-.f64 (.f64 y (log.f64 y)) z) #s(literal 1 binary64)))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (fma.f64 y (log.f64 y) (neg.f64 x)) (pow.f64 x #s(literal 2 binary64)))) (neg.f64 z))
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (-.f64 (*.f64 y (log.f64 y)) x) (pow.f64 x #s(literal 2 binary64)))) (neg.f64 z))
(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (.f64 y (log.f64 y)) (-.f64 (*.f64 y (log.f64 y)) x) (pow.f64 x #s(literal 2 binary64)))) z)
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (fma.f64 y (log.f64 y) (neg.f64 x)) (pow.f64 x #s(literal 2 binary64)))) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (fma.f64 y (log.f64 y) (neg.f64 x)) (pow.f64 x #s(literal 2 binary64)))) (neg.f64 z))
(fma.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 (.f64 y (log.f64 y)) (-.f64 (*.f64 y (log.f64 y)) x) (pow.f64 x #s(literal 2 binary64)))) (neg.f64 z))
(-.f64 (/.f64 (+.f64 (pow.f64 (.f64 y (log.f64 y)) #s(literal 3 binary64)) (pow.f64 x #s(literal 3 binary64))) (fma.f64 (.f64 y (log.f64 y)) (-.f64 (*.f64 y (log.f64 y)) x) (pow.f64 x #s(literal 2 binary64)))) z)
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 z (fma.f64 y (log.f64 y) x)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 z (fma.f64 y (log.f64 y) x)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)))) (+.f64 (neg.f64 z) z))
(/.f64 (*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) #s(literal 1 binary64)) (fma.f64 z (+.f64 x (fma.f64 y (log.f64 y) z)) (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 3 binary64)) (pow.f64 z #s(literal 3 binary64))) (fma.f64 z (+.f64 z (fma.f64 y (log.f64 y) x)) (pow.f64 (fma.f64 y (log.f64 y) 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 y (log.f64 y)))
(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 z x) (pow.f64 x #s(literal 2 binary64)))) (*.f64 y (log.f64 y)))
(+.f64 (*.f64 y (log.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)))))
(fma.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (.f64 y (log.f64 y)))) (neg.f64 z))
(-.f64 (.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (*.f64 y (log.f64 y))))) z)
(-.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (-.f64 x (.f64 y (log.f64 y)))) z)
(fma.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (.f64 y (log.f64 y)))) (*.f64 (neg.f64 z) #s(literal 1 binary64)))
(fma.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (.f64 y (log.f64 y)))) (neg.f64 z))
(-.f64 (.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (-.f64 x (*.f64 y (log.f64 y))))) z)
(-.f64 (/.f64 (-.f64 (pow.f64 x #s(literal 2 binary64)) (pow.f64 (.f64 y (log.f64 y)) #s(literal 2 binary64))) (-.f64 x (.f64 y (log.f64 y)))) z)
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 z (fma.f64 y (log.f64 y) x)))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (fma.f64 (neg.f64 (cbrt.f64 z)) (pow.f64 (cbrt.f64 z) #s(literal 2 binary64)) z))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 z (fma.f64 y (log.f64 y) x)))
(fma.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))) (+.f64 (neg.f64 z) z))
(*.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 x (fma.f64 y (log.f64 y) z))))
(/.f64 (-.f64 (pow.f64 (fma.f64 y (log.f64 y) x) #s(literal 2 binary64)) (pow.f64 z #s(literal 2 binary64))) (+.f64 z (fma.f64 y (log.f64 y) 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 y (log.f64 y)))
(fma.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 y (log.f64 y)))
(+.f64 (*.f64 y (log.f64 y)) (/.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) (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (*.f64 (cbrt.f64 (neg.f64 z)) (cbrt.f64 (neg.f64 z))) (cbrt.f64 (neg.f64 z)) (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (.f64 (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z))) (cbrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) x)
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (neg.f64 z)) (sqrt.f64 (neg.f64 z)) (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (sqrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) (sqrt.f64 (-.f64 (.f64 y (log.f64 y)) z)) x)
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 #s(literal -1 binary64) z (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (fma.f64 (neg.f64 z) #s(literal 1 binary64) z))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (+.f64 z (neg.f64 z)))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (*.f64 #s(literal 0 binary64) z))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) #s(literal 0 binary64))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) 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 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (+.f64 z (neg.f64 z)))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (*.f64 #s(literal 0 binary64) z))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) #s(literal 0 binary64))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (+.f64 (neg.f64 z) z))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (+.f64 z (neg.f64 z)))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (*.f64 #s(literal 0 binary64) z))
(fma.f64 (+.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) (-.f64 (sqrt.f64 (fma.f64 y (log.f64 y) x)) (sqrt.f64 z)) #s(literal 0 binary64))
(fma.f64 (fma.f64 (sqrt.f64 (log.f64 y)) (sqrt.f64 y) (sqrt.f64 z)) (-.f64 (sqrt.f64 (*.f64 y (log.f64 y))) (sqrt.f64 z)) x)
(fma.f64 (+.f64 (sqrt.f64 x) (sqrt.f64 z)) (-.f64 (sqrt.f64 x) (sqrt.f64 z)) (*.f64 y (log.f64 y)))
(fma.f64 (+.f64 (sqrt.f64 z) (sqrt.f64 x)) (-.f64 (sqrt.f64 x) (sqrt.f64 z)) (*.f64 y (log.f64 y)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 z) #s(literal 2 binary64))) (cbrt.f64 z) (fma.f64 y (log.f64 y) x))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (*.f64 y (pow.f64 (cbrt.f64 (log.f64 y)) #s(literal 2 binary64))) (cbrt.f64 (log.f64 y)) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (*.f64 y (sqrt.f64 (log.f64 y))) (sqrt.f64 (log.f64 y)) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (*.f64 (log.f64 y) (pow.f64 (cbrt.f64 y) #s(literal 2 binary64))) (cbrt.f64 y) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(fma.f64 (*.f64 (log.f64 y) (sqrt.f64 y)) (sqrt.f64 y) (-.f64 x z))
(-.f64 (fma.f64 y (log.f64 y) x) z)
(-.f64 (exp.f64 (log1p.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))) #s(literal 1 binary64))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(/.f64 (*.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 z))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 1 binary64))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(pow.f64 (cbrt.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 3 binary64))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(pow.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(pow.f64 (sqrt.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))) #s(literal 2 binary64))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(pow.f64 (exp.f64 #s(literal 1 binary64)) (fma.f64 y (log.f64 y) (-.f64 x z)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))) #s(literal 2 binary64))) (cbrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(pow.f64 (exp.f64 (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))) (sqrt.f64 (fma.f64 y (log.f64 y) (-.f64 x z))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(sqrt.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 2 binary64)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(log.f64 (pow.f64 (exp.f64 (pow.f64 y y)) (exp.f64 (-.f64 x z))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(cbrt.f64 (pow.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) #s(literal 3 binary64)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(cbrt.f64 (*.f64 (pow.f64 (pow.f64 y y) #s(literal 3 binary64)) (pow.f64 (exp.f64 (-.f64 x z)) #s(literal 3 binary64))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(cbrt.f64 (*.f64 (pow.f64 (exp.f64 (-.f64 x z)) #s(literal 3 binary64)) (pow.f64 (pow.f64 y y) #s(literal 3 binary64))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(expm1.f64 (log1p.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(log1p.f64 (expm1.f64 (*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))
(exp.f64 (fma.f64 y (log.f64 y) (-.f64 x z)))
(*.f64 (exp.f64 (-.f64 x z)) (pow.f64 y y))

eval78.0ms (1.6%)

Compiler: Compiled 4457 to 1465 computations (67.1% saved)

prune44.0ms (0.9%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	255	5	260
Fresh	0	0	0
Picked	2	0	2
Done	0	0	0
Total	257	5	262

Accuracy

100.0%

Counts

262 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	68.8%	(/.f64 (pow.f64 y y) (exp.f64 z))
▶	61.6%	(*.f64 (pow.f64 y y) (exp.f64 x))
▶	83.7%	(exp.f64 (-.f64 (*.f64 y (log.f64 y)) z))
▶	62.0%	(exp.f64 (neg.f64 z))
▶	47.1%	(exp.f64 x)

Compiler

Compiled 78 to 56 computations (28.2% saved)

localize285.0ms (5.8%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.0%	(/.f64 (pow.f64 y y) (exp.f64 z))
✓	99.3%	(*.f64 (pow.f64 y y) (exp.f64 x))
	99.8%	(*.f64 y (log.f64 y))

Results

24.0ms	101×	256	valid
209.0ms	65×	8192	exit
11.0ms	53×	256	unsamplable
10.0ms	37×	256	infinite

Compiler

Compiled 60 to 15 computations (75% saved)

Precisions

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

Operation ival-pow, time spent: 88.0ms, 44.0% of total-time

Operation ival-log, time spent: 51.0ms, 26.0% of total-time

Operation ival-exp, time spent: 38.0ms, 19.0% of total-time

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

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

Operation ival-div, time spent: 3.0ms, 2.0% of total-time

Operation ival-neg, time spent: 3.0ms, 2.0% of total-time

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

series9.0ms (0.2%)

Counts

2 → 32

Calls

Call 1

Inputs
#<alt (*.f64 (pow.f64 y y) (exp.f64 x))>
#<alt (/.f64 (pow.f64 y y) (exp.f64 z))>

Outputs
#<alt (exp.f64 x)>
#<alt (+.f64 (exp.f64 x) (.f64 y (.f64 (exp.f64 x) (log.f64 y))))>
#<alt (+.f64 (exp.f64 x) (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (.f64 y (.f64 (exp.f64 x) (pow.f64 (log.f64 y) #s(literal 2 binary64))))) (*.f64 (exp.f64 x) (log.f64 y)))))>
#<alt (+.f64 (exp.f64 x) (.f64 y (+.f64 (.f64 y (+.f64 (.f64 #s(literal 1/6 binary64) (.f64 y (.f64 (exp.f64 x) (pow.f64 (log.f64 y) #s(literal 3 binary64))))) (.f64 #s(literal 1/2 binary64) (.f64 (exp.f64 x) (pow.f64 (log.f64 y) #s(literal 2 binary64)))))) (.f64 (exp.f64 x) (log.f64 y)))))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (pow.f64 y y)>
#<alt (+.f64 (*.f64 x (pow.f64 y y)) (pow.f64 y y))>
#<alt (+.f64 (.f64 x (+.f64 (.f64 #s(literal 1/2 binary64) (*.f64 x (pow.f64 y y))) (pow.f64 y y))) (pow.f64 y y))>
#<alt (+.f64 (.f64 x (+.f64 (.f64 x (+.f64 (.f64 #s(literal 1/6 binary64) (.f64 x (pow.f64 y y))) (*.f64 #s(literal 1/2 binary64) (pow.f64 y y)))) (pow.f64 y y))) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (*.f64 (exp.f64 x) (pow.f64 y y))>
#<alt (/.f64 #s(literal 1 binary64) (exp.f64 z))>
#<alt (+.f64 (/.f64 #s(literal 1 binary64) (exp.f64 z)) (/.f64 (*.f64 y (log.f64 y)) (exp.f64 z)))>
#<alt (+.f64 (.f64 y (+.f64 (.f64 #s(literal 1/2 binary64) (/.f64 (*.f64 y (pow.f64 (log.f64 y) #s(literal 2 binary64))) (exp.f64 z))) (/.f64 (log.f64 y) (exp.f64 z)))) (/.f64 #s(literal 1 binary64) (exp.f64 z)))>
#<alt (+.f64 (.f64 y (+.f64 (.f64 y (+.f64 (.f64 #s(literal 1/6 binary64) (/.f64 (.f64 y (pow.f64 (log.f64 y) #s(literal 3 binary64))) (exp.f64 z))) (*.f64 #s(literal 1/2 binary64) (/.f64 (pow.f64 (log.f64 y) #s(literal 2 binary64)) (exp.f64 z))))) (/.f64 (log.f64 y) (exp.f64 z)))) (/.f64 #s(literal 1 binary64) (exp.f64 z)))>
#<alt (pow.f64 y y)>
#<alt (+.f64 (.f64 #s(literal -1 binary64) (.f64 z (pow.f64 y y))) (pow.f64 y y))>
#<alt (+.f64 (.f64 z (-.f64 (.f64 #s(literal -1 binary64) (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (pow.f64 y y)) (*.f64 #s(literal 1/2 binary64) (pow.f64 y y))))) (pow.f64 y y))) (pow.f64 y y))>
#<alt (+.f64 (.f64 z (-.f64 (.f64 z (-.f64 (.f64 #s(literal -1 binary64) (.f64 z (+.f64 (.f64 #s(literal -1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (pow.f64 y y)) (.f64 #s(literal 1/2 binary64) (pow.f64 y y)))) (+.f64 (.f64 #s(literal -1/2 binary64) (pow.f64 y y)) (.f64 #s(literal 1/6 binary64) (pow.f64 y y)))))) (+.f64 (.f64 #s(literal -1 binary64) (pow.f64 y y)) (*.f64 #s(literal 1/2 binary64) (pow.f64 y y))))) (pow.f64 y y))) (pow.f64 y y))>

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	x	@	inf	(* (pow y y) (exp x))
1.0ms	z	@	0	(/ (pow y y) (exp z))
1.0ms	y	@	0	(/ (pow y y) (exp z))
1.0ms	y	@	inf	(/ (pow y y) (exp z))
1.0ms	z	@	inf	(/ (pow y y) (exp z))

rewrite91.0ms (1.9%)

Algorithm

1×	batch-egg-rewrite

Rules

747×	`log1p-expm1-u`
747×	`expm1-log1p-u`
435×	`log-prod`
216×	`pow2`
215×	`pow-unpow`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	52
1	170	52
2	2066	52

Stop Event

1×	node limit

Counts

2 → 71

Calls

Call 1

Inputs
(*.f64 (pow.f64 y y) (exp.f64 x))
(/.f64 (pow.f64 y y) (exp.f64 z))

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

simplify105.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

827×	`fma-neg`
766×	`fma-define`
370×	`unsub-neg`
267×	`*-commutative`
234×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	267	3699
1	645	3637
2	1838	3571
3	5697	3564

Stop Event

1×	node limit

Counts

103 → 130

Calls

Call 1

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

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

eval32.0ms (0.7%)

Compiler: Compiled 2068 to 815 computations (60.6% saved)

prune25.0ms (0.5%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	152	1	153
Fresh	0	0	0
Picked	3	2	5
Done	0	0	0
Total	155	3	158

Accuracy

100.0%

Counts

158 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	49.8%	(pow.f64 y y)
✓	62.0%	(exp.f64 (neg.f64 z))
✓	47.1%	(exp.f64 x)

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize32.0ms (0.7%)

Results

12.0ms	138×	256	valid
14.0ms	118×	256	infinite

Compiler

Compiled 8 to 5 computations (37.5% saved)

Precisions

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

Operation ival-pow, time spent: 10.0ms, 99.0% of total-time

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

eval0.0ms (0%)

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

prune3.0ms (0.1%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Accuracy

100.0%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	49.8%	(pow.f64 y y)
✓	62.0%	(exp.f64 (neg.f64 z))
✓	47.1%	(exp.f64 x)

Compiler

Compiled 64 to 33 computations (48.4% saved)

regimes64.0ms (1.3%)

Counts

8 → 1

Calls

Call 1

Inputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(pow.f64 y y)
(*.f64 (pow.f64 y y) (exp.f64 x))
(/.f64 (pow.f64 y y) (exp.f64 z))
(exp.f64 (-.f64 (*.f64 y (log.f64 y)) z))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))

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

Calls

7 calls:

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

Results

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

Compiler

Compiled 51 to 35 computations (31.4% saved)

regimes24.0ms (0.5%)

Counts

7 → 2

Calls

Call 1

Inputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(pow.f64 y y)
(*.f64 (pow.f64 y y) (exp.f64 x))
(/.f64 (pow.f64 y y) (exp.f64 z))
(exp.f64 (-.f64 (*.f64 y (log.f64 y)) z))
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))

Outputs
(*.f64 (pow.f64 y y) (exp.f64 (-.f64 x z)))
(exp.f64 (-.f64 (*.f64 y (log.f64 y)) z))

Calls

4 calls:

8.0ms	x
6.0ms	z
5.0ms	(*.f64 y (log.f64 y))
5.0ms	y

Results

Accuracy	Segments	Branch
95.7%	3	`x`
97.3%	2	`y`
93.8%	2	`z`
97.3%	2	`(*.f64 y (log.f64 y))`

Compiler

Compiled 19 to 14 computations (26.3% saved)

regimes28.0ms (0.6%)

Counts

6 → 3

Calls

Call 1

Inputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(pow.f64 y y)
(*.f64 (pow.f64 y y) (exp.f64 x))
(/.f64 (pow.f64 y y) (exp.f64 z))
(exp.f64 (-.f64 (*.f64 y (log.f64 y)) z))

Outputs
(exp.f64 x)
(exp.f64 (-.f64 (*.f64 y (log.f64 y)) z))
(*.f64 (pow.f64 y y) (exp.f64 x))

Calls

4 calls:

8.0ms	z
7.0ms	x
7.0ms	(*.f64 y (log.f64 y))
6.0ms	y

Results

Accuracy	Segments	Branch
93.0%	3	`z`
94.5%	3	`x`
85.6%	3	`y`
85.9%	3	`(*.f64 y (log.f64 y))`

Compiler

Compiled 19 to 14 computations (26.3% saved)

regimes12.0ms (0.2%)

Counts

5 → 3

Calls

Call 1

Inputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(pow.f64 y y)
(*.f64 (pow.f64 y y) (exp.f64 x))
(/.f64 (pow.f64 y y) (exp.f64 z))

Outputs
(/.f64 (pow.f64 y y) (exp.f64 z))
(*.f64 (pow.f64 y y) (exp.f64 x))
(exp.f64 (neg.f64 z))

Calls

2 calls:

6.0ms	x
5.0ms	z

Results

Accuracy	Segments	Branch
87.6%	3	`z`
85.3%	4	`x`

Compiler

Compiled 8 to 6 computations (25% saved)

regimes6.0ms (0.1%)

Counts

4 → 3

Calls

Call 1

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

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

Calls

1 calls:

6.0ms

Results

Accuracy	Segments	Branch
87.2%	3	`z`

Compiler

Compiled 4 to 3 computations (25% saved)

regimes14.0ms (0.3%)

Counts

3 → 5

Calls

Call 1

Inputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(pow.f64 y y)

Outputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(pow.f64 y y)
(exp.f64 (neg.f64 z))
(exp.f64 x)

Calls

3 calls:

6.0ms	z
4.0ms	y
4.0ms	x

Results

Accuracy	Segments	Branch
81.1%	5	`x`
78.3%	4	`y`
84.0%	7	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes5.0ms (0.1%)

Counts

2 → 3

Calls

Call 1

Inputs
(exp.f64 x)
(exp.f64 (neg.f64 z))

Outputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(exp.f64 x)

Calls

1 calls:

4.0ms

Results

Accuracy	Segments	Branch
78.9%	3	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

regimes2.0ms (0%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

Inputs
(exp.f64 x)

Outputs
(exp.f64 x)

Calls

3 calls:

0.0ms	y
0.0ms	x
0.0ms	z

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch0.0ms (0%)

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-5.22266710650647e-304	-2.3640824397610577e-305

Compiler

Compiled 18 to 13 computations (27.8% saved)

bsearch46.0ms (0.9%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
20.0ms	2.0389943373201115e-9	4.2208662524152136e-7
24.0ms	-4.6724548277623375e+185	-1.0067663912675831e+176

Results

21.0ms	181×	256	valid
14.0ms	91×	256	infinite

Compiler

Compiled 335 to 248 computations (26% saved)

Precisions

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

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

Operation ival-log, time spent: 5.0ms, 28.0% of total-time

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

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

Operation ival-exp, time spent: 2.0ms, 11.0% of total-time

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

bsearch32.0ms (0.7%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
11.0ms	1.162538194311733e+78	3.0537439592400093e+78
19.0ms	-4.145801173955833e-16	-3.7700288916441065e-19

Results

11.0ms	108×	256	valid
12.0ms	100×	256	infinite

Compiler

Compiled 263 to 190 computations (27.8% saved)

Precisions

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

Operation ival-log, time spent: 4.0ms, 35.0% of total-time

Operation ival-exp, time spent: 3.0ms, 26.0% of total-time

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

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

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

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

bsearch73.0ms (1.5%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
48.0ms	1.162538194311733e+78	3.0537439592400093e+78
24.0ms	-1674421696151268900.0	-475.3841745836986

Results

20.0ms	177×	256	infinite
43.0ms	63×	256	valid

Compiler

Compiled 273 to 208 computations (23.8% saved)

Precisions

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

Operation ival-log, time spent: 5.0ms, 44.0% of total-time

Operation ival-exp, time spent: 2.0ms, 18.0% of total-time

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

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

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

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

bsearch227.0ms (4.6%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
19.0ms	4.2208662524152136e-7	0.019497427012093428
24.0ms	9.068639365556449e-222	1.5805097430717122e-214
156.0ms	-1.1259551434144554e-273	-1.530635597411976e-277
24.0ms	-3.5470315836292206e+133	-1.1904195888761277e+119

Results

172.0ms	283×	256	infinite
31.0ms	277×	256	valid

Compiler

Compiled 490 to 398 computations (18.8% saved)

Precisions

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

Operation ival-log, time spent: 11.0ms, 40.0% of total-time

Operation ival-exp, time spent: 5.0ms, 18.0% of total-time

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

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

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

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

bsearch52.0ms (1.1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
21.0ms	4.2208662524152136e-7	0.019497427012093428
28.0ms	-3.5470315836292206e+133	-1.1904195888761277e+119

Results

20.0ms	164×	256	valid
19.0ms	124×	256	infinite

Compiler

Compiled 252 to 211 computations (16.3% saved)

Precisions

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

Operation ival-exp, time spent: 8.0ms, 40.0% of total-time

Operation ival-log, time spent: 6.0ms, 30.0% of total-time

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

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

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

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

simplify9.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

5×	`+-commutative`
4×	`sub-neg`
4×	`*-commutative`
4×	`if-if-or-not`
1×	`neg-sub0`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	66	534
1	85	534
2	90	534
3	91	534

Stop Event

1×

saturated

Calls

Call 1

Inputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(if (<=.f64 (.f64 y (log.f64 y)) #s(literal -6176826577981891/12353653155963782858428671064387042666598916611580939841119467653041402561523153496823753888027168243114445670429492914513538130943957121390808923336226715693451991227817771079374200911992994161452622538969283756626099089564495403968390097390695773702442020050803147555684412513136627351818013153603882218219464583806976 binary64)) (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) (exp.f64 (-.f64 (*.f64 y (log.f64 y)) z)))
(if (<=.f64 x #s(literal -121999999999999993035676480802473356837480994056676519405906433011787954074751319481458058742512888067511602835730726834252909318941225862722583850301156682360876178963936837632 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal 1983393922805251/4722366482869645213696 binary64)) (exp.f64 (-.f64 (.f64 y (log.f64 y)) z)) (.f64 (pow.f64 y y) (exp.f64 x))))
(if (<=.f64 z #s(literal -6490371073168535/40564819207303340847894502572032 binary64)) (/.f64 (pow.f64 y y) (exp.f64 z)) (if (<=.f64 z #s(literal 2100000000000000079543025910293602830723971187558041230232093076935118377975808 binary64)) (*.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 (neg.f64 z))))
(if (<=.f64 z #s(literal -860 binary64)) (exp.f64 (neg.f64 z)) (if (<=.f64 z #s(literal 2499999999999999918390018751648879805686600901662494978316506154658250805477376 binary64)) (*.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 (neg.f64 z))))
(if (<=.f64 x #s(literal -150000000000000000584111839593616914142228427844062122722930042350055118034096870361785409127756378572620400511732940800 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal -6785857052418047/9979201547673599058281863565184192830337256302177287707512736212186059459344820328924789827463178505446712234220962476219862189941967968303695858991424157101600028364755428382587688607221814935913266783722719619966654052275604351944444276342240220787535604534378780208211792476151720049639424 binary64)) (exp.f64 (neg.f64 z)) (if (<=.f64 x #s(literal 6756558737692685/99361157907245371849534687261600163536440705095468583112899330433667260971928120725176218165033374588831214764616388685194981122823348121052434385602635592909085118465334393955216978280422300468816831948397854000057142198644227702784 binary64)) (pow.f64 y y) (if (<=.f64 x #s(literal 5476377146882523/288230376151711744 binary64)) (exp.f64 (neg.f64 z)) (exp.f64 x)))))
(if (<=.f64 x #s(literal -120000000000000000467289471674893531313782742275249698178344033880044094427277496289428327302205102858096320409386352640 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal 5476377146882523/288230376151711744 binary64)) (exp.f64 (neg.f64 z)) (exp.f64 x)))
(exp.f64 x)

Outputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(if (<=.f64 (.f64 y (log.f64 y)) #s(literal -6176826577981891/12353653155963782858428671064387042666598916611580939841119467653041402561523153496823753888027168243114445670429492914513538130943957121390808923336226715693451991227817771079374200911992994161452622538969283756626099089564495403968390097390695773702442020050803147555684412513136627351818013153603882218219464583806976 binary64)) (.f64 (pow.f64 y y) (exp.f64 (-.f64 x z))) (exp.f64 (-.f64 (*.f64 y (log.f64 y)) z)))
(if (<=.f64 x #s(literal -121999999999999993035676480802473356837480994056676519405906433011787954074751319481458058742512888067511602835730726834252909318941225862722583850301156682360876178963936837632 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal 1983393922805251/4722366482869645213696 binary64)) (exp.f64 (-.f64 (.f64 y (log.f64 y)) z)) (.f64 (pow.f64 y y) (exp.f64 x))))
(if (<=.f64 z #s(literal -6490371073168535/40564819207303340847894502572032 binary64)) (/.f64 (pow.f64 y y) (exp.f64 z)) (if (<=.f64 z #s(literal 2100000000000000079543025910293602830723971187558041230232093076935118377975808 binary64)) (*.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 (neg.f64 z))))
(if (<=.f64 z #s(literal -860 binary64)) (exp.f64 (neg.f64 z)) (if (<=.f64 z #s(literal 2499999999999999918390018751648879805686600901662494978316506154658250805477376 binary64)) (*.f64 (pow.f64 y y) (exp.f64 x)) (exp.f64 (neg.f64 z))))
(if (or (<=.f64 z #s(literal -860 binary64)) (not (<=.f64 z #s(literal 2499999999999999918390018751648879805686600901662494978316506154658250805477376 binary64)))) (exp.f64 (neg.f64 z)) (*.f64 (pow.f64 y y) (exp.f64 x)))
(if (<=.f64 x #s(literal -150000000000000000584111839593616914142228427844062122722930042350055118034096870361785409127756378572620400511732940800 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal -6785857052418047/9979201547673599058281863565184192830337256302177287707512736212186059459344820328924789827463178505446712234220962476219862189941967968303695858991424157101600028364755428382587688607221814935913266783722719619966654052275604351944444276342240220787535604534378780208211792476151720049639424 binary64)) (exp.f64 (neg.f64 z)) (if (<=.f64 x #s(literal 6756558737692685/99361157907245371849534687261600163536440705095468583112899330433667260971928120725176218165033374588831214764616388685194981122823348121052434385602635592909085118465334393955216978280422300468816831948397854000057142198644227702784 binary64)) (pow.f64 y y) (if (<=.f64 x #s(literal 5476377146882523/288230376151711744 binary64)) (exp.f64 (neg.f64 z)) (exp.f64 x)))))
(if (<=.f64 x #s(literal -120000000000000000467289471674893531313782742275249698178344033880044094427277496289428327302205102858096320409386352640 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal 5476377146882523/288230376151711744 binary64)) (exp.f64 (neg.f64 z)) (exp.f64 x)))
(if (or (<=.f64 x #s(literal -120000000000000000467289471674893531313782742275249698178344033880044094427277496289428327302205102858096320409386352640 binary64)) (not (<=.f64 x #s(literal 5476377146882523/288230376151711744 binary64)))) (exp.f64 x) (exp.f64 (neg.f64 z)))
(exp.f64 x)

soundness711.0ms (14.6%)

Rules

1576×	`fma-define`
886×	`fma-neg`
568×	`times-frac`
436×	`exp-sum`
430×	`fma-neg`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	442	10530
1	1062	10013
2	3269	9817
0	44	473
1	108	421
2	295	421
3	871	405
4	1971	405
5	3435	405
6	5159	405
7	6112	405
8	6635	405
9	6973	405
10	7095	405
11	7136	405
12	7759	405
13	7916	405

Stop Event

1×	done
1×	node limit
1×	node limit

Compiler

Compiled 298 to 121 computations (59.4% saved)

preprocess90.0ms (1.8%)

Compiler: Compiled 334 to 154 computations (53.9% saved)

Statistics.Distribution.Poisson.Internal:probability from math-functions-0.1.5.2

analyze1.0ms (0%)

sample1.8s (36.1%)

preprocess460.0ms (9.4%)

eval1.0ms (0%)

prune2.0ms (0%)

localize76.0ms (1.6%)

series102.0ms (2.1%)

rewrite250.0ms (5.1%)

simplify131.0ms (2.7%)

eval78.0ms (1.6%)

prune44.0ms (0.9%)

localize285.0ms (5.8%)

series9.0ms (0.2%)

rewrite91.0ms (1.9%)

simplify105.0ms (2.2%)

eval32.0ms (0.7%)

prune25.0ms (0.5%)

localize32.0ms (0.7%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes64.0ms (1.3%)

regimes24.0ms (0.5%)

regimes28.0ms (0.6%)

regimes12.0ms (0.2%)

regimes6.0ms (0.1%)

regimes14.0ms (0.3%)

regimes5.0ms (0.1%)

regimes2.0ms (0%)

bsearch0.0ms (0%)

bsearch46.0ms (0.9%)

bsearch32.0ms (0.7%)

bsearch73.0ms (1.5%)

bsearch227.0ms (4.6%)

bsearch52.0ms (1.1%)

simplify9.0ms (0.2%)

soundness711.0ms (14.6%)

preprocess90.0ms (1.8%)

end0.0ms (0%)

Profiling