Details

Time bar (total: 2.5min)

analyze1.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
100%0%0%1
Compiler

Compiled 66 to 53 computations (19.7% saved)

sample1.8s (1.2%)

Results
1.8s8256×body128valid
Compiler

Compiled 197 to 158 computations (19.8% saved)

simplify54.0ms (0%)

Algorithm
1×egg-herbie
Rules
660×fma-neg_binary64
578×times-frac_binary64
564×cancel-sign-sub-inv_binary64
389×fma-def_binary64
380×distribute-rgt-in_binary64
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02793
19169
227069
382569
4284069
5483969
6507469

prune7.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
14.8b
Counts
3 → 2
Alt Table
StatusErrorProgram
14.8b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 31853699/125000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -8890523/31250000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 1421413741/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (+.f64 -1453152027/1000000000 (*.f64 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) 1061405429/1000000000))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
▶14.8b
(-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
Compiler

Compiled 335 to 262 computations (21.8% saved)

localize21.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))
✓0.5b
(+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
✓0.9b
(+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
✓14.8b
(-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))

series1.6s (1.1%)

Counts
4 → 48
Calls

4 calls:

1.5s
(-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
68.0ms
(+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
18.0ms
(/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))
18.0ms
(+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)))

rewrite55.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
46×*-un-lft-identity_binary64
34×add-sqr-sqrt_binary64
31×add-cube-cbrt_binary64
25×times-frac_binary64
24×prod-diff_binary64
Counts
4 → 114
Calls

4 calls:

25.0ms
(-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
12.0ms
(+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
4.0ms
(+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
2.0ms
(/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))

simplify268.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
697×associate-/l*_binary64
445×times-frac_binary64
269×+-commutative_binary64
252×fma-def_binary64
247×associate-+r+_binary64
Counts
162 → 167
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
099718067
1299615215
2525715215

prune636.0ms (0.4%)

Pruning

5 alts after pruning (5 fresh and 0 done)

PrunedKeptTotal
New1625167
Fresh101
Picked101
Done000
Total1645169
Error
14.8b
Counts
169 → 5
Alt Table
StatusErrorProgram
▶14.8b
(/.f64 (-.f64 1 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
14.8b
(+.f64 (fma.f64 1 1 (neg.f64 (*.f64 (/.f64 1 (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))))) (fma.f64 (neg.f64 (/.f64 1 (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))) (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (/.f64 1 (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))))))
16.9b
(-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))))) (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
15.7b
(log.f64 (exp.f64 (-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))))
14.9b
(-.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (+.f64 -1453152027/1000000000 (*.f64 (/.f64 (sqrt.f64 1061405429/1000000000) (sqrt.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (/.f64 (sqrt.f64 1061405429/1000000000) (sqrt.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1))))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))))
Compiler

Compiled 23706 to 17240 computations (27.3% saved)

localize27.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
✓0.5b
(pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)
✓0.9b
(-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000)
✓14.3b
(-.f64 1 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))

series1.0min (41.6%)

Counts
4 → 48
Calls

4 calls:

1.0min
(-.f64 1 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))
791.0ms
(pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)
118.0ms
(+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
25.0ms
(-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000)

rewrite399.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
125×*-un-lft-identity_binary64
110×add-sqr-sqrt_binary64
105×prod-diff_binary64
95×add-cube-cbrt_binary64
77×times-frac_binary64
Counts
4 → 242
Calls

4 calls:

40.0ms
(pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)
39.0ms
(-.f64 1 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))
10.0ms
(+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
6.0ms
(-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000)

simplify1.4s (0.9%)

Algorithm
1×egg-herbie
Counts
290 → 241
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0580399271

prune7.8s (5.2%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New4736479
Fresh404
Picked101
Done000
Total4786484
Error
13.8b
Counts
484 → 6
Alt Table
StatusErrorProgram
▶13.9b
(/.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
16.1b
(/.f64 (-.f64 1 (/.f64 (pow.f64 (-.f64 (+.f64 31853699/125000000 (+.f64 (*.f64 1061405429/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 4))) (*.f64 1421413741/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 2))))) (+.f64 (*.f64 8890523/31250000 (/.f64 1 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))))) (*.f64 1453152027/1000000000 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3))))) 3) (*.f64 (pow.f64 (exp.f64 (pow.f64 x 2)) 3) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3)))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
16.9b
(/.f64 (-.f64 1 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (*.f64 (*.f64 (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))))) (cbrt.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
15.7b
(/.f64 (+.f64 (fma.f64 1 1 (neg.f64 (*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (exp.f64 (*.f64 x x))) 3) (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 3)))) (fma.f64 (neg.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (exp.f64 (*.f64 x x))) 3)) (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 3) (*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (exp.f64 (*.f64 x x))) 3) (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 3)))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
14.8b
(/.f64 (-.f64 1 (cbrt.f64 (*.f64 (*.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3) (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)) (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
14.0b
(/.f64 (-.f64 1 (log1p.f64 (expm1.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
Compiler

Compiled 124995 to 91365 computations (26.9% saved)

localize40.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))
0.5b
(pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)
0.9b
(-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000)
✓14.1b
(log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))))

series14.2s (9.4%)

Counts
1 → 12
Calls

1 calls:

14.2s
(log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))))

rewrite38.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
13×log-prod_binary64
11×*-un-lft-identity_binary64
9×times-frac_binary64
8×add-sqr-sqrt_binary64
8×add-cube-cbrt_binary64
Counts
1 → 28
Calls

1 calls:

34.0ms
(log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))))

simplify568.0ms (0.4%)

Algorithm
1×egg-herbie
Rules
456×fma-def_binary64
451×associate-+r+_binary64
346×associate-*r/_binary64
280×associate-/l*_binary64
258×associate-/r*_binary64
Counts
40 → 59
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0180318010
1513118010

prune3.8s (2.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New4485453
Fresh325
Picked101
Done000
Total4527459
Error
13.8b
Counts
459 → 7
Alt Table
StatusErrorProgram
14.8b
(/.f64 (+.f64 (log.f64 (/.f64 (sqrt.f64 (exp.f64 1)) 1)) (log.f64 (/.f64 (sqrt.f64 (exp.f64 1)) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
15.7b
(/.f64 (+.f64 (fma.f64 1 1 (neg.f64 (*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (exp.f64 (*.f64 x x))) 3) (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 3)))) (fma.f64 (neg.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (exp.f64 (*.f64 x x))) 3)) (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 3) (*.f64 (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (exp.f64 (*.f64 x x))) 3) (pow.f64 (/.f64 (sqrt.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)))) (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 3)))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
44.2b
(/.f64 (-.f64 (fma.f64 52854423425690868208207572984774269904465758946809646621/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 29))) (fma.f64 694488249911381284865029956362675333997189150088136874303/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 27))) (fma.f64 31729468892834346774010509351/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 9))) (fma.f64 1023228493589609757467108091/125000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 7))) (fma.f64 15880701805126686157707261/15625000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 5))) (fma.f64 96961844936716912473297/1953125000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3))) (fma.f64 11751607103884669242283596765478737/20000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 16))) (fma.f64 56646896363889603903800795583081639/10000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 14))) (fma.f64 93029863480668418394982033840395907/10000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 12))) (fma.f64 103942916170193857774795541698543761/20000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 10))) (fma.f64 3352005477663632090193831533495901/2500000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 8))) (fma.f64 52023765731134367577580951089771/312500000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 6))) (fma.f64 317638374408485237457310848567/39062500000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 4))) (fma.f64 2983795033230600941443132524943702839606553326917904852069/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 19))) (fma.f64 142550452819254124401546772688848149685684011008036595579/125000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 17))) (fma.f64 2130910997572504020290423643219697518144260987857654671/7812500000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 15))) (fma.f64 1961673162594152630891396684823650574295460911053/15258789062500000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 8)) (fma.f64 9401599373531935156233529872842352821738050209/3814697265625000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 6)) (fma.f64 112228006071071596373514430058074347654765337297969947/976562500000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 12))) (fma.f64 52609082717681613817044681556077478252863118583156193/488281250000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 10))) (fma.f64 1166114814613214866980539847822012286925704539088947/30517578125000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 8))) (fma.f64 46184363097592709955366690542392782647178261949791/7629394531250000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 6))) (fma.f64 1395963025350681778279809/3906250000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 4))) (+.f64 (-.f64 1 (log.f64 (exp.f64 (/.f64 (pow.f64 (-.f64 (+.f64 31853699/125000000 (+.f64 (/.f64 1061405429/1000000000 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 4)) (/.f64 1421413741/1000000000 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 2)))) (+.f64 (/.f64 8890523/31250000 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (/.f64 1453152027/1000000000 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3)))) 3) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3))))) (fma.f64 52854423425690868208207572984774269904465758946809646621/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 29))) (fma.f64 694488249911381284865029956362675333997189150088136874303/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 27))) (fma.f64 2787005135930014222525686185204832950201378419902031792521/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 25))) (fma.f64 5069511784183064454757267432594478925128382495763356459129/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 23))) (fma.f64 5005872857150186994369510203298294386771957508780352540863/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 21))) (fma.f64 3587279112248369764100305767/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 15))) (fma.f64 17291952181817394887651342049/500000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 13))) (fma.f64 28398165725707572151679955237/500000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 11))) (fma.f64 465210498017527816591521451901687553476946971020140067701/1000000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 28)) (fma.f64 9358836494367302413240307701057888158989545769631/30517578125000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 9))) (fma.f64 7872096939244443234771835199330414951410544379/953674316406250000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 7))) (fma.f64 1561338583409533255553892162252462455946488220889149550941/500000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 26)) (fma.f64 12868571429173451877680476241263719343365319222893458289/1000000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 30)) (fma.f64 142550452819254124401546772688848149685684011008036595579/125000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 17))) (fma.f64 8196134912509927804983285344679964723164435850927493010021/1000000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 20)) (fma.f64 2244516325548228037780033420684541268144260987857654671/7812500000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 15))) (fma.f64 3892084650672439555485363771841549738393401727993372017009/1000000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 18)) (fma.f64 8187931587206800162353206390370764518291603665164141220381/1000000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 24)) (fma.f64 46546071341378228981493091444746832994567565776024463/976562500000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 13))) (fma.f64 5395401765099515335016227813386049161332887589410861227789/500000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 22)) (fma.f64 1227590727655058768523826036592023383064603982620449/244140625000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 11))) (fma.f64 16193636880153290755837191632355339845234662702030053/488281250000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 12)) (fma.f64 2787005135930014222525686185204832950201378419902031792521/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 25))) (fma.f64 675779456437156850678815354811193622136881416843807/244140625000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 10)) (fma.f64 5069511784183064454757267432594478925128382495763356459129/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 23))) (fma.f64 5005872857150186994369510203298294386771957508780352540863/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 21))) (fma.f64 75390479505124741171988912237172650552787320836850152293/62500000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 16)) (fma.f64 3866388193615400471791247437424755408316265107113500207/15625000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 14)) (*.f64 2983795033230600941443132524943702839606553326917904852069/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 19)))))))))))))))))))))))))))))))))))))))))))))))))))))))) (fma.f64 12868571429173451877680476241263719343365319222893458289/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 30))) (fma.f64 465210498017527816591521451901687553476946971020140067701/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 28))) (fma.f64 1561338583409533255553892162252462455946488220889149550941/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 26))) (fma.f64 1068206761783727216398717083/62500000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 8))) (fma.f64 43332239598411760156468659/15625000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 6))) (fma.f64 81187573775872804112907/488281250000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 4))) (fma.f64 48266773139477525746617307198471293/20000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 15))) (fma.f64 168882379124044707267559300065922857/20000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 13))) (fma.f64 152760092274243442000458809027942589/20000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 11))) (fma.f64 3499350281201691609199937678087613/1250000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 9))) (fma.f64 141952560355072667625937401173349/312500000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 7))) (fma.f64 265963265995693253594317283277/9765625000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 (fabs.f64 x) (pow.f64 x 4))) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 5))) (fma.f64 3892084650672439555485363771841549738393401727993372017009/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 18))) (fma.f64 75166274560609218061732643126735150552787320836850152293/125000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 16))) (fma.f64 7872096939244443234771835199330414951410544379/476837158203125000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 7)) (fma.f64 2405149218384115042743463000706005408316265107113500207/31250000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 14))) (fma.f64 46172881677524366348389129785233635755432434223975537/976562500000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 13))) (fma.f64 32197294214819259063957359924711687554435396017379551/244140625000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 11))) (fma.f64 2188046921560396835746267607521110080591010454230369/30517578125000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 9))) (fma.f64 16927750656759993804141409332403208647548589455621/953674316406250000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 7))) (fma.f64 16530202395333668590610517/7812500000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 5))) (fma.f64 12868571429173451877680476241263719343365319222893458289/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 30))) (fma.f64 465210498017527816591521451901687553476946971020140067701/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 28))) (fma.f64 1561338583409533255553892162252462455946488220889149550941/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 26))) (fma.f64 8187931587206800162353206390370764518291603665164141220381/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 24))) (fma.f64 5395401765099515335016227813386049161332887589410861227789/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 22))) (fma.f64 8196134912509927804983285344679964723164435850927493010021/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 20))) (fma.f64 14733847512791869420938879963/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 14))) (fma.f64 51552798328173356134388052687/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 12))) (fma.f64 46631331643089034470246233499/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 10))) (fma.f64 1961673162594152630891396684823650574295460911053/30517578125000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 8))) (fma.f64 694488249911381284865029956362675333997189150088136874303/500000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 27)) (fma.f64 9401599373531935156233529872842352821738050209/7629394531250000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 6))) (fma.f64 2787005135930014222525686185204832950201378419902031792521/500000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 25)) (fma.f64 52854423425690868208207572984774269904465758946809646621/500000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 29)) (fma.f64 96961844936716912473297/976562500000000000000000 (/.f64 (*.f64 (E.f64) (pow.f64 x 4)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3))) (fma.f64 2983795033230600941443132524943702839606553326917904852069/500000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 19)) (fma.f64 75390479505124741171988912237172650552787320836850152293/125000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 16))) (fma.f64 142550452819254124401546772688848149685684011008036595579/62500000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 17)) (fma.f64 3866388193615400471791247437424755408316265107113500207/31250000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 14))) (fma.f64 16193636880153290755837191632355339845234662702030053/976562500000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 12))) (fma.f64 5069511784183064454757267432594478925128382495763356459129/500000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 23)) (fma.f64 675779456437156850678815354811193622136881416843807/488281250000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 10))) (fma.f64 5005872857150186994369510203298294386771957508780352540863/500000000000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 21)) (fma.f64 1227590727655058768523826036592023383064603982620449/122070312500000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 11)) (fma.f64 8187931587206800162353206390370764518291603665164141220381/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 24))) (fma.f64 9358836494367302413240307701057888158989545769631/15258789062500000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 9)) (fma.f64 5395401765099515335016227813386049161332887589410861227789/1000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 22))) (fma.f64 2244516325548228037780033420684541268144260987857654671/3906250000000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 15)) (fma.f64 8196134912509927804983285344679964723164435850927493010021/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 20))) (fma.f64 46546071341378228981493091444746832994567565776024463/488281250000000000000000000000000000000000000000000 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 13)) (*.f64 3892084650672439555485363771841549738393401727993372017009/2000000000000000000000000000000000000000000000000000000 (/.f64 (*.f64 (pow.f64 (E.f64) 2) (pow.f64 x 4)) (*.f64 (pow.f64 (E.f64) 2) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 18)))))))))))))))))))))))))))))))))))))))))))))))))))))))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
32.3b
(/.f64 (+.f64 (-.f64 1 (log.f64 (exp.f64 (/.f64 (pow.f64 (-.f64 (+.f64 31853699/125000000 (+.f64 (/.f64 1061405429/1000000000 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 4)) (/.f64 1421413741/1000000000 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 2)))) (+.f64 (/.f64 8890523/31250000 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x)))) (/.f64 1453152027/1000000000 (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3)))) 3) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3))))) (-.f64 (fma.f64 3587279112248369764100305767/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 15))) (fma.f64 17291952181817394887651342049/500000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 13))) (fma.f64 28398165725707572151679955237/500000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 11))) (fma.f64 31729468892834346774010509351/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 9))) (fma.f64 1023228493589609757467108091/125000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 7))) (fma.f64 15880701805126686157707261/15625000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 5))) (*.f64 96961844936716912473297/1953125000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 3)))))))))) (fma.f64 14733847512791869420938879963/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 14))) (fma.f64 51552798328173356134388052687/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 12))) (fma.f64 46631331643089034470246233499/1000000000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 10))) (fma.f64 1068206761783727216398717083/62500000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 8))) (fma.f64 43332239598411760156468659/15625000000000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 6))) (*.f64 81187573775872804112907/488281250000000000000000 (/.f64 (*.f64 (E.f64) (*.f64 x x)) (*.f64 (E.f64) (pow.f64 (+.f64 1 (*.f64 3275911/10000000 (fabs.f64 x))) 4))))))))))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
▶13.9b
(/.f64 (*.f64 (*.f64 (cbrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))))) (cbrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
17.6b
(/.f64 (+.f64 (log.f64 (/.f64 (*.f64 (cbrt.f64 (exp.f64 1)) (cbrt.f64 (exp.f64 1))) 1)) (log.f64 (/.f64 (cbrt.f64 (exp.f64 1)) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
14.0b
(/.f64 (-.f64 1 (log1p.f64 (expm1.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))) (+.f64 1 (*.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) (+.f64 1 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x))))))))
Compiler

Compiled 102643 to 75409 computations (26.5% saved)

localize31.0ms (0%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.5b
(pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)
✓0.5b
(cbrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))))
0.9b
(-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000)
14.1b
(log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3))))

series50.7s (33.8%)

Counts
1 → 12
Calls

1 calls:

50.7s
(cbrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))))

rewrite22.0ms (0%)

Algorithm
1×rewrite-expression-head
Rules
6×cbrt-prod_binary64
5×*-un-lft-identity_binary64
3×log-pow_binary64
3×exp-prod_binary64
3×pow1_binary64
Counts
1 → 16
Calls

1 calls:

20.0ms
(cbrt.f64 (log.f64 (/.f64 (exp.f64 1) (exp.f64 (pow.f64 (/.f64 (+.f64 31853699/125000000 (/.f64 (+.f64 -8890523/31250000 (/.f64 (+.f64 1421413741/1000000000 (/.f64 (-.f64 (/.f64 1061405429/1000000000 (fma.f64 3275911/10000000 (fabs.f64 x) 1)) 1453152027/1000000000) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (fma.f64 3275911/10000000 (fabs.f64 x) 1))) (*.f64 (fma.f64 3275911/10000000 (fabs.f64 x) 1) (exp.f64 (*.f64 x x)))) 3)))))

simplify946.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
682×fma-def_binary64
478×associate-*l/_binary64
277×associate-/l*_binary64
255×associate-/r*_binary64
252×times-frac_binary64
Counts
28 → 37
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0289598422
1541798422

prune3.2s (2.2%)

Compiler

Compiled 689372 to 548359 computations (20.5% saved)

Profiling

Loading profile data...