subtraction fraction

Details

Time bar (total: 2.2s)

analyze11.0ms (0.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)

sample721.0ms (32.8%)

Results
710.0ms8256×body256valid
Bogosity

preprocess149.0ms (6.8%)

Algorithm
2×egg-herbie
Rules
1940×fma-def
814×div-sub
784×times-frac
592×fma-neg
452×associate-*r/
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01346
13146
25746
311946
427446
560638
6149638
7375938
8503738
9534438
10548738
11552938
12554138
13554138
022
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
1
Outputs
0
1
Call 2
Inputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f 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 (neg.f64 n) f) (-.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(/.f64 (neg.f64 (+.f64 n f)) (-.f64 n f))
(neg.f64 (/.f64 (+.f64 f n) (-.f64 n f)))
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 n f))
(/.f64 (-.f64 (neg.f64 n) f) (-.f64 n f))
(/.f64 (+.f64 f n) (-.f64 f n))
Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify138.0ms (6.3%)

Algorithm
1×egg-herbie
Rules
2246×fma-def
798×times-frac
692×div-sub
384×fma-neg
318×associate-/r*
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0923
12023
24023
38523
418523
535023
683719
7256619
8363719
9434319
10446519
11451219
12452419
13452419
Stop Event
1×saturated
Counts
1 → 3
Calls
Call 1
Inputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
Outputs
(/.f64 (neg.f64 (+.f64 f n)) (-.f64 f n))
(/.f64 (-.f64 (neg.f64 n) f) (-.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))

eval1.0ms (0%)

Compiler

Compiled 25 to 11 computations (56% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New213
Fresh101
Picked000
Done000
Total314
Accurracy
100.0%
Counts
4 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
▶100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 18 to 10 computations (44.4% saved)

localize28.0ms (1.3%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
Compiler

Compiled 18 to 6 computations (66.7% saved)

series2.0ms (0.1%)

Counts
1 → 24
Calls

6 calls:

TimeVariablePointExpression
0.0ms
f
@inf
(/.f64 (+.f64 f n) (-.f64 n f))
0.0ms
n
@0
(/.f64 (+.f64 f n) (-.f64 n f))
0.0ms
f
@0
(/.f64 (+.f64 f n) (-.f64 n f))
0.0ms
n
@-inf
(/.f64 (+.f64 f n) (-.f64 n f))
0.0ms
n
@inf
(/.f64 (+.f64 f n) (-.f64 n f))

rewrite68.0ms (3.1%)

Algorithm
1×batch-egg-rewrite
Rules
1516×prod-diff
1222×unpow-prod-down
870×log-prod
688×fma-def
614×pow-prod-down
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0719
116419
2256119
Stop Event
1×node limit
Counts
1 → 82
Calls
Call 1
Inputs
(/.f64 (+.f64 f n) (-.f64 n f))
Outputs
(+.f64 0 (/.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)))) 1)
(*.f64 (+.f64 f n) (/.f64 1 (-.f64 n f)))
(*.f64 (+.f64 f n) (pow.f64 (cbrt.f64 (/.f64 1 (-.f64 n f))) 3))
(*.f64 (+.f64 f n) (pow.f64 (sqrt.f64 (/.f64 1 (-.f64 n f))) 2))
(*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)
(*.f64 1 (/.f64 (+.f64 f n) (-.f64 n f)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (*.f64 (cbrt.f64 (+.f64 f n)) (/.f64 1 (-.f64 n f))))
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(*.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 1 (-.f64 n f))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (neg.f64 (+.f64 f n)) (/.f64 1 (neg.f64 (-.f64 n f))))
(*.f64 (neg.f64 (+.f64 f n)) (pow.f64 (/.f64 1 (neg.f64 (-.f64 n f))) 1))
(*.f64 (/.f64 1 (-.f64 n f)) (+.f64 f n))
(*.f64 (/.f64 1 (-.f64 n f)) (pow.f64 (/.f64 1 (+.f64 f n)) -1))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) -2) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))
(*.f64 (pow.f64 (-.f64 n f) -1/2) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) 1) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f))) (+.f64 f n))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) (fma.f64 f (+.f64 f n) (*.f64 n n)))
(*.f64 (pow.f64 1 1/3) (/.f64 (+.f64 f n) (-.f64 n f)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) -2) 1) (pow.f64 (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (pow.f64 (-.f64 n f) -1/2) 1) (pow.f64 (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)) 1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) 1) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) 1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) 1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f))) 1) (+.f64 f n))
(*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) 1) (fma.f64 f (+.f64 f n) (*.f64 n n)))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2) 1/3) (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2) (+.f64 f n)) 1/3) (pow.f64 (/.f64 1 (-.f64 n f)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) 1/3) (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1/3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 5/2) 1/3) (pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n))) (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n)))) -1) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) -2) -1) (pow.f64 (/.f64 (-.f64 n f) (cbrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (pow.f64 (+.f64 f n) -1/2) -1) (pow.f64 (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (+.f64 f n)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (sqrt.f64 (+.f64 f n))) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (+.f64 f n)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (-.f64 n f) (+.f64 (pow.f64 f 3) (pow.f64 n 3))) -1) (/.f64 1 (fma.f64 f f (*.f64 n (-.f64 n f)))))
(*.f64 (pow.f64 (/.f64 (-.f64 n f) (-.f64 (*.f64 f f) (*.f64 n n))) -1) (/.f64 1 (-.f64 f n)))
(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -1)
(pow.f64 (/.f64 (/.f64 (-.f64 n f) (+.f64 f n)) 1) -1)
(neg.f64 (/.f64 (+.f64 f n) (neg.f64 (-.f64 n f))))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2))
(log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
(cbrt.f64 (/.f64 (pow.f64 (+.f64 f n) 3) (pow.f64 (-.f64 n f) 3)))
(expm1.f64 (log1p.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))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 n f) (+.f64 f n))) -1))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f))))

simplify74.0ms (3.3%)

Algorithm
1×egg-herbie
Rules
972×distribute-lft-in
940×distribute-rgt-in
516×sqr-pow
502×log-prod
370×exp-prod
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03353898
19433570
234103362
Stop Event
1×node limit
Counts
106 → 158
Calls
Call 1
Inputs
1
(+.f64 (*.f64 2 (/.f64 f n)) 1)
(+.f64 (*.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (*.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))))
-1
(-.f64 (*.f64 -1 (/.f64 n f)) (+.f64 1 (/.f64 n f)))
(-.f64 (+.f64 (/.f64 (*.f64 n (-.f64 (*.f64 -1 n) n)) (pow.f64 f 2)) (*.f64 -1 (/.f64 n f))) (+.f64 1 (/.f64 n f)))
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (*.f64 -1 n) n)) (pow.f64 f 3)) (+.f64 (/.f64 (*.f64 n (-.f64 (*.f64 -1 n) n)) (pow.f64 f 2)) (*.f64 -1 (/.f64 n f)))) (+.f64 1 (/.f64 n f)))
-1
(-.f64 (*.f64 -1 (/.f64 (-.f64 n (*.f64 -1 n)) f)) 1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (*.f64 n (-.f64 n (*.f64 -1 n))) (pow.f64 f 2))) (*.f64 -1 (/.f64 (-.f64 n (*.f64 -1 n)) f))) 1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (*.f64 n (-.f64 n (*.f64 -1 n))) (pow.f64 f 2))) (+.f64 (*.f64 -1 (/.f64 (*.f64 (pow.f64 n 2) (-.f64 n (*.f64 -1 n))) (pow.f64 f 3))) (*.f64 -1 (/.f64 (-.f64 n (*.f64 -1 n)) f)))) 1)
-1
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
(-.f64 (+.f64 (*.f64 -2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 -2 (/.f64 n f))) 1)
(-.f64 (+.f64 (*.f64 -2 (/.f64 (pow.f64 n 3) (pow.f64 f 3))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 -2 (/.f64 n f)))) 1)
1
(-.f64 (+.f64 1 (/.f64 f n)) (*.f64 -1 (/.f64 f n)))
(-.f64 (+.f64 1 (+.f64 (/.f64 f n) (/.f64 (*.f64 (-.f64 f (*.f64 -1 f)) f) (pow.f64 n 2)))) (*.f64 -1 (/.f64 f n)))
(-.f64 (+.f64 (/.f64 (*.f64 f (-.f64 f (*.f64 -1 f))) (pow.f64 n 2)) (+.f64 1 (+.f64 (/.f64 (*.f64 (-.f64 f (*.f64 -1 f)) (pow.f64 f 2)) (pow.f64 n 3)) (/.f64 f n)))) (*.f64 -1 (/.f64 f n)))
1
(-.f64 (+.f64 1 (/.f64 f n)) (*.f64 -1 (/.f64 f n)))
(-.f64 (+.f64 1 (+.f64 (/.f64 f n) (/.f64 (*.f64 (-.f64 f (*.f64 -1 f)) f) (pow.f64 n 2)))) (*.f64 -1 (/.f64 f n)))
(-.f64 (+.f64 (/.f64 (*.f64 f (-.f64 f (*.f64 -1 f))) (pow.f64 n 2)) (+.f64 1 (+.f64 (/.f64 (*.f64 (-.f64 f (*.f64 -1 f)) (pow.f64 f 2)) (pow.f64 n 3)) (/.f64 f n)))) (*.f64 -1 (/.f64 f n)))
(+.f64 0 (/.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)))) 1)
(*.f64 (+.f64 f n) (/.f64 1 (-.f64 n f)))
(*.f64 (+.f64 f n) (pow.f64 (cbrt.f64 (/.f64 1 (-.f64 n f))) 3))
(*.f64 (+.f64 f n) (pow.f64 (sqrt.f64 (/.f64 1 (-.f64 n f))) 2))
(*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)
(*.f64 1 (/.f64 (+.f64 f n) (-.f64 n f)))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (*.f64 (cbrt.f64 (+.f64 f n)) (/.f64 1 (-.f64 n f))))
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(*.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 1 (-.f64 n f))))
(*.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (neg.f64 (+.f64 f n)) (/.f64 1 (neg.f64 (-.f64 n f))))
(*.f64 (neg.f64 (+.f64 f n)) (pow.f64 (/.f64 1 (neg.f64 (-.f64 n f))) 1))
(*.f64 (/.f64 1 (-.f64 n f)) (+.f64 f n))
(*.f64 (/.f64 1 (-.f64 n f)) (pow.f64 (/.f64 1 (+.f64 f n)) -1))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) -2) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))
(*.f64 (pow.f64 (-.f64 n f) -1/2) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) 1) (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f))) (+.f64 f n))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) (fma.f64 f (+.f64 f n) (*.f64 n n)))
(*.f64 (pow.f64 1 1/3) (/.f64 (+.f64 f n) (-.f64 n f)))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) -2) 1) (pow.f64 (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (pow.f64 (-.f64 n f) -1/2) 1) (pow.f64 (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)) 1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) 1) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) 1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)) 1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) 1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f))) 1) (+.f64 f n))
(*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) 1) (fma.f64 f (+.f64 f n) (*.f64 n n)))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2) 1/3) (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2) (+.f64 f n)) 1/3) (pow.f64 (/.f64 1 (-.f64 n f)) 1/3))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) 1/3) (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1/3))
(*.f64 (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 5/2) 1/3) (pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1/3))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n))) (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n)))) -1) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) -2) -1) (pow.f64 (/.f64 (-.f64 n f) (cbrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (pow.f64 (+.f64 f n) -1/2) -1) (pow.f64 (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (+.f64 f n)) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (sqrt.f64 (+.f64 f n))) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (+.f64 f n)) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1))
(*.f64 (pow.f64 (/.f64 (-.f64 n f) (+.f64 (pow.f64 f 3) (pow.f64 n 3))) -1) (/.f64 1 (fma.f64 f f (*.f64 n (-.f64 n f)))))
(*.f64 (pow.f64 (/.f64 (-.f64 n f) (-.f64 (*.f64 f f) (*.f64 n n))) -1) (/.f64 1 (-.f64 f n)))
(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2) 1/2)
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3) 1/3)
(pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -1)
(pow.f64 (/.f64 (/.f64 (-.f64 n f) (+.f64 f n)) 1) -1)
(neg.f64 (/.f64 (+.f64 f n) (neg.f64 (-.f64 n f))))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2))
(log.f64 (exp.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f)))))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3))
(cbrt.f64 (/.f64 (pow.f64 (+.f64 f n) 3) (pow.f64 (-.f64 n f) 3)))
(expm1.f64 (log1p.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))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 n f) (+.f64 f n))) -1))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
Outputs
1
(+.f64 (*.f64 2 (/.f64 f n)) 1)
(fma.f64 2 (/.f64 f n) 1)
(+.f64 (*.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2)))))
(+.f64 (fma.f64 2 (/.f64 f n) 1) (*.f64 2 (/.f64 (*.f64 f f) (*.f64 n n))))
(fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(+.f64 (*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3))) (+.f64 (*.f64 2 (/.f64 f n)) (+.f64 1 (*.f64 2 (/.f64 (pow.f64 f 2) (pow.f64 n 2))))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (+.f64 (fma.f64 2 (/.f64 f n) 1) (*.f64 2 (/.f64 (*.f64 f f) (*.f64 n n)))))
(fma.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)) (fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1)))
(fma.f64 2 (pow.f64 (/.f64 f n) 3) (fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1)))
-1
(-.f64 (*.f64 -1 (/.f64 n f)) (+.f64 1 (/.f64 n f)))
(-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f)))
(-.f64 (fma.f64 -1 (/.f64 n f) -1) (/.f64 n f))
(fma.f64 (/.f64 n f) -2 -1)
(-.f64 (+.f64 (/.f64 (*.f64 n (-.f64 (*.f64 -1 n) n)) (pow.f64 f 2)) (*.f64 -1 (/.f64 n f))) (+.f64 1 (/.f64 n f)))
(+.f64 (/.f64 n (/.f64 (*.f64 f f) (-.f64 (neg.f64 n) n))) (-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f))))
(-.f64 (-.f64 (*.f64 (/.f64 n f) (*.f64 (/.f64 n f) -2)) (/.f64 n f)) (+.f64 1 (/.f64 n f)))
(fma.f64 -2 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) -1)
(-.f64 (+.f64 (/.f64 (*.f64 (pow.f64 n 2) (-.f64 (*.f64 -1 n) n)) (pow.f64 f 3)) (+.f64 (/.f64 (*.f64 n (-.f64 (*.f64 -1 n) n)) (pow.f64 f 2)) (*.f64 -1 (/.f64 n f)))) (+.f64 1 (/.f64 n f)))
(+.f64 (/.f64 (*.f64 (*.f64 n n) (-.f64 (neg.f64 n) n)) (pow.f64 f 3)) (+.f64 (/.f64 n (/.f64 (*.f64 f f) (-.f64 (neg.f64 n) n))) (-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f)))))
(-.f64 (-.f64 (*.f64 -2 (+.f64 (/.f64 (pow.f64 n 3) (pow.f64 f 3)) (*.f64 (/.f64 n f) (/.f64 n f)))) (/.f64 n f)) (+.f64 1 (/.f64 n f)))
(fma.f64 -2 (+.f64 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) (pow.f64 (/.f64 n f) 3)) -1)
-1
(-.f64 (*.f64 -1 (/.f64 (-.f64 n (*.f64 -1 n)) f)) 1)
(-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f)))
(-.f64 (fma.f64 -1 (/.f64 n f) -1) (/.f64 n f))
(fma.f64 (/.f64 n f) -2 -1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (*.f64 n (-.f64 n (*.f64 -1 n))) (pow.f64 f 2))) (*.f64 -1 (/.f64 (-.f64 n (*.f64 -1 n)) f))) 1)
(+.f64 (/.f64 n (/.f64 (*.f64 f f) (-.f64 (neg.f64 n) n))) (-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f))))
(-.f64 (-.f64 (*.f64 (/.f64 n f) (*.f64 (/.f64 n f) -2)) (/.f64 n f)) (+.f64 1 (/.f64 n f)))
(fma.f64 -2 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) -1)
(-.f64 (+.f64 (*.f64 -1 (/.f64 (*.f64 n (-.f64 n (*.f64 -1 n))) (pow.f64 f 2))) (+.f64 (*.f64 -1 (/.f64 (*.f64 (pow.f64 n 2) (-.f64 n (*.f64 -1 n))) (pow.f64 f 3))) (*.f64 -1 (/.f64 (-.f64 n (*.f64 -1 n)) f)))) 1)
(+.f64 (/.f64 (*.f64 (*.f64 n n) (-.f64 (neg.f64 n) n)) (pow.f64 f 3)) (+.f64 (/.f64 n (/.f64 (*.f64 f f) (-.f64 (neg.f64 n) n))) (-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f)))))
(-.f64 (-.f64 (*.f64 -2 (+.f64 (/.f64 (pow.f64 n 3) (pow.f64 f 3)) (*.f64 (/.f64 n f) (/.f64 n f)))) (/.f64 n f)) (+.f64 1 (/.f64 n f)))
(fma.f64 -2 (+.f64 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) (pow.f64 (/.f64 n f) 3)) -1)
-1
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
(-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f)))
(-.f64 (fma.f64 -1 (/.f64 n f) -1) (/.f64 n f))
(fma.f64 (/.f64 n f) -2 -1)
(-.f64 (+.f64 (*.f64 -2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 -2 (/.f64 n f))) 1)
(+.f64 (/.f64 n (/.f64 (*.f64 f f) (-.f64 (neg.f64 n) n))) (-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f))))
(-.f64 (-.f64 (*.f64 (/.f64 n f) (*.f64 (/.f64 n f) -2)) (/.f64 n f)) (+.f64 1 (/.f64 n f)))
(fma.f64 -2 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) -1)
(-.f64 (+.f64 (*.f64 -2 (/.f64 (pow.f64 n 3) (pow.f64 f 3))) (+.f64 (*.f64 -2 (/.f64 (pow.f64 n 2) (pow.f64 f 2))) (*.f64 -2 (/.f64 n f)))) 1)
(+.f64 (/.f64 (*.f64 (*.f64 n n) (-.f64 (neg.f64 n) n)) (pow.f64 f 3)) (+.f64 (/.f64 n (/.f64 (*.f64 f f) (-.f64 (neg.f64 n) n))) (-.f64 (/.f64 (neg.f64 n) f) (+.f64 1 (/.f64 n f)))))
(-.f64 (-.f64 (*.f64 -2 (+.f64 (/.f64 (pow.f64 n 3) (pow.f64 f 3)) (*.f64 (/.f64 n f) (/.f64 n f)))) (/.f64 n f)) (+.f64 1 (/.f64 n f)))
(fma.f64 -2 (+.f64 (+.f64 (/.f64 n f) (*.f64 (/.f64 n f) (/.f64 n f))) (pow.f64 (/.f64 n f) 3)) -1)
1
(-.f64 (+.f64 1 (/.f64 f n)) (*.f64 -1 (/.f64 f n)))
(fma.f64 2 (/.f64 f n) 1)
(-.f64 (+.f64 1 (+.f64 (/.f64 f n) (/.f64 (*.f64 (-.f64 f (*.f64 -1 f)) f) (pow.f64 n 2)))) (*.f64 -1 (/.f64 f n)))
(+.f64 (fma.f64 2 (/.f64 f n) 1) (*.f64 2 (/.f64 (*.f64 f f) (*.f64 n n))))
(fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(-.f64 (+.f64 (/.f64 (*.f64 f (-.f64 f (*.f64 -1 f))) (pow.f64 n 2)) (+.f64 1 (+.f64 (/.f64 (*.f64 (-.f64 f (*.f64 -1 f)) (pow.f64 f 2)) (pow.f64 n 3)) (/.f64 f n)))) (*.f64 -1 (/.f64 f n)))
(-.f64 (+.f64 (+.f64 (/.f64 f (/.f64 (*.f64 n n) (-.f64 f (neg.f64 f)))) 1) (+.f64 (/.f64 f n) (/.f64 (-.f64 f (neg.f64 f)) (/.f64 (pow.f64 n 3) (*.f64 f f))))) (/.f64 (neg.f64 f) n))
(+.f64 (/.f64 f n) (+.f64 (+.f64 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1)) (*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(+.f64 (*.f64 2 (*.f64 (/.f64 f n) (/.f64 f n))) (+.f64 (+.f64 1 (/.f64 2 (pow.f64 (/.f64 n f) 3))) (/.f64 2 (/.f64 n f))))
1
(-.f64 (+.f64 1 (/.f64 f n)) (*.f64 -1 (/.f64 f n)))
(fma.f64 2 (/.f64 f n) 1)
(-.f64 (+.f64 1 (+.f64 (/.f64 f n) (/.f64 (*.f64 (-.f64 f (*.f64 -1 f)) f) (pow.f64 n 2)))) (*.f64 -1 (/.f64 f n)))
(+.f64 (fma.f64 2 (/.f64 f n) 1) (*.f64 2 (/.f64 (*.f64 f f) (*.f64 n n))))
(fma.f64 2 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1))
(-.f64 (+.f64 (/.f64 (*.f64 f (-.f64 f (*.f64 -1 f))) (pow.f64 n 2)) (+.f64 1 (+.f64 (/.f64 (*.f64 (-.f64 f (*.f64 -1 f)) (pow.f64 f 2)) (pow.f64 n 3)) (/.f64 f n)))) (*.f64 -1 (/.f64 f n)))
(-.f64 (+.f64 (+.f64 (/.f64 f (/.f64 (*.f64 n n) (-.f64 f (neg.f64 f)))) 1) (+.f64 (/.f64 f n) (/.f64 (-.f64 f (neg.f64 f)) (/.f64 (pow.f64 n 3) (*.f64 f f))))) (/.f64 (neg.f64 f) n))
(+.f64 (/.f64 f n) (+.f64 (+.f64 (/.f64 f n) (fma.f64 2 (*.f64 (/.f64 f n) (/.f64 f n)) 1)) (*.f64 2 (/.f64 (pow.f64 f 3) (pow.f64 n 3)))))
(+.f64 (*.f64 2 (*.f64 (/.f64 f n) (/.f64 f n))) (+.f64 (+.f64 1 (/.f64 2 (pow.f64 (/.f64 n f) 3))) (/.f64 2 (/.f64 n f))))
(+.f64 0 (/.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 (*.f64 2 (log.f64 (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 2 (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)))) 1)
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (+.f64 f n) (/.f64 1 (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (+.f64 f n) (pow.f64 (cbrt.f64 (/.f64 1 (-.f64 n f))) 3))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (+.f64 f n) (pow.f64 (sqrt.f64 (/.f64 1 (-.f64 n f))) 2))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 1 (/.f64 (+.f64 f n) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (*.f64 (cbrt.f64 (+.f64 f n)) (/.f64 1 (-.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))) 2))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(*.f64 (sqrt.f64 (+.f64 f n)) (*.f64 (sqrt.f64 (+.f64 f n)) (/.f64 1 (-.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 (neg.f64 (+.f64 f n)) (/.f64 1 (neg.f64 (-.f64 n f))))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (neg.f64 (+.f64 f n)) (pow.f64 (/.f64 1 (neg.f64 (-.f64 n f))) 1))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 1 (-.f64 n f)) (+.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 1 (-.f64 n f)) (pow.f64 (/.f64 1 (+.f64 f n)) -1))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) -2) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))
(*.f64 (pow.f64 (-.f64 n f) -1/2) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) 1) (/.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)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (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)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (pow.f64 (cbrt.f64 (-.f64 n f)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.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 (sqrt.f64 (+.f64 f n)) 1) (/.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)) 2)) (/.f64 (sqrt.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)) 2))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f))) (+.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) (fma.f64 f (+.f64 f n) (*.f64 n n)))
(/.f64 (+.f64 f n) (/.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (fma.f64 f (+.f64 f n) (*.f64 n n))))
(*.f64 (pow.f64 1 1/3) (/.f64 (+.f64 f n) (-.f64 n f)))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) -2) 1) (pow.f64 (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) -2) (/.f64 (+.f64 f n) (cbrt.f64 (-.f64 n f))))
(*.f64 (pow.f64 (pow.f64 (-.f64 n f) -1/2) 1) (pow.f64 (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))) 1))
(*.f64 (pow.f64 (-.f64 n f) -1/2) (/.f64 (+.f64 f n) (sqrt.f64 (-.f64 n f))))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) 1) 1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 f n)) (-.f64 n f)) 1))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) 1) (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)) 2) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)))
(/.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (pow.f64 (cbrt.f64 (-.f64 n f)) 2))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) 1) (pow.f64 (/.f64 (cbrt.f64 (+.f64 f n)) (sqrt.f64 (-.f64 n f))) 1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) 2) (sqrt.f64 (-.f64 n f))) (/.f64 (cbrt.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 (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) 1) 1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)) 1))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) 1) (pow.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (cbrt.f64 (-.f64 n f))) 1))
(*.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 (sqrt.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)) 2))
(*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 (*.f64 n n) (*.f64 f f))) 1) (+.f64 f n))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) 1) (fma.f64 f (+.f64 f n) (*.f64 n n)))
(*.f64 (/.f64 (+.f64 f n) (-.f64 (pow.f64 n 3) (pow.f64 f 3))) (fma.f64 f (+.f64 f n) (*.f64 n n)))
(/.f64 (+.f64 f n) (/.f64 (-.f64 (pow.f64 n 3) (pow.f64 f 3)) (fma.f64 f (+.f64 f n) (*.f64 n n))))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3) (pow.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)) 3) (pow.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2) 1/3) (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2)))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3) (pow.f64 (sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3))
(*.f64 (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2)) (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3/2)))
(*.f64 (pow.f64 (*.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2) (+.f64 f n)) 1/3) (pow.f64 (/.f64 1 (-.f64 n f)) 1/3))
(*.f64 (cbrt.f64 (/.f64 1 (-.f64 n f))) (cbrt.f64 (*.f64 (+.f64 f n) (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2))))
(*.f64 (cbrt.f64 (/.f64 -1 (-.f64 f n))) (cbrt.f64 (*.f64 (+.f64 f n) (pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -2))))
(*.f64 (pow.f64 (pow.f64 (*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) 1/3) (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1/3))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (pow.f64 (*.f64 (/.f64 (+.f64 f n) (-.f64 n f)) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 4) 2)))
(*.f64 (cbrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 8)))
(*.f64 (pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 5/2) 1/3) (pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1/3))
(*.f64 (cbrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) (cbrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 5/2)))
(*.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2) (pow.f64 (sqrt.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)) 2) (pow.f64 (sqrt.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (*.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n))) (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n)))) -1) (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))))
(*.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (/.f64 1 (*.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n))) (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n))))))
(/.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) (*.f64 (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n))) (cbrt.f64 (/.f64 (-.f64 n f) (+.f64 f n)))))
(*.f64 (pow.f64 (pow.f64 (cbrt.f64 (+.f64 f n)) -2) -1) (pow.f64 (/.f64 (-.f64 n f) (cbrt.f64 (+.f64 f n))) -1))
(/.f64 (+.f64 f n) (-.f64 n f))
(*.f64 (pow.f64 (pow.f64 (+.f64 f n) -1/2) -1) (pow.f64 (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 f n))) -1))
(*.f64 (/.f64 1 (pow.f64 (+.f64 f n) -1/2)) (/.f64 1 (/.f64 (-.f64 n f) (sqrt.f64 (+.f64 f n)))))
(*.f64 (/.f64 1 (pow.f64 (+.f64 f n) -1/2)) (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)))
(/.f64 (/.f64 (sqrt.f64 (+.f64 f n)) (-.f64 n f)) (pow.f64 (+.f64 f n) -1/2))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) 1) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (+.f64 f n)) -1))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 1 (/.f64 (cbrt.f64 (-.f64 n f)) (+.f64 f n))))
(/.f64 (/.f64 1 (pow.f64 (cbrt.f64 (-.f64 n f)) 2)) (/.f64 (cbrt.f64 (-.f64 n f)) (+.f64 f n)))
(/.f64 (*.f64 (/.f64 1 (cbrt.f64 (-.f64 n f))) (+.f64 f n)) (pow.f64 (cbrt.f64 (-.f64 n f)) 2))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n))) -1))
(*.f64 (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (pow.f64 (cbrt.f64 (+.f64 f n)) 2))) (/.f64 1 (/.f64 (cbrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n)))))
(/.f64 (*.f64 (*.f64 (/.f64 1 (cbrt.f64 (-.f64 n f))) (cbrt.f64 (+.f64 f n))) 1) (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)))
(/.f64 (*.f64 (/.f64 1 (cbrt.f64 (-.f64 n f))) (cbrt.f64 (+.f64 f n))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)))
(*.f64 (pow.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (sqrt.f64 (+.f64 f n))) -1) (pow.f64 (/.f64 (cbrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1))
(*.f64 (/.f64 1 (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (sqrt.f64 (+.f64 f n)))) (/.f64 1 (/.f64 (cbrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n)))))
(/.f64 (*.f64 (*.f64 (/.f64 1 (cbrt.f64 (-.f64 n f))) (sqrt.f64 (+.f64 f n))) 1) (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (sqrt.f64 (+.f64 f n))))
(/.f64 (*.f64 (/.f64 1 (cbrt.f64 (-.f64 n f))) (sqrt.f64 (+.f64 f n))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 n f)) 2) (sqrt.f64 (+.f64 f n))))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) 1) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (+.f64 f n)) -1))
(*.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 n f)) (+.f64 f n))))
(/.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))) (/.f64 (sqrt.f64 (-.f64 n f)) (+.f64 f n)))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n))) -1))
(*.f64 (/.f64 1 (/.f64 (sqrt.f64 (-.f64 n f)) (pow.f64 (cbrt.f64 (+.f64 f n)) 2))) (/.f64 1 (/.f64 (sqrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n)))))
(/.f64 (*.f64 (*.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))) (cbrt.f64 (+.f64 f n))) 1) (/.f64 (sqrt.f64 (-.f64 n f)) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)))
(/.f64 (*.f64 (/.f64 1 (sqrt.f64 (-.f64 n f))) (pow.f64 (cbrt.f64 (+.f64 f n)) 2)) (/.f64 (sqrt.f64 (-.f64 n f)) (cbrt.f64 (+.f64 f n))))
(*.f64 (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1) (pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -1))
(pow.f64 (/.f64 (sqrt.f64 (-.f64 n f)) (sqrt.f64 (+.f64 f n))) -2)
(*.f64 (pow.f64 (/.f64 (-.f64 n f) (+.f64 (pow.f64 f 3) (pow.f64 n 3))) -1) (/.f64 1 (fma.f64 f f (*.f64 n (-.f64 n f)))))
(*.f64 (/.f64 1 (/.f64 (-.f64 n f) (+.f64 (pow.f64 f 3) (pow.f64 n 3)))) (/.f64 1 (fma.f64 f f (*.f64 n (-.f64 n f)))))
(/.f64 (*.f64 (/.f64 1 (-.f64 n f)) (+.f64 (pow.f64 f 3) (pow.f64 n 3))) (fma.f64 f f (*.f64 n (-.f64 n f))))
(/.f64 (*.f64 (/.f64 -1 (-.f64 f n)) (+.f64 (pow.f64 f 3) (pow.f64 n 3))) (fma.f64 f f (*.f64 n (-.f64 n f))))
(*.f64 (pow.f64 (/.f64 (-.f64 n f) (-.f64 (*.f64 f f) (*.f64 n n))) -1) (/.f64 1 (-.f64 f n)))
(*.f64 (/.f64 1 (/.f64 (-.f64 n f) (-.f64 (*.f64 f f) (*.f64 n n)))) (/.f64 1 (-.f64 f n)))
(/.f64 (*.f64 (/.f64 1 (-.f64 n f)) (-.f64 (*.f64 f f) (*.f64 n n))) (-.f64 f n))
(/.f64 (/.f64 1 (-.f64 f n)) (/.f64 (-.f64 n f) (-.f64 (*.f64 f f) (*.f64 n n))))
(pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 1)
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 3)
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2) 1/2)
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3) 1/3)
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 2)
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (/.f64 (-.f64 n f) (+.f64 f n)) -1)
(/.f64 (+.f64 f n) (-.f64 n f))
(pow.f64 (/.f64 (/.f64 (-.f64 n f) (+.f64 f n)) 1) -1)
(/.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))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 2))
(/.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 1 (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)) 3))
(/.f64 (+.f64 f n) (-.f64 n f))
(cbrt.f64 (/.f64 (pow.f64 (+.f64 f n) 3) (pow.f64 (-.f64 n f) 3)))
(/.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))
(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))) 1))
(/.f64 (+.f64 f n) (-.f64 n f))
(exp.f64 (*.f64 (*.f64 (log.f64 (/.f64 (+.f64 f n) (-.f64 n f))) 1) 1))
(/.f64 (+.f64 f n) (-.f64 n f))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 3))
(/.f64 (+.f64 f n) (-.f64 n f))
(exp.f64 (*.f64 (log.f64 (pow.f64 (/.f64 (+.f64 f n) (-.f64 n f)) 3)) 1/3))
(/.f64 (+.f64 f n) (-.f64 n f))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 f n) (-.f64 n f)))) 2))
(/.f64 (+.f64 f n) (-.f64 n f))
(exp.f64 (*.f64 (log.f64 (/.f64 (-.f64 n f) (+.f64 f n))) -1))
(/.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))

eval82.0ms (3.7%)

Compiler

Compiled 2909 to 1050 computations (63.9% saved)

prune22.0ms (1%)

Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New1553158
Fresh000
Picked011
Done000
Total1554159
Accurracy
100.0%
Counts
159 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
▶47.3%
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
54.4%
1
46.3%
-1
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
▶47.3%
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
54.4%
1
46.3%
-1
Compiler

Compiled 48 to 36 computations (25% saved)

localize27.0ms (1.2%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(*.f64 -2 (/.f64 n f))
Compiler

Compiled 22 to 12 computations (45.5% saved)

series3.0ms (0.1%)

Counts
1 → 0
Calls

6 calls:

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

rewrite70.0ms (3.2%)

Algorithm
1×batch-egg-rewrite
Rules
1500×pow1
1386×add-exp-log
1386×log1p-expm1-u
1386×expm1-log1p-u
1356×add-log-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
114713
2184913
Stop Event
1×node limit
Counts
1 → 20
Calls
Call 1
Inputs
(*.f64 -2 (/.f64 n f))
Outputs
(-.f64 (+.f64 1 (*.f64 -2 (/.f64 n f))) 1)
(/.f64 -2 (/.f64 f n))
(/.f64 1 (/.f64 f (*.f64 -2 n)))
(/.f64 (*.f64 -2 n) f)
(/.f64 (neg.f64 (*.f64 -2 n)) (neg.f64 f))
(/.f64 (*.f64 -2 (neg.f64 n)) (neg.f64 f))
(/.f64 (*.f64 (neg.f64 n) -2) (neg.f64 f))
(/.f64 (/.f64 (*.f64 -2 n) 1) f)
(/.f64 (/.f64 (*.f64 -2 n) (pow.f64 (cbrt.f64 f) 2)) (cbrt.f64 f))
(/.f64 (/.f64 (*.f64 -2 n) (sqrt.f64 f)) (sqrt.f64 f))
(pow.f64 (*.f64 -2 (/.f64 n f)) 1)
(pow.f64 (cbrt.f64 (*.f64 -2 (/.f64 n f))) 3)
(pow.f64 (pow.f64 (*.f64 -2 (/.f64 n f)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 -2 (/.f64 n f))) 2)
(sqrt.f64 (*.f64 (pow.f64 (/.f64 n f) 2) 4))
(log.f64 (pow.f64 (exp.f64 (/.f64 n f)) -2))
(cbrt.f64 (pow.f64 (*.f64 -2 (/.f64 n f)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2 (/.f64 n f))))
(exp.f64 (log.f64 (*.f64 -2 (/.f64 n f))))
(log1p.f64 (expm1.f64 (*.f64 -2 (/.f64 n f))))

simplify48.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
1398×log-prod
1020×fma-def
906×distribute-lft-neg-out
904×associate-*r*
820×associate-*l*
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
058500
1144380
2514260
33894260
Stop Event
1×node limit
Counts
20 → 23
Calls
Call 1
Inputs
(-.f64 (+.f64 1 (*.f64 -2 (/.f64 n f))) 1)
(/.f64 -2 (/.f64 f n))
(/.f64 1 (/.f64 f (*.f64 -2 n)))
(/.f64 (*.f64 -2 n) f)
(/.f64 (neg.f64 (*.f64 -2 n)) (neg.f64 f))
(/.f64 (*.f64 -2 (neg.f64 n)) (neg.f64 f))
(/.f64 (*.f64 (neg.f64 n) -2) (neg.f64 f))
(/.f64 (/.f64 (*.f64 -2 n) 1) f)
(/.f64 (/.f64 (*.f64 -2 n) (pow.f64 (cbrt.f64 f) 2)) (cbrt.f64 f))
(/.f64 (/.f64 (*.f64 -2 n) (sqrt.f64 f)) (sqrt.f64 f))
(pow.f64 (*.f64 -2 (/.f64 n f)) 1)
(pow.f64 (cbrt.f64 (*.f64 -2 (/.f64 n f))) 3)
(pow.f64 (pow.f64 (*.f64 -2 (/.f64 n f)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 -2 (/.f64 n f))) 2)
(sqrt.f64 (*.f64 (pow.f64 (/.f64 n f) 2) 4))
(log.f64 (pow.f64 (exp.f64 (/.f64 n f)) -2))
(cbrt.f64 (pow.f64 (*.f64 -2 (/.f64 n f)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2 (/.f64 n f))))
(exp.f64 (log.f64 (*.f64 -2 (/.f64 n f))))
(log1p.f64 (expm1.f64 (*.f64 -2 (/.f64 n f))))
Outputs
(-.f64 (+.f64 1 (*.f64 -2 (/.f64 n f))) 1)
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 -2 (/.f64 f n))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 1 (/.f64 f (*.f64 -2 n)))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 (*.f64 -2 n) f)
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 (neg.f64 (*.f64 -2 n)) (neg.f64 f))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 (*.f64 -2 (neg.f64 n)) (neg.f64 f))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 (*.f64 (neg.f64 n) -2) (neg.f64 f))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 (/.f64 (*.f64 -2 n) 1) f)
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 (/.f64 (*.f64 -2 n) (pow.f64 (cbrt.f64 f) 2)) (cbrt.f64 f))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(/.f64 (/.f64 (*.f64 -2 n) (sqrt.f64 f)) (sqrt.f64 f))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(pow.f64 (*.f64 -2 (/.f64 n f)) 1)
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(pow.f64 (cbrt.f64 (*.f64 -2 (/.f64 n f))) 3)
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(pow.f64 (pow.f64 (*.f64 -2 (/.f64 n f)) 3) 1/3)
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(pow.f64 (sqrt.f64 (*.f64 -2 (/.f64 n f))) 2)
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(sqrt.f64 (*.f64 (pow.f64 (/.f64 n f) 2) 4))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(log.f64 (pow.f64 (exp.f64 (/.f64 n f)) -2))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(cbrt.f64 (pow.f64 (*.f64 -2 (/.f64 n f)) 3))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(expm1.f64 (log1p.f64 (*.f64 -2 (/.f64 n f))))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(exp.f64 (log.f64 (*.f64 -2 (/.f64 n f))))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))
(log1p.f64 (expm1.f64 (*.f64 -2 (/.f64 n f))))
(+.f64 1 (-.f64 (*.f64 -2 (/.f64 n f)) 1))
(+.f64 (/.f64 (*.f64 -2 n) f) 0)
(*.f64 -2 (/.f64 n f))

eval5.0ms (0.2%)

Compiler

Compiled 219 to 154 computations (29.7% saved)

prune5.0ms (0.2%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New23023
Fresh022
Picked011
Done011
Total23427
Accurracy
100.0%
Counts
27 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
✓47.3%
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
54.4%
1
46.3%
-1
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
✓47.3%
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
54.4%
1
46.3%
-1
Compiler

Compiled 48 to 36 computations (25% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune3.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked000
Done022
Total044
Accurracy
100.0%
Counts
4 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
✓47.3%
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
54.4%
1
46.3%
-1
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
✓47.3%
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
54.4%
1
46.3%
-1
Compiler

Compiled 48 to 36 computations (25% saved)

localize0.0ms (0%)

eval0.0ms (0%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune2.0ms (0.1%)

Pruning

4 alts after pruning (2 fresh and 2 done)

PrunedKeptTotal
New000
Fresh022
Picked000
Done022
Total044
Accurracy
100.0%
Counts
4 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(/.f64 (+.f64 f n) (-.f64 n f))
✓47.3%
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
54.4%
1
46.3%
-1
Compiler

Compiled 50 to 33 computations (34% saved)

regimes12.0ms (0.6%)

Counts
5 → 1
Calls
Call 1
Inputs
-1
1
(-.f64 (*.f64 -2 (/.f64 n f)) 1)
(/.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:

4.0ms
n
4.0ms
f
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 42 to 25 computations (40.5% saved)

regimes130.0ms (5.9%)

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

2 calls:

110.0ms
n
19.0ms
f
Results
AccuracySegmentsBranch
78.8%5f
81.2%5n
Compiler

Compiled 17 to 13 computations (23.5% saved)

regimes20.0ms (0.9%)

Counts
2 → 7
Calls
Call 1
Inputs
-1
1
Outputs
1
-1
1
-1
1
-1
1
Calls

1 calls:

19.0ms
n
Results
AccuracySegmentsBranch
82.4%7n
Compiler

Compiled 7 to 6 computations (14.3% saved)

regimes6.0ms (0.3%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
-1
Outputs
-1
Calls

2 calls:

3.0ms
f
3.0ms
n
Results
AccuracySegmentsBranch
46.3%1f
46.3%1n
Compiler

Compiled 9 to 7 computations (22.2% saved)

bsearch83.0ms (3.8%)

Algorithm
4×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
41.0ms
1.721213983580897e+62
4.7808361656065935e+63
16.0ms
1.1420111813683006e-28
1.3172871535910184e-16
13.0ms
9.453389803171664e-61
2.1967945585035298e-59
13.0ms
-34114226461779.047
-15342855706.841194
Results
77.0ms512×body256valid
Compiler

Compiled 463 to 394 computations (14.9% saved)

bsearch132.0ms (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
33.0ms
1.2291927277153766e+41
9.675572995140407e+51
11.0ms
1.1420111813683006e-28
1.3172871535910184e-16
11.0ms
3.2225475935517186e-85
5.359948900846077e-83
36.0ms
-5.1611682152122844e-110
-1.1045006657464389e-114
29.0ms
-6.944933522543344e-76
-1.2230640974571307e-89
12.0ms
-34114226461779.047
-15342855706.841194
Results
124.0ms800×body256valid
Compiler

Compiled 415 to 410 computations (1.2% saved)

simplify11.0ms (0.5%)

Algorithm
1×egg-herbie
Rules
24×not-or
20×not-not
20×if-not
16×if-if-or-not
10×+-commutative
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
046158
163152
275152
394148
4106148
5120148
6128148
7134148
8136148
9137148
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(/.f64 (+.f64 f n) (-.f64 n f))
(if (<=.f64 n -110000000000) 1 (if (<=.f64 n 2431181561135057/113078212145816597093331040047546785012958969400039613319782796882727665664) (-.f64 (*.f64 -2 (/.f64 n f)) 1) (if (<=.f64 n 6805647338418769/21267647932558653966460912964485513216) 1 (if (<=.f64 n 899999999999999997265852548545413412015859593396923157257912320) (-.f64 (*.f64 -2 (/.f64 n f)) 1) 1))))
(if (<=.f64 n -45000000000) 1 (if (<=.f64 n -640796110776273/4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873152) -1 (if (<=.f64 n -8799977056535789/676921312041214565326761275425557544784286395355423968547480366360991530225982818124993751490268451683933401113623918903558144) 1 (if (<=.f64 n 1640438043587259/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) -1 (if (<=.f64 n 7975367974709495/5316911983139663491615228241121378304) 1 (if (<=.f64 n 295000000000000004730447469945406061805568) -1 1))))))
-1
Outputs
(/.f64 (+.f64 f n) (-.f64 n f))
(if (<=.f64 n -110000000000) 1 (if (<=.f64 n 2431181561135057/113078212145816597093331040047546785012958969400039613319782796882727665664) (-.f64 (*.f64 -2 (/.f64 n f)) 1) (if (<=.f64 n 6805647338418769/21267647932558653966460912964485513216) 1 (if (<=.f64 n 899999999999999997265852548545413412015859593396923157257912320) (-.f64 (*.f64 -2 (/.f64 n f)) 1) 1))))
(if (<=.f64 n -110000000000) 1 (if (or (<=.f64 n 2431181561135057/113078212145816597093331040047546785012958969400039613319782796882727665664) (not (or (<=.f64 n 6805647338418769/21267647932558653966460912964485513216) (not (<=.f64 n 899999999999999997265852548545413412015859593396923157257912320))))) (-.f64 (*.f64 -2 (/.f64 n f)) 1) 1))
(if (<=.f64 n -110000000000) 1 (if (or (<=.f64 n 2431181561135057/113078212145816597093331040047546785012958969400039613319782796882727665664) (not (or (<=.f64 n 6805647338418769/21267647932558653966460912964485513216) (not (<=.f64 n 899999999999999997265852548545413412015859593396923157257912320))))) (+.f64 (*.f64 -2 (/.f64 n f)) -1) 1))
(if (<=.f64 n -110000000000) 1 (if (or (<=.f64 n 2431181561135057/113078212145816597093331040047546785012958969400039613319782796882727665664) (and (not (<=.f64 n 6805647338418769/21267647932558653966460912964485513216)) (<=.f64 n 899999999999999997265852548545413412015859593396923157257912320))) (+.f64 (*.f64 -2 (/.f64 n f)) -1) 1))
(if (<=.f64 n -45000000000) 1 (if (<=.f64 n -640796110776273/4271974071841820164790043412339104229205409044713305539894083215644439451561281100045924173873152) -1 (if (<=.f64 n -8799977056535789/676921312041214565326761275425557544784286395355423968547480366360991530225982818124993751490268451683933401113623918903558144) 1 (if (<=.f64 n 1640438043587259/34175792574734561318320347298712833833643272357706444319152665725155515612490248800367393390985216) -1 (if (<=.f64 n 7975367974709495/5316911983139663491615228241121378304) 1 (if (<=.f64 n 295000000000000004730447469945406061805568) -1 1))))))
-1
Compiler

Compiled 73 to 57 computations (21.9% saved)

soundness291.0ms (13.2%)

Rules
2246×fma-def
798×times-frac
692×div-sub
384×fma-neg
318×associate-/r*
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0923
12023
24023
38523
418523
535023
683719
7256619
8363719
9434319
10446519
11451219
12452419
13452419
Stop Event
1×saturated
Compiler

Compiled 267 to 142 computations (46.8% saved)

end53.0ms (2.4%)

Compiler

Compiled 154 to 114 computations (26% saved)

Profiling

Loading profile data...