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.4s (29.3%)

Results

604.0ms	4790×	256	infinite
436.0ms	3466×	256	valid

Precisions

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

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

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

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

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

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

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

Bogosity

preprocess526.0ms (11%)

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

57.0ms	280×	256	infinite
45.0ms	232×	256	valid

Compiler

Compiled 84 to 26 computations (69% saved)

Precisions

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

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

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

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

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

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

Operation ival-sub, time spent: 3.0ms, 5.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
▶	78.9%	(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
▶	100.0%	(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))

Compiler

Compiled 23 to 15 computations (34.8% saved)

localize461.0ms (9.6%)

Localize:

Found 2 expressions with local error:

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

Results

393.0ms	98×	8192	exit
16.0ms	84×	256	valid
10.0ms	50×	256	unsamplable
10.0ms	24×	256	infinite

Compiler

Compiled 57 to 13 computations (77.2% saved)

Precisions

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

Operation ival-pow, time spent: 197.0ms, 54.0% of total-time

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

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

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

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

Operation ival-div, time spent: 5.0ms, 1.0% of total-time

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

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

series123.0ms (2.6%)

Counts

2 → 28

Calls

Call 1

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

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

Calls

12 calls:

Time	Variable		Point	Expression
42.0ms	y	@	0	(* y (log y))
25.0ms	x	@	inf	(/ (pow y y) (exp (- z x)))
22.0ms	y	@	-inf	(* y (log y))
18.0ms	z	@	inf	(/ (pow y y) (exp (- z x)))
8.0ms	y	@	inf	(* y (log y))

rewrite242.0ms (5.1%)

Algorithm

1×	batch-egg-rewrite

Rules

976×	`log1p-expm1-u`
976×	`expm1-log1p-u`
599×	`prod-diff`
226×	`fma-define`
174×	`expm1-undefine`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	52
1	201	52
2	2620	52

Stop Event

1×	node limit

Counts

2 → 55

Calls

Call 1

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

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

simplify131.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

664×	`fma-define`
369×	`times-frac`
271×	`*-commutative`
267×	`associate-*r/`
251×	`associate-*l/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	233	4055
1	591	3539
2	1971	3245
3	7783	3193

Stop Event

1×	node limit

Counts

83 → 115

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

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

eval26.0ms (0.5%)

Compiler: Compiled 2079 to 653 computations (68.6% saved)

prune25.0ms (0.5%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	111	4	115
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	112	5	117

Accuracy

100.0%

Counts

117 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	65.2%	(/.f64 (pow.f64 y y) (exp.f64 z))
▶	83.7%	(/.f64 #s(literal 1 binary64) (exp.f64 (-.f64 z x)))
▶	65.4%	(*.f64 (pow.f64 y y) (exp.f64 x))
✓	100.0%	(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
▶	83.7%	(exp.f64 (-.f64 x z))

Compiler

Compiled 46 to 32 computations (30.4% saved)

localize131.0ms (2.7%)

Localize:

Found 3 expressions with local error:

New	Accuracy	Program
✓	99.7%	(/.f64 (pow.f64 y y) (exp.f64 z))
✓	100.0%	(/.f64 #s(literal 1 binary64) (exp.f64 (-.f64 z x)))
✓	99.1%	(*.f64 (pow.f64 y y) (exp.f64 x))

Results

33.0ms	148×	256	unsamplable
50.0ms	103×	256	valid
13.0ms	5×	8192	exit

Compiler

Compiled 55 to 16 computations (70.9% saved)

Precisions

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

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

Operation ival-pow, time spent: 18.0ms, 35.0% of total-time

Operation ival-div, time spent: 4.0ms, 8.0% of total-time

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

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

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

series12.0ms (0.3%)

Counts

3 → 48

Calls

Call 1

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

18 calls:

Time	Variable		Point	Expression
1.0ms	z	@	inf	(/ (pow y y) (exp z))
1.0ms	y	@	0	(* (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	x	@	-inf	(/ 1 (exp (- z x)))

rewrite140.0ms (2.9%)

Algorithm

1×	batch-egg-rewrite

Rules

785×	`log1p-expm1-u`
785×	`expm1-log1p-u`
633×	`log-prod`
439×	`prod-diff`
230×	`fma-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	73
1	253	73
2	3244	73

Stop Event

1×	node limit

Counts

3 → 85

Calls

Call 1

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

simplify144.0ms (3%)

Algorithm

1×	egg-herbie

Rules

296×	`*-commutative`
268×	`exp-prod`
261×	`cube-prod`
244×	`distribute-lft-in`
226×	`associate-*r/`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	330	4753
1	798	4253
2	2323	4139
3	6515	4133

Stop Event

1×	node limit

Counts

133 → 177

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

eval88.0ms (1.8%)

Compiler: Compiled 2436 to 870 computations (64.3% saved)

prune28.0ms (0.6%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	174	3	177
Fresh	0	0	0
Picked	4	0	4
Done	1	0	1
Total	179	3	182

Accuracy

100.0%

Counts

182 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	48.5%	(pow.f64 y y)
▶	53.6%	(exp.f64 (neg.f64 z))
▶	57.6%	(exp.f64 x)

Compiler

Compiled 17 to 13 computations (23.5% saved)

localize51.0ms (1.1%)

Results

29.0ms	188×	256	valid
9.0ms	68×	256	infinite

Compiler

Compiled 17 to 8 computations (52.9% saved)

Precisions

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

Operation ival-pow, time spent: 13.0ms, 68.0% of total-time

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

Operation ival-neg, time spent: 1.0ms, 5.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	3	3
Done	0	0
Total	3	3

Accuracy

100.0%

Counts

3 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	48.5%	(pow.f64 y y)
✓	53.6%	(exp.f64 (neg.f64 z))
✓	57.6%	(exp.f64 x)

Compiler

Compiled 67 to 35 computations (47.8% saved)

regimes27.0ms (0.6%)

Counts

9 → 1

Calls

Call 1

Inputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(pow.f64 y y)
(exp.f64 (-.f64 x z))
(/.f64 #s(literal 1 binary64) (exp.f64 (-.f64 z x)))
(*.f64 (pow.f64 y y) (exp.f64 x))
(/.f64 (pow.f64 y y) (exp.f64 z))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))
(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:

5.0ms	(*.f64 y (log.f64 y))
4.0ms	(-.f64 (+.f64 x (*.f64 y (log.f64 y))) z)
4.0ms	(+.f64 x (*.f64 y (log.f64 y)))
3.0ms	x
3.0ms	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)

regimes31.0ms (0.7%)

Counts

8 → 2

Calls

Call 1

Inputs
(exp.f64 x)
(exp.f64 (neg.f64 z))
(pow.f64 y y)
(exp.f64 (-.f64 x z))
(/.f64 #s(literal 1 binary64) (exp.f64 (-.f64 z x)))
(*.f64 (pow.f64 y y) (exp.f64 x))
(/.f64 (pow.f64 y y) (exp.f64 z))
(/.f64 (pow.f64 y y) (exp.f64 (-.f64 z x)))

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

Calls

3 calls:

12.0ms	x
10.0ms	y
9.0ms	z

Results

Accuracy	Segments	Branch
90.5%	4	`x`
93.2%	2	`y`
87.6%	3	`z`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes16.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
79.7%	4	`z`
82.4%	5	`x`
77.1%	3	`y`

Compiler

Compiled 12 to 9 computations (25% saved)

regimes4.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
79.7%	3	`x`

Compiler

Compiled 4 to 3 computations (25% saved)

regimes5.0ms (0.1%)

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:

2.0ms	z
1.0ms	x
1.0ms	y

Results

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

Compiler

Compiled 12 to 9 computations (25% saved)

bsearch5.0ms (0.1%)

Algorithm

1×	binary-search

Stop Event

1×	narrow-enough

Steps

Time	Left	Right
5.0ms	1.2082295367397898e+166	1.3648324104577017e+166

Results

3.0ms	23×	256	infinite
1.0ms	9×	256	valid

Compiler

Compiled 48 to 35 computations (27.1% saved)

Precisions

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

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

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

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

Operation ival-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

bsearch163.0ms (3.4%)

Algorithm

4×	binary-search

Stop Event

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

Steps

Time	Left	Right
25.0ms	1.004732024292112e-7	12706095936.128199
94.0ms	1.235417265210803e-153	1.0653927588953209e-149
16.0ms	2.433816746385936e-215	1.0234599851936266e-213
23.0ms	-4.839285958155763e+19	-67578486593002.49

Results

33.0ms	288×	256	infinite
103.0ms	256×	256	valid

Compiler

Compiled 475 to 387 computations (18.5% saved)

Precisions

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

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

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

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

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

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

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

bsearch52.0ms (1.1%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
27.0ms	1.004732024292112e-7	12706095936.128199
23.0ms	-4.839285958155763e+19	-67578486593002.49

Results

25.0ms	183×	256	infinite
13.0ms	121×	256	valid

Compiler

Compiled 265 to 222 computations (16.2% saved)

Precisions

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

Operation ival-log, time spent: 10.0ms, 51.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 ival-exp, 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

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	241
1	58	241
2	62	241
3	63	241

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(exp.f64 (-.f64 (+.f64 x (*.f64 y (log.f64 y))) z))
(if (<=.f64 y #s(literal 13500000000000000586689235038086281837983070887884292303180057912619243576892347622399323814956819094045428218404609072120562866638657068875472648563147996440668667904 binary64)) (exp.f64 (-.f64 x z)) (pow.f64 y y))
(if (<=.f64 x #s(literal -30000000000000000 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal 5943233322088651/12129047596099288555851402253613301212944422008724192274523844047078523067862319424459987568973800608988185396071336509423215469094646987433158494336259227650034804500162889887111447543996862850197367181200909912116350366045437952 binary64)) (exp.f64 (neg.f64 z)) (if (<=.f64 x #s(literal 3022118348001625/3685510180489786476798393145496356338786055879312930105836138965083617346086082863365358130056307390177215209990980317284932211552660930305235775636164742230126362624 binary64)) (pow.f64 y y) (if (<=.f64 x #s(literal 650 binary64)) (exp.f64 (neg.f64 z)) (exp.f64 x)))))
(if (<=.f64 x #s(literal -210000000000000 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal 1450 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 y #s(literal 13500000000000000586689235038086281837983070887884292303180057912619243576892347622399323814956819094045428218404609072120562866638657068875472648563147996440668667904 binary64)) (exp.f64 (-.f64 x z)) (pow.f64 y y))
(if (<=.f64 x #s(literal -30000000000000000 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal 5943233322088651/12129047596099288555851402253613301212944422008724192274523844047078523067862319424459987568973800608988185396071336509423215469094646987433158494336259227650034804500162889887111447543996862850197367181200909912116350366045437952 binary64)) (exp.f64 (neg.f64 z)) (if (<=.f64 x #s(literal 3022118348001625/3685510180489786476798393145496356338786055879312930105836138965083617346086082863365358130056307390177215209990980317284932211552660930305235775636164742230126362624 binary64)) (pow.f64 y y) (if (<=.f64 x #s(literal 650 binary64)) (exp.f64 (neg.f64 z)) (exp.f64 x)))))
(if (<=.f64 x #s(literal -210000000000000 binary64)) (exp.f64 x) (if (<=.f64 x #s(literal 1450 binary64)) (exp.f64 (neg.f64 z)) (exp.f64 x)))
(if (or (<=.f64 x #s(literal -210000000000000 binary64)) (not (<=.f64 x #s(literal 1450 binary64)))) (exp.f64 x) (exp.f64 (neg.f64 z)))
(exp.f64 x)

Compiler

Compiled 80 to 53 computations (33.8% saved)

soundness853.0ms (17.8%)

Rules

1576×	`fma-define`
886×	`fma-neg`
664×	`fma-define`
436×	`exp-sum`
369×	`times-frac`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	330	4753
1	798	4253
2	2323	4139
3	6515	4133
0	233	4055
1	591	3539
2	1971	3245
3	7783	3193
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
1×	node limit
1×	node limit

Compiler

Compiled 210 to 91 computations (56.7% saved)

end0.0ms (0%)

preprocess82.0ms (1.7%)

Compiler: Compiled 184 to 104 computations (43.5% saved)

analyze1.0ms (0%)

sample1.4s (29.3%)

preprocess526.0ms (11%)

eval1.0ms (0%)

prune2.0ms (0%)

localize461.0ms (9.6%)

series123.0ms (2.6%)

rewrite242.0ms (5.1%)

simplify131.0ms (2.7%)

eval26.0ms (0.5%)

prune25.0ms (0.5%)

localize131.0ms (2.7%)

series12.0ms (0.3%)

rewrite140.0ms (2.9%)

simplify144.0ms (3%)

eval88.0ms (1.8%)

prune28.0ms (0.6%)

localize51.0ms (1.1%)

eval0.0ms (0%)

prune3.0ms (0.1%)

regimes27.0ms (0.6%)

regimes31.0ms (0.7%)

regimes16.0ms (0.3%)

regimes4.0ms (0.1%)

regimes5.0ms (0.1%)

bsearch5.0ms (0.1%)

bsearch163.0ms (3.4%)

bsearch52.0ms (1.1%)

simplify9.0ms (0.2%)

soundness853.0ms (17.8%)

end0.0ms (0%)

preprocess82.0ms (1.7%)

Profiling