Jmat.Real.erf

Time bar (total: 5.4s)

analyze1.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 66 to 27 computations (59.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-div: 0.0ms (0% of total)
ival-exp: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
...c/correct-round.rkt:121:19: 0.0ms (0% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)
ival-neg: 0.0ms (0% of total)

sample4.7s (85.9%)

Results
2.2s4042×1valid
1.7s4214×0valid
Precisions
Click to see histograms. Total time spent on operations: 3.4s
...c/correct-round.rkt:121:19: 1.3s (38.5% of total)
ival-mult: 766.0ms (22.7% of total)
ival-add: 684.0ms (20.2% of total)
ival-exp: 155.0ms (4.6% of total)
backward-pass: 117.0ms (3.5% of total)
ival-div: 106.0ms (3.1% of total)
ival-fabs: 100.0ms (3% of total)
ival-neg: 73.0ms (2.2% of total)
ival-sub: 65.0ms (1.9% of total)
const: 14.0ms (0.4% of total)
Bogosity

preprocess122.0ms (2.2%)

Algorithm
1×egg-herbie
Rules
439×fma-define
418×distribute-lft-in
402×distribute-rgt-in
382×fmm-def
368×distribute-lft-neg-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
051828
1210632
2508632
31294632
44776632
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x)))))))
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))))))))
Outputs
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x)))))
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (pow.f64 (exp.f64 x) x) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))
(fma.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x)))))
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (pow.f64 (exp.f64 x) x) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))
(fma.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x)))))))
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x)))))
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
(-.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (pow.f64 (exp.f64 x) x) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))
(fma.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64))
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 (neg.f64 x))))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 (neg.f64 x)) (fabs.f64 (neg.f64 x))))))))
(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x))))))
(+.f64 #s(literal -1 binary64) (/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
(+.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (pow.f64 (exp.f64 x) x) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) #s(literal -1 binary64))
(-.f64 #s(literal -1 binary64) (/.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x))))
(-.f64 #s(literal -1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (pow.f64 (exp.f64 x) x) (fma.f64 (fabs.f64 x) #s(literal -3275911/10000000 binary64) #s(literal -1 binary64)))))
Symmetry

(abs x)

explain538.0ms (9.9%)

FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1350-0-(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
00-0-x
00-0-(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64))))))))
00-0-(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))
00-0-(+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))
00-0-#s(literal 31853699/125000000 binary64)
00-0-#s(literal 3275911/10000000 binary64)
00-0-(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))
00-0-(fabs.f64 x)
00-0-(+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))
00-0-(*.f64 (fabs.f64 x) (fabs.f64 x))
00-0-(exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))
00-0-(+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))
00-0-(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64))
00-0-(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64))))
00-0-(+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))
00-0-#s(literal -8890523/31250000 binary64)
00-0-(*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))
00-0-#s(literal 1 binary64)
00-0-#s(literal -1453152027/1000000000 binary64)
00-0-(neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))
00-0-(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64))))))
00-0-#s(literal 1061405429/1000000000 binary64)
00-0-(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x)))))
00-0-(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) #s(literal 1061405429/1000000000 binary64))))))))))
00-0-#s(literal 1421413741/1000000000 binary64)
Results
253.0ms268×1valid
75.0ms244×0valid
Compiler

Compiled 961 to 80 computations (91.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 169.0ms
...c/correct-round.rkt:121:19: 70.0ms (41.5% of total)
ival-mult: 43.0ms (25.5% of total)
ival-add: 19.0ms (11.3% of total)
backward-pass: 14.0ms (8.3% of total)
ival-div: 6.0ms (3.6% of total)
ival-exp: 5.0ms (3% of total)
ival-fabs: 4.0ms (2.4% of total)
ival-sub: 4.0ms (2.4% of total)
ival-neg: 3.0ms (1.8% of total)
const: 1.0ms (0.6% of total)

eval5.0ms (0.1%)

Compiler

Compiled 199 to 49 computations (75.4% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶77.7%
(fma.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64))
▶77.7%
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
▶77.7%
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x)))))
Compiler

Compiled 155 to 72 computations (53.5% saved)

simplify94.0ms (1.7%)

Algorithm
1×egg-herbie
Localize:

Found 12 expressions of interest:

NewMetricScoreProgram
✓cost-diff0
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
✓cost-diff0
(-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
✓cost-diff6336
(pow.f64 (exp.f64 x) (neg.f64 x))
✓cost-diff6336
(fma.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64))
✓cost-diff0
(/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
✓cost-diff0
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
✓cost-diff0
(/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x))
✓cost-diff0
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
✓cost-diff0
(*.f64 x x)
✓cost-diff0
(neg.f64 (*.f64 x x))
✓cost-diff0
(fabs.f64 x)
✓cost-diff0
(*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))
Rules
460×associate--r+
442×fmm-def
436×fma-define
428×distribute-lft-in
417×distribute-rgt-in
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0523292
11342906
24262906
312132906
448442906
Stop Event
1×node limit
Calls
Call 1
Inputs
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x)))))
#s(literal 1 binary64)
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x))))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))))))))))
(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))
(*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))
#s(literal 3275911/10000000 binary64)
(fabs.f64 x)
x
(+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))
#s(literal 31853699/125000000 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))))))))
(+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))
#s(literal -8890523/31250000 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))))))
(+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))
#s(literal 1421413741/1000000000 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))))
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))
#s(literal -1453152027/1000000000 binary64)
(/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))
#s(literal 1061405429/1000000000 binary64)
(exp.f64 (neg.f64 (*.f64 x x)))
(neg.f64 (*.f64 x x))
(*.f64 x x)
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
#s(literal 1 binary64)
(/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x))
(/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal 31853699/125000000 binary64)
(/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -8890523/31250000 binary64)
(/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal 1421413741/1000000000 binary64)
(/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -1453152027/1000000000 binary64)
(/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
#s(literal 1061405429/1000000000 binary64)
(fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))
#s(literal 3275911/10000000 binary64)
(fabs.f64 x)
x
(pow.f64 (exp.f64 x) x)
(exp.f64 x)
(fma.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64))
(-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -31853699/125000000 binary64)
(/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -8890523/31250000 binary64)
(/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal 1421413741/1000000000 binary64)
(/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -1453152027/1000000000 binary64)
(/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
#s(literal 1061405429/1000000000 binary64)
(fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))
#s(literal 3275911/10000000 binary64)
(fabs.f64 x)
x
#s(literal 1 binary64)
(/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(pow.f64 (exp.f64 x) (neg.f64 x))
(exp.f64 x)
(neg.f64 x)
Outputs
(-.f64 #s(literal 1 binary64) (*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x)))))
(-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (*.f64 (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 x x))))))
(-.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x))))
(+.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x))))
(+.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal -31853699/125000000 binary64) (/.f64 (-.f64 #s(literal 8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
(+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (pow.f64 (exp.f64 x) x) (fma.f64 (fabs.f64 x) #s(literal -3275911/10000000 binary64) #s(literal -1 binary64)))))
#s(literal 1 binary64)
(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))) (exp.f64 (neg.f64 (*.f64 x x))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (*.f64 (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 x x)))))
(/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x)))
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))))))))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))))
(/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))
(/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))
(fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))
(*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))
#s(literal 3275911/10000000 binary64)
(fabs.f64 x)
x
(+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))))
(+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))))))))
(+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal 31853699/125000000 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))))))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))
(/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))))
(+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))))))
(+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -8890523/31250000 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))
(/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))))
(+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))))
(+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal 1421413741/1000000000 binary64)
(*.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))
(/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x)))))
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -1453152027/1000000000 binary64)
(/.f64 #s(literal 1061405429/1000000000 binary64) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x))))
(/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
#s(literal 1061405429/1000000000 binary64)
(exp.f64 (neg.f64 (*.f64 x x)))
(pow.f64 (exp.f64 x) (neg.f64 x))
(neg.f64 (*.f64 x x))
(*.f64 x (neg.f64 x))
(*.f64 x x)
(-.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
(-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (*.f64 (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 x x))))))
(-.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x))))
(+.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x))))
(+.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal -31853699/125000000 binary64) (/.f64 (-.f64 #s(literal 8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
(+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (pow.f64 (exp.f64 x) x) (fma.f64 (fabs.f64 x) #s(literal -3275911/10000000 binary64) #s(literal -1 binary64)))))
#s(literal 1 binary64)
(/.f64 (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (*.f64 (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 x x)))))
(/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x)))
(/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))))
(+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
(+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))))))))
#s(literal 31853699/125000000 binary64)
(/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))
(+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
(+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))))))
#s(literal -8890523/31250000 binary64)
(/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))
(+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
(+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))))
#s(literal 1421413741/1000000000 binary64)
(/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -1453152027/1000000000 binary64)
(/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
#s(literal 1061405429/1000000000 binary64)
(fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))
#s(literal 3275911/10000000 binary64)
(fabs.f64 x)
x
(pow.f64 (exp.f64 x) x)
(exp.f64 x)
(fma.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (*.f64 (+.f64 #s(literal 31853699/125000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))) (exp.f64 (neg.f64 (*.f64 x x))))))
(-.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x))))
(+.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)) (pow.f64 (exp.f64 x) x))))
(+.f64 #s(literal 1 binary64) (/.f64 (/.f64 (+.f64 #s(literal -31853699/125000000 binary64) (/.f64 (-.f64 #s(literal 8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (pow.f64 (exp.f64 x) x)))
(+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (pow.f64 (exp.f64 x) x) (fma.f64 (fabs.f64 x) #s(literal -3275911/10000000 binary64) #s(literal -1 binary64)))))
(-.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
(+.f64 #s(literal -31853699/125000000 binary64) (/.f64 (-.f64 #s(literal 8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
(+.f64 #s(literal -31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 (fabs.f64 x) #s(literal -3275911/10000000 binary64) #s(literal -1 binary64))))
#s(literal -31853699/125000000 binary64)
(/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))))
(+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
(+.f64 #s(literal -8890523/31250000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))))))
#s(literal -8890523/31250000 binary64)
(/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))))
(+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
(+.f64 #s(literal 1421413741/1000000000 binary64) (*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))))
#s(literal 1421413741/1000000000 binary64)
(/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(*.f64 (/.f64 #s(literal 1 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))) (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))))
(+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))))
#s(literal -1453152027/1000000000 binary64)
(/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
#s(literal 1061405429/1000000000 binary64)
(fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64))
#s(literal 3275911/10000000 binary64)
(fabs.f64 x)
x
#s(literal 1 binary64)
(/.f64 (pow.f64 (exp.f64 x) (neg.f64 x)) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))
(pow.f64 (exp.f64 x) (neg.f64 x))
(exp.f64 (neg.f64 (*.f64 x x)))
(exp.f64 x)
(neg.f64 x)

localize3.0ms (0.1%)

Results
1.0ms1×0valid
Compiler

Compiled 967 to 47 computations (95.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.0ms
ival-div: 0.0ms (0% of total)
ival-exp: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-fabs: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
...c/correct-round.rkt:121:19: 0.0ms (0% of total)
const: 0.0ms (0% of total)
backward-pass: 0.0ms (0% of total)
ival-neg: 0.0ms (0% of total)
ival-pow: 0.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

end0.0ms (0%)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
backward-pass: 0.0ms (0% of total)
compiled-spec: 0.0ms (0% of total)

Profiling

Loading profile data...