Details

Time bar (total: 6.0s)

analyze4.0ms (0.1%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
0%0%100%0%0%0%0%2
0%0%50%0%25%25%0%3
50%25%25%0%25%25%0%4
75%37.5%12.5%0%25%25%0%5
87.5%43.7%6.2%0%25%25%0%6
93.8%46.9%3.1%0%25%25%0%7
96.9%48.4%1.6%0%25%25%0%8
98.4%49.2%0.8%0%25%25%0%9
99.2%49.6%0.4%0%25%25%0%10
99.6%49.8%0.2%0%25%25%0%11
99.8%49.9%0.1%0%25%25%0%12
Compiler

Compiled 10 to 8 computations (20% saved)

sample4.7s (79.4%)

Results
3.1s4198×body1024valid
1.1s2044×body512valid
269.0ms399×body2048valid
259.0ms1615×body256valid
0.0ms4×body256invalid
Bogosity

preprocess315.0ms (5.3%)

Algorithm
2×egg-herbie
Rules
1728×fma-def
1078×distribute-lft-in
796×associate-+r+
786×associate-+l-
774×associate-+l+
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0923
12019
23019
34419
47319
510819
616819
732819
875719
9144819
10205419
11257819
12363819
13442819
14492219
15509819
16519819
17519819
18669219
19700819
20708619
21709419
22710219
23710219
24730219
25787819
011
Stop Event
1×saturated
1×node limit
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Outputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
Compiler

Compiled 10 to 8 computations (20% saved)

simplify309.0ms (5.2%)

Algorithm
1×egg-herbie
Rules
1728×fma-def
1078×distribute-lft-in
796×associate-+r+
786×associate-+l-
774×associate-+l+
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0923
12019
23019
34419
47319
510819
616819
732819
875719
9144819
10205419
11257819
12363819
13442819
14492219
15509819
16519819
17519819
18669219
19700819
20708619
21709419
22710219
23710219
24730219
25787819
Stop Event
1×node limit
Counts
1 → 2
Calls
Call 1
Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Outputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

eval1.0ms (0%)

Compiler

Compiled 15 to 11 computations (26.7% saved)

prune1.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Accurracy
100.0%
Counts
3 → 2
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶7.9%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Compiler

Compiled 16 to 12 computations (25% saved)

localize12.0ms (0.2%)

Local Accuracy

Found 2 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(/.f64 (-.f64 1 eps) (+.f64 1 eps))
✓91.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Compiler

Compiled 24 to 17 computations (29.2% saved)

series2.0ms (0%)

Counts
2 → 24
Calls

6 calls:

TimeVariablePointExpression
1.0ms
eps
@0
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms
eps
@inf
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms
eps
@-inf
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
0.0ms
eps
@inf
(/.f64 (-.f64 1 eps) (+.f64 1 eps))
0.0ms
eps
@0
(/.f64 (-.f64 1 eps) (+.f64 1 eps))

rewrite75.0ms (1.3%)

Algorithm
1×batch-egg-rewrite
Rules
1538×associate-/r*
1472×associate-*l/
1052×associate-/l*
922×associate-/r/
880×*-commutative
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0942
119038
2258038
Stop Event
1×node limit
Counts
2 → 125
Calls
Call 1
Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(/.f64 (-.f64 1 eps) (+.f64 1 eps))
Outputs
(((+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 0) (2)) ((+.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps)))) (2)) ((+.f64 (log1p.f64 (neg.f64 eps)) (neg.f64 (log1p.f64 eps))) (2)) ((+.f64 0 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (2)) ((+.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (2)) ((+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))) (2)) ((+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps))))) (2)) ((+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps)))) (2)) ((+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps))) (2)) ((+.f64 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (2)) ((+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps))))) (2)) ((+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps)))) (2)) ((+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (-.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log1p.f64 eps))) (2)) ((+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log1p.f64 (neg.f64 eps))) (2)) ((+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 (neg.f64 eps))) (2)) ((+.f64 (+.f64 0 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (2)) ((+.f64 (+.f64 0 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (2)) ((+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (-.f64 1 (*.f64 eps eps)))) (log1p.f64 (neg.f64 eps))) (2)) ((-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (2)) ((-.f64 0 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps)))) (2)) ((-.f64 (log.f64 (+.f64 -1 eps)) (log.f64 (-.f64 -1 eps))) (2)) ((-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps))))) (2)) ((-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps)))) (2)) ((-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (+.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log1p.f64 eps))) (2)) ((-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (+.f64 (log1p.f64 eps) (log1p.f64 eps))) (2)) ((-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (log.f64 (/.f64 -1 (-.f64 -1 eps))))) (2)) ((-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))) (2)) ((-.f64 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) 1) (2)) ((-.f64 (+.f64 0 (log.f64 (+.f64 -1 eps))) (log.f64 (-.f64 -1 eps))) (2)) ((-.f64 (+.f64 0 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))) 1) (2)) ((-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) 0) (log1p.f64 eps)) (2)) ((-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (sqrt.f64 (+.f64 1 eps)))) (log.f64 (sqrt.f64 (+.f64 1 eps)))) (2)) ((-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (log.f64 (cbrt.f64 (+.f64 1 eps)))) (2)) ((*.f64 1 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (2)) ((*.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1) (2)) ((*.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (2)) ((*.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)) (2)) ((*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (2)) ((/.f64 (-.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (2)) ((/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (*.f64 (log1p.f64 eps) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))) (2)) ((/.f64 (*.f64 (-.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) 1) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (2)) ((/.f64 (*.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) 1) (+.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (*.f64 (log1p.f64 eps) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))) (2)) ((pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1) (2)) ((pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2) (2)) ((pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 3) (2)) ((pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3) (2)) ((neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps)))) (2)) ((sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 2)) (2)) ((cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3)) (2)) ((expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (2)) ((exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (2)) ((log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (2)))
(((+.f64 (/.f64 -1 (-.f64 -1 eps)) (neg.f64 (/.f64 eps (+.f64 1 eps)))) (2)) ((+.f64 (neg.f64 (/.f64 eps (+.f64 1 eps))) (/.f64 -1 (-.f64 -1 eps))) (2)) ((-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 1 eps))) (2)) ((-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) 1) (2)) ((*.f64 1 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (2)) ((*.f64 (-.f64 1 eps) (/.f64 -1 (-.f64 -1 eps))) (2)) ((*.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1) (2)) ((*.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (2)) ((*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps))) (2)) ((*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)) (2)) ((*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (2)) ((*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (2)) ((*.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps))) (2)) ((*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 eps)) (2)) ((*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3)))) (2)) ((*.f64 (+.f64 -1 eps) (/.f64 1 (-.f64 -1 eps))) (2)) ((*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (/.f64 1 (sqrt.f64 (+.f64 1 eps)))) (2)) ((*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 eps))) (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps)))) (2)) ((*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps)))) (2)) ((*.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (2)) ((*.f64 (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))) (+.f64 (-.f64 1 eps) (*.f64 eps eps))) (2)) ((*.f64 (/.f64 1 (-.f64 1 (*.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2)) (2)) ((*.f64 (/.f64 1 (+.f64 1 (pow.f64 eps 3))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((*.f64 (/.f64 1 (-.f64 -1 eps)) (+.f64 -1 eps)) (2)) ((*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (sqrt.f64 (-.f64 1 eps))) (2)) ((*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps)))) (2)) ((*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))) (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (2)) ((*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps))) (2)) ((*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (2)) ((*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1)) (2)) ((*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))) (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps)))) (2)) ((*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps)))) (2)) ((*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (2)) ((*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (+.f64 1 eps)) (cbrt.f64 (-.f64 1 eps))) (2)) ((*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (-.f64 1 (*.f64 eps eps)) (-.f64 1 (*.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2)) (2)) ((*.f64 (/.f64 1 (/.f64 (+.f64 1 eps) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps))) (2)) ((*.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (*.f64 eps eps)) (sqrt.f64 (-.f64 1 eps)))) (sqrt.f64 (-.f64 1 eps))) (2)) ((*.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (*.f64 eps eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps))) (2)) ((*.f64 (/.f64 (-.f64 1 eps) (neg.f64 (-.f64 1 (*.f64 eps eps)))) (+.f64 -1 eps)) (2)) ((*.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (neg.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((*.f64 (/.f64 (-.f64 1 eps) (-.f64 (*.f64 eps eps) 1)) (-.f64 eps 1)) (2)) ((*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((*.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (-.f64 1 (*.f64 eps eps)))) (-.f64 1 eps)) (2)) ((*.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (*.f64 eps eps))) (2)) ((*.f64 (/.f64 (*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (-.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)))) (-.f64 1 (fma.f64 eps eps eps))) (2)) ((*.f64 (/.f64 (*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3))) (-.f64 (+.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps))) (fma.f64 eps eps eps))) (2)) ((*.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (+.f64 1 (pow.f64 eps 3)))) (sqrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((*.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (-.f64 1 (*.f64 eps eps)))) (sqrt.f64 (-.f64 1 eps))) (2)) ((*.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (+.f64 1 (pow.f64 eps 3)))) (cbrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((*.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (-.f64 1 (*.f64 eps eps)))) (cbrt.f64 (-.f64 1 eps))) (2)) ((*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (-.f64 1 (*.f64 eps eps)) (-.f64 1 (*.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2)) (2)) ((*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 eps) (-.f64 1 (*.f64 eps eps)))) (-.f64 1 eps)) (2)) ((*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 eps) (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (*.f64 eps eps))) (2)) ((*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))) (2)) ((pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1) (2)) ((pow.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2) (2)) ((pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 3) (2)) ((pow.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3) 1/3) (2)) ((pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (2)) ((pow.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps)) -1) (2)) ((pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (2)) ((pow.f64 (exp.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (2)) ((neg.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps))) (2)) ((sqrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 2)) (2)) ((log.f64 (exp.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (2)) ((log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (2)) ((cbrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3)) (2)) ((expm1.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (2)) ((exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (2)) ((log1p.f64 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (2)))

simplify84.0ms (1.4%)

Algorithm
1×egg-herbie
Rules
1380×associate-/l*
1066×associate-/r*
1058×associate-*r/
896×associate-*l/
872×associate-+l+
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03605567
110204945
238864937
Stop Event
1×node limit
Counts
149 → 253
Calls
Call 1
Inputs
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (+.f64 (*.f64 -2/7 (pow.f64 eps 7)) (*.f64 -2/3 (pow.f64 eps 3)))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
1
(+.f64 (*.f64 -2 eps) 1)
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 2 (pow.f64 eps 2)) 1))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 2 (pow.f64 eps 2)) (+.f64 1 (*.f64 -2 (pow.f64 eps 3)))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(-.f64 (*.f64 2 (/.f64 1 eps)) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (*.f64 2 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(-.f64 (*.f64 2 (/.f64 1 eps)) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (*.f64 2 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 0)
(+.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps))))
(+.f64 (log1p.f64 (neg.f64 eps)) (neg.f64 (log1p.f64 eps)))
(+.f64 0 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(+.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (-.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log1p.f64 (neg.f64 eps)))
(+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 (neg.f64 eps)))
(+.f64 (+.f64 0 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (+.f64 0 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (-.f64 1 (*.f64 eps eps)))) (log1p.f64 (neg.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 0 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps))))
(-.f64 (log.f64 (+.f64 -1 eps)) (log.f64 (-.f64 -1 eps)))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (+.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))
(-.f64 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) 1)
(-.f64 (+.f64 0 (log.f64 (+.f64 -1 eps))) (log.f64 (-.f64 -1 eps)))
(-.f64 (+.f64 0 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))) 1)
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) 0) (log1p.f64 eps))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (sqrt.f64 (+.f64 1 eps)))) (log.f64 (sqrt.f64 (+.f64 1 eps))))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (log.f64 (cbrt.f64 (+.f64 1 eps))))
(*.f64 1 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(*.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1)
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(*.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(/.f64 (-.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (*.f64 (log1p.f64 eps) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (*.f64 (-.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) 1) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (*.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) 1) (+.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (*.f64 (log1p.f64 eps) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1)
(pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)
(pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 3)
(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps))))
(sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 2))
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3))
(expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(+.f64 (/.f64 -1 (-.f64 -1 eps)) (neg.f64 (/.f64 eps (+.f64 1 eps))))
(+.f64 (neg.f64 (/.f64 eps (+.f64 1 eps))) (/.f64 -1 (-.f64 -1 eps)))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 1 eps)))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) 1)
(*.f64 1 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))
(*.f64 (-.f64 1 eps) (/.f64 -1 (-.f64 -1 eps)))
(*.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1)
(*.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))
(*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 eps))
(*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))))
(*.f64 (+.f64 -1 eps) (/.f64 1 (-.f64 -1 eps)))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (/.f64 1 (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 eps))) (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))
(*.f64 (/.f64 1 (-.f64 1 (*.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(*.f64 (/.f64 1 (+.f64 1 (pow.f64 eps 3))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 1 (-.f64 -1 eps)) (+.f64 -1 eps))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (sqrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))) (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))) (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (+.f64 1 eps)) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (-.f64 1 (*.f64 eps eps)) (-.f64 1 (*.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2))
(*.f64 (/.f64 1 (/.f64 (+.f64 1 eps) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (*.f64 eps eps)) (sqrt.f64 (-.f64 1 eps)))) (sqrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (*.f64 eps eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 (-.f64 1 eps) (neg.f64 (-.f64 1 (*.f64 eps eps)))) (+.f64 -1 eps))
(*.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (neg.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 1 eps) (-.f64 (*.f64 eps eps) 1)) (-.f64 eps 1))
(*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (-.f64 1 (*.f64 eps eps)))) (-.f64 1 eps))
(*.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))
(*.f64 (/.f64 (*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (-.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)))) (-.f64 1 (fma.f64 eps eps eps)))
(*.f64 (/.f64 (*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3))) (-.f64 (+.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps))) (fma.f64 eps eps eps)))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (+.f64 1 (pow.f64 eps 3)))) (sqrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (-.f64 1 (*.f64 eps eps)))) (sqrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (+.f64 1 (pow.f64 eps 3)))) (cbrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (-.f64 1 (*.f64 eps eps)))) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (-.f64 1 (*.f64 eps eps)) (-.f64 1 (*.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 eps) (-.f64 1 (*.f64 eps eps)))) (-.f64 1 eps))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 eps) (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1)
(pow.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)
(pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 3)
(pow.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3) 1/3)
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(pow.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps)) -1)
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(pow.f64 (exp.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(neg.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 2))
(log.f64 (exp.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
Outputs
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(fma.f64 -2 eps (*.f64 -2/3 (pow.f64 eps 3)))
(fma.f64 -2/3 (pow.f64 eps 3) (*.f64 -2 eps))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/3 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.f64 -2/3 (pow.f64 eps 3) (*.f64 -2/5 (pow.f64 eps 5))))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (+.f64 (*.f64 -2/7 (pow.f64 eps 7)) (*.f64 -2/3 (pow.f64 eps 3)))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (fma.f64 -2/7 (pow.f64 eps 7) (*.f64 -2/3 (pow.f64 eps 3)))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (fma.f64 -2/3 (pow.f64 eps 3) (*.f64 -2/7 (pow.f64 eps 7)))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (/.f64 2 eps))
(+.f64 (log.f64 -1) (/.f64 -2 eps))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 -2 eps))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (+.f64 (/.f64 2 eps) (/.f64 2/5 (pow.f64 eps 5))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (+.f64 (/.f64 2/5 (pow.f64 eps 5)) (/.f64 2/3 (pow.f64 eps 3)))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (-.f64 (/.f64 -2 eps) (/.f64 2/5 (pow.f64 eps 5))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (/.f64 2 eps))
(+.f64 (log.f64 -1) (/.f64 -2 eps))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 -2 eps))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (+.f64 (/.f64 2 eps) (/.f64 2/5 (pow.f64 eps 5))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (+.f64 (/.f64 2/5 (pow.f64 eps 5)) (/.f64 2/3 (pow.f64 eps 3)))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (-.f64 (/.f64 -2 eps) (/.f64 2/5 (pow.f64 eps 5))))
1
(+.f64 (*.f64 -2 eps) 1)
(fma.f64 -2 eps 1)
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 2 (pow.f64 eps 2)) 1))
(fma.f64 -2 eps (fma.f64 2 (*.f64 eps eps) 1))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 2 (pow.f64 eps 2)) (+.f64 1 (*.f64 -2 (pow.f64 eps 3)))))
(fma.f64 -2 eps (+.f64 (fma.f64 2 (*.f64 eps eps) 1) (*.f64 -2 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.f64 2 (*.f64 eps eps) (fma.f64 -2 (pow.f64 eps 3) 1)))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(+.f64 (/.f64 2 eps) -1)
(+.f64 -1 (/.f64 2 eps))
(-.f64 (*.f64 2 (/.f64 1 eps)) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (/.f64 2 eps) -1) (/.f64 2 (*.f64 eps eps)))
(+.f64 (/.f64 2 eps) (-.f64 -1 (/.f64 2 (*.f64 eps eps))))
(+.f64 -1 (+.f64 (/.f64 2 eps) (/.f64 (/.f64 -2 eps) eps)))
(-.f64 (+.f64 (*.f64 2 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (/.f64 2 (pow.f64 eps 3)) (-.f64 (+.f64 (/.f64 2 eps) -1) (/.f64 2 (*.f64 eps eps))))
(-.f64 (+.f64 (/.f64 2 eps) (/.f64 2 (pow.f64 eps 3))) (+.f64 1 (/.f64 2 (*.f64 eps eps))))
(+.f64 (+.f64 -1 (/.f64 2 eps)) (+.f64 (/.f64 (/.f64 -2 eps) eps) (/.f64 2 (pow.f64 eps 3))))
-1
(-.f64 (*.f64 2 (/.f64 1 eps)) 1)
(+.f64 (/.f64 2 eps) -1)
(+.f64 -1 (/.f64 2 eps))
(-.f64 (*.f64 2 (/.f64 1 eps)) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (/.f64 2 eps) -1) (/.f64 2 (*.f64 eps eps)))
(+.f64 (/.f64 2 eps) (-.f64 -1 (/.f64 2 (*.f64 eps eps))))
(+.f64 -1 (+.f64 (/.f64 2 eps) (/.f64 (/.f64 -2 eps) eps)))
(-.f64 (+.f64 (*.f64 2 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(+.f64 (/.f64 2 (pow.f64 eps 3)) (-.f64 (+.f64 (/.f64 2 eps) -1) (/.f64 2 (*.f64 eps eps))))
(-.f64 (+.f64 (/.f64 2 eps) (/.f64 2 (pow.f64 eps 3))) (+.f64 1 (/.f64 2 (*.f64 eps eps))))
(+.f64 (+.f64 -1 (/.f64 2 eps)) (+.f64 (/.f64 (/.f64 -2 eps) eps) (/.f64 2 (pow.f64 eps 3))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 0)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps))))
(+.f64 (log1p.f64 (neg.f64 eps)) (neg.f64 (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 0 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(*.f64 2 (log.f64 (sqrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))) (*.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))))))
(*.f64 3 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log.f64 (cbrt.f64 (-.f64 1 eps)))))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (*.f64 3 (log.f64 (cbrt.f64 (-.f64 1 eps)))))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (+.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(-.f64 (*.f64 3 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (log1p.f64 eps))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(+.f64 (*.f64 2 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (-.f64 (log.f64 (cbrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(-.f64 (*.f64 3 (log.f64 (cbrt.f64 (-.f64 1 eps)))) (log1p.f64 eps))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))) (*.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))))))
(*.f64 3 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log.f64 (sqrt.f64 (-.f64 1 eps)))))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (*.f64 2 (log.f64 (sqrt.f64 (-.f64 1 eps)))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (-.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(-.f64 (*.f64 2 (log.f64 (sqrt.f64 (-.f64 1 eps)))) (log1p.f64 eps))
(+.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (-.f64 (log.f64 (sqrt.f64 (-.f64 1 eps))) (log1p.f64 eps)))
(-.f64 (*.f64 2 (log.f64 (sqrt.f64 (-.f64 1 eps)))) (log1p.f64 eps))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (log1p.f64 (neg.f64 eps)))
(+.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps))))
(+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 (neg.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (+.f64 0 (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))) (log.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(*.f64 2 (log.f64 (sqrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (+.f64 0 (log.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))) (log.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(+.f64 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))) (*.f64 2 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))))))
(*.f64 3 (log.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (pow.f64 eps 3))) (log.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (pow.f64 eps 3))) (log.f64 (fma.f64 eps eps (-.f64 1 eps))))
(+.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (-.f64 1 (*.f64 eps eps)))) (log1p.f64 (neg.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (log1p.f64 (neg.f64 eps))))
(+.f64 (log1p.f64 (neg.f64 eps)) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (*.f64 eps (neg.f64 eps)))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 0 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps))))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 eps -1))))
(-.f64 (log.f64 (+.f64 eps -1)) (log.f64 (-.f64 -1 eps)))
(-.f64 (log.f64 (+.f64 -1 eps)) (log.f64 (-.f64 -1 eps)))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 eps -1))))
(-.f64 (log.f64 (+.f64 eps -1)) (log.f64 (-.f64 -1 eps)))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log1p.f64 (fma.f64 eps eps eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (-.f64 (log1p.f64 (neg.f64 (pow.f64 eps 3))) (log1p.f64 (fma.f64 eps eps eps))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps))))
(+.f64 (-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (log1p.f64 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 (pow.f64 eps 3))) (+.f64 (log1p.f64 eps) (log1p.f64 (fma.f64 eps eps eps))))
(-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (+.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps))) (log1p.f64 eps)))
(+.f64 (-.f64 (log.f64 (-.f64 1 (pow.f64 eps 3))) (log1p.f64 (fma.f64 eps eps eps))) (neg.f64 (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 (pow.f64 eps 3))) (+.f64 (log1p.f64 eps) (log1p.f64 (fma.f64 eps eps eps))))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (*.f64 2 (log1p.f64 eps)))
(+.f64 (log1p.f64 (*.f64 eps (neg.f64 eps))) (*.f64 -2 (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (log1p.f64 eps)) (log.f64 (/.f64 -1 (-.f64 -1 eps))))
(-.f64 (log1p.f64 (*.f64 eps (neg.f64 eps))) (-.f64 (log1p.f64 eps) (log.f64 (/.f64 -1 (-.f64 -1 eps)))))
(+.f64 (log.f64 (/.f64 -1 (-.f64 -1 eps))) (-.f64 (log1p.f64 (*.f64 eps (neg.f64 eps))) (log1p.f64 eps)))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))
(-.f64 (log.f64 (-.f64 1 (*.f64 eps eps))) (*.f64 2 (log1p.f64 eps)))
(+.f64 (log1p.f64 (*.f64 eps (neg.f64 eps))) (*.f64 -2 (log1p.f64 eps)))
(-.f64 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) 1)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 (+.f64 0 (log.f64 (+.f64 -1 eps))) (log.f64 (-.f64 -1 eps)))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 eps -1))))
(-.f64 (log.f64 (+.f64 eps -1)) (log.f64 (-.f64 -1 eps)))
(-.f64 (+.f64 0 (exp.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))) 1)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) 0) (log1p.f64 eps))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (sqrt.f64 (+.f64 1 eps)))) (log.f64 (sqrt.f64 (+.f64 1 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (+.f64 (log.f64 (sqrt.f64 (+.f64 eps 1))) (log.f64 (sqrt.f64 (+.f64 eps 1)))))
(-.f64 (log1p.f64 (neg.f64 eps)) (*.f64 2 (log.f64 (sqrt.f64 (+.f64 eps 1)))))
(-.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log.f64 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (log.f64 (cbrt.f64 (+.f64 1 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (+.f64 (*.f64 2 (log.f64 (cbrt.f64 (+.f64 eps 1)))) (log.f64 (cbrt.f64 (+.f64 eps 1)))))
(-.f64 (log1p.f64 (neg.f64 eps)) (*.f64 3 (log.f64 (cbrt.f64 (+.f64 eps 1)))))
(*.f64 1 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(*.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(*.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(/.f64 (-.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (/.f64 (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (*.f64 (log1p.f64 eps) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps)) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps)))))
(/.f64 (*.f64 (-.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) 1) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (-.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (*.f64 (log1p.f64 eps) (log1p.f64 eps))) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(/.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (/.f64 (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(/.f64 (*.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) 1) (+.f64 (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps))) (+.f64 (*.f64 (log1p.f64 eps) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps)) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 (neg.f64 eps)) 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) (*.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 (neg.f64 eps)))))
(pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 1)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(pow.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 3)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(pow.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3) 1/3)
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps))))
(neg.f64 (log.f64 (/.f64 (-.f64 -1 eps) (+.f64 eps -1))))
(-.f64 (log.f64 (+.f64 eps -1)) (log.f64 (-.f64 -1 eps)))
(sqrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 2))
(fabs.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)) 3))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(expm1.f64 (log1p.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(exp.f64 (log.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(log1p.f64 (expm1.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (/.f64 -1 (-.f64 -1 eps)) (neg.f64 (/.f64 eps (+.f64 1 eps))))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 eps 1)))
(+.f64 (neg.f64 (/.f64 eps (+.f64 1 eps))) (/.f64 -1 (-.f64 -1 eps)))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 eps 1)))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 1 eps)))
(-.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 eps (+.f64 eps 1)))
(-.f64 (exp.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))) 1)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 1 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (-.f64 1 eps) (/.f64 -1 (-.f64 -1 eps)))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)))
(/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2) (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(/.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)))
(*.f64 (pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 eps))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))))
(*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (+.f64 -1 eps) (/.f64 1 (-.f64 -1 eps)))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (/.f64 1 (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (/.f64 1 (sqrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (+.f64 eps 1)))
(*.f64 (/.f64 1 (sqrt.f64 (+.f64 1 eps))) (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (/.f64 1 (sqrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (+.f64 eps 1)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))
(*.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 1 eps))) (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))
(*.f64 (/.f64 (-.f64 1 eps) (+.f64 1 (pow.f64 eps 3))) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))
(*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (/.f64 1 (-.f64 1 (*.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps)))
(*.f64 (/.f64 1 (+.f64 1 (pow.f64 eps 3))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (/.f64 1 (-.f64 -1 eps)) (+.f64 -1 eps))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (sqrt.f64 (-.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))
(*.f64 (/.f64 (sqrt.f64 (-.f64 1 eps)) (cbrt.f64 (+.f64 1 eps))) (/.f64 (sqrt.f64 (-.f64 1 eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)))
(*.f64 (/.f64 1 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (cbrt.f64 (+.f64 eps 1))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1) (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (+.f64 1 eps)) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) 1))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))) (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (/.f64 1 (sqrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (+.f64 eps 1)))
(*.f64 (/.f64 (cbrt.f64 (-.f64 1 eps)) (sqrt.f64 (+.f64 1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (sqrt.f64 (+.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (/.f64 1 (sqrt.f64 (+.f64 eps 1))))
(/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (+.f64 eps 1)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(*.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)))
(/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (/.f64 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2) (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))))
(/.f64 (cbrt.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps))) (/.f64 (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2)))
(*.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2) (+.f64 1 eps)) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (-.f64 1 (*.f64 eps eps)) (-.f64 1 (*.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2))
(*.f64 (/.f64 1 (-.f64 1 (*.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps)))
(*.f64 (/.f64 1 (/.f64 (+.f64 1 eps) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (sqrt.f64 (-.f64 1 eps)) (+.f64 eps 1)))
(/.f64 (-.f64 1 eps) (+.f64 eps 1))
(*.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (*.f64 eps eps)) (sqrt.f64 (-.f64 1 eps)))) (sqrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 1 (-.f64 1 (*.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps)))
(*.f64 (/.f64 (-.f64 1 eps) (/.f64 (-.f64 1 (*.f64 eps eps)) (pow.f64 (cbrt.f64 (-.f64 1 eps)) 2))) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (/.f64 1 (-.f64 1 (*.f64 eps eps))) (pow.f64 (-.f64 1 eps) 2))
(/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps)))
(*.f64 (/.f64 (-.f64 1 eps) (neg.f64 (-.f64 1 (*.f64 eps eps)))) (+.f64 -1 eps))
(/.f64 (*.f64 (-.f64 1 eps) (+.f64 eps -1)) (neg.f64 (-.f64 1 (*.f64 eps eps))))
(*.f64 (+.f64 eps -1) (/.f64 (-.f64 1 eps) (fma.f64 eps eps -1)))
(*.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (neg.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 (pow.f64 eps 3) 1))) (neg.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(neg.f64 (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (-.f64 -1 (pow.f64 eps 3)))))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (+.f64 eps -1) (-.f64 -1 (pow.f64 eps 3))))
(*.f64 (/.f64 (-.f64 1 eps) (-.f64 (*.f64 eps eps) 1)) (-.f64 eps 1))
(/.f64 (*.f64 (-.f64 1 eps) (+.f64 eps -1)) (neg.f64 (-.f64 1 (*.f64 eps eps))))
(*.f64 (+.f64 eps -1) (/.f64 (-.f64 1 eps) (fma.f64 eps eps -1)))
(*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1))) (*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1)))))
(*.f64 (/.f64 (-.f64 1 (*.f64 eps eps)) (*.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (-.f64 1 (*.f64 eps eps)))) (-.f64 1 eps))
(/.f64 (*.f64 (-.f64 1 eps) (+.f64 eps -1)) (neg.f64 (-.f64 1 (*.f64 eps eps))))
(*.f64 (+.f64 eps -1) (/.f64 (-.f64 1 eps) (fma.f64 eps eps -1)))
(*.f64 (/.f64 (+.f64 -1 eps) (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))
(*.f64 (/.f64 (-.f64 1 eps) (neg.f64 (+.f64 (pow.f64 eps 3) 1))) (neg.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(neg.f64 (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (-.f64 -1 (pow.f64 eps 3)))))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (+.f64 eps -1) (-.f64 -1 (pow.f64 eps 3))))
(*.f64 (/.f64 (*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (-.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)))) (-.f64 1 (fma.f64 eps eps eps)))
(/.f64 (/.f64 (neg.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 -1 eps)) (/.f64 (-.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps))) (-.f64 1 (fma.f64 eps eps eps))))
(*.f64 (/.f64 (/.f64 (neg.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 -1 eps)) (-.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)))) (-.f64 1 (fma.f64 eps eps eps)))
(*.f64 (/.f64 (*.f64 (/.f64 -1 (-.f64 -1 eps)) (-.f64 1 (pow.f64 eps 3))) (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3))) (-.f64 (+.f64 1 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps))) (fma.f64 eps eps eps)))
(*.f64 (/.f64 (/.f64 -1 (-.f64 -1 eps)) (/.f64 (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3)) (-.f64 1 (pow.f64 eps 3)))) (+.f64 1 (-.f64 (*.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps)) (fma.f64 eps eps eps))))
(/.f64 (/.f64 (neg.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 -1 eps)) (/.f64 (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3)) (-.f64 (fma.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps) 1) (fma.f64 eps eps eps))))
(*.f64 (/.f64 (/.f64 (neg.f64 (-.f64 1 (pow.f64 eps 3))) (-.f64 -1 eps)) (+.f64 1 (pow.f64 (fma.f64 eps eps eps) 3))) (-.f64 (fma.f64 (fma.f64 eps eps eps) (fma.f64 eps eps eps) 1) (fma.f64 eps eps eps)))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (+.f64 1 (pow.f64 eps 3)))) (sqrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 1 eps) (*.f64 (sqrt.f64 (+.f64 (pow.f64 eps 3) 1)) (sqrt.f64 (+.f64 eps 1)))) (sqrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (hypot.f64 1 (pow.f64 eps 3/2))) (sqrt.f64 (fma.f64 eps eps (-.f64 1 eps))))
(*.f64 (/.f64 (-.f64 1 eps) (*.f64 (sqrt.f64 (+.f64 eps 1)) (hypot.f64 1 (pow.f64 eps 3/2)))) (sqrt.f64 (fma.f64 eps eps (-.f64 1 eps))))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 1 eps))) (sqrt.f64 (-.f64 1 (*.f64 eps eps)))) (sqrt.f64 (-.f64 1 eps)))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (/.f64 (-.f64 1 eps) (sqrt.f64 (+.f64 eps 1))) (sqrt.f64 (-.f64 1 (*.f64 eps eps)))))
(*.f64 (sqrt.f64 (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (*.f64 (sqrt.f64 (+.f64 eps 1)) (sqrt.f64 (-.f64 1 (*.f64 eps eps))))))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (+.f64 1 (pow.f64 eps 3)))) (cbrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 1 eps) (*.f64 (cbrt.f64 (+.f64 (pow.f64 eps 3) 1)) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))) (cbrt.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(/.f64 (*.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (cbrt.f64 (fma.f64 eps eps (-.f64 1 eps)))) (cbrt.f64 (+.f64 (pow.f64 eps 3) 1)))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (cbrt.f64 (+.f64 (pow.f64 eps 3) 1))) (cbrt.f64 (fma.f64 eps eps (-.f64 1 eps))))
(*.f64 (/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2)) (cbrt.f64 (-.f64 1 (*.f64 eps eps)))) (cbrt.f64 (-.f64 1 eps)))
(*.f64 (cbrt.f64 (-.f64 1 eps)) (/.f64 (-.f64 1 eps) (*.f64 (cbrt.f64 (-.f64 1 (*.f64 eps eps))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))))
(/.f64 (/.f64 (-.f64 1 eps) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (/.f64 (cbrt.f64 (-.f64 1 (*.f64 eps eps))) (cbrt.f64 (-.f64 1 eps))))
(/.f64 (/.f64 (*.f64 (-.f64 1 eps) (cbrt.f64 (-.f64 1 eps))) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2)) (cbrt.f64 (-.f64 1 (*.f64 eps eps))))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 (pow.f64 eps 3)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (*.f64 (+.f64 (-.f64 1 eps) (*.f64 eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))) (/.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1))))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1)) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1)))))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 eps (+.f64 eps (fma.f64 eps eps -1))) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 (pow.f64 eps 3) 1)))))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (-.f64 1 (*.f64 eps eps)) (-.f64 1 (*.f64 eps eps)))) (pow.f64 (-.f64 1 eps) 2))
(*.f64 (pow.f64 (-.f64 1 eps) 2) (/.f64 (/.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (-.f64 1 (*.f64 eps eps))) (-.f64 1 (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1)) (-.f64 1 (*.f64 eps eps))) (/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps))))
(*.f64 (/.f64 (-.f64 eps (+.f64 eps (fma.f64 eps eps -1))) (-.f64 1 (*.f64 eps eps))) (/.f64 (pow.f64 (-.f64 1 eps) 2) (-.f64 1 (*.f64 eps eps))))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 eps) (-.f64 1 (*.f64 eps eps)))) (-.f64 1 eps))
(/.f64 (*.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (-.f64 1 eps)) (*.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 eps 1)))
(*.f64 (-.f64 1 eps) (/.f64 (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1)) (*.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 eps 1))))
(/.f64 (-.f64 eps (+.f64 eps (fma.f64 eps eps -1))) (/.f64 (-.f64 1 (*.f64 eps eps)) (/.f64 (-.f64 1 eps) (+.f64 eps 1))))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (+.f64 1 eps) (+.f64 1 (pow.f64 eps 3)))) (+.f64 (-.f64 1 eps) (*.f64 eps eps)))
(/.f64 (*.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (+.f64 (-.f64 1 eps) (*.f64 eps eps))) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 eps 1)))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1)) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 eps 1))))
(/.f64 (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (-.f64 eps (+.f64 eps (fma.f64 eps eps -1)))) (*.f64 (+.f64 (pow.f64 eps 3) 1) (+.f64 eps 1)))
(*.f64 (/.f64 (+.f64 1 (-.f64 eps (fma.f64 eps eps eps))) (*.f64 (-.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))))
(*.f64 (*.f64 (-.f64 1 eps) (+.f64 (-.f64 1 eps) (*.f64 eps eps))) (/.f64 (-.f64 (+.f64 eps 1) (fma.f64 eps eps eps)) (*.f64 (+.f64 (pow.f64 eps 3) 1) (-.f64 1 (*.f64 eps eps)))))
(*.f64 (fma.f64 eps eps (-.f64 1 eps)) (/.f64 (*.f64 (-.f64 1 eps) (-.f64 eps (-.f64 (fma.f64 eps eps eps) 1))) (*.f64 (+.f64 (pow.f64 eps 3) 1) (-.f64 1 (*.f64 eps eps)))))
(*.f64 (-.f64 1 eps) (/.f64 (*.f64 (fma.f64 eps eps (-.f64 1 eps)) (-.f64 eps (+.f64 eps (fma.f64 eps eps -1)))) (*.f64 (+.f64 (pow.f64 eps 3) 1) (-.f64 1 (*.f64 eps eps)))))
(pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 1)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (sqrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 2)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (cbrt.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))) 3)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3) 1/3)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(pow.f64 (/.f64 (-.f64 -1 eps) (+.f64 -1 eps)) -1)
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))) 2)) (cbrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(pow.f64 (exp.f64 (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))) (sqrt.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))))
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(neg.f64 (/.f64 (-.f64 1 eps) (-.f64 -1 eps)))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 2))
(sqrt.f64 (pow.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)) 2))
(fabs.f64 (/.f64 (+.f64 eps -1) (-.f64 -1 eps)))
(log.f64 (exp.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(log.f64 (+.f64 1 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(cbrt.f64 (pow.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps)) 3))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(expm1.f64 (log1p.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))
(exp.f64 (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(pow.f64 (E.f64) (-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps)))
(log1p.f64 (expm1.f64 (/.f64 (+.f64 -1 eps) (-.f64 -1 eps))))
(/.f64 (+.f64 eps -1) (-.f64 -1 eps))

localize9.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
Compiler

Compiled 15 to 5 computations (66.7% saved)

series2.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
1.0ms
eps
@0
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
0.0ms
eps
@inf
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
0.0ms
eps
@-inf
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))

rewrite50.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
1404×add-sqr-sqrt
1388×*-un-lft-identity
1296×add-cube-cbrt
1284×add-cbrt-cube
1270×add-exp-log
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0819
117015
2230115
Stop Event
1×node limit
Counts
1 → 36
Calls
Call 1
Inputs
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
Outputs
(((+.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))) (2)) ((+.f64 (log1p.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1)) (2)) ((+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps))) (2)) ((+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (sqrt.f64 (log1p.f64 eps))) (sqrt.f64 (log1p.f64 eps)) (log1p.f64 eps))) (2)) ((+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps))) (2)) ((+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)) (2)) ((*.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1) (2)) ((*.f64 1 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (2)) ((*.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))) (2)) ((*.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2)) (2)) ((*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))) (2)) ((*.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 (log1p.f64 eps) (log1p.f64 eps)))) (2)) ((*.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))))) (2)) ((*.f64 (+.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)))) (2)) ((/.f64 1 (/.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps)) (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)))) (2)) ((/.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))) (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)))) (2)) ((/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (+.f64 (log1p.f64 eps) (log1p.f64 eps))) (2)) ((/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))) (2)) ((/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))) (2)) ((/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (neg.f64 (log1p.f64 eps)) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (-.f64 (*.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps))) (*.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))))) (2)) ((/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))) (neg.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps)))) (2)) ((/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))))) (2)) ((pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1) (2)) ((pow.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2) (2)) ((pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 3) (2)) ((pow.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3) 1/3) (2)) ((sqrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 2)) (2)) ((log.f64 (/.f64 (+.f64 eps 1) (+.f64 eps 1))) (2)) ((cbrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3)) (2)) ((expm1.f64 (log1p.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))) (2)) ((exp.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))) (2)) ((exp.f64 (*.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 1)) (2)) ((log1p.f64 (expm1.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))) (2)) ((fma.f64 1 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))) (2)) ((fma.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps))) (2)) ((fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps))) (2)))

simplify61.0ms (1%)

Algorithm
1×egg-herbie
Rules
766×*-commutative
682×distribute-lft-in
634×div-sub
632×distribute-lft-out
532×distribute-lft-out--
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0132512
1362512
2814512
32826512
Stop Event
1×node limit
Counts
48 → 59
Calls
Call 1
Inputs
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (+.f64 (*.f64 -2/7 (pow.f64 eps 7)) (*.f64 -2/3 (pow.f64 eps 3)))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(*.f64 -1 (log.f64 -1))
(-.f64 (*.f64 -1 (log.f64 -1)) (*.f64 2 (/.f64 1 eps)))
(-.f64 (*.f64 -1 (log.f64 -1)) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (*.f64 -1 (log.f64 -1)) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(+.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))
(+.f64 (log1p.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (sqrt.f64 (log1p.f64 eps))) (sqrt.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps))
(*.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1)
(*.f64 1 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(*.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(*.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 (log1p.f64 eps) (log1p.f64 eps))))
(*.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))))
(*.f64 (+.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))))
(/.f64 1 (/.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps)) (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))))
(/.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))) (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))))
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))
(/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (neg.f64 (log1p.f64 eps)) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (-.f64 (*.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps))) (*.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))) (neg.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))))
(pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1)
(pow.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2)
(pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 3)
(pow.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3) 1/3)
(sqrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 2))
(log.f64 (/.f64 (+.f64 eps 1) (+.f64 eps 1)))
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3))
(expm1.f64 (log1p.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(exp.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(exp.f64 (*.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 1))
(log1p.f64 (expm1.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(fma.f64 1 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))
Outputs
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(fma.f64 -2 eps (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/3 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (*.f64 -2/3 (pow.f64 eps 3))))
(fma.f64 -2 eps (fma.f64 -2/3 (pow.f64 eps 3) (*.f64 -2/5 (pow.f64 eps 5))))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (+.f64 (*.f64 -2/7 (pow.f64 eps 7)) (*.f64 -2/3 (pow.f64 eps 3)))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (fma.f64 -2/7 (pow.f64 eps 7) (*.f64 -2/3 (pow.f64 eps 3)))))
(fma.f64 -2 eps (fma.f64 -2/5 (pow.f64 eps 5) (fma.f64 -2/3 (pow.f64 eps 3) (*.f64 -2/7 (pow.f64 eps 7)))))
(log.f64 -1)
(-.f64 (log.f64 -1) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (/.f64 2 eps))
(+.f64 (log.f64 -1) (/.f64 -2 eps))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 -2 eps))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2/3 (pow.f64 eps 3)) (+.f64 (/.f64 2 eps) (/.f64 2/5 (pow.f64 eps 5)))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (+.f64 (/.f64 2/5 (pow.f64 eps 5)) (/.f64 2/3 (pow.f64 eps 3)))))
(*.f64 -1 (log.f64 -1))
(log.f64 -1)
(-.f64 (*.f64 -1 (log.f64 -1)) (*.f64 2 (/.f64 1 eps)))
(-.f64 (log.f64 -1) (/.f64 2 eps))
(+.f64 (log.f64 -1) (/.f64 -2 eps))
(-.f64 (*.f64 -1 (log.f64 -1)) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))))
(+.f64 (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 -2 eps))
(-.f64 (*.f64 -1 (log.f64 -1)) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 2 (/.f64 1 eps)) (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2/3 (pow.f64 eps 3)) (+.f64 (/.f64 2 eps) (/.f64 2/5 (pow.f64 eps 5)))))
(-.f64 (log.f64 -1) (+.f64 (/.f64 2 eps) (+.f64 (/.f64 2/5 (pow.f64 eps 5)) (/.f64 2/3 (pow.f64 eps 3)))))
(+.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))
(log.f64 -1)
(+.f64 (log1p.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(log.f64 -1)
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(log.f64 -1)
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (sqrt.f64 (log1p.f64 eps))) (sqrt.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(log.f64 -1)
(+.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(log.f64 -1)
(+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps))
(log.f64 -1)
(*.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1)
(log.f64 -1)
(*.f64 1 (-.f64 (log1p.f64 eps) (log1p.f64 eps)))
(log.f64 -1)
(*.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(*.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2))
(log.f64 -1)
(*.f64 (pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(*.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(*.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))))
(log.f64 -1)
(*.f64 (+.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps))))
(log.f64 -1)
(/.f64 1 (/.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps)) (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))))
(log.f64 -1)
(/.f64 1 (/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))) (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))))
(log.f64 -1)
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2)) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))
(log.f64 -1)
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps)))))
(log.f64 -1)
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))) (-.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))
(log.f64 -1)
(/.f64 (+.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (neg.f64 (log1p.f64 eps)) 3)) (+.f64 (pow.f64 (log1p.f64 eps) 2) (-.f64 (*.f64 (neg.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps))) (*.f64 (log1p.f64 eps) (neg.f64 (log1p.f64 eps))))))
(log.f64 -1)
(/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (pow.f64 (log1p.f64 eps) 2))) (neg.f64 (+.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(/.f64 (neg.f64 (-.f64 (pow.f64 (log1p.f64 eps) 3) (pow.f64 (log1p.f64 eps) 3))) (neg.f64 (+.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 (log1p.f64 eps) (+.f64 (log1p.f64 eps) (log1p.f64 eps))))))
(log.f64 -1)
(pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 1)
(log.f64 -1)
(pow.f64 (sqrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 2)
(log.f64 -1)
(pow.f64 (cbrt.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 3)
(log.f64 -1)
(pow.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3) 1/3)
(log.f64 -1)
(sqrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 2))
(log.f64 -1)
(log.f64 (/.f64 (+.f64 eps 1) (+.f64 eps 1)))
(log.f64 -1)
(cbrt.f64 (pow.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps)) 3))
(log.f64 -1)
(expm1.f64 (log1p.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(exp.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(exp.f64 (*.f64 (log.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))) 1))
(log.f64 -1)
(log1p.f64 (expm1.f64 (-.f64 (log1p.f64 eps) (log1p.f64 eps))))
(log.f64 -1)
(fma.f64 1 (log1p.f64 eps) (neg.f64 (log1p.f64 eps)))
(log.f64 -1)
(fma.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))
(log.f64 -1)
(fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)) (neg.f64 (log1p.f64 eps)))
(log.f64 -1)

eval98.0ms (1.7%)

Compiler

Compiled 5031 to 3193 computations (36.5% saved)

prune44.0ms (0.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New3102312
Fresh000
Picked101
Done011
Total3113314
Accurracy
100.0%
Counts
314 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
▶99.6%
(*.f64 -2 eps)
✓7.9%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Compiler

Compiled 23 to 18 computations (21.7% saved)

localize2.0ms (0%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

localize10.0ms (0.2%)

Local Accuracy

Found 1 expressions with local accuracy:

NewAccuracyProgram
✓99.8%
(*.f64 -2/3 (pow.f64 eps 3))
Compiler

Compiled 25 to 19 computations (24% saved)

series2.0ms (0%)

Counts
1 → 0
Calls

3 calls:

TimeVariablePointExpression
1.0ms
eps
@-inf
(*.f64 -2/3 (pow.f64 eps 3))
0.0ms
eps
@0
(*.f64 -2/3 (pow.f64 eps 3))
0.0ms
eps
@inf
(*.f64 -2/3 (pow.f64 eps 3))

rewrite47.0ms (0.8%)

Algorithm
1×batch-egg-rewrite
Rules
1236×add-sqr-sqrt
1204×*-un-lft-identity
1142×add-cube-cbrt
1134×add-cbrt-cube
1118×add-exp-log
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0713
114913
2159613
Stop Event
1×node limit
Counts
1 → 11
Calls
Call 1
Inputs
(*.f64 -2/3 (pow.f64 eps 3))
Outputs
(((-.f64 (+.f64 1 (*.f64 -2/3 (pow.f64 eps 3))) 1) (2)) ((pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1) (2)) ((pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2) (2)) ((pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3) (2)) ((pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3) (2)) ((sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9)) (2)) ((log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3))) (2)) ((cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3)) (2)) ((expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3)))) (2)) ((exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3)))) (2)) ((log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))) (2)))

simplify54.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
1084×distribute-rgt-in
1068×distribute-lft-in
976×associate-*l/
900×associate-*r/
890×log-prod
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
039275
198209
2327143
31685143
46913143
Stop Event
1×node limit
Counts
11 → 14
Calls
Call 1
Inputs
(-.f64 (+.f64 1 (*.f64 -2/3 (pow.f64 eps 3))) 1)
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2)
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
Outputs
(-.f64 (+.f64 1 (*.f64 -2/3 (pow.f64 eps 3))) 1)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(pow.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3) 1/3)
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(cbrt.f64 (pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 3))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(exp.f64 (log.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 1 (-.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1))
(+.f64 (*.f64 -2/3 (pow.f64 eps 3)) 0)
(*.f64 -2/3 (pow.f64 eps 3))

eval4.0ms (0.1%)

Compiler

Compiled 159 to 131 computations (17.6% saved)

prune3.0ms (0%)

Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New14014
Fresh000
Picked011
Done022
Total14317
Accurracy
100.0%
Counts
17 → 3
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
✓99.6%
(*.f64 -2 eps)
✓7.9%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Compiler

Compiled 23 to 18 computations (21.7% saved)

regimes9.0ms (0.2%)

Counts
4 → 1
Calls
Call 1
Inputs
(*.f64 -2 eps)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
Outputs
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
Calls

3 calls:

4.0ms
eps
2.0ms
(/.f64 (-.f64 1 eps) (+.f64 1 eps))
2.0ms
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Results
AccuracySegmentsBranch
100.0%1eps
100.0%1(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
100.0%1(/.f64 (-.f64 1 eps) (+.f64 1 eps))
Compiler

Compiled 46 to 34 computations (26.1% saved)

regimes7.0ms (0.1%)

Accuracy

Total -58.7b remaining (-23536.5%)

Threshold costs -58.7b (-23536.5%)

Counts
2 → 1
Calls
Call 1
Inputs
(*.f64 -2 eps)
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Outputs
(*.f64 -2 eps)
Calls

3 calls:

3.0ms
eps
2.0ms
(/.f64 (-.f64 1 eps) (+.f64 1 eps))
2.0ms
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Results
AccuracySegmentsBranch
99.6%1eps
99.6%1(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
99.6%1(/.f64 (-.f64 1 eps) (+.f64 1 eps))
Compiler

Compiled 31 to 23 computations (25.8% saved)

simplify4.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
4×*-commutative
2×+-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01032
11332
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2 eps)
Outputs
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2 eps)
Compiler

Compiled 14 to 11 computations (21.4% saved)

soundness0.0ms (0%)

end16.0ms (0.3%)

Compiler

Compiled 13 to 10 computations (23.1% saved)

Profiling

Loading profile data...