Metrics for subtraction fraction

analyze16.0ms (0.5%)

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
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	7
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	8
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	9
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	10
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	11
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	12

Compiler

Compiled 11 to 7 computations (36.4% saved)

Precisions

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

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

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

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

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

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

sample933.0ms (30.4%)

Results

700.0ms

8256×

256

valid

Precisions

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

Operation ival-div, time spent: 84.0ms, 30.0% of total-time

Operation ival-neg, time spent: 78.0ms, 28.0% of total-time

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

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

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

Bogosity

preprocess255.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

581×	`fma-define`
262×	`fma-neg`
223×	`times-frac`
132×	`div-sub`
91×	`associate-/r*`

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))`
-	-	`f`
-	-	`n`
-	-	`(-.f64 f n)`
-	-	`(neg.f64 (+.f64 f n))`
-	-	`(+.f64 f n)`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	269
1	78	217
2	208	217
3	582	217
4	1490	217
5	2115	217
6	2375	217
7	2443	217
8	2564	217

Stop Event

1×

saturated

Calls

Call 1

Inputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (neg.f64 (+.f64 (neg.f64 f) n)) (-.f64 (neg.f64 f) n))
(/.f64 (neg.f64 (+.f64 f (neg.f64 n))) (-.f64 f (neg.f64 n)))
(neg.f64 (/.f64 (neg.f64 (+.f64 (neg.f64 f) n)) (-.f64 (neg.f64 f) n)))
(neg.f64 (/.f64 (neg.f64 (+.f64 f (neg.f64 n))) (-.f64 f (neg.f64 n))))
(/.f64 (neg.f64 (+.f64 n f)) (-.f64 n f))

Outputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (-.f64 (neg.f64 f) n) (-.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (-.f64 (neg.f64 f) n) (-.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 (neg.f64 f) n)) (-.f64 (neg.f64 f) n))
(/.f64 (neg.f64 (-.f64 n f)) (-.f64 (neg.f64 f) n))
(/.f64 (-.f64 n f) (+.f64 f n))
(/.f64 (neg.f64 (+.f64 f (neg.f64 n))) (-.f64 f (neg.f64 n)))
(/.f64 (neg.f64 (-.f64 n f)) (-.f64 (neg.f64 f) n))
(/.f64 (-.f64 n f) (+.f64 f n))
(neg.f64 (/.f64 (neg.f64 (+.f64 (neg.f64 f) n)) (-.f64 (neg.f64 f) n)))
(/.f64 (neg.f64 (-.f64 n f)) (neg.f64 (-.f64 (neg.f64 f) n)))
(/.f64 (-.f64 f n) (+.f64 f n))
(neg.f64 (/.f64 (neg.f64 (+.f64 f (neg.f64 n))) (-.f64 f (neg.f64 n))))
(/.f64 (neg.f64 (-.f64 n f)) (neg.f64 (-.f64 (neg.f64 f) n)))
(/.f64 (-.f64 f n) (+.f64 f n))
(/.f64 (neg.f64 (+.f64 n f)) (-.f64 n f))
(/.f64 (-.f64 (neg.f64 f) n) (-.f64 n f))
(/.f64 (+.f64 f n) (-.f64 f n))

Results

57.0ms

512×

256

valid

Compiler

Compiled 56 to 20 computations (64.3% saved)

Precisions

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

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

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

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

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

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

eval0.0ms (0%)

Compiler: Compiled 17 to 9 computations (47.1% saved)

prune1.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(/.f64 (+.f64 f n) (-.f64 n f))

Compiler

Compiled 9 to 5 computations (44.4% saved)

localize32.0ms (1%)

Localize:

Found 1 expressions with local error:

New	Accuracy	Program
✓	100.0%	(/.f64 (+.f64 f n) (-.f64 n f))

Results

23.0ms

256×

256

valid

Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions

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

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

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

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

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

series6.0ms (0.2%)

Counts

1 → 24

Calls

Call 1

Inputs
#<alt (/.f64 (+.f64 f n) (-.f64 n f))>

Outputs
#<alt #s(literal 1 binary64)>
#<alt (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 n #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 n f)) (+.f64 #s(literal 1 binary64) (/.f64 n f)))>
#<alt (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (/.f64 n f)))>
#<alt (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f))))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 n (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (/.f64 (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n)))) f))) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 n (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 f #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))>
#<alt #s(literal 1 binary64)>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 3 binary64))))) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))))>
#<alt #s(literal 1 binary64)>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) n))) n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) n)) n))) n)))>

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	f	@	inf	(/ (+ f n) (- n f))
1.0ms	n	@	-inf	(/ (+ f n) (- n f))
1.0ms	n	@	inf	(/ (+ f n) (- n f))
1.0ms	f	@	0	(/ (+ f n) (- n f))
1.0ms	f	@	-inf	(/ (+ f n) (- n f))

rewrite301.0ms (9.8%)

Algorithm

1×	batch-egg-rewrite

Rules

790×	`log1p-expm1-u`
790×	`expm1-log1p-u`
758×	`prod-diff`
348×	`log-prod`
302×	`fma-define`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	31
1	131	31
2	2082	31

Stop Event

1×	node limit

Counts

1 → 41

Calls

Call 1

Inputs
(/.f64 (+.f64 f n) (-.f64 n f))

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

simplify60.0ms (2%)

Algorithm

1×	egg-herbie

Rules

795×	`times-frac`
676×	`fma-define`
325×	`associate-/r*`
255×	`distribute-lft-in`
248×	`distribute-rgt-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	226	2900
1	616	2722
2	1887	2523

Stop Event

1×	node limit

Counts

65 → 98

Calls

Call 1

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

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

eval26.0ms (0.8%)

Compiler: Compiled 1610 to 764 computations (52.5% saved)

prune30.0ms (1%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	93	5	98
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	93	6	99

Accuracy

100.0%

Counts

99 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))
✓	100.0%	(/.f64 (+.f64 f n) (-.f64 n f))
▶	52.5%	(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
▶	50.1%	(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
▶	48.8%	#s(literal 1 binary64)
▶	51.6%	#s(literal -1 binary64)

Compiler

Compiled 79 to 59 computations (25.3% saved)

localize272.0ms (8.9%)

Localize:

Found 4 expressions with local error:

New	Accuracy	Program
✓	100.0%	(*.f64 #s(literal -2 binary64) (/.f64 n f))
✓	100.0%	(*.f64 #s(literal 2 binary64) (/.f64 f n))
✓	100.0%	(/.f64 (-.f64 n f) (+.f64 f n))
✓	100.0%	(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))

Results

61.0ms

256×

256

valid

Compiler

Compiled 68 to 29 computations (57.4% saved)

Precisions

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

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

Operation ival-pow, time spent: 8.0ms, 26.0% of total-time

Operation ival-div, time spent: 6.0ms, 19.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: 2.0ms, 6.0% of total-time

series14.0ms (0.5%)

Counts

4 → 48

Calls

Call 1

Inputs
#<alt (pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))>
#<alt (/.f64 (-.f64 n f) (+.f64 f n))>
#<alt (*.f64 #s(literal 2 binary64) (/.f64 f n))>
#<alt (*.f64 #s(literal -2 binary64) (/.f64 n f))>

Outputs
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 n (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 f #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))>
#<alt #s(literal 1 binary64)>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 3 binary64))))) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))))>
#<alt #s(literal 1 binary64)>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) n))) n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) n)) n))) n)))>
#<alt #s(literal 1 binary64)>
#<alt (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 n #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (*.f64 #s(literal -1 binary64) (/.f64 n f)) (+.f64 #s(literal 1 binary64) (/.f64 n f)))>
#<alt (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (/.f64 n f)))>
#<alt (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f))))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 n (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (/.f64 (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n)))) f))) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (*.f64 #s(literal 2 binary64) (/.f64 n f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 n (+.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 n (+.f64 (.f64 n (-.f64 (.f64 #s(literal 2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 f #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))>
#<alt #s(literal 1 binary64)>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 f n))) (/.f64 f n))>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 (.f64 #s(literal -1 binary64) f) f)) (pow.f64 n #s(literal 2 binary64)))))) (/.f64 f n))>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) f) f)) (pow.f64 n #s(literal 3 binary64))))) (+.f64 (/.f64 f n) (/.f64 (.f64 f (-.f64 (*.f64 #s(literal -1 binary64) f) f)) (pow.f64 n #s(literal 2 binary64)))))>
#<alt #s(literal 1 binary64)>
#<alt (-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 f n))) (/.f64 f n))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 (.f64 #s(literal -1 binary64) f) f)) (/.f64 (.f64 f (-.f64 (*.f64 #s(literal -1 binary64) f) f)) n)) n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 (.f64 #s(literal -1 binary64) f) f)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (.f64 f (-.f64 (.f64 #s(literal -1 binary64) f) f))) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 (*.f64 #s(literal -1 binary64) f) f)) n)) n))) n)))>
#<alt #s(literal 1 binary64)>
#<alt (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (/.f64 f n)))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 f (-.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))>
#<alt (+.f64 #s(literal 1 binary64) (.f64 f (-.f64 (.f64 f (+.f64 (.f64 #s(literal -2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 n #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (/.f64 n f) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 n f))))>
#<alt (-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n))) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 n f))))>
#<alt (-.f64 (+.f64 (/.f64 n f) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 n (.f64 #s(literal -1 binary64) n))) (pow.f64 f #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 n (-.f64 n (*.f64 #s(literal -1 binary64) n))) (pow.f64 f #s(literal 2 binary64))))))>
#<alt #s(literal -1 binary64)>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) n) n) f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 (.f64 #s(literal -1 binary64) n) (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)) f))) n) f)) #s(literal 1 binary64))>
#<alt (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 (.f64 #s(literal -1 binary64) n) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) n) n)) f)) (.f64 #s(literal -1 binary64) (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)))) f))) n) f)) #s(literal 1 binary64))>

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	f	@	0	(* -2 (/ n f))
1.0ms	f	@	inf	(* 2 (/ f n))
1.0ms	f	@	0	(* 2 (/ f n))
1.0ms	n	@	0	(* -2 (/ n f))
1.0ms	n	@	0	(* 2 (/ f n))

rewrite139.0ms (4.5%)

Algorithm

1×	batch-egg-rewrite

Rules

942×	`log1p-expm1-u`
942×	`expm1-log1p-u`
350×	`fma-define`
222×	`log1p-undefine`
177×	`fma-neg`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	106
1	254	100
2	3854	100

Stop Event

1×	node limit

Counts

4 → 147

Calls

Call 1

Inputs
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))
(/.f64 (-.f64 n f) (+.f64 f n))
(*.f64 #s(literal 2 binary64) (/.f64 f n))
(*.f64 #s(literal -2 binary64) (/.f64 n f))

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

simplify131.0ms (4.3%)

Algorithm

1×	egg-herbie

Rules

604×	`fma-neg`
370×	`div-sub`
297×	`sub-neg`
266×	`distribute-lft-neg-in`
249×	`distribute-rgt-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	528	7733
1	1403	7077
2	4500	6948

Stop Event

1×	node limit

Counts

195 → 289

Calls

Call 1

Inputs
#s(literal -1 binary64)
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))
(-.f64 (.f64 n (-.f64 (.f64 n (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 f #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))
#s(literal 1 binary64)
(-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (/.f64 f n) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 3 binary64))))) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (pow.f64 n #s(literal 2 binary64))))))
#s(literal 1 binary64)
(-.f64 (+.f64 #s(literal 1 binary64) (/.f64 f n)) (*.f64 #s(literal -1 binary64) (/.f64 f n)))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) n))) n)))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 f (.f64 #s(literal -1 binary64) f))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 f (-.f64 f (.f64 #s(literal -1 binary64) f))) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 f (.f64 #s(literal -1 binary64) f))) n)) n))) n)))
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))
(+.f64 #s(literal 1 binary64) (.f64 f (+.f64 (.f64 f (+.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 n #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))
#s(literal -1 binary64)
(-.f64 (*.f64 #s(literal -1 binary64) (/.f64 n f)) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 #s(literal 1 binary64) (/.f64 n f)))
(-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 (.f64 #s(literal -1 binary64) n) n)) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f))))
#s(literal -1 binary64)
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 n (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (/.f64 (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 n (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 n (.f64 #s(literal -1 binary64) n))) f)) (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n)))) f))) (.f64 #s(literal -1 binary64) n)) f)) #s(literal 1 binary64))
#s(literal -1 binary64)
(-.f64 (*.f64 #s(literal 2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(-.f64 (.f64 n (+.f64 (.f64 #s(literal -2 binary64) (/.f64 n (pow.f64 f #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))
(-.f64 (.f64 n (+.f64 (.f64 n (-.f64 (.f64 #s(literal 2 binary64) (/.f64 n (pow.f64 f #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 f #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) f)))) #s(literal 1 binary64))
#s(literal 1 binary64)
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 f n))) (/.f64 f n))
(-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (.f64 #s(literal -1 binary64) (/.f64 (.f64 f (-.f64 (.f64 #s(literal -1 binary64) f) f)) (pow.f64 n #s(literal 2 binary64)))))) (/.f64 f n))
(-.f64 (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 f n)) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) f) f)) (pow.f64 n #s(literal 3 binary64))))) (+.f64 (/.f64 f n) (/.f64 (.f64 f (-.f64 (*.f64 #s(literal -1 binary64) f) f)) (pow.f64 n #s(literal 2 binary64)))))
#s(literal 1 binary64)
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 f n))) (/.f64 f n))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 (.f64 #s(literal -1 binary64) f) f)) (/.f64 (.f64 f (-.f64 (*.f64 #s(literal -1 binary64) f) f)) n)) n)))
(+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (-.f64 (.f64 #s(literal -1 binary64) f) f)) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (.f64 #s(literal -1 binary64) (.f64 f (-.f64 (.f64 #s(literal -1 binary64) f) f))) (/.f64 (.f64 (pow.f64 f #s(literal 2 binary64)) (-.f64 (*.f64 #s(literal -1 binary64) f) f)) n)) n))) n)))
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (/.f64 f n)))
(+.f64 #s(literal 1 binary64) (.f64 f (-.f64 (.f64 #s(literal 2 binary64) (/.f64 f (pow.f64 n #s(literal 2 binary64)))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))
(+.f64 #s(literal 1 binary64) (.f64 f (-.f64 (.f64 f (+.f64 (.f64 #s(literal -2 binary64) (/.f64 f (pow.f64 n #s(literal 3 binary64)))) (.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) (pow.f64 n #s(literal 2 binary64)))))) (*.f64 #s(literal 2 binary64) (/.f64 #s(literal 1 binary64) n)))))
#s(literal -1 binary64)
(-.f64 (/.f64 n f) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -1 binary64) (/.f64 n f))))
(-.f64 (+.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 n (.f64 #s(literal -1 binary64) n))) (pow.f64 f #s(literal 2 binary64)))) (/.f64 n f)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal -1 binary64) (/.f64 n f))))
(-.f64 (+.f64 (/.f64 n f) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 n (.f64 #s(literal -1 binary64) n))) (pow.f64 f #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (+.f64 (.f64 #s(literal -1 binary64) (/.f64 n f)) (/.f64 (.f64 n (-.f64 n (*.f64 #s(literal -1 binary64) n))) (pow.f64 f #s(literal 2 binary64))))))
#s(literal -1 binary64)
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) n) n) f)) #s(literal 1 binary64))
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 (.f64 #s(literal -1 binary64) n) (.f64 #s(literal -1 binary64) (/.f64 (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)) f))) n) f)) #s(literal 1 binary64))
(-.f64 (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (+.f64 (.f64 #s(literal -1 binary64) n) (.f64 #s(literal -1 binary64) (/.f64 (-.f64 (.f64 #s(literal -1 binary64) (/.f64 (.f64 (pow.f64 n #s(literal 2 binary64)) (-.f64 (.f64 #s(literal -1 binary64) n) n)) f)) (.f64 #s(literal -1 binary64) (.f64 n (-.f64 (*.f64 #s(literal -1 binary64) n) n)))) f))) n) f)) #s(literal 1 binary64))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 n f) (-.f64 n f)))) #s(literal 1 binary64))
(*.f64 (+.f64 n f) (/.f64 #s(literal 1 binary64) (-.f64 n f)))
(*.f64 (/.f64 (+.f64 n f) (-.f64 n f)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 (+.f64 n f) (-.f64 n f)))
(*.f64 (cbrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))) #s(literal 2 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))) #s(literal 2 binary64)) (cbrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (+.f64 n f)) (-.f64 n f)))
(*.f64 (sqrt.f64 (+.f64 n f)) (/.f64 (sqrt.f64 (+.f64 n f)) (-.f64 n f)))
(*.f64 (sqrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))) (sqrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
(*.f64 (pow.f64 (-.f64 n f) #s(literal -1 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 n f)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal 2 binary64)) #s(literal -1 binary64)) (pow.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal -1 binary64)))
(*.f64 (pow.f64 (sqrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal -1 binary64)) (pow.f64 (sqrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal -1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (+.f64 n f) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (-.f64 n f))) (/.f64 (+.f64 n f) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 (+.f64 n f)) (-.f64 n f)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (cbrt.f64 (+.f64 n f)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64)) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.f64 (+.f64 n f)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 n f)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (+.f64 n f)) (-.f64 n f)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 n f)) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (+.f64 n f)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 n f)) (sqrt.f64 (-.f64 n f))) (/.f64 (sqrt.f64 (+.f64 n f)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (+.f64 n f) (-.f64 (pow.f64 n #s(literal 2 binary64)) (pow.f64 f #s(literal 2 binary64)))) (+.f64 n f))
(*.f64 (/.f64 #s(literal 1 binary64) (-.f64 n f)) (+.f64 n f))
(*.f64 (/.f64 (+.f64 n f) (-.f64 (pow.f64 n #s(literal 3 binary64)) (pow.f64 f #s(literal 3 binary64)))) (fma.f64 f (+.f64 n f) (pow.f64 n #s(literal 2 binary64))))
(*.f64 (/.f64 #s(literal 1 binary64) (neg.f64 (-.f64 n f))) (neg.f64 (+.f64 n f)))
(/.f64 (+.f64 n f) (-.f64 n f))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 n f) (+.f64 n f)))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 (-.f64 n f) (+.f64 n f)) #s(literal 1 binary64)))
(/.f64 (neg.f64 (+.f64 n f)) (neg.f64 (-.f64 n f)))
(/.f64 (+.f64 (pow.f64 f #s(literal 3 binary64)) (pow.f64 n #s(literal 3 binary64))) (*.f64 (-.f64 n f) (fma.f64 n (-.f64 n f) (pow.f64 f #s(literal 2 binary64)))))
(/.f64 (-.f64 (pow.f64 f #s(literal 2 binary64)) (pow.f64 n #s(literal 2 binary64))) (*.f64 (-.f64 n f) (-.f64 f n)))
(/.f64 (sqrt.f64 (/.f64 (+.f64 n f) (-.f64 n f))) (sqrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(/.f64 (/.f64 (+.f64 n f) (sqrt.f64 (-.f64 n f))) (sqrt.f64 (-.f64 n f)))
(/.f64 (/.f64 (+.f64 n f) #s(literal 1 binary64)) (-.f64 n f))
(/.f64 (/.f64 #s(literal 1 binary64) (-.f64 n f)) (/.f64 #s(literal 1 binary64) (+.f64 n f)))
(/.f64 (/.f64 (+.f64 n f) (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64))) (cbrt.f64 (-.f64 n f)))
(/.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal 2 binary64))) (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(sqrt.f64 (pow.f64 (/.f64 (-.f64 n f) (+.f64 n f)) #s(literal -2 binary64)))
(log.f64 (exp.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (/.f64 (+.f64 n f) (-.f64 n f)))))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 n f) (-.f64 n f)) #s(literal 3 binary64)))
(cbrt.f64 (/.f64 (pow.f64 (+.f64 n f) #s(literal 3 binary64)) (pow.f64 (-.f64 n f) #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
(exp.f64 (log.f64 (/.f64 (+.f64 n f) (-.f64 n f))))
(exp.f64 (*.f64 (log.f64 (/.f64 (+.f64 n f) (-.f64 n f))) #s(literal 1 binary64)))
(exp.f64 (-.f64 (log.f64 (+.f64 n f)) (log.f64 (-.f64 n f))))
(+.f64 (/.f64 n (+.f64 n f)) (neg.f64 (/.f64 f (+.f64 n f))))
(-.f64 (/.f64 n (+.f64 n f)) (/.f64 f (+.f64 n f)))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (-.f64 n f) (+.f64 n f)))) #s(literal 1 binary64))
(*.f64 (-.f64 n f) (/.f64 #s(literal 1 binary64) (+.f64 n f)))
(*.f64 (/.f64 (-.f64 n f) (+.f64 n f)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (/.f64 (-.f64 n f) (+.f64 n f)))
(*.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) (pow.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal 2 binary64)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal 2 binary64)) (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)) (/.f64 (cbrt.f64 (-.f64 n f)) (+.f64 n f)))
(.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)) (.f64 (cbrt.f64 (-.f64 n f)) (/.f64 #s(literal 1 binary64) (+.f64 n f))))
(*.f64 (sqrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) (sqrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(*.f64 (sqrt.f64 (-.f64 n f)) (/.f64 (sqrt.f64 (-.f64 n f)) (+.f64 n f)))
(.f64 (sqrt.f64 (-.f64 n f)) (.f64 (sqrt.f64 (-.f64 n f)) (/.f64 #s(literal 1 binary64) (+.f64 n f))))
(*.f64 (neg.f64 (-.f64 n f)) (/.f64 #s(literal 1 binary64) (neg.f64 (+.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 n f)) (-.f64 n f))
(*.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64))) (/.f64 (-.f64 n f) (cbrt.f64 (+.f64 n f))))
(*.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 n f))) (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 (-.f64 n f)) (+.f64 n f)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64))) (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) #s(literal 2 binary64)) (sqrt.f64 (+.f64 n f))) (/.f64 (cbrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 n f))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 n f)) #s(literal 1 binary64)) (/.f64 (sqrt.f64 (-.f64 n f)) (+.f64 n f)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64))) (/.f64 (sqrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 n f))))
(*.f64 (/.f64 (-.f64 n f) (+.f64 (pow.f64 f #s(literal 3 binary64)) (pow.f64 n #s(literal 3 binary64)))) (fma.f64 n (-.f64 n f) (pow.f64 f #s(literal 2 binary64))))
(*.f64 (/.f64 (-.f64 n f) (-.f64 (pow.f64 f #s(literal 2 binary64)) (pow.f64 n #s(literal 2 binary64)))) (-.f64 f n))
(pow.f64 (/.f64 (-.f64 n f) (+.f64 n f)) #s(literal 1 binary64))
(pow.f64 (/.f64 (+.f64 n f) (-.f64 n f)) #s(literal -1 binary64))
(pow.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (/.f64 (-.f64 n f) (+.f64 n f)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal 2 binary64))
(neg.f64 (/.f64 (-.f64 n f) (neg.f64 (+.f64 n f))))
(neg.f64 (/.f64 (neg.f64 (-.f64 n f)) (+.f64 n f)))
(sqrt.f64 (pow.f64 (/.f64 (-.f64 n f) (+.f64 n f)) #s(literal 2 binary64)))
(log.f64 (exp.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (/.f64 (-.f64 n f) (+.f64 n f)))))
(cbrt.f64 (pow.f64 (/.f64 (-.f64 n f) (+.f64 n f)) #s(literal 3 binary64)))
(cbrt.f64 (/.f64 (pow.f64 (-.f64 n f) #s(literal 3 binary64)) (pow.f64 (+.f64 n f) #s(literal 3 binary64))))
(expm1.f64 (log1p.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(log1p.f64 (expm1.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(exp.f64 (log.f64 (/.f64 (-.f64 n f) (+.f64 n f))))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 n f) (+.f64 n f))) #s(literal 1 binary64)))
(fma.f64 n (/.f64 #s(literal 1 binary64) (+.f64 n f)) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 #s(literal 1 binary64) (/.f64 n (+.f64 n f)) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (pow.f64 (cbrt.f64 n) #s(literal 2 binary64)) (/.f64 (cbrt.f64 n) (+.f64 n f)) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (sqrt.f64 n) (/.f64 (sqrt.f64 n) (+.f64 n f)) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (*.f64 (cbrt.f64 (/.f64 n (+.f64 n f))) (cbrt.f64 (/.f64 n (+.f64 n f)))) (cbrt.f64 (/.f64 n (+.f64 n f))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (sqrt.f64 (/.f64 n (+.f64 n f))) (sqrt.f64 (/.f64 n (+.f64 n f))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 n) #s(literal 2 binary64)) #s(literal 1 binary64)) (/.f64 (cbrt.f64 n) (+.f64 n f)) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 (sqrt.f64 n) #s(literal 1 binary64)) (/.f64 (sqrt.f64 n) (+.f64 n f)) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 #s(literal 1 binary64) (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64))) (/.f64 n (cbrt.f64 (+.f64 n f))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 #s(literal 1 binary64) (sqrt.f64 (+.f64 n f))) (/.f64 n (sqrt.f64 (+.f64 n f))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 n) #s(literal 2 binary64)) (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64))) (/.f64 (cbrt.f64 n) (cbrt.f64 (+.f64 n f))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 (pow.f64 (cbrt.f64 n) #s(literal 2 binary64)) (sqrt.f64 (+.f64 n f))) (/.f64 (cbrt.f64 n) (sqrt.f64 (+.f64 n f))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 (sqrt.f64 n) (pow.f64 (cbrt.f64 (+.f64 n f)) #s(literal 2 binary64))) (/.f64 (sqrt.f64 n) (cbrt.f64 (+.f64 n f))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 (sqrt.f64 n) (sqrt.f64 (+.f64 n f))) (/.f64 (sqrt.f64 n) (sqrt.f64 (+.f64 n f))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 n (+.f64 (pow.f64 f #s(literal 3 binary64)) (pow.f64 n #s(literal 3 binary64)))) (fma.f64 n (-.f64 n f) (pow.f64 f #s(literal 2 binary64))) (neg.f64 (/.f64 f (+.f64 n f))))
(fma.f64 (/.f64 n (-.f64 (pow.f64 f #s(literal 2 binary64)) (pow.f64 n #s(literal 2 binary64)))) (-.f64 f n) (neg.f64 (/.f64 f (+.f64 n f))))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n))) #s(literal 1 binary64))
(/.f64 #s(literal 2 binary64) (/.f64 n f))
(/.f64 #s(literal 1 binary64) (/.f64 n (*.f64 f #s(literal 2 binary64))))
(/.f64 (*.f64 f #s(literal 2 binary64)) n)
(/.f64 (neg.f64 (*.f64 f #s(literal 2 binary64))) (neg.f64 n))
(/.f64 (*.f64 #s(literal 2 binary64) (neg.f64 f)) (neg.f64 n))
(/.f64 (*.f64 (neg.f64 f) #s(literal 2 binary64)) (neg.f64 n))
(/.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) #s(literal 1 binary64)) n)
(/.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) (pow.f64 (cbrt.f64 n) #s(literal 2 binary64))) (cbrt.f64 n))
(/.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) (sqrt.f64 n)) (sqrt.f64 n))
(pow.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n)) #s(literal 3 binary64))
(pow.f64 (pow.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n)) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 #s(literal 2 binary64)) (/.f64 f n)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n))))
(cbrt.f64 (pow.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n)))
(log1p.f64 (expm1.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n)))
(exp.f64 (log.f64 (/.f64 (*.f64 f #s(literal 2 binary64)) n)))
(exp.f64 (.f64 (log.f64 (/.f64 (.f64 f #s(literal 2 binary64)) n)) #s(literal 1 binary64)))
(-.f64 (exp.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1 binary64))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 #s(literal 1 binary64) (/.f64 f (*.f64 n #s(literal -2 binary64))))
(/.f64 (*.f64 n #s(literal -2 binary64)) f)
(/.f64 (neg.f64 (*.f64 n #s(literal -2 binary64))) (neg.f64 f))
(/.f64 (*.f64 #s(literal -2 binary64) (neg.f64 n)) (neg.f64 f))
(/.f64 (*.f64 (neg.f64 n) #s(literal -2 binary64)) (neg.f64 f))
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) #s(literal 1 binary64)) f)
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) (pow.f64 (cbrt.f64 f) #s(literal 2 binary64))) (cbrt.f64 f))
(/.f64 (/.f64 (*.f64 n #s(literal -2 binary64)) (sqrt.f64 f)) (sqrt.f64 f))
(pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(pow.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 3 binary64))
(pow.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 3 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 2 binary64))
(sqrt.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 2 binary64)))
(log.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))
(log.f64 (+.f64 #s(literal 1 binary64) (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(cbrt.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 3 binary64)))
(expm1.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(log1p.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(exp.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(exp.f64 (.f64 (log.f64 (.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 1 binary64)))

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

eval239.0ms (7.8%)

Compiler: Compiled 4944 to 2482 computations (49.8% saved)

prune45.0ms (1.5%)

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	289	0	289
Fresh	0	0	0
Picked	0	5	5
Done	0	1	1
Total	289	6	295

Accuracy

100.0%

Counts

295 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))
✓	100.0%	(/.f64 (+.f64 f n) (-.f64 n f))
✓	52.5%	(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
✓	50.1%	(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
✓	48.8%	#s(literal 1 binary64)
✓	51.6%	#s(literal -1 binary64)

Compiler

Compiled 86 to 55 computations (36% saved)

regimes12.0ms (0.4%)

Counts

7 → 1

Calls

Call 1

Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))

Outputs
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))

Calls

3 calls:

5.0ms	f
4.0ms	n
2.0ms	(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))

Results

Accuracy	Segments	Branch
100.0%	1	`f`
100.0%	1	`n`
100.0%	1	`(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))`

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes35.0ms (1.1%)

Counts

6 → 1

Calls

Call 1

Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))

Outputs
(/.f64 (+.f64 f n) (-.f64 n f))

Calls

3 calls:

28.0ms	f
3.0ms	n
2.0ms	(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))

Results

Accuracy	Segments	Branch
100.0%	1	`f`
100.0%	1	`n`
100.0%	1	`(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))`

Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes17.0ms (0.6%)

Counts

4 → 3

Calls

Call 1

Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))

Outputs

(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))

(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))

(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))

Calls

2 calls:

10.0ms	n
7.0ms	f

Results

Accuracy	Segments	Branch
78.6%	5	`f`
80.2%	3	`n`

Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes67.0ms (2.2%)

Counts

3 → 3

Calls

Call 1

Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))

Outputs
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))
#s(literal -1 binary64)
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))

Calls

1 calls:

67.0ms

Results

Accuracy	Segments	Branch
80.0%	3	`n`

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes6.0ms (0.2%)

Counts

2 → 3

Calls

Call 1

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

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

Calls

1 calls:

6.0ms

Results

Accuracy	Segments	Branch
79.5%	3	`n`

Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes1.0ms (0%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal -1 binary64)

Outputs
#s(literal -1 binary64)

Calls

2 calls:

0.0ms	n
0.0ms	f

Results

Accuracy	Segments	Branch
51.6%	1	`f`
51.6%	1	`n`

Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch55.0ms (1.8%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
36.0ms	2.0336965427484815e-62	2.832080174772072e-56
18.0ms	-6.027261418429828e+28	-2.0012168677830583e+23

Results

43.0ms

288×

256

valid

Compiler

Compiled 375 to 298 computations (20.5% saved)

Precisions

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

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

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

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

Operation ival-neg, time spent: 1.0ms, 13.0% of total-time

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

bsearch44.0ms (1.4%)

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
16.0ms	2.0336965427484815e-62	2.832080174772072e-56
25.0ms	-4.0867530671514105e-19	-1.3562101913332191e-24

Results

31.0ms

288×

256

valid

Compiler

Compiled 267 to 226 computations (15.4% saved)

Precisions

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

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

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

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

Operation ival-neg, time spent: 1.0ms, 13.0% of total-time

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

bsearch31.0ms (1%)

Algorithm

2×	binary-search

Stop Event

1×	predicate-same
1×	predicate-same

Steps

Time	Left	Right
16.0ms	2.0336965427484815e-62	2.832080174772072e-56
15.0ms	-4.0867530671514105e-19	-1.3562101913332191e-24

Results

22.0ms

192×

256

valid

Compiler

Compiled 111 to 106 computations (4.5% saved)

Precisions

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

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

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

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

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

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

simplify9.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative`
6×	`if-if-or-not`
4×	`sub-neg`
4×	`*-commutative`
3×	`1-exp`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	234
1	68	234
2	74	234
3	81	234
4	82	234

Stop Event

1×	done
1×	saturated

Calls

Call 1

Inputs
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(if (<=.f64 n #s(literal -4750000000000000054525952 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 n #s(literal 4858829428140557/441711766194596082395824375185729628956870974218904739530401550323154944 binary64)) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))))
(if (<=.f64 n #s(literal -8294382693697875/42535295865117307932921825928971026432 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 n #s(literal 7010849153040629/452312848583266388373324160190187140051835877600158453279131187530910662656 binary64)) #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n)))))
(if (<=.f64 n #s(literal -2076918743413931/41538374868278621028243970633760768 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 3957737425103581/28269553036454149273332760011886696253239742350009903329945699220681916416 binary64)) #s(literal -1 binary64) #s(literal 1 binary64)))
#s(literal -1 binary64)

Outputs
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) #s(literal -1 binary64))
(pow.f64 (/.f64 (-.f64 n f) (+.f64 n f)) #s(literal -1 binary64))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (+.f64 n f) (-.f64 n f))
(if (<=.f64 n #s(literal -4750000000000000054525952 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 n #s(literal 4858829428140557/441711766194596082395824375185729628956870974218904739530401550323154944 binary64)) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n)))))
(if (or (<=.f64 n #s(literal -4750000000000000054525952 binary64)) (not (<=.f64 n #s(literal 4858829428140557/441711766194596082395824375185729628956870974218904739530401550323154944 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (-.f64 (.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)))
(if (or (<=.f64 n #s(literal -4750000000000000054525952 binary64)) (not (<=.f64 n #s(literal 4858829428140557/441711766194596082395824375185729628956870974218904739530401550323154944 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (+.f64 #s(literal -1 binary64) (.f64 #s(literal -2 binary64) (/.f64 n f))))
(if (<=.f64 n #s(literal -8294382693697875/42535295865117307932921825928971026432 binary64)) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n))) (if (<=.f64 n #s(literal 7010849153040629/452312848583266388373324160190187140051835877600158453279131187530910662656 binary64)) #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 #s(literal 2 binary64) (/.f64 f n)))))
(if (or (<=.f64 n #s(literal -8294382693697875/42535295865117307932921825928971026432 binary64)) (not (<=.f64 n #s(literal 7010849153040629/452312848583266388373324160190187140051835877600158453279131187530910662656 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (/.f64 f n))) #s(literal -1 binary64))
(if (<=.f64 n #s(literal -2076918743413931/41538374868278621028243970633760768 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 3957737425103581/28269553036454149273332760011886696253239742350009903329945699220681916416 binary64)) #s(literal -1 binary64) #s(literal 1 binary64)))
#s(literal -1 binary64)

Compiler

Compiled 80 to 60 computations (25% saved)

soundness231.0ms (7.5%)

Rules

790×	`log1p-expm1-u`
790×	`expm1-log1p-u`
758×	`prod-diff`
581×	`fma-define`
348×	`log-prod`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	31
1	131	31
2	2082	31
0	28	269
1	78	217
2	208	217
3	582	217
4	1490	217
5	2115	217
6	2375	217
7	2443	217
8	2564	217

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 96 to 35 computations (63.5% saved)

end0.0ms (0%)

preprocess64.0ms (2.1%)

Compiler: Compiled 160 to 106 computations (33.8% saved)

analyze16.0ms (0.5%)

sample933.0ms (30.4%)

preprocess255.0ms (8.3%)

eval0.0ms (0%)

prune1.0ms (0%)

localize32.0ms (1%)

series6.0ms (0.2%)

rewrite301.0ms (9.8%)

simplify60.0ms (2%)

eval26.0ms (0.8%)

prune30.0ms (1%)

localize272.0ms (8.9%)

series14.0ms (0.5%)

rewrite139.0ms (4.5%)

simplify131.0ms (4.3%)

eval239.0ms (7.8%)

prune45.0ms (1.5%)

regimes12.0ms (0.4%)

regimes35.0ms (1.1%)

regimes17.0ms (0.6%)

regimes67.0ms (2.2%)

regimes6.0ms (0.2%)

regimes1.0ms (0%)

bsearch55.0ms (1.8%)

bsearch44.0ms (1.4%)

bsearch31.0ms (1%)

simplify9.0ms (0.3%)

soundness231.0ms (7.5%)

end0.0ms (0%)

preprocess64.0ms (2.1%)

Profiling