logq (problem 3.4.3)

Time bar (total: 5.0s)

analyze3.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%75%0%0%25%0%3
40%25%37.5%0%0%37.5%0%4
66.7%37.5%18.7%0%0%43.7%0%5
82.4%43.7%9.4%0%0%46.9%0%6
90.9%46.9%4.7%0%0%48.4%0%7
95.4%48.4%2.3%0%0%49.2%0%8
97.7%49.2%1.2%0%0%49.6%0%9
98.8%49.6%0.6%0%0%49.8%0%10
99.4%49.8%0.3%0%0%49.9%0%11
99.7%49.9%0.1%0%0%49.9%0%12
Compiler

Compiled 10 to 8 computations (20% saved)

sample2.6s (52.1%)

Results
1.6s4187×body1024valid
557.0ms2050×body512valid
238.0ms1607×body256valid
212.0ms412×body2048valid
1.0ms14×body256invalid
Bogosity

preprocess415.0ms (8.2%)

Algorithm
1×egg-herbie
Rules
8722×fma-def
1220×unsub-neg
1030×fma-neg
668×associate-+r+
656×distribute-rgt-in
Problems
254×(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
2×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01473
13757
27057
314857
437757
598457
6186157
7253257
8352357
9476657
10532257
11548357
12565857
13610757
14700457
15707257
16710457
17712457
18721657
19735757
20747757
21747757
Stop Event
1×node limit
Calls
Call 1
Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(log.f64 (/.f64 (-.f64 1 (neg.f64 eps)) (+.f64 1 (neg.f64 eps))))
Outputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(log.f64 (/.f64 (-.f64 1 (neg.f64 eps)) (+.f64 1 (neg.f64 eps))))
(log.f64 (/.f64 (-.f64 1 (neg.f64 eps)) (-.f64 1 eps)))
(-.f64 (log1p.f64 eps) (log1p.f64 (neg.f64 eps)))
Compiler

Compiled 34 to 25 computations (26.5% saved)

eval0.0ms (0%)

Compiler

Compiled 7 to 5 computations (28.6% saved)

prune2.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
▶100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Compiler

Compiled 32 to 24 computations (25% saved)

localize122.0ms (2.4%)

Localize:

Found 4 expressions with local error:

NewAccuracyProgram
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓100.0%
(log1p.f64 (neg.f64 eps))
✓100.0%
(/.f64 (-.f64 1 eps) (+.f64 1 eps))
✓8.9%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
Compiler

Compiled 39 to 22 computations (43.6% saved)

series4.0ms (0.1%)

Counts
4 → 48
Calls

12 calls:

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

rewrite72.0ms (1.4%)

Algorithm
1×batch-egg-rewrite
Rules
1534×prod-diff
920×log-prod
676×fma-def
448×pow-prod-up
412×pow-exp
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01366
127954
238058
Stop Event
1×node limit
Counts
4 → 49
Calls
Call 1
Inputs
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
(/.f64 (-.f64 1 eps) (+.f64 1 eps))
(log1p.f64 (neg.f64 eps))
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
Outputs
0
1
(+.f64 (log1p.f64 eps) 0)
(+.f64 0 (log1p.f64 eps))
(+.f64 (log1p.f64 (pow.f64 eps 3)) (log.f64 (/.f64 1 (+.f64 1 (fma.f64 eps eps eps)))))
(+.f64 (log1p.f64 (*.f64 eps eps)) (neg.f64 (log1p.f64 eps)))
(+.f64 (*.f64 2 (*.f64 1/3 (log1p.f64 eps))) (*.f64 1/3 (log1p.f64 eps)))
(+.f64 (*.f64 1/2 (log1p.f64 eps)) (*.f64 1/2 (log1p.f64 eps)))
(+.f64 (*.f64 1/3 (log1p.f64 eps)) (*.f64 2 (*.f64 1/3 (log1p.f64 eps))))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (log1p.f64 (fma.f64 eps eps eps)))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (+.f64 1 (*.f64 eps eps)))) (log1p.f64 eps))
(-.f64 0 (log.f64 (/.f64 (+.f64 1 eps) (+.f64 1 (*.f64 eps eps)))))
(-.f64 0 (log.f64 (/.f64 (+.f64 1 (fma.f64 eps eps eps)) (+.f64 1 (pow.f64 eps 3)))))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log1p.f64 (fma.f64 eps eps eps)))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log.f64 (fma.f64 eps eps (+.f64 1 eps))))
(-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 eps))
(-.f64 (exp.f64 (log1p.f64 (log1p.f64 eps))) 1)
(-.f64 (log.f64 (neg.f64 (+.f64 1 (*.f64 eps eps)))) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (neg.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log.f64 (fma.f64 eps eps -1)) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) 1)) (log1p.f64 eps))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (*.f64 1/3 (log1p.f64 eps)))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (hypot.f64 1 (sqrt.f64 eps)))) (*.f64 1/2 (log1p.f64 eps)))
(*.f64 1 (log1p.f64 eps))
(*.f64 (log1p.f64 eps) 1)
(*.f64 (cbrt.f64 (log1p.f64 eps)) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2))
(*.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)))
(*.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)))
(*.f64 3 (*.f64 1/3 (log1p.f64 eps)))
(*.f64 2 (*.f64 1/2 (log1p.f64 eps)))
(*.f64 1/3 (*.f64 3 (log1p.f64 eps)))
(pow.f64 (log1p.f64 eps) 1)
(pow.f64 (cbrt.f64 (log1p.f64 eps)) 3)
(pow.f64 (pow.f64 (log1p.f64 eps) 3) 1/3)
(pow.f64 (sqrt.f64 (log1p.f64 eps)) 2)
(neg.f64 (log.f64 (/.f64 (+.f64 1 eps) (+.f64 1 (*.f64 eps eps)))))
(neg.f64 (log.f64 (/.f64 (+.f64 1 (fma.f64 eps eps eps)) (+.f64 1 (pow.f64 eps 3)))))
(sqrt.f64 (pow.f64 (log1p.f64 eps) 2))
(log.f64 (+.f64 1 eps))
(cbrt.f64 (pow.f64 (log1p.f64 eps) 3))
(expm1.f64 (log1p.f64 (log1p.f64 eps)))
(exp.f64 (log.f64 (log1p.f64 eps)))
(exp.f64 (*.f64 (log.f64 (log1p.f64 eps)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (log1p.f64 eps)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (log1p.f64 eps))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (log1p.f64 eps))) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 (log1p.f64 eps)) 3) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (log1p.f64 eps))) 2))
0

simplify60.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
844×cancel-sign-sub-inv
818×associate-+r+
800×associate-+l+
538×associate--r+
530×*-commutative
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02082117
15231985
220611967
Stop Event
1×node limit
Counts
97 → 159
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/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/7 (pow.f64 eps 7)))))
(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/5 (/.f64 1 (pow.f64 eps 5))) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps)))))
(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/5 (/.f64 1 (pow.f64 eps 5))) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps)))))
1
(+.f64 1 (*.f64 -2 eps))
(+.f64 1 (+.f64 (*.f64 -2 eps) (*.f64 2 (pow.f64 eps 2))))
(+.f64 1 (+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2 (pow.f64 eps 3)) (*.f64 2 (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 eps)) (*.f64 2 (/.f64 1 (pow.f64 eps 3)))) (+.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 eps)) (*.f64 2 (/.f64 1 (pow.f64 eps 3)))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(*.f64 -1 eps)
(+.f64 (*.f64 -1 eps) (*.f64 -1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 -1 eps) (+.f64 (*.f64 -1/2 (pow.f64 eps 2)) (*.f64 -1/3 (pow.f64 eps 3))))
(+.f64 (*.f64 -1 eps) (+.f64 (*.f64 -1/2 (pow.f64 eps 2)) (+.f64 (*.f64 -1/3 (pow.f64 eps 3)) (*.f64 -1/4 (pow.f64 eps 4)))))
(+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 eps))))
(-.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 eps)))) (/.f64 1 eps))
(-.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 eps)))) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))) (/.f64 1 eps)))
(-.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 eps)))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))) (/.f64 1 eps))))
(*.f64 -1 (log.f64 (/.f64 -1 eps)))
(-.f64 (*.f64 -1 (log.f64 (/.f64 -1 eps))) (/.f64 1 eps))
(-.f64 (*.f64 -1 (log.f64 (/.f64 -1 eps))) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))) (/.f64 1 eps)))
(-.f64 (*.f64 -1 (log.f64 (/.f64 -1 eps))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))) (/.f64 1 eps))))
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2/3 (pow.f64 eps 3)) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/7 (pow.f64 eps 7)))))
(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/5 (/.f64 1 (pow.f64 eps 5))) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps)))))
(*.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/5 (/.f64 1 (pow.f64 eps 5))) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps)))))
0
1
(+.f64 (log1p.f64 eps) 0)
(+.f64 0 (log1p.f64 eps))
(+.f64 (log1p.f64 (pow.f64 eps 3)) (log.f64 (/.f64 1 (+.f64 1 (fma.f64 eps eps eps)))))
(+.f64 (log1p.f64 (*.f64 eps eps)) (neg.f64 (log1p.f64 eps)))
(+.f64 (*.f64 2 (*.f64 1/3 (log1p.f64 eps))) (*.f64 1/3 (log1p.f64 eps)))
(+.f64 (*.f64 1/2 (log1p.f64 eps)) (*.f64 1/2 (log1p.f64 eps)))
(+.f64 (*.f64 1/3 (log1p.f64 eps)) (*.f64 2 (*.f64 1/3 (log1p.f64 eps))))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (log1p.f64 (fma.f64 eps eps eps)))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (+.f64 1 (*.f64 eps eps)))) (log1p.f64 eps))
(-.f64 0 (log.f64 (/.f64 (+.f64 1 eps) (+.f64 1 (*.f64 eps eps)))))
(-.f64 0 (log.f64 (/.f64 (+.f64 1 (fma.f64 eps eps eps)) (+.f64 1 (pow.f64 eps 3)))))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log1p.f64 (fma.f64 eps eps eps)))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log.f64 (fma.f64 eps eps (+.f64 1 eps))))
(-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 eps))
(-.f64 (exp.f64 (log1p.f64 (log1p.f64 eps))) 1)
(-.f64 (log.f64 (neg.f64 (+.f64 1 (*.f64 eps eps)))) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (neg.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log.f64 (fma.f64 eps eps -1)) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) 1)) (log1p.f64 eps))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (*.f64 1/3 (log1p.f64 eps)))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (hypot.f64 1 (sqrt.f64 eps)))) (*.f64 1/2 (log1p.f64 eps)))
(*.f64 1 (log1p.f64 eps))
(*.f64 (log1p.f64 eps) 1)
(*.f64 (cbrt.f64 (log1p.f64 eps)) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2))
(*.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)))
(*.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)))
(*.f64 3 (*.f64 1/3 (log1p.f64 eps)))
(*.f64 2 (*.f64 1/2 (log1p.f64 eps)))
(*.f64 1/3 (*.f64 3 (log1p.f64 eps)))
(pow.f64 (log1p.f64 eps) 1)
(pow.f64 (cbrt.f64 (log1p.f64 eps)) 3)
(pow.f64 (pow.f64 (log1p.f64 eps) 3) 1/3)
(pow.f64 (sqrt.f64 (log1p.f64 eps)) 2)
(neg.f64 (log.f64 (/.f64 (+.f64 1 eps) (+.f64 1 (*.f64 eps eps)))))
(neg.f64 (log.f64 (/.f64 (+.f64 1 (fma.f64 eps eps eps)) (+.f64 1 (pow.f64 eps 3)))))
(sqrt.f64 (pow.f64 (log1p.f64 eps) 2))
(log.f64 (+.f64 1 eps))
(cbrt.f64 (pow.f64 (log1p.f64 eps) 3))
(expm1.f64 (log1p.f64 (log1p.f64 eps)))
(exp.f64 (log.f64 (log1p.f64 eps)))
(exp.f64 (*.f64 (log.f64 (log1p.f64 eps)) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (log1p.f64 eps)) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (log1p.f64 eps))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (log1p.f64 eps))) 1/3))
(exp.f64 (*.f64 (*.f64 (log.f64 (log1p.f64 eps)) 3) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (log1p.f64 eps))) 2))
0
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/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))
(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/3 (pow.f64 eps 3)) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/7 (pow.f64 eps 7)))))
(fma.f64 -2 eps (fma.f64 -2/3 (pow.f64 eps 3) (fma.f64 -2/5 (pow.f64 eps 5) (*.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 eps)) (/.f64 2/3 (pow.f64 eps 3)))
(+.f64 (/.f64 -2 eps) (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps)))))
(-.f64 (log.f64 -1) (+.f64 (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 2/5 (pow.f64 eps 5))))
(-.f64 (-.f64 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 2/5 (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))))
(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 eps)) (/.f64 2/3 (pow.f64 eps 3)))
(+.f64 (/.f64 -2 eps) (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps)))))
(-.f64 (log.f64 -1) (+.f64 (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 2/5 (pow.f64 eps 5))))
(-.f64 (-.f64 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 2/5 (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))))
1
(+.f64 1 (*.f64 -2 eps))
(+.f64 (*.f64 -2 eps) 1)
(fma.f64 -2 eps 1)
(+.f64 1 (+.f64 (*.f64 -2 eps) (*.f64 2 (pow.f64 eps 2))))
(+.f64 1 (fma.f64 -2 eps (*.f64 2 (*.f64 eps eps))))
(+.f64 (fma.f64 -2 eps 1) (*.f64 eps (*.f64 eps 2)))
(+.f64 1 (*.f64 eps (+.f64 -2 (*.f64 eps 2))))
(+.f64 1 (+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -2 (pow.f64 eps 3)) (*.f64 2 (pow.f64 eps 2)))))
(+.f64 1 (fma.f64 -2 eps (fma.f64 -2 (pow.f64 eps 3) (*.f64 2 (*.f64 eps eps)))))
(+.f64 (fma.f64 -2 eps 1) (fma.f64 -2 (pow.f64 eps 3) (*.f64 eps (*.f64 eps 2))))
(+.f64 (fma.f64 -2 eps 1) (*.f64 (*.f64 eps eps) (+.f64 2 (*.f64 -2 eps))))
-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 2 eps) (+.f64 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 eps)) (*.f64 2 (/.f64 1 (pow.f64 eps 3)))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (/.f64 2 eps) (/.f64 2 (pow.f64 eps 3))) (+.f64 1 (/.f64 2 (*.f64 eps eps))))
(+.f64 (/.f64 2 eps) (-.f64 (/.f64 2 (pow.f64 eps 3)) (+.f64 1 (/.f64 2 (*.f64 eps eps)))))
(-.f64 (+.f64 (/.f64 2 (pow.f64 eps 3)) -1) (-.f64 (/.f64 (/.f64 2 eps) eps) (/.f64 2 eps)))
-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 2 eps) (+.f64 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 eps)) (*.f64 2 (/.f64 1 (pow.f64 eps 3)))) (+.f64 1 (*.f64 2 (/.f64 1 (pow.f64 eps 2)))))
(-.f64 (+.f64 (/.f64 2 eps) (/.f64 2 (pow.f64 eps 3))) (+.f64 1 (/.f64 2 (*.f64 eps eps))))
(+.f64 (/.f64 2 eps) (-.f64 (/.f64 2 (pow.f64 eps 3)) (+.f64 1 (/.f64 2 (*.f64 eps eps)))))
(-.f64 (+.f64 (/.f64 2 (pow.f64 eps 3)) -1) (-.f64 (/.f64 (/.f64 2 eps) eps) (/.f64 2 eps)))
(*.f64 -1 eps)
(neg.f64 eps)
(+.f64 (*.f64 -1 eps) (*.f64 -1/2 (pow.f64 eps 2)))
(fma.f64 -1 eps (*.f64 (*.f64 eps eps) -1/2))
(-.f64 (*.f64 eps (*.f64 eps -1/2)) eps)
(+.f64 (*.f64 -1 eps) (+.f64 (*.f64 -1/2 (pow.f64 eps 2)) (*.f64 -1/3 (pow.f64 eps 3))))
(fma.f64 -1 eps (fma.f64 -1/2 (*.f64 eps eps) (*.f64 (pow.f64 eps 3) -1/3)))
(-.f64 (fma.f64 (pow.f64 eps 3) -1/3 (*.f64 eps (*.f64 eps -1/2))) eps)
(-.f64 (*.f64 (*.f64 eps eps) (+.f64 -1/2 (*.f64 eps -1/3))) eps)
(+.f64 (*.f64 -1 eps) (+.f64 (*.f64 -1/2 (pow.f64 eps 2)) (+.f64 (*.f64 -1/3 (pow.f64 eps 3)) (*.f64 -1/4 (pow.f64 eps 4)))))
(fma.f64 -1 eps (fma.f64 -1/2 (*.f64 eps eps) (fma.f64 -1/3 (pow.f64 eps 3) (*.f64 -1/4 (pow.f64 eps 4)))))
(-.f64 (fma.f64 (*.f64 eps eps) -1/2 (fma.f64 -1/4 (pow.f64 eps 4) (*.f64 (pow.f64 eps 3) -1/3))) eps)
(+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 eps))))
(+.f64 (log.f64 -1) (neg.f64 (neg.f64 (log.f64 eps))))
(+.f64 (log.f64 -1) (log.f64 eps))
(-.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 eps)))) (/.f64 1 eps))
(+.f64 (log.f64 -1) (-.f64 (neg.f64 (neg.f64 (log.f64 eps))) (/.f64 1 eps)))
(+.f64 (log.f64 eps) (+.f64 (log.f64 -1) (/.f64 -1 eps)))
(-.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 eps)))) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))) (/.f64 1 eps)))
(+.f64 (log.f64 -1) (-.f64 (neg.f64 (neg.f64 (log.f64 eps))) (+.f64 (/.f64 1 eps) (/.f64 1/2 (*.f64 eps eps)))))
(+.f64 (log.f64 -1) (-.f64 (log.f64 eps) (+.f64 (/.f64 1 eps) (/.f64 1/2 (*.f64 eps eps)))))
(+.f64 (+.f64 (log.f64 eps) (+.f64 (log.f64 -1) (/.f64 -1 eps))) (/.f64 -1/2 (*.f64 eps eps)))
(-.f64 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 1 eps)))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))) (/.f64 1 eps))))
(-.f64 (+.f64 (log.f64 -1) (neg.f64 (neg.f64 (log.f64 eps)))) (+.f64 (+.f64 (/.f64 1 eps) (/.f64 1/2 (*.f64 eps eps))) (/.f64 1/3 (pow.f64 eps 3))))
(+.f64 (log.f64 -1) (-.f64 (-.f64 (log.f64 eps) (+.f64 (/.f64 1 eps) (/.f64 1/2 (*.f64 eps eps)))) (/.f64 1/3 (pow.f64 eps 3))))
(+.f64 (log.f64 -1) (+.f64 (log.f64 eps) (+.f64 (+.f64 (/.f64 -1 eps) (/.f64 -1/2 (*.f64 eps eps))) (/.f64 -1/3 (pow.f64 eps 3)))))
(*.f64 -1 (log.f64 (/.f64 -1 eps)))
(neg.f64 (log.f64 (/.f64 -1 eps)))
(-.f64 (*.f64 -1 (log.f64 (/.f64 -1 eps))) (/.f64 1 eps))
(-.f64 (neg.f64 (log.f64 (/.f64 -1 eps))) (/.f64 1 eps))
(fma.f64 -1 (log.f64 (/.f64 -1 eps)) (/.f64 -1 eps))
(-.f64 (/.f64 -1 eps) (log.f64 (/.f64 -1 eps)))
(-.f64 (*.f64 -1 (log.f64 (/.f64 -1 eps))) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))) (/.f64 1 eps)))
(-.f64 (neg.f64 (log.f64 (/.f64 -1 eps))) (+.f64 (/.f64 1 eps) (/.f64 1/2 (*.f64 eps eps))))
(-.f64 (fma.f64 -1 (log.f64 (/.f64 -1 eps)) (/.f64 -1 eps)) (/.f64 1/2 (*.f64 eps eps)))
(+.f64 (-.f64 (/.f64 -1 eps) (log.f64 (/.f64 -1 eps))) (/.f64 -1/2 (*.f64 eps eps)))
(-.f64 (*.f64 -1 (log.f64 (/.f64 -1 eps))) (+.f64 (*.f64 1/3 (/.f64 1 (pow.f64 eps 3))) (+.f64 (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))) (/.f64 1 eps))))
(-.f64 (neg.f64 (log.f64 (/.f64 -1 eps))) (+.f64 (+.f64 (/.f64 1 eps) (/.f64 1/2 (*.f64 eps eps))) (/.f64 1/3 (pow.f64 eps 3))))
(-.f64 (-.f64 (fma.f64 -1 (log.f64 (/.f64 -1 eps)) (/.f64 -1 eps)) (/.f64 1/2 (*.f64 eps eps))) (/.f64 1/3 (pow.f64 eps 3)))
(+.f64 (+.f64 (-.f64 (/.f64 -1 eps) (log.f64 (/.f64 -1 eps))) (/.f64 -1/2 (*.f64 eps eps))) (/.f64 -1/3 (pow.f64 eps 3)))
(*.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/3 (pow.f64 eps 3)) (*.f64 -2/5 (pow.f64 eps 5))))
(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/3 (pow.f64 eps 3)) (+.f64 (*.f64 -2/5 (pow.f64 eps 5)) (*.f64 -2/7 (pow.f64 eps 7)))))
(fma.f64 -2 eps (fma.f64 -2/3 (pow.f64 eps 3) (fma.f64 -2/5 (pow.f64 eps 5) (*.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 eps)) (/.f64 2/3 (pow.f64 eps 3)))
(+.f64 (/.f64 -2 eps) (-.f64 (log.f64 -1) (/.f64 2/3 (pow.f64 eps 3))))
(-.f64 (log.f64 -1) (+.f64 (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps)))))
(-.f64 (log.f64 -1) (+.f64 (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 2/5 (pow.f64 eps 5))))
(-.f64 (-.f64 (+.f64 (log.f64 -1) (/.f64 -2 eps)) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 2/5 (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 -1 (log.f64 -1))
(neg.f64 (log.f64 -1))
(-.f64 (*.f64 -1 (log.f64 -1)) (*.f64 2 (/.f64 1 eps)))
(-.f64 (neg.f64 (log.f64 -1)) (/.f64 2 eps))
(fma.f64 -1 (log.f64 -1) (/.f64 -2 eps))
(-.f64 (/.f64 -2 eps) (log.f64 -1))
(-.f64 (*.f64 -1 (log.f64 -1)) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps))))
(-.f64 (neg.f64 (log.f64 -1)) (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))))
(-.f64 (fma.f64 -1 (log.f64 -1) (/.f64 -2 eps)) (/.f64 2/3 (pow.f64 eps 3)))
(+.f64 (-.f64 (/.f64 -2 eps) (log.f64 -1)) (/.f64 -2/3 (pow.f64 eps 3)))
(-.f64 (*.f64 -1 (log.f64 -1)) (+.f64 (*.f64 2/5 (/.f64 1 (pow.f64 eps 5))) (+.f64 (*.f64 2/3 (/.f64 1 (pow.f64 eps 3))) (*.f64 2 (/.f64 1 eps)))))
(-.f64 (neg.f64 (log.f64 -1)) (+.f64 (+.f64 (/.f64 2 eps) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 2/5 (pow.f64 eps 5))))
(-.f64 (-.f64 (fma.f64 -1 (log.f64 -1) (/.f64 -2 eps)) (/.f64 2/3 (pow.f64 eps 3))) (/.f64 2/5 (pow.f64 eps 5)))
(+.f64 (+.f64 (-.f64 (/.f64 -2 eps) (log.f64 -1)) (/.f64 -2/3 (pow.f64 eps 3))) (/.f64 -2/5 (pow.f64 eps 5)))
0
1
(+.f64 (log1p.f64 eps) 0)
(log1p.f64 eps)
(+.f64 0 (log1p.f64 eps))
(log1p.f64 eps)
(+.f64 (log1p.f64 (pow.f64 eps 3)) (log.f64 (/.f64 1 (+.f64 1 (fma.f64 eps eps eps)))))
(+.f64 (log1p.f64 (pow.f64 eps 3)) (neg.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log1p.f64 (fma.f64 eps eps eps)))
(+.f64 (log1p.f64 (*.f64 eps eps)) (neg.f64 (log1p.f64 eps)))
(-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 eps))
(+.f64 (*.f64 2 (*.f64 1/3 (log1p.f64 eps))) (*.f64 1/3 (log1p.f64 eps)))
(log1p.f64 eps)
(+.f64 (*.f64 1/2 (log1p.f64 eps)) (*.f64 1/2 (log1p.f64 eps)))
(log1p.f64 eps)
(+.f64 (*.f64 1/3 (log1p.f64 eps)) (*.f64 2 (*.f64 1/3 (log1p.f64 eps))))
(log1p.f64 eps)
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (+.f64 1 (pow.f64 eps 3)))) (log1p.f64 (fma.f64 eps eps eps)))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (+.f64 (pow.f64 eps 3) 1))) (log1p.f64 (fma.f64 eps eps eps)))
(-.f64 (+.f64 (log1p.f64 (fma.f64 eps eps eps)) (log1p.f64 (*.f64 eps eps))) (log1p.f64 (pow.f64 eps 3)))
(+.f64 (-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 (pow.f64 eps 3))) (log1p.f64 (fma.f64 eps eps eps)))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (+.f64 1 (*.f64 eps eps)))) (log1p.f64 eps))
(log1p.f64 eps)
(-.f64 0 (log.f64 (/.f64 (+.f64 1 eps) (+.f64 1 (*.f64 eps eps)))))
(-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 eps))
(-.f64 0 (log.f64 (/.f64 (+.f64 1 (fma.f64 eps eps eps)) (+.f64 1 (pow.f64 eps 3)))))
(+.f64 (log1p.f64 (pow.f64 eps 3)) (neg.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log1p.f64 (fma.f64 eps eps eps)))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log1p.f64 (fma.f64 eps eps eps)))
(+.f64 (log1p.f64 (pow.f64 eps 3)) (neg.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log.f64 (fma.f64 eps eps (+.f64 1 eps))))
(+.f64 (log1p.f64 (pow.f64 eps 3)) (neg.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log1p.f64 (fma.f64 eps eps eps)))
(-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 eps))
(-.f64 (exp.f64 (log1p.f64 (log1p.f64 eps))) 1)
(log1p.f64 eps)
(-.f64 (log.f64 (neg.f64 (+.f64 1 (*.f64 eps eps)))) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (+.f64 -1 (neg.f64 (*.f64 eps eps)))) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (-.f64 -1 (*.f64 eps eps))) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (fma.f64 eps (neg.f64 eps) -1)) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (neg.f64 (+.f64 1 (pow.f64 eps 3)))) (log.f64 (neg.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log.f64 (neg.f64 (+.f64 (pow.f64 eps 3) 1))) (log.f64 (neg.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log.f64 (-.f64 -1 (pow.f64 eps 3))) (log.f64 (-.f64 -1 (fma.f64 eps eps eps))))
(-.f64 (log.f64 (fma.f64 eps eps -1)) (log.f64 (+.f64 eps -1)))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) 1)) (log1p.f64 eps))
(-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 eps))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (pow.f64 (cbrt.f64 (+.f64 1 eps)) 2))) (*.f64 1/3 (log1p.f64 eps)))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))) (*.f64 -1/3 (log1p.f64 eps)))
(+.f64 (log.f64 (/.f64 (fma.f64 eps eps 1) (pow.f64 (cbrt.f64 (+.f64 eps 1)) 2))) (*.f64 -1/3 (log1p.f64 eps)))
(-.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (hypot.f64 1 (sqrt.f64 eps)))) (*.f64 1/2 (log1p.f64 eps)))
(+.f64 (log.f64 (/.f64 (+.f64 1 (*.f64 eps eps)) (hypot.f64 1 (sqrt.f64 eps)))) (*.f64 -1/2 (log1p.f64 eps)))
(+.f64 (log.f64 (/.f64 (fma.f64 eps eps 1) (hypot.f64 1 (sqrt.f64 eps)))) (*.f64 -1/2 (log1p.f64 eps)))
(*.f64 1 (log1p.f64 eps))
(log1p.f64 eps)
(*.f64 (log1p.f64 eps) 1)
(log1p.f64 eps)
(*.f64 (cbrt.f64 (log1p.f64 eps)) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2))
(log1p.f64 eps)
(*.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (cbrt.f64 (log1p.f64 eps)))
(log1p.f64 eps)
(*.f64 (sqrt.f64 (log1p.f64 eps)) (sqrt.f64 (log1p.f64 eps)))
(log1p.f64 eps)
(*.f64 3 (*.f64 1/3 (log1p.f64 eps)))
(log1p.f64 eps)
(*.f64 2 (*.f64 1/2 (log1p.f64 eps)))
(log1p.f64 eps)
(*.f64 1/3 (*.f64 3 (log1p.f64 eps)))
(log1p.f64 eps)
(pow.f64 (log1p.f64 eps) 1)
(log1p.f64 eps)
(pow.f64 (cbrt.f64 (log1p.f64 eps)) 3)
(log1p.f64 eps)
(pow.f64 (pow.f64 (log1p.f64 eps) 3) 1/3)
(log1p.f64 eps)
(pow.f64 (sqrt.f64 (log1p.f64 eps)) 2)
(log1p.f64 eps)
(neg.f64 (log.f64 (/.f64 (+.f64 1 eps) (+.f64 1 (*.f64 eps eps)))))
(-.f64 (log1p.f64 (*.f64 eps eps)) (log1p.f64 eps))
(neg.f64 (log.f64 (/.f64 (+.f64 1 (fma.f64 eps eps eps)) (+.f64 1 (pow.f64 eps 3)))))
(+.f64 (log1p.f64 (pow.f64 eps 3)) (neg.f64 (log.f64 (+.f64 1 (fma.f64 eps eps eps)))))
(-.f64 (log1p.f64 (pow.f64 eps 3)) (log1p.f64 (fma.f64 eps eps eps)))
(sqrt.f64 (pow.f64 (log1p.f64 eps) 2))
(log1p.f64 eps)
(log.f64 (+.f64 1 eps))
(log1p.f64 eps)
(cbrt.f64 (pow.f64 (log1p.f64 eps) 3))
(log1p.f64 eps)
(expm1.f64 (log1p.f64 (log1p.f64 eps)))
(log1p.f64 eps)
(exp.f64 (log.f64 (log1p.f64 eps)))
(log1p.f64 eps)
(exp.f64 (*.f64 (log.f64 (log1p.f64 eps)) 1))
(log1p.f64 eps)
(exp.f64 (*.f64 (*.f64 (log.f64 (log1p.f64 eps)) 1) 1))
(log1p.f64 eps)
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (log1p.f64 eps))) 3))
(log1p.f64 eps)
(exp.f64 (*.f64 (*.f64 3 (log.f64 (log1p.f64 eps))) 1/3))
(log1p.f64 eps)
(exp.f64 (*.f64 (*.f64 (log.f64 (log1p.f64 eps)) 3) 1/3))
(log1p.f64 eps)
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (log1p.f64 eps))) 2))
(log1p.f64 eps)
0

eval40.0ms (0.8%)

Compiler

Compiled 2147 to 1407 computations (34.5% saved)

prune21.0ms (0.4%)

Pruning

6 alts after pruning (4 fresh and 2 done)

PrunedKeptTotal
New1554159
Fresh000
Picked022
Done000
Total1556161
Accuracy
100.0%
Counts
161 → 6
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶97.7%
(-.f64 (neg.f64 eps) (log1p.f64 eps))
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶99.3%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
▶98.6%
(*.f64 -2 eps)
✓8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.2%
0
▶97.7%
(-.f64 (neg.f64 eps) (log1p.f64 eps))
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶99.3%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
▶98.6%
(*.f64 -2 eps)
✓8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.2%
0
Compiler

Compiled 76 to 58 computations (23.7% saved)

localize59.0ms (1.2%)

Localize:

Found 2 expressions with local error:

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

Compiled 41 to 26 computations (36.6% saved)

series2.0ms (0%)

Counts
2 → 12
Calls

6 calls:

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

rewrite77.0ms (1.5%)

Algorithm
1×batch-egg-rewrite
Rules
1260×prod-diff
924×log-prod
572×fma-def
546×pow-prod-down
470×pow-prod-up
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01128
124024
2296824
Stop Event
1×node limit
Counts
2 → 133
Calls
Call 1
Inputs
(*.f64 -2/3 (pow.f64 eps 3))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
Outputs
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1)
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(pow.f64 (*.f64 (pow.f64 eps 6) 4/9) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9) 1/3)
(pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(cbrt.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)))
(exp.f64 (*.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)) 1))
(exp.f64 (*.f64 (*.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)) 1) 1))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cbrt.f64 -2/3))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 eps (neg.f64 (log1p.f64 eps)))
(+.f64 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(+.f64 (-.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 (-.f64 eps (log1p.f64 eps)) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 -1 (log1p.f64 eps) (log1p.f64 eps)))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2)) (cbrt.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(+.f64 (neg.f64 (log1p.f64 eps)) eps)
(+.f64 0 (-.f64 eps (log1p.f64 eps)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))))
(*.f64 (-.f64 eps (log1p.f64 eps)) 1)
(*.f64 1 (-.f64 eps (log1p.f64 eps)))
(*.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))))
(*.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))))
(*.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))))
(/.f64 1 (/.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)) (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))))
(/.f64 1 (/.f64 (+.f64 eps (log1p.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps)))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))) (neg.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))) (-.f64 eps (log1p.f64 eps)))
(/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 (neg.f64 (log1p.f64 eps)) 3)) (fma.f64 eps eps (-.f64 (pow.f64 (neg.f64 (log1p.f64 eps)) 2) (*.f64 eps (neg.f64 (log1p.f64 eps))))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (neg.f64 (log1p.f64 eps)) 2)) (-.f64 eps (neg.f64 (log1p.f64 eps))))
(pow.f64 (-.f64 eps (log1p.f64 eps)) 1)
(pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 3)
(pow.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 2) 1/2)
(pow.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) 2)
(pow.f64 (/.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)) (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))) -1)
(pow.f64 (/.f64 (+.f64 eps (log1p.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))) -1)
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(sqrt.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 2))
(log.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 eps (log1p.f64 eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 eps)) (exp.f64 (neg.f64 (log1p.f64 eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 eps)) (/.f64 1 (+.f64 eps 1))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (log1p.f64 eps))) (exp.f64 eps)))
(log.f64 (*.f64 (exp.f64 (neg.f64 (log1p.f64 eps))) (+.f64 1 (expm1.f64 eps))))
(log.f64 (*.f64 (/.f64 1 (+.f64 eps 1)) (+.f64 1 (expm1.f64 eps))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 eps)) (+.f64 eps 1)))
(log.f64 (/.f64 1 (exp.f64 (+.f64 eps (log1p.f64 eps)))))
(cbrt.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 3))
(expm1.f64 (log1p.f64 (-.f64 eps (log1p.f64 eps))))
(exp.f64 (log.f64 (-.f64 eps (log1p.f64 eps))))
(exp.f64 (*.f64 (log.f64 (-.f64 eps (log1p.f64 eps))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 eps (log1p.f64 eps))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 eps (log1p.f64 eps)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps)))) 2))
(log1p.f64 (expm1.f64 (-.f64 eps (log1p.f64 eps))))
(fma.f64 eps 1 (neg.f64 (log1p.f64 eps)))
(fma.f64 eps 1 (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 eps -1 (neg.f64 (log1p.f64 eps)))
(fma.f64 eps -1 (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 1 eps (neg.f64 (log1p.f64 eps)))
(fma.f64 1 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 1 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 1 (-.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)))
(fma.f64 1 (-.f64 eps (log1p.f64 eps)) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 1 (neg.f64 (log1p.f64 eps)) eps)
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.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)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (neg.f64 (cbrt.f64 (log1p.f64 eps))) eps)
(fma.f64 (cbrt.f64 eps) (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (log1p.f64 eps)))
(fma.f64 (cbrt.f64 eps) (pow.f64 (cbrt.f64 eps) 2) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (cbrt.f64 eps)) (neg.f64 (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (cbrt.f64 eps)) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.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)))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (sqrt.f64 eps) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (sqrt.f64 eps) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (sqrt.f64 eps) (neg.f64 (sqrt.f64 eps)) (neg.f64 (log1p.f64 eps)))
(fma.f64 (sqrt.f64 eps) (neg.f64 (sqrt.f64 eps)) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (sqrt.f64 (log1p.f64 eps)) (neg.f64 (sqrt.f64 (log1p.f64 eps))) eps)
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 -1 eps (neg.f64 (log1p.f64 eps)))
(fma.f64 -1 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 -1 (log1p.f64 eps) eps)
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.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)))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (neg.f64 (log1p.f64 eps))) 2) (cbrt.f64 (neg.f64 (log1p.f64 eps))) eps)
(fma.f64 (sqrt.f64 (neg.f64 (log1p.f64 eps))) (sqrt.f64 (neg.f64 (log1p.f64 eps))) eps)
(fma.f64 (neg.f64 (sqrt.f64 (log1p.f64 eps))) (sqrt.f64 (log1p.f64 eps)) eps)
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (neg.f64 (sqrt.f64 eps)) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (neg.f64 (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2)) (cbrt.f64 (log1p.f64 eps)) eps)
(fma.f64 (*.f64 -1 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (*.f64 -1 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (*.f64 -1 (sqrt.f64 eps)) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (*.f64 -1 (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))

simplify91.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
1886×fma-def
620×times-frac
488×associate-+l+
444×distribute-lft-in
418×distribute-rgt-in
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
03082893
17412691
219702641
375612641
Stop Event
1×node limit
Counts
145 → 184
Calls
Call 1
Inputs
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -1/3 (pow.f64 eps 3)) (*.f64 1/2 (pow.f64 eps 2))))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -1/3 (pow.f64 eps 3)) (+.f64 (*.f64 1/4 (pow.f64 eps 4)) (*.f64 1/2 (pow.f64 eps 2)))))
(*.f64 -1 eps)
(+.f64 (log.f64 (/.f64 1 eps)) (*.f64 -1 eps))
(-.f64 (+.f64 (log.f64 (/.f64 1 eps)) (*.f64 -1 eps)) (/.f64 1 eps))
(-.f64 (+.f64 (log.f64 (/.f64 1 eps)) (+.f64 (*.f64 -1 eps) (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))))) (/.f64 1 eps))
(*.f64 -1 eps)
(+.f64 (*.f64 -1 eps) (*.f64 -1 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 eps))))))
(-.f64 (+.f64 (*.f64 -1 eps) (*.f64 -1 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 eps)))))) (/.f64 1 eps))
(-.f64 (+.f64 (*.f64 -1 eps) (+.f64 (*.f64 -1 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 eps))))) (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))))) (/.f64 1 eps))
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1)
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(pow.f64 (*.f64 (pow.f64 eps 6) 4/9) 1/2)
(pow.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9) 1/3)
(pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(cbrt.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9))
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(exp.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)))
(exp.f64 (*.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)) 1))
(exp.f64 (*.f64 (*.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)) 1) 1))
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cbrt.f64 -2/3))) 3))
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9)) 1/3))
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3))) 2))
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(+.f64 eps (neg.f64 (log1p.f64 eps)))
(+.f64 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(+.f64 (-.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 (-.f64 eps (log1p.f64 eps)) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 -1 (log1p.f64 eps) (log1p.f64 eps)))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2)) (cbrt.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(+.f64 (neg.f64 (log1p.f64 eps)) eps)
(+.f64 0 (-.f64 eps (log1p.f64 eps)))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))))
(*.f64 (-.f64 eps (log1p.f64 eps)) 1)
(*.f64 1 (-.f64 eps (log1p.f64 eps)))
(*.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))))
(*.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))))
(*.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))))
(/.f64 1 (/.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)) (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))))
(/.f64 1 (/.f64 (+.f64 eps (log1p.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps)))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))) (neg.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))) (-.f64 eps (log1p.f64 eps)))
(/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 (neg.f64 (log1p.f64 eps)) 3)) (fma.f64 eps eps (-.f64 (pow.f64 (neg.f64 (log1p.f64 eps)) 2) (*.f64 eps (neg.f64 (log1p.f64 eps))))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (neg.f64 (log1p.f64 eps)) 2)) (-.f64 eps (neg.f64 (log1p.f64 eps))))
(pow.f64 (-.f64 eps (log1p.f64 eps)) 1)
(pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 3)
(pow.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 2) 1/2)
(pow.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 3) 1/3)
(pow.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) 2)
(pow.f64 (/.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)) (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))) -1)
(pow.f64 (/.f64 (+.f64 eps (log1p.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))) -1)
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(sqrt.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 2))
(log.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 eps (log1p.f64 eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 eps)) (exp.f64 (neg.f64 (log1p.f64 eps)))))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 eps)) (/.f64 1 (+.f64 eps 1))))
(log.f64 (*.f64 (exp.f64 (neg.f64 (log1p.f64 eps))) (exp.f64 eps)))
(log.f64 (*.f64 (exp.f64 (neg.f64 (log1p.f64 eps))) (+.f64 1 (expm1.f64 eps))))
(log.f64 (*.f64 (/.f64 1 (+.f64 eps 1)) (+.f64 1 (expm1.f64 eps))))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 eps)) (+.f64 eps 1)))
(log.f64 (/.f64 1 (exp.f64 (+.f64 eps (log1p.f64 eps)))))
(cbrt.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 3))
(expm1.f64 (log1p.f64 (-.f64 eps (log1p.f64 eps))))
(exp.f64 (log.f64 (-.f64 eps (log1p.f64 eps))))
(exp.f64 (*.f64 (log.f64 (-.f64 eps (log1p.f64 eps))) 1))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 eps (log1p.f64 eps))) 1) 1))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps)))) 3))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 eps (log1p.f64 eps)))) 1/3))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps)))) 2))
(log1p.f64 (expm1.f64 (-.f64 eps (log1p.f64 eps))))
(fma.f64 eps 1 (neg.f64 (log1p.f64 eps)))
(fma.f64 eps 1 (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 eps -1 (neg.f64 (log1p.f64 eps)))
(fma.f64 eps -1 (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 1 eps (neg.f64 (log1p.f64 eps)))
(fma.f64 1 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 1 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 1 (-.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)))
(fma.f64 1 (-.f64 eps (log1p.f64 eps)) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 1 (neg.f64 (log1p.f64 eps)) eps)
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.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)))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (neg.f64 (cbrt.f64 (log1p.f64 eps))) eps)
(fma.f64 (cbrt.f64 eps) (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (log1p.f64 eps)))
(fma.f64 (cbrt.f64 eps) (pow.f64 (cbrt.f64 eps) 2) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (cbrt.f64 eps)) (neg.f64 (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (cbrt.f64 eps)) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.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)))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (sqrt.f64 eps) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (sqrt.f64 eps) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (sqrt.f64 eps) (neg.f64 (sqrt.f64 eps)) (neg.f64 (log1p.f64 eps)))
(fma.f64 (sqrt.f64 eps) (neg.f64 (sqrt.f64 eps)) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (sqrt.f64 (log1p.f64 eps)) (neg.f64 (sqrt.f64 (log1p.f64 eps))) eps)
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 -1 eps (neg.f64 (log1p.f64 eps)))
(fma.f64 -1 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 -1 (log1p.f64 eps) eps)
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.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)))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (pow.f64 (cbrt.f64 (neg.f64 (log1p.f64 eps))) 2) (cbrt.f64 (neg.f64 (log1p.f64 eps))) eps)
(fma.f64 (sqrt.f64 (neg.f64 (log1p.f64 eps))) (sqrt.f64 (neg.f64 (log1p.f64 eps))) eps)
(fma.f64 (neg.f64 (sqrt.f64 (log1p.f64 eps))) (sqrt.f64 (log1p.f64 eps)) eps)
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (neg.f64 (sqrt.f64 eps)) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (neg.f64 (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2)) (cbrt.f64 (log1p.f64 eps)) eps)
(fma.f64 (*.f64 -1 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (*.f64 -1 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(fma.f64 (*.f64 -1 (sqrt.f64 eps)) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(fma.f64 (*.f64 -1 (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
Outputs
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 -2 eps (*.f64 1/2 (*.f64 eps eps)))
(fma.f64 -2 eps (*.f64 (*.f64 1/2 eps) eps))
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -1/3 (pow.f64 eps 3)) (*.f64 1/2 (pow.f64 eps 2))))
(fma.f64 -2 eps (fma.f64 -1/3 (pow.f64 eps 3) (*.f64 1/2 (*.f64 eps eps))))
(fma.f64 -2 eps (fma.f64 -1/3 (pow.f64 eps 3) (*.f64 (*.f64 1/2 eps) eps)))
(fma.f64 -2 eps (*.f64 (*.f64 eps eps) (+.f64 1/2 (*.f64 eps -1/3))))
(+.f64 (*.f64 -2 eps) (+.f64 (*.f64 -1/3 (pow.f64 eps 3)) (+.f64 (*.f64 1/4 (pow.f64 eps 4)) (*.f64 1/2 (pow.f64 eps 2)))))
(fma.f64 -2 eps (fma.f64 -1/3 (pow.f64 eps 3) (fma.f64 1/4 (pow.f64 eps 4) (*.f64 1/2 (*.f64 eps eps)))))
(fma.f64 -2 eps (fma.f64 -1/3 (pow.f64 eps 3) (fma.f64 1/4 (pow.f64 eps 4) (*.f64 (*.f64 1/2 eps) eps))))
(fma.f64 -2 eps (fma.f64 1/4 (pow.f64 eps 4) (*.f64 (*.f64 eps eps) (+.f64 1/2 (*.f64 eps -1/3)))))
(*.f64 -1 eps)
(neg.f64 eps)
(+.f64 (log.f64 (/.f64 1 eps)) (*.f64 -1 eps))
(+.f64 (neg.f64 eps) (neg.f64 (log.f64 eps)))
(-.f64 (neg.f64 eps) (log.f64 eps))
(-.f64 (+.f64 (log.f64 (/.f64 1 eps)) (*.f64 -1 eps)) (/.f64 1 eps))
(+.f64 (neg.f64 (log.f64 eps)) (-.f64 (neg.f64 eps) (/.f64 1 eps)))
(+.f64 (-.f64 (neg.f64 eps) (log.f64 eps)) (/.f64 -1 eps))
(-.f64 (/.f64 -1 eps) (+.f64 eps (log.f64 eps)))
(-.f64 (+.f64 (log.f64 (/.f64 1 eps)) (+.f64 (*.f64 -1 eps) (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))))) (/.f64 1 eps))
(+.f64 (neg.f64 (log.f64 eps)) (-.f64 (fma.f64 -1 eps (/.f64 1/2 (*.f64 eps eps))) (/.f64 1 eps)))
(+.f64 (-.f64 (-.f64 (/.f64 (/.f64 1/2 eps) eps) eps) (log.f64 eps)) (/.f64 -1 eps))
(+.f64 (/.f64 1/2 (*.f64 eps eps)) (-.f64 (/.f64 -1 eps) (+.f64 eps (log.f64 eps))))
(*.f64 -1 eps)
(neg.f64 eps)
(+.f64 (*.f64 -1 eps) (*.f64 -1 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 eps))))))
(*.f64 -1 (+.f64 eps (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 eps))))))
(-.f64 (neg.f64 eps) (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 eps))))
(-.f64 (-.f64 (log.f64 (/.f64 -1 eps)) (log.f64 -1)) eps)
(-.f64 (+.f64 (*.f64 -1 eps) (*.f64 -1 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 eps)))))) (/.f64 1 eps))
(-.f64 (*.f64 -1 (+.f64 eps (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 eps)))))) (/.f64 1 eps))
(fma.f64 -1 (+.f64 eps (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 eps)))) (/.f64 -1 eps))
(-.f64 (-.f64 (log.f64 (/.f64 -1 eps)) (log.f64 -1)) (-.f64 eps (/.f64 -1 eps)))
(-.f64 (+.f64 (*.f64 -1 eps) (+.f64 (*.f64 -1 (+.f64 (log.f64 -1) (*.f64 -1 (log.f64 (/.f64 -1 eps))))) (*.f64 1/2 (/.f64 1 (pow.f64 eps 2))))) (/.f64 1 eps))
(-.f64 (fma.f64 -1 eps (fma.f64 -1 (+.f64 (log.f64 -1) (neg.f64 (log.f64 (/.f64 -1 eps)))) (/.f64 1/2 (*.f64 eps eps)))) (/.f64 1 eps))
(+.f64 (-.f64 (-.f64 (/.f64 (/.f64 1/2 eps) eps) (-.f64 (log.f64 -1) (log.f64 (/.f64 -1 eps)))) eps) (/.f64 -1 eps))
(+.f64 (/.f64 1/2 (*.f64 eps eps)) (-.f64 (-.f64 (log.f64 (/.f64 -1 eps)) (log.f64 -1)) (-.f64 eps (/.f64 -1 eps))))
(+.f64 0 (*.f64 -2/3 (pow.f64 eps 3)))
(*.f64 (pow.f64 eps 3) -2/3)
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3))) 2)) (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(*.f64 3 (log.f64 (cbrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(+.f64 (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))) (log.f64 (sqrt.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))))
(*.f64 (pow.f64 eps 3) -2/3)
(-.f64 (exp.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3)))) 1)
(*.f64 (pow.f64 eps 3) -2/3)
(pow.f64 (*.f64 -2/3 (pow.f64 eps 3)) 1)
(*.f64 (pow.f64 eps 3) -2/3)
(pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 3)
(*.f64 (pow.f64 eps 3) -2/3)
(pow.f64 (*.f64 (pow.f64 eps 6) 4/9) 1/2)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(pow.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9) 1/3)
(*.f64 (pow.f64 eps 3) -2/3)
(pow.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3)) 2)
(*.f64 (pow.f64 eps 3) -2/3)
(sqrt.f64 (*.f64 (pow.f64 eps 6) 4/9))
(log.f64 (pow.f64 (exp.f64 -2/3) (pow.f64 eps 3)))
(*.f64 (pow.f64 eps 3) -2/3)
(log.f64 (+.f64 1 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3)))))
(*.f64 (pow.f64 eps 3) -2/3)
(cbrt.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9))
(*.f64 (pow.f64 eps 3) -2/3)
(expm1.f64 (log1p.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 (pow.f64 eps 3) -2/3)
(exp.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)))
(*.f64 (pow.f64 eps 3) -2/3)
(exp.f64 (*.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)) 1))
(*.f64 (pow.f64 eps 3) -2/3)
(exp.f64 (*.f64 (*.f64 (fma.f64 3 (log.f64 eps) (log.f64 -2/3)) 1) 1))
(*.f64 (pow.f64 eps 3) -2/3)
(exp.f64 (*.f64 (log.f64 (*.f64 eps (cbrt.f64 -2/3))) 3))
(*.f64 (pow.f64 eps 3) -2/3)
(exp.f64 (*.f64 (log.f64 (pow.f64 (*.f64 eps (cbrt.f64 -2/3)) 9)) 1/3))
(*.f64 (pow.f64 eps 3) -2/3)
(exp.f64 (*.f64 (log.f64 (*.f64 (pow.f64 eps 3/2) (sqrt.f64 -2/3))) 2))
(*.f64 (pow.f64 eps 3) -2/3)
(log1p.f64 (expm1.f64 (*.f64 -2/3 (pow.f64 eps 3))))
(*.f64 (pow.f64 eps 3) -2/3)
(+.f64 eps (neg.f64 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(+.f64 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(-.f64 eps (log1p.f64 eps))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(+.f64 (-.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 eps (log1p.f64 eps))
(+.f64 (-.f64 eps (log1p.f64 eps)) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 -1 (log1p.f64 eps) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(+.f64 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2)) (cbrt.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(+.f64 (neg.f64 (log1p.f64 eps)) eps)
(-.f64 eps (log1p.f64 eps))
(+.f64 0 (-.f64 eps (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(+.f64 (log.f64 (pow.f64 (cbrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps)))) 2)) (log.f64 (cbrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))))
(*.f64 3 (log.f64 (cbrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))))
(+.f64 (log.f64 (sqrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))) (log.f64 (sqrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))))
(*.f64 2 (log.f64 (sqrt.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))))
(*.f64 (-.f64 eps (log1p.f64 eps)) 1)
(-.f64 eps (log1p.f64 eps))
(*.f64 1 (-.f64 eps (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(*.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2))
(-.f64 eps (log1p.f64 eps))
(*.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(*.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps)))
(*.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(/.f64 1 (/.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)) (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(/.f64 1 (/.f64 (+.f64 eps (log1p.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps)))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))))
(/.f64 (neg.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))) (neg.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(/.f64 (neg.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))) (-.f64 eps (log1p.f64 eps)))
(neg.f64 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (-.f64 eps (log1p.f64 eps))))
(/.f64 (+.f64 (neg.f64 (*.f64 eps eps)) (pow.f64 (log1p.f64 eps) 2)) (-.f64 eps (log1p.f64 eps)))
(/.f64 (-.f64 (pow.f64 (log1p.f64 eps) 2) (*.f64 eps eps)) (-.f64 eps (log1p.f64 eps)))
(/.f64 (+.f64 (pow.f64 eps 3) (pow.f64 (neg.f64 (log1p.f64 eps)) 3)) (fma.f64 eps eps (-.f64 (pow.f64 (neg.f64 (log1p.f64 eps)) 2) (*.f64 eps (neg.f64 (log1p.f64 eps))))))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (neg.f64 (log1p.f64 eps)) 2)) (-.f64 eps (neg.f64 (log1p.f64 eps))))
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps)))
(pow.f64 (-.f64 eps (log1p.f64 eps)) 1)
(-.f64 eps (log1p.f64 eps))
(pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 3)
(-.f64 eps (log1p.f64 eps))
(pow.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 2) 1/2)
(-.f64 eps (log1p.f64 eps))
(pow.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 3) 1/3)
(-.f64 eps (log1p.f64 eps))
(pow.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) 2)
(-.f64 eps (log1p.f64 eps))
(pow.f64 (/.f64 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)) (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3))) -1)
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(pow.f64 (/.f64 (+.f64 eps (log1p.f64 eps)) (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2))) -1)
(*.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))))
(/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(sqrt.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 2))
(-.f64 eps (log1p.f64 eps))
(log.f64 (exp.f64 (-.f64 eps (log1p.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(log.f64 (+.f64 1 (expm1.f64 (-.f64 eps (log1p.f64 eps)))))
(-.f64 eps (log1p.f64 eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 eps)) (exp.f64 (neg.f64 (log1p.f64 eps)))))
(-.f64 eps (log1p.f64 eps))
(log.f64 (*.f64 (+.f64 1 (expm1.f64 eps)) (/.f64 1 (+.f64 eps 1))))
(-.f64 eps (log1p.f64 eps))
(log.f64 (*.f64 (exp.f64 (neg.f64 (log1p.f64 eps))) (exp.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(log.f64 (*.f64 (exp.f64 (neg.f64 (log1p.f64 eps))) (+.f64 1 (expm1.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(log.f64 (*.f64 (/.f64 1 (+.f64 eps 1)) (+.f64 1 (expm1.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(log.f64 (/.f64 (+.f64 1 (expm1.f64 eps)) (+.f64 eps 1)))
(-.f64 eps (log1p.f64 eps))
(log.f64 (/.f64 1 (exp.f64 (+.f64 eps (log1p.f64 eps)))))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(cbrt.f64 (pow.f64 (-.f64 eps (log1p.f64 eps)) 3))
(-.f64 eps (log1p.f64 eps))
(expm1.f64 (log1p.f64 (-.f64 eps (log1p.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(exp.f64 (log.f64 (-.f64 eps (log1p.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(exp.f64 (*.f64 (log.f64 (-.f64 eps (log1p.f64 eps))) 1))
(-.f64 eps (log1p.f64 eps))
(exp.f64 (*.f64 (*.f64 (log.f64 (-.f64 eps (log1p.f64 eps))) 1) 1))
(-.f64 eps (log1p.f64 eps))
(exp.f64 (*.f64 (log.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps)))) 3))
(-.f64 eps (log1p.f64 eps))
(exp.f64 (*.f64 (*.f64 3 (log.f64 (-.f64 eps (log1p.f64 eps)))) 1/3))
(-.f64 eps (log1p.f64 eps))
(exp.f64 (*.f64 (log.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps)))) 2))
(-.f64 eps (log1p.f64 eps))
(log1p.f64 (expm1.f64 (-.f64 eps (log1p.f64 eps))))
(-.f64 eps (log1p.f64 eps))
(fma.f64 eps 1 (neg.f64 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 eps 1 (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(-.f64 eps (log1p.f64 eps))
(fma.f64 eps -1 (neg.f64 (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 eps -1 (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (-.f64 eps (log1p.f64 eps)) 1 (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 1 eps (neg.f64 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 1 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(-.f64 eps (log1p.f64 eps))
(fma.f64 1 (-.f64 eps (log1p.f64 eps)) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 1 (-.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 eps (log1p.f64 eps))
(fma.f64 1 (-.f64 eps (log1p.f64 eps)) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 1 (neg.f64 (log1p.f64 eps)) eps)
(-.f64 eps (log1p.f64 eps))
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.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 eps (log1p.f64 eps))
(fma.f64 (pow.f64 (cbrt.f64 (-.f64 eps (log1p.f64 eps))) 2) (cbrt.f64 (-.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (neg.f64 (cbrt.f64 (log1p.f64 eps))) eps)
(-.f64 eps (log1p.f64 eps))
(fma.f64 (cbrt.f64 eps) (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (cbrt.f64 eps) (pow.f64 (cbrt.f64 eps) 2) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (cbrt.f64 eps)) (neg.f64 (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (pow.f64 (cbrt.f64 eps) 2) (neg.f64 (cbrt.f64 eps)) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.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 eps (log1p.f64 eps))
(fma.f64 (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (sqrt.f64 (-.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (sqrt.f64 eps) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (sqrt.f64 eps) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (sqrt.f64 eps) (neg.f64 (sqrt.f64 eps)) (neg.f64 (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (sqrt.f64 eps) (neg.f64 (sqrt.f64 eps)) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (sqrt.f64 (log1p.f64 eps)) (neg.f64 (sqrt.f64 (log1p.f64 eps))) eps)
(-.f64 eps (log1p.f64 eps))
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(fma.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(*.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (/.f64 1 (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps))))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)) (*.f64 eps eps)))
(/.f64 (-.f64 (pow.f64 eps 3) (pow.f64 (log1p.f64 eps) 3)) (fma.f64 eps eps (*.f64 (log1p.f64 eps) (+.f64 eps (log1p.f64 eps)))))
(fma.f64 -1 eps (neg.f64 (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 -1 eps (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 -1 (log1p.f64 eps) eps)
(-.f64 eps (log1p.f64 eps))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (fma.f64 -1 (log1p.f64 eps) (log1p.f64 eps)))
(+.f64 (*.f64 0 (log1p.f64 eps)) (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps))))
(+.f64 0 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps))))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.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)))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (fma.f64 -1 (log1p.f64 eps) (log1p.f64 eps)))
(+.f64 (*.f64 0 (log1p.f64 eps)) (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps))))
(+.f64 0 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps))))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(fma.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (/.f64 1 (+.f64 eps (log1p.f64 eps))) (fma.f64 -1 (log1p.f64 eps) (log1p.f64 eps)))
(+.f64 (*.f64 0 (log1p.f64 eps)) (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps))))
(+.f64 0 (/.f64 (-.f64 (*.f64 eps eps) (pow.f64 (log1p.f64 eps) 2)) (+.f64 eps (log1p.f64 eps))))
(fma.f64 (pow.f64 (cbrt.f64 (neg.f64 (log1p.f64 eps))) 2) (cbrt.f64 (neg.f64 (log1p.f64 eps))) eps)
(-.f64 eps (log1p.f64 eps))
(fma.f64 (sqrt.f64 (neg.f64 (log1p.f64 eps))) (sqrt.f64 (neg.f64 (log1p.f64 eps))) eps)
(-.f64 eps (log1p.f64 eps))
(fma.f64 (neg.f64 (sqrt.f64 (log1p.f64 eps))) (sqrt.f64 (log1p.f64 eps)) eps)
(-.f64 eps (log1p.f64 eps))
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (fma.f64 (neg.f64 (log1p.f64 eps)) 1 (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (fma.f64 (neg.f64 (cbrt.f64 (log1p.f64 eps))) (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (+.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (-.f64 (sqrt.f64 eps) (sqrt.f64 (log1p.f64 eps))) (+.f64 (neg.f64 (log1p.f64 eps)) (log1p.f64 eps)))
(-.f64 eps (log1p.f64 eps))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (neg.f64 (sqrt.f64 eps)) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (neg.f64 (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (log1p.f64 eps)) 2)) (cbrt.f64 (log1p.f64 eps)) eps)
(-.f64 eps (log1p.f64 eps))
(fma.f64 (*.f64 -1 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (*.f64 -1 (pow.f64 (cbrt.f64 eps) 2)) (cbrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (*.f64 -1 (sqrt.f64 eps)) (sqrt.f64 eps) (neg.f64 (log1p.f64 eps)))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))
(fma.f64 (*.f64 -1 (sqrt.f64 eps)) (sqrt.f64 eps) (*.f64 (neg.f64 (log1p.f64 eps)) 1))
(neg.f64 (+.f64 eps (log1p.f64 eps)))
(-.f64 (neg.f64 eps) (log1p.f64 eps))

eval42.0ms (0.8%)

Compiler

Compiled 2339 to 1090 computations (53.4% saved)

prune32.0ms (0.6%)

Pruning

8 alts after pruning (3 fresh and 5 done)

PrunedKeptTotal
New1822184
Fresh011
Picked033
Done022
Total1828190
Accuracy
100.0%
Counts
190 → 8
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.7%
(-.f64 (neg.f64 eps) (log1p.f64 eps))
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓99.3%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
▶97.7%
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
✓98.6%
(*.f64 -2 eps)
▶18.8%
(neg.f64 eps)
✓8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.2%
0
✓97.7%
(-.f64 (neg.f64 eps) (log1p.f64 eps))
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓99.3%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
▶97.7%
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
✓98.6%
(*.f64 -2 eps)
▶18.8%
(neg.f64 eps)
✓8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.2%
0
Compiler

Compiled 98 to 74 computations (24.5% saved)

localize30.0ms (0.6%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓100.0%
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
Compiler

Compiled 23 to 16 computations (30.4% saved)

series1.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
eps
@inf
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
0.0ms
eps
@0
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
0.0ms
eps
@-inf
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))

rewrite58.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
1822×pow1
1698×add-exp-log
1698×log1p-expm1-u
1698×expm1-log1p-u
1670×add-log-exp
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0815
118015
2230415
Stop Event
1×node limit
Counts
1 → 24
Calls
Call 1
Inputs
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
Outputs
(+.f64 (*.f64 eps -2) (*.f64 1/2 (*.f64 eps eps)))
(+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2))
(+.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) 1) (*.f64 (*.f64 eps -2) 1))
(-.f64 (+.f64 1 (*.f64 eps (fma.f64 eps 1/2 -2))) 1)
(/.f64 (+.f64 (pow.f64 (*.f64 1/2 (*.f64 eps eps)) 3) (pow.f64 (*.f64 eps -2) 3)) (+.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/2 (*.f64 eps eps))) (-.f64 (*.f64 (*.f64 eps -2) (*.f64 eps -2)) (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2)))))
(/.f64 (-.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/2 (*.f64 eps eps))) (*.f64 (*.f64 eps -2) (*.f64 eps -2))) (-.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2)))
(/.f64 (*.f64 eps (+.f64 (*.f64 (pow.f64 eps 3) 1/8) -8)) (+.f64 (*.f64 (*.f64 eps eps) 1/4) (-.f64 4 (*.f64 eps -1))))
(/.f64 (*.f64 eps (+.f64 (*.f64 (*.f64 eps eps) 1/4) -4)) (fma.f64 eps 1/2 2))
(/.f64 (*.f64 (+.f64 (*.f64 (pow.f64 eps 3) 1/8) -8) eps) (+.f64 (*.f64 (*.f64 eps eps) 1/4) (-.f64 4 (*.f64 eps -1))))
(/.f64 (*.f64 (+.f64 (*.f64 (*.f64 eps eps) 1/4) -4) eps) (fma.f64 eps 1/2 2))
(pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 eps 1/2 -2))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 eps 1/2 -2))) 2)
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 eps 1/2 -2)))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 3))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (fma.f64 eps 1/2 -2) 3)))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 eps 1/2 -2) 3) (pow.f64 eps 3)))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(fma.f64 eps (*.f64 eps 1/2) (*.f64 eps -2))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 eps -2))

simplify52.0ms (1%)

Algorithm
1×egg-herbie
Rules
1220×associate-/r*
572×fma-def
494×fma-neg
392×log-prod
386×div-sub
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
089906
1259708
2916694
33128690
Stop Event
1×node limit
Counts
36 → 42
Calls
Call 1
Inputs
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(*.f64 1/2 (pow.f64 eps 2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(*.f64 1/2 (pow.f64 eps 2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(+.f64 (*.f64 eps -2) (*.f64 1/2 (*.f64 eps eps)))
(+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2))
(+.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) 1) (*.f64 (*.f64 eps -2) 1))
(-.f64 (+.f64 1 (*.f64 eps (fma.f64 eps 1/2 -2))) 1)
(/.f64 (+.f64 (pow.f64 (*.f64 1/2 (*.f64 eps eps)) 3) (pow.f64 (*.f64 eps -2) 3)) (+.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/2 (*.f64 eps eps))) (-.f64 (*.f64 (*.f64 eps -2) (*.f64 eps -2)) (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2)))))
(/.f64 (-.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/2 (*.f64 eps eps))) (*.f64 (*.f64 eps -2) (*.f64 eps -2))) (-.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2)))
(/.f64 (*.f64 eps (+.f64 (*.f64 (pow.f64 eps 3) 1/8) -8)) (+.f64 (*.f64 (*.f64 eps eps) 1/4) (-.f64 4 (*.f64 eps -1))))
(/.f64 (*.f64 eps (+.f64 (*.f64 (*.f64 eps eps) 1/4) -4)) (fma.f64 eps 1/2 2))
(/.f64 (*.f64 (+.f64 (*.f64 (pow.f64 eps 3) 1/8) -8) eps) (+.f64 (*.f64 (*.f64 eps eps) 1/4) (-.f64 4 (*.f64 eps -1))))
(/.f64 (*.f64 (+.f64 (*.f64 (*.f64 eps eps) 1/4) -4) eps) (fma.f64 eps 1/2 2))
(pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 1)
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 eps 1/2 -2))) 3)
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 3) 1/3)
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 eps 1/2 -2))) 2)
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 eps 1/2 -2)))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 3))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (fma.f64 eps 1/2 -2) 3)))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 eps 1/2 -2) 3) (pow.f64 eps 3)))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(fma.f64 eps (*.f64 eps 1/2) (*.f64 eps -2))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 eps -2))
Outputs
(*.f64 -2 eps)
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 eps (*.f64 eps 1/2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 eps (*.f64 eps 1/2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 -2 eps) (*.f64 1/2 (pow.f64 eps 2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 eps -2) (*.f64 1/2 (*.f64 eps eps)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(+.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) 1) (*.f64 (*.f64 eps -2) 1))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(-.f64 (+.f64 1 (*.f64 eps (fma.f64 eps 1/2 -2))) 1)
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(/.f64 (+.f64 (pow.f64 (*.f64 1/2 (*.f64 eps eps)) 3) (pow.f64 (*.f64 eps -2) 3)) (+.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/2 (*.f64 eps eps))) (-.f64 (*.f64 (*.f64 eps -2) (*.f64 eps -2)) (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2)))))
(/.f64 (+.f64 (*.f64 1/8 (pow.f64 (*.f64 eps eps) 3)) (pow.f64 (*.f64 -2 eps) 3)) (+.f64 (*.f64 1/4 (*.f64 (*.f64 eps eps) (*.f64 eps eps))) (*.f64 (*.f64 -2 eps) (-.f64 (*.f64 -2 eps) (*.f64 1/2 (*.f64 eps eps))))))
(/.f64 (fma.f64 1/8 (pow.f64 (*.f64 eps eps) 3) (pow.f64 (*.f64 -2 eps) 3)) (fma.f64 (*.f64 -2 eps) (*.f64 eps (-.f64 -2 (*.f64 eps 1/2))) (*.f64 1/4 (pow.f64 eps 4))))
(/.f64 (fma.f64 1/8 (pow.f64 eps 6) (pow.f64 (*.f64 -2 eps) 3)) (fma.f64 -2 (*.f64 (*.f64 eps eps) (+.f64 -2 (*.f64 eps -1/2))) (*.f64 1/4 (pow.f64 eps 4))))
(/.f64 (fma.f64 (pow.f64 eps 3) -8 (*.f64 1/8 (pow.f64 eps 6))) (fma.f64 eps (*.f64 eps 4) (*.f64 (*.f64 1/2 (pow.f64 eps 3)) (fma.f64 eps 1/2 2))))
(/.f64 (-.f64 (*.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 1/2 (*.f64 eps eps))) (*.f64 (*.f64 eps -2) (*.f64 eps -2))) (-.f64 (*.f64 1/2 (*.f64 eps eps)) (*.f64 eps -2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(/.f64 (*.f64 eps (+.f64 (*.f64 (pow.f64 eps 3) 1/8) -8)) (+.f64 (*.f64 (*.f64 eps eps) 1/4) (-.f64 4 (*.f64 eps -1))))
(/.f64 eps (/.f64 (fma.f64 (*.f64 eps eps) 1/4 (-.f64 4 (*.f64 eps -1))) (fma.f64 (pow.f64 eps 3) 1/8 -8)))
(/.f64 eps (/.f64 (-.f64 (fma.f64 (*.f64 eps eps) 1/4 4) (neg.f64 eps)) (fma.f64 (pow.f64 eps 3) 1/8 -8)))
(/.f64 (fma.f64 eps -8 (*.f64 1/8 (pow.f64 eps 4))) (fma.f64 eps (*.f64 eps 1/4) (+.f64 eps 4)))
(*.f64 eps (/.f64 (fma.f64 (pow.f64 eps 3) 1/8 -8) (+.f64 eps (fma.f64 eps (*.f64 eps 1/4) 4))))
(/.f64 (*.f64 eps (+.f64 (*.f64 (*.f64 eps eps) 1/4) -4)) (fma.f64 eps 1/2 2))
(/.f64 (fma.f64 (*.f64 eps eps) 1/4 -4) (/.f64 (fma.f64 eps 1/2 2) eps))
(*.f64 (/.f64 eps (fma.f64 eps 1/2 2)) (fma.f64 eps (*.f64 eps 1/4) -4))
(*.f64 (fma.f64 eps (*.f64 eps 1/4) -4) (/.f64 eps (fma.f64 eps 1/2 2)))
(/.f64 (*.f64 (+.f64 (*.f64 (pow.f64 eps 3) 1/8) -8) eps) (+.f64 (*.f64 (*.f64 eps eps) 1/4) (-.f64 4 (*.f64 eps -1))))
(/.f64 eps (/.f64 (fma.f64 (*.f64 eps eps) 1/4 (-.f64 4 (*.f64 eps -1))) (fma.f64 (pow.f64 eps 3) 1/8 -8)))
(/.f64 eps (/.f64 (-.f64 (fma.f64 (*.f64 eps eps) 1/4 4) (neg.f64 eps)) (fma.f64 (pow.f64 eps 3) 1/8 -8)))
(/.f64 (fma.f64 eps -8 (*.f64 1/8 (pow.f64 eps 4))) (fma.f64 eps (*.f64 eps 1/4) (+.f64 eps 4)))
(*.f64 eps (/.f64 (fma.f64 (pow.f64 eps 3) 1/8 -8) (+.f64 eps (fma.f64 eps (*.f64 eps 1/4) 4))))
(/.f64 (*.f64 (+.f64 (*.f64 (*.f64 eps eps) 1/4) -4) eps) (fma.f64 eps 1/2 2))
(/.f64 (fma.f64 (*.f64 eps eps) 1/4 -4) (/.f64 (fma.f64 eps 1/2 2) eps))
(*.f64 (/.f64 eps (fma.f64 eps 1/2 2)) (fma.f64 eps (*.f64 eps 1/4) -4))
(*.f64 (fma.f64 eps (*.f64 eps 1/4) -4) (/.f64 eps (fma.f64 eps 1/2 2)))
(pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 1)
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(pow.f64 (cbrt.f64 (*.f64 eps (fma.f64 eps 1/2 -2))) 3)
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(pow.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 3) 1/3)
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(pow.f64 (sqrt.f64 (*.f64 eps (fma.f64 eps 1/2 -2))) 2)
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(sqrt.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 2))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(log.f64 (pow.f64 (exp.f64 eps) (fma.f64 eps 1/2 -2)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(cbrt.f64 (pow.f64 (*.f64 eps (fma.f64 eps 1/2 -2)) 3))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(cbrt.f64 (*.f64 (pow.f64 eps 3) (pow.f64 (fma.f64 eps 1/2 -2) 3)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(cbrt.f64 (*.f64 (pow.f64 (fma.f64 eps 1/2 -2) 3) (pow.f64 eps 3)))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(expm1.f64 (log1p.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(exp.f64 (log.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(log1p.f64 (expm1.f64 (*.f64 eps (fma.f64 eps 1/2 -2))))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(fma.f64 eps (*.f64 eps 1/2) (*.f64 eps -2))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 eps -2))
(fma.f64 (*.f64 eps 1/2) eps (*.f64 -2 eps))
(*.f64 eps (fma.f64 eps 1/2 -2))

eval12.0ms (0.2%)

Compiler

Compiled 578 to 400 computations (30.8% saved)

prune10.0ms (0.2%)

Pruning

9 alts after pruning (2 fresh and 7 done)

PrunedKeptTotal
New41142
Fresh011
Picked022
Done055
Total41950
Accuracy
100.0%
Counts
50 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.7%
(-.f64 (neg.f64 eps) (log1p.f64 eps))
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶97.7%
(+.f64 (*.f64 eps -2) (*.f64 1/2 (*.f64 eps eps)))
✓99.3%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
✓97.7%
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
✓98.6%
(*.f64 -2 eps)
✓18.8%
(neg.f64 eps)
✓8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.2%
0
✓97.7%
(-.f64 (neg.f64 eps) (log1p.f64 eps))
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
▶97.7%
(+.f64 (*.f64 eps -2) (*.f64 1/2 (*.f64 eps eps)))
✓99.3%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
✓97.7%
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
✓98.6%
(*.f64 -2 eps)
✓18.8%
(neg.f64 eps)
✓8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.2%
0
Compiler

Compiled 118 to 88 computations (25.4% saved)

localize28.0ms (0.6%)

Localize:

Found 1 expressions with local error:

NewAccuracyProgram
✓100.0%
(*.f64 1/2 (*.f64 eps eps))
Compiler

Compiled 25 to 14 computations (44% saved)

series1.0ms (0%)

Counts
1 → 12
Calls

3 calls:

TimeVariablePointExpression
0.0ms
eps
@0
(*.f64 1/2 (*.f64 eps eps))
0.0ms
eps
@inf
(*.f64 1/2 (*.f64 eps eps))
0.0ms
eps
@-inf
(*.f64 1/2 (*.f64 eps eps))

rewrite54.0ms (1.1%)

Algorithm
1×batch-egg-rewrite
Rules
1058×pow1
1024×add-sqr-sqrt
976×add-exp-log
976×log1p-expm1-u
976×expm1-log1p-u
Iterations

Useful iterations: 0 (0.0ms)

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

simplify57.0ms (1.1%)

Algorithm
1×egg-herbie
Rules
2120×log-prod
1106×distribute-rgt-in
1092×distribute-lft-in
768×associate-*r*
688×associate-*l*
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
038299
190299
2319299
32131299
47005299
Stop Event
1×node limit
Counts
23 → 13
Calls
Call 1
Inputs
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (pow.f64 eps 2))
(-.f64 (+.f64 1 (*.f64 1/2 (*.f64 eps eps))) 1)
(pow.f64 (*.f64 1/2 (*.f64 eps eps)) 1)
(pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 eps eps))) 3)
(pow.f64 (pow.f64 (*.f64 1/2 (*.f64 eps eps)) 3) 1/3)
(pow.f64 (*.f64 eps (sqrt.f64 1/2)) 2)
(sqrt.f64 (*.f64 1/4 (pow.f64 eps 4)))
(log.f64 (pow.f64 (exp.f64 1/2) (*.f64 eps eps)))
(cbrt.f64 (pow.f64 (*.f64 1/2 (*.f64 eps eps)) 3))
(expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 eps eps))))
(exp.f64 (log.f64 (*.f64 1/2 (*.f64 eps eps))))
(log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 eps eps))))
Outputs
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(*.f64 1/2 (pow.f64 eps 2))
(*.f64 1/2 (*.f64 eps eps))
(-.f64 (+.f64 1 (*.f64 1/2 (*.f64 eps eps))) 1)
(*.f64 1/2 (*.f64 eps eps))
(pow.f64 (*.f64 1/2 (*.f64 eps eps)) 1)
(*.f64 1/2 (*.f64 eps eps))
(pow.f64 (cbrt.f64 (*.f64 1/2 (*.f64 eps eps))) 3)
(*.f64 1/2 (*.f64 eps eps))
(pow.f64 (pow.f64 (*.f64 1/2 (*.f64 eps eps)) 3) 1/3)
(*.f64 1/2 (*.f64 eps eps))
(pow.f64 (*.f64 eps (sqrt.f64 1/2)) 2)
(*.f64 1/2 (*.f64 eps eps))
(sqrt.f64 (*.f64 1/4 (pow.f64 eps 4)))
(*.f64 1/2 (*.f64 eps eps))
(log.f64 (pow.f64 (exp.f64 1/2) (*.f64 eps eps)))
(*.f64 1/2 (*.f64 eps eps))
(cbrt.f64 (pow.f64 (*.f64 1/2 (*.f64 eps eps)) 3))
(*.f64 1/2 (*.f64 eps eps))
(expm1.f64 (log1p.f64 (*.f64 1/2 (*.f64 eps eps))))
(*.f64 1/2 (*.f64 eps eps))
(exp.f64 (log.f64 (*.f64 1/2 (*.f64 eps eps))))
(*.f64 1/2 (*.f64 eps eps))
(log1p.f64 (expm1.f64 (*.f64 1/2 (*.f64 eps eps))))
(*.f64 1/2 (*.f64 eps eps))

eval3.0ms (0.1%)

Compiler

Compiled 144 to 99 computations (31.3% saved)

prune8.0ms (0.2%)

Pruning

9 alts after pruning (1 fresh and 8 done)

PrunedKeptTotal
New13013
Fresh011
Picked011
Done077
Total13922
Accuracy
100.0%
Counts
22 → 9
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓97.7%
(-.f64 (neg.f64 eps) (log1p.f64 eps))
✓100.0%
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
✓97.7%
(+.f64 (*.f64 eps -2) (*.f64 1/2 (*.f64 eps eps)))
✓99.3%
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
✓97.7%
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
✓98.6%
(*.f64 -2 eps)
✓18.8%
(neg.f64 eps)
✓8.8%
(log.f64 (/.f64 (-.f64 1 eps) (+.f64 1 eps)))
5.2%
0
Compiler

Compiled 110 to 77 computations (30% saved)

regimes14.0ms (0.3%)

Counts
9 → 1
Calls
Call 1
Inputs
0
(neg.f64 eps)
(*.f64 -2 eps)
(*.f64 eps (+.f64 (*.f64 eps 1/2) -2))
(+.f64 (*.f64 eps -2) (*.f64 1/2 (*.f64 eps eps)))
(-.f64 (neg.f64 eps) (log1p.f64 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 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
Calls

3 calls:

6.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 70 to 47 computations (32.9% saved)

regimes12.0ms (0.2%)

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

3 calls:

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

Compiled 64 to 45 computations (29.7% saved)

regimes12.0ms (0.2%)

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

3 calls:

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

Compiled 55 to 38 computations (30.9% saved)

regimes4.0ms (0.1%)

Counts
2 → 1
Calls
Call 1
Inputs
0
(neg.f64 eps)
Outputs
(neg.f64 eps)
Calls

1 calls:

3.0ms
eps
Results
AccuracySegmentsBranch
18.8%1eps
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes3.0ms (0.1%)

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
0
Outputs
0
Calls

1 calls:

3.0ms
eps
Results
AccuracySegmentsBranch
5.2%1eps
Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm
1×egg-herbie
Rules
8×+-commutative
8×*-commutative
6×sub-neg
4×neg-mul-1
4×neg-sub0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01657
12457
22957
33257
43357
Stop Event
1×fuel
1×saturated
Calls
Call 1
Inputs
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2 eps)
(neg.f64 eps)
0
Outputs
(-.f64 (log1p.f64 (neg.f64 eps)) (log1p.f64 eps))
(+.f64 (*.f64 -2 eps) (*.f64 -2/3 (pow.f64 eps 3)))
(+.f64 (*.f64 eps -2) (*.f64 -2/3 (pow.f64 eps 3)))
(*.f64 -2 eps)
(*.f64 eps -2)
(neg.f64 eps)
0
Compiler

Compiled 26 to 20 computations (23.1% saved)

soundness961.0ms (19.1%)

Rules
8722×fma-def
1886×fma-def
1534×prod-diff
1220×unsub-neg
1030×fma-neg
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01473
13757
27057
314857
437757
598457
6186157
7253257
8352357
9476657
10532257
11548357
12565857
13610757
14700457
15707257
16710457
17712457
18721657
19735757
20747757
21747757
01366
127954
238058
02082117
15231985
220611967
03082893
17412691
219702641
375612641
Stop Event
1×node limit
1×node limit
1×node limit
1×node limit
Compiler

Compiled 199 to 147 computations (26.1% saved)

end0.0ms (0%)

preprocess49.0ms (1%)

Compiler

Compiled 94 to 70 computations (25.5% saved)

Profiling

Loading profile data...