subtraction fraction

Time bar (total: 2.0s)

analyze29.0ms (1.5%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
ival-add: 2.0ms (33.1% of total)
ival-sub: 1.0ms (16.5% of total)
ival-div: 1.0ms (16.5% of total)
ival-neg: 1.0ms (16.5% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

sample706.0ms (35.7%)

Results
433.0ms8256×0valid
Precisions
Click to see histograms. Total time spent on operations: 227.0ms
ival-div: 62.0ms (27.3% of total)
ival-add: 56.0ms (24.7% of total)
ival-sub: 53.0ms (23.4% of total)
ival-neg: 46.0ms (20.3% of total)
const: 7.0ms (3.1% of total)
backward-pass: 3.0ms (1.3% of total)
Bogosity

preprocess101.0ms (5.1%)

Algorithm
1×egg-herbie
Rules
581×fma-define
262×fma-neg
223×times-frac
132×div-sub
91×associate-/r*
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
028269
178217
2208217
3582217
41490217
52115217
62375217
72443217
82564217
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))

explain54.0ms (2.7%)

FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
00-0-f
00-0-n
00-0-(-.f64 f n)
00-0-(neg.f64 (+.f64 f n))
00-0-(+.f64 f n)
Results
35.0ms512×0valid
Compiler

Compiled 56 to 20 computations (64.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0ms
ival-div: 4.0ms (30.1% of total)
ival-sub: 3.0ms (22.6% of total)
ival-add: 3.0ms (22.6% of total)
ival-neg: 3.0ms (22.6% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

eval0.0ms (0%)

Compiler

Compiled 17 to 9 computations (47.1% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 9 to 5 computations (44.4% saved)

localize23.0ms (1.2%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
Results
17.0ms256×0valid
Compiler

Compiled 18 to 6 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 5.0ms
ival-div: 2.0ms (36.7% of total)
ival-add: 2.0ms (36.7% of total)
ival-sub: 1.0ms (18.4% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

series5.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:

TimeVariablePointExpression
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))

rewrite219.0ms (11.1%)

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)

IterNodesCost
01031
113131
2208231
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)))

simplify70.0ms (3.5%)

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)

IterNodesCost
02262900
16162722
218872523
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))

eval93.0ms (4.7%)

Compiler

Compiled 1610 to 764 computations (52.5% saved)

prune14.0ms (0.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New95398
Fresh000
Picked011
Done000
Total95499
Accuracy
100.0%
Counts
99 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
▶54.8%
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
▶46.5%
#s(literal 1 binary64)
▶53.5%
#s(literal -1 binary64)
Compiler

Compiled 24 to 18 computations (25% saved)

localize87.0ms (4.4%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓100.0%
(*.f64 #s(literal -2 binary64) (/.f64 n f))
Results
21.0ms256×0valid
Compiler

Compiled 24 to 14 computations (41.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-mult: 4.0ms (46.2% of total)
ival-div: 2.0ms (23.1% of total)
ival-sub: 1.0ms (11.6% of total)
const: 1.0ms (11.6% of total)
backward-pass: 0.0ms (0% of total)

series4.0ms (0.2%)

Counts
1 → 0
Calls
Call 1
Inputs
#<alt (*.f64 #s(literal -2 binary64) (/.f64 n f))>
Outputs
Calls

6 calls:

TimeVariablePointExpression
1.0ms
f
@0
(* -2 (/ n f))
1.0ms
n
@inf
(* -2 (/ n f))
1.0ms
n
@0
(* -2 (/ n f))
1.0ms
f
@inf
(* -2 (/ n f))
0.0ms
n
@-inf
(* -2 (/ n f))

rewrite71.0ms (3.6%)

Algorithm
1×batch-egg-rewrite
Rules
457×log1p-expm1-u
457×expm1-log1p-u
451×unpow-prod-down
441×add-exp-log
429×add-log-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01019
19419
2122719
Stop Event
1×node limit
Counts
1 → 31
Calls
Call 1
Inputs
(*.f64 #s(literal -2 binary64) (/.f64 n f))
Outputs
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (/.f64 n f)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))))
(-.f64 (+.f64 #s(literal 1 binary64) (*.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 #s(literal -2 binary64) n)))
(/.f64 (*.f64 #s(literal -2 binary64) n) f)
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) n)) (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 #s(literal -2 binary64) n) #s(literal 1 binary64)) f)
(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) n) (pow.f64 (cbrt.f64 f) #s(literal 2 binary64))) (cbrt.f64 f))
(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) n) (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 (*.f64 (pow.f64 (/.f64 n f) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 3 binary64)) #s(literal -8 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(pow.f64 (/.f64 f (*.f64 #s(literal -2 binary64) n)) #s(literal -1 binary64))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))) (sqrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 2 binary64)) #s(literal 4 binary64)))
(log.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 3 binary64)) #s(literal -8 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 (cbrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 3 binary64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64)))

simplify78.0ms (3.9%)

Algorithm
1×egg-herbie
Rules
793×fma-neg
507×cube-prod
431×associate-/r*
390×exp-prod
332×associate-*r/
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
095775
1182775
2393775
31343775
45538761
Stop Event
1×node limit
Counts
31 → 45
Calls
Call 1
Inputs
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (/.f64 n f)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))))
(-.f64 (+.f64 #s(literal 1 binary64) (*.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 #s(literal -2 binary64) n)))
(/.f64 (*.f64 #s(literal -2 binary64) n) f)
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) n)) (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 #s(literal -2 binary64) n) #s(literal 1 binary64)) f)
(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) n) (pow.f64 (cbrt.f64 f) #s(literal 2 binary64))) (cbrt.f64 f))
(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) n) (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 (*.f64 (pow.f64 (/.f64 n f) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(pow.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 3 binary64)) #s(literal -8 binary64)) #s(literal 1/3 binary64))
(pow.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 2 binary64))
(pow.f64 (E.f64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(pow.f64 (/.f64 f (*.f64 #s(literal -2 binary64) n)) #s(literal -1 binary64))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))) (sqrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 2 binary64)) #s(literal 4 binary64)))
(log.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 3 binary64)) #s(literal -8 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 (cbrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 3 binary64)))
(exp.f64 (*.f64 (*.f64 #s(literal 3 binary64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1/3 binary64)))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64)))
Outputs
(+.f64 #s(literal 0 binary64) (*.f64 #s(literal -2 binary64) (/.f64 n f)))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (*.f64 n (/.f64 #s(literal -2 binary64) f)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (*.f64 n (/.f64 #s(literal -2 binary64) f))))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (/.f64 #s(literal -2 binary64) (/.f64 f n)))) #s(literal 2 binary64))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 #s(literal -2 binary64) (/.f64 f n))))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (*.f64 n (/.f64 #s(literal -2 binary64) f))))))
(*.f64 #s(literal 2 binary64) (log.f64 (sqrt.f64 (exp.f64 (/.f64 #s(literal -2 binary64) (/.f64 f n))))))
(*.f64 #s(literal 2 binary64) (log.f64 (fabs.f64 (exp.f64 (/.f64 n (neg.f64 f))))))
(-.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 1 binary64))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal 1 binary64) (/.f64 f (*.f64 #s(literal -2 binary64) n)))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 (*.f64 #s(literal -2 binary64) n) f)
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 (neg.f64 (*.f64 #s(literal -2 binary64) n)) (neg.f64 f))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 (*.f64 #s(literal -2 binary64) (neg.f64 n)) (neg.f64 f))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 (*.f64 (neg.f64 n) #s(literal -2 binary64)) (neg.f64 f))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) n) #s(literal 1 binary64)) f)
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) n) (pow.f64 (cbrt.f64 f) #s(literal 2 binary64))) (cbrt.f64 f))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(/.f64 (/.f64 (*.f64 #s(literal -2 binary64) n) (sqrt.f64 f)) (sqrt.f64 f))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(pow.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 3 binary64))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(pow.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 2 binary64)) #s(literal 4 binary64)) #s(literal 1/2 binary64))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 2 binary64)) #s(literal 4 binary64)))
(sqrt.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 2 binary64)))
(fabs.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))
(pow.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 3 binary64)) #s(literal -8 binary64)) #s(literal 1/3 binary64))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(pow.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 2 binary64))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(pow.f64 (E.f64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(pow.f64 (/.f64 f (*.f64 #s(literal -2 binary64) n)) #s(literal -1 binary64))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (*.f64 n (/.f64 #s(literal -2 binary64) f)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (*.f64 n (/.f64 #s(literal -2 binary64) f)))))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (/.f64 #s(literal -2 binary64) (/.f64 f n)))) #s(literal 2 binary64))) (cbrt.f64 (log.f64 (/.f64 #s(literal -2 binary64) (/.f64 f n)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))) (sqrt.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (*.f64 n (/.f64 #s(literal -2 binary64) f))))) (sqrt.f64 (log.f64 (*.f64 n (/.f64 #s(literal -2 binary64) f)))))
(pow.f64 (exp.f64 (sqrt.f64 (log.f64 (/.f64 #s(literal -2 binary64) (/.f64 f n))))) (sqrt.f64 (log.f64 (/.f64 #s(literal -2 binary64) (/.f64 f n)))))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 2 binary64)) #s(literal 4 binary64)))
(sqrt.f64 (pow.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 2 binary64)))
(fabs.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))
(log.f64 (pow.f64 (exp.f64 (/.f64 n f)) #s(literal -2 binary64)))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(cbrt.f64 (*.f64 (pow.f64 (/.f64 n f) #s(literal 3 binary64)) #s(literal -8 binary64)))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(expm1.f64 (log1p.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(log1p.f64 (expm1.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(exp.f64 (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f))))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 3 binary64)))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(exp.f64 (*.f64 (*.f64 #s(literal 3 binary64) (log.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 1/3 binary64)))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)))) #s(literal 2 binary64)))
(*.f64 #s(literal -2 binary64) (/.f64 n f))
(*.f64 n (/.f64 #s(literal -2 binary64) f))
(/.f64 #s(literal -2 binary64) (/.f64 f n))

eval9.0ms (0.4%)

Compiler

Compiled 543 to 385 computations (29.1% saved)

prune111.0ms (5.6%)

Pruning

4 alts after pruning (0 fresh and 4 done)

PrunedKeptTotal
New45045
Fresh000
Picked033
Done011
Total45449
Accuracy
100.0%
Counts
49 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
✓54.8%
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
✓46.5%
#s(literal 1 binary64)
✓53.5%
#s(literal -1 binary64)
Compiler

Compiled 50 to 33 computations (34% saved)

regimes8.0ms (0.4%)

Counts
5 → 1
Calls
Call 1
Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(-.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:

3.0ms
f
3.0ms
n
2.0ms
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
Results
AccuracySegmentsBranch
100.0%1f
100.0%1n
100.0%1(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
Compiler

Compiled 16 to 10 computations (37.5% saved)

regimes7.0ms (0.4%)

Counts
3 → 5
Calls
Call 1
Inputs
#s(literal -1 binary64)
#s(literal 1 binary64)
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
Outputs
#s(literal 1 binary64)
#s(literal -1 binary64)
#s(literal 1 binary64)
(-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64))
#s(literal 1 binary64)
Calls

2 calls:

5.0ms
f
2.0ms
n
Results
AccuracySegmentsBranch
82.6%15f
78.2%5n
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes2.0ms (0.1%)

Counts
2 → 7
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)
#s(literal -1 binary64)
#s(literal 1 binary64)
#s(literal -1 binary64)
#s(literal 1 binary64)
Calls

1 calls:

2.0ms
n
Results
AccuracySegmentsBranch
78.0%7n
Compiler

Compiled 3 to 2 computations (33.3% saved)

regimes3.0ms (0.2%)

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:

1.0ms
n
1.0ms
f
Results
AccuracySegmentsBranch
53.5%1f
53.5%1n
Compiler

Compiled 6 to 4 computations (33.3% saved)

bsearch63.0ms (3.2%)

Algorithm
4×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×predicate-same
1×narrow-enough
Steps
TimeLeftRight
4.0ms
4.2664444267176815e+45
5.0890207171752907e+45
45.0ms
-4.5444137039790475e-13
-4.8287875434462385e-14
8.0ms
-6.426188846849934e-12
-4.5444137039790475e-13
4.0ms
-373234855266082.7
-283656967821056.9
Results
44.0ms288×0valid
Compiler

Compiled 213 to 190 computations (10.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-sub: 2.0ms (27.4% of total)
ival-div: 2.0ms (27.4% of total)
ival-add: 2.0ms (27.4% of total)
ival-neg: 1.0ms (13.7% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

bsearch51.0ms (2.6%)

Algorithm
6×binary-search
Stop Event
1×narrow-enough
1×predicate-same
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
9.0ms
2.86539533637561e+65
8.998133329840882e+66
12.0ms
3.9116027840940254e+57
2.86539533637561e+65
4.0ms
4.2664444267176815e+45
5.0890207171752907e+45
8.0ms
-4.5444137039790475e-13
-4.8287875434462385e-14
9.0ms
-6.426188846849934e-12
-4.5444137039790475e-13
4.0ms
-373234855266082.7
-283656967821056.9
Results
29.0ms528×0valid
Compiler

Compiled 279 to 274 computations (1.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.0ms
ival-div: 5.0ms (33.8% of total)
ival-sub: 3.0ms (20.3% of total)
ival-add: 3.0ms (20.3% of total)
ival-neg: 3.0ms (20.3% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)

simplify10.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
16×if-not
16×not-or
14×not-not
12×if-if-or-not
6×not-and
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
047188
167188
276188
389188
496188
5106188
6113188
7118188
8121188
9122188
Stop Event
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 f n) (-.f64 n f))
(if (<=.f64 n #s(literal -330000000000000 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal -4951760157141521/9903520314283042199192993792 binary64)) #s(literal -1 binary64) (if (<=.f64 n #s(literal -3466232109999065/9903520314283042199192993792 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 4300000000000000300090377913911835956636286976 binary64)) (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) #s(literal 1 binary64)))))
(if (<=.f64 n #s(literal -300000000000000 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal -6189700196426901/2475880078570760549798248448 binary64)) #s(literal -1 binary64) (if (<=.f64 n #s(literal -7328605032569451/39614081257132168796771975168 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 4300000000000000300090377913911835956636286976 binary64)) #s(literal -1 binary64) (if (<=.f64 n #s(literal 2999999999999999990886175161818044706719531977989743857526374400 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 419999999999999982647546512014594158700201317039450923838434443264 binary64)) #s(literal -1 binary64) #s(literal 1 binary64)))))))
#s(literal -1 binary64)
Outputs
(/.f64 (+.f64 f n) (-.f64 n f))
(if (<=.f64 n #s(literal -330000000000000 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal -4951760157141521/9903520314283042199192993792 binary64)) #s(literal -1 binary64) (if (<=.f64 n #s(literal -3466232109999065/9903520314283042199192993792 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 4300000000000000300090377913911835956636286976 binary64)) (-.f64 (*.f64 #s(literal -2 binary64) (/.f64 n f)) #s(literal 1 binary64)) #s(literal 1 binary64)))))
(if (<=.f64 n #s(literal -330000000000000 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal -4951760157141521/9903520314283042199192993792 binary64)) #s(literal -1 binary64) (if (<=.f64 n #s(literal -3466232109999065/9903520314283042199192993792 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 4300000000000000300090377913911835956636286976 binary64)) (+.f64 #s(literal -1 binary64) (*.f64 #s(literal -2 binary64) (/.f64 n f))) #s(literal 1 binary64)))))
(if (<=.f64 n #s(literal -300000000000000 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal -6189700196426901/2475880078570760549798248448 binary64)) #s(literal -1 binary64) (if (<=.f64 n #s(literal -7328605032569451/39614081257132168796771975168 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 4300000000000000300090377913911835956636286976 binary64)) #s(literal -1 binary64) (if (<=.f64 n #s(literal 2999999999999999990886175161818044706719531977989743857526374400 binary64)) #s(literal 1 binary64) (if (<=.f64 n #s(literal 419999999999999982647546512014594158700201317039450923838434443264 binary64)) #s(literal -1 binary64) #s(literal 1 binary64)))))))
#s(literal -1 binary64)

soundness122.0ms (6.2%)

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

Useful iterations: 1 (0.0ms)

IterNodesCost
028269
178217
2208217
3582217
41490217
52115217
62375217
72443217
82564217
Stop Event
1×done
1×saturated
Compiler

Compiled 137 to 77 computations (43.8% saved)

preprocess34.0ms (1.7%)

Compiler

Compiled 156 to 116 computations (25.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...