Details

Time bar (total: 25.2s)

analyze81.0ms (0.3%)

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

Compiled 66 to 53 computations (19.7% saved)

sample45.0ms (0.2%)

Algorithm
1×intervals
Results
36.0ms256×body128valid
Compiler

Compiled 132 to 106 computations (19.7% saved)

simplify73.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
578×times-frac_binary64
564×cancel-sign-sub-inv_binary64
457×div-sub_binary64
380×distribute-rgt-in_binary64
359×distribute-lft-in_binary64
Counts
1 → 1
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
02793
19179
225279
375079
4253679
5460279
6520479

prune9.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
14.2b
Counts
2 → 2
Alt Table
StatusErrorProgram
14.2b
(-.f64 1 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) (*.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) (exp.f64 (*.f64 x x)))))
▶14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
Compiler

Compiled 286 to 227 computations (20.6% saved)

localize24.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.4b
(+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
14.1b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite445.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
14.2b
Rules
20×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
18×times-frac_binary64
12×add-exp-log_binary64
8×add-log-exp_binary64 add-cbrt-cube_binary64
6×pow1_binary64 associate-/l*_binary64 associate-/r*_binary64
Counts
4 → 91
Calls

4 calls:

9.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
6.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
4.0ms
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
4.0ms
(+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
Compiler

Compiled 7321 to 5496 computations (24.9% saved)

series295.0ms (1.2%)

Error
14.2b
Counts
4 → 12
Calls

4 calls:

156.0ms
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
83.0ms
(+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))))))
17.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
17.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
Compiler

Compiled 2299 to 1818 computations (20.9% saved)

simplify173.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
591×distribute-rgt-in_binary64
565×distribute-lft-in_binary64
283×times-frac_binary64
261×cancel-sign-sub-inv_binary64
205×exp-prod_binary64
Counts
103 → 92
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01804892
14564055
214854010
348274010
449244010

prune272.0ms (1.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New85792
Fresh101
Picked101
Done000
Total87794
Error
14.1b
Counts
94 → 7
Alt Table
StatusErrorProgram
14.2b
(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3)) (+.f64 1 (*.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))))
14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.0b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 4)) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3)) (/.f64 5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
14.2b
(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))))))
14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (cbrt.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
14.2b
(-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) 5125037576950889/18014398509481984))) (+.f64 (/.f64 (/.f64 4780145094533421/4503599627370496 (exp.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 5)) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))))
▶14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
Compiler

Compiled 5847 to 4382 computations (25.1% saved)

localize31.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.2b
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
0.2b
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
14.1b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))

rewrite595.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
14.1b
Rules
28×add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
27×times-frac_binary64
16×add-exp-log_binary64
10×add-cbrt-cube_binary64
9×associate-/l*_binary64 associate-/r*_binary64
Counts
4 → 111
Calls

4 calls:

11.0ms
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
5.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
5.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
5.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
Compiler

Compiled 9069 to 6744 computations (25.6% saved)

series234.0ms (0.9%)

Error
14.1b
Counts
4 → 12
Calls

4 calls:

154.0ms
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
21.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
18.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
18.0ms
(/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))
Compiler

Compiled 2320 to 1818 computations (21.6% saved)

simplify191.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
395×exp-prod_binary64
355×distribute-rgt-in_binary64
333×distribute-lft-in_binary64
214×associate-*l/_binary64
202×times-frac_binary64
Counts
123 → 112
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01404388
13393665
210933566
339203566
447793566
549513566

prune346.0ms (1.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New1120112
Fresh066
Picked011
Done000
Total1127119
Error
14.1b
Counts
119 → 7
Alt Table
StatusErrorProgram
14.2b
(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3)) (+.f64 1 (*.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))))
14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.0b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 4)) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3)) (/.f64 5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
14.2b
(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))))))
14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 (/.f64 1 (*.f64 (cbrt.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (cbrt.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))))) (cbrt.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
▶14.2b
(-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) 5125037576950889/18014398509481984))) (+.f64 (/.f64 (/.f64 4780145094533421/4503599627370496 (exp.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 5)) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))))
✓14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 -5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 4780145094533421/4503599627370496))))) (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
Compiler

Compiled 6821 to 5107 computations (25.1% saved)

localize28.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b
(pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)
0.4b
(/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))
0.4b
(/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))
14.2b
(-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) 5125037576950889/18014398509481984))) (+.f64 (/.f64 (/.f64 4780145094533421/4503599627370496 (exp.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 5)) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))))

rewrite811.0ms (3.2%)

Algorithm
1×rewrite-expression-head
Error
14.1b
Rules
48×times-frac_binary64
43×add-sqr-sqrt_binary64 *-un-lft-identity_binary64
41×add-cube-cbrt_binary64
27×unpow-prod-down_binary64
16×add-log-exp_binary64 associate-/r*_binary64
Counts
4 → 151
Calls

4 calls:

41.0ms
(-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) 5125037576950889/18014398509481984))) (+.f64 (/.f64 (/.f64 4780145094533421/4503599627370496 (exp.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 5)) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))))
6.0ms
(/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))
6.0ms
(/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))
4.0ms
(pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)
Compiler

Compiled 16155 to 11190 computations (30.7% saved)

series984.0ms (3.9%)

Error
14.1b
Counts
4 → 15
Calls

4 calls:

818.0ms
(-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)) 5125037576950889/18014398509481984))) (+.f64 (/.f64 (/.f64 4780145094533421/4503599627370496 (exp.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 5)) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))))))
26.0ms
(/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))
24.0ms
(/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2))
16.0ms
(pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)
Compiler

Compiled 8081 to 6191 computations (23.4% saved)

simplify391.0ms (1.5%)

Algorithm
1×egg-herbie
Rules
442×times-frac_binary64
396×distribute-rgt-in_binary64
387×distribute-lft-in_binary64
190×*-commutative_binary64
149×+-commutative_binary64
Counts
166 → 156
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
075816450
1232115032
2495315011
3492415011

prune656.0ms (2.6%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1533156
Fresh145
Picked101
Done101
Total1567163
Error
14.1b
Counts
163 → 7
Alt Table
StatusErrorProgram
14.2b
(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3)) (+.f64 1 (*.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))))
14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.0b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 4)) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3)) (/.f64 5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
46.9b
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) 3)) (-.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))))) (*.f64 (+.f64 1 (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) -1))) (-.f64 (*.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x))))) (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))))))) (*.f64 (+.f64 1 (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) -1))) (-.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))))))
42.2b
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) 3)) (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -2295300911148351/9007199254740992))))) (*.f64 (+.f64 1 (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) -1))) (+.f64 (*.f64 (/.f64 4780145094533421/4503599627370496 (exp.f64 (*.f64 x x))) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -2295300911148351/9007199254740992)))) (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 12092577718070346740510577409198160287989487551/730750818665451459101842416358141509827966271488 (/.f64 262325707060138245070286209708399510096643776327/91343852333181432387730302044767688728495783936 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6)))))))) (*.f64 (+.f64 1 (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) -1))) (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -2295300911148351/9007199254740992))))))
▶14.2b
(exp.f64 (log.f64 (-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))) (+.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))))))
14.2b
(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))))))
Compiler

Compiled 15671 to 11047 computations (29.5% saved)

localize33.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.4b
(/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
0.4b
(/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
1.3b
(exp.f64 (log.f64 (-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))) (+.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))))))
14.2b
(-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))) (+.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))))

rewrite967.0ms (3.8%)

Algorithm
1×rewrite-expression-head
Error
14.1b
Rules
48×times-frac_binary64
45×add-sqr-sqrt_binary64 *-un-lft-identity_binary64
41×add-cube-cbrt_binary64
28×frac-sub_binary64
26×flip3-+_binary64 flip-+_binary64
Counts
4 → 166
Calls

4 calls:

21.0ms
(exp.f64 (log.f64 (-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))) (+.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))))))
18.0ms
(-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))) (+.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))))
7.0ms
(/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
7.0ms
(/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
Compiler

Compiled 22413 to 15583 computations (30.5% saved)

series9.3s (36.9%)

Error
14.1b
Counts
4 → 18
Calls

4 calls:

8.0s
(exp.f64 (log.f64 (-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))) (+.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))))))
815.0ms
(-.f64 (+.f64 1 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))) (+.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))))))
27.0ms
(/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
24.0ms
(/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2))
Compiler

Compiled 45897 to 37459 computations (18.4% saved)

simplify780.0ms (3.1%)

Algorithm
1×egg-herbie
Rules
452×distribute-rgt-in_binary64
349×*-commutative_binary64
254×+-commutative_binary64
221×associate-+r+_binary64
172×associate-*r/_binary64
Counts
184 → 139
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0119448719
1374743566
2531443566

prune1.1s (4.2%)

Pruning

7 alts after pruning (7 fresh and 0 done)

PrunedKeptTotal
New1372139
Fresh156
Picked101
Done000
Total1397146
Error
14.1b
Counts
146 → 7
Alt Table
StatusErrorProgram
14.2b
(/.f64 (-.f64 1 (pow.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) 3)) (+.f64 1 (*.f64 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))) (+.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x)))))))
14.2b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -5125037576950889/18014398509481984 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 6401478394306903/4503599627370496 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 -6544414927309881/4503599627370496 (*.f64 (cbrt.f64 (/.f64 1 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3))) 4780145094533421/4503599627370496))))))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
15.0b
(-.f64 1 (*.f64 (*.f64 (/.f64 1 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (-.f64 (+.f64 (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 4)) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 2)))) (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)) 3)) (/.f64 5125037576950889/18014398509481984 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))))) (exp.f64 (neg.f64 (*.f64 (fabs.f64 x) (fabs.f64 x))))))
46.9b
(exp.f64 (log.f64 (/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) 3)) (-.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))))) (*.f64 (+.f64 1 (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) -1))) (-.f64 (*.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x))))) (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))))))) (*.f64 (+.f64 1 (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) -1))) (-.f64 (/.f64 4780145094533421/4503599627370496 (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (exp.f64 (*.f64 x x)))) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 2295300911148351/9007199254740992 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))))))))
42.2b
(/.f64 (-.f64 (*.f64 (+.f64 1 (pow.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) 3)) (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -2295300911148351/9007199254740992))))) (*.f64 (+.f64 1 (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) -1))) (+.f64 (*.f64 (/.f64 4780145094533421/4503599627370496 (exp.f64 (*.f64 x x))) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -2295300911148351/9007199254740992)))) (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (+.f64 12092577718070346740510577409198160287989487551/730750818665451459101842416358141509827966271488 (/.f64 262325707060138245070286209708399510096643776327/91343852333181432387730302044767688728495783936 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 6)))))))) (*.f64 (+.f64 1 (*.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (*.f64 (/.f64 (exp.f64 (neg.f64 (*.f64 x x))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 5125037576950889/18014398509481984 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) -1))) (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) (+.f64 5268406272718450291917530019201/81129638414606681695789005144064 (*.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) -2295300911148351/9007199254740992))))))
14.2b
(log.f64 (exp.f64 (-.f64 1 (/.f64 (/.f64 (+.f64 2295300911148351/9007199254740992 (/.f64 (+.f64 -5125037576950889/18014398509481984 (/.f64 (+.f64 6401478394306903/4503599627370496 (/.f64 (+.f64 -6544414927309881/4503599627370496 (/.f64 4780145094533421/4503599627370496 (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496)))) (+.f64 1 (*.f64 (fabs.f64 x) 1475339155889891/4503599627370496))) (exp.f64 (*.f64 x x))))))
45.4b
(-.f64 (+.f64 (*.f64 35261676144000702778593477735555/20282409603651670423947251286016 (/.f64 (*.f64 (*.f64 x x) (*.f64 (fabs.f64 x) (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 5125037576950889/36028797018963968 (*.f64 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) 1)) (+.f64 (*.f64 4780145094533421/9007199254740992 (/.f64 (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 4)) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 4780145094533421/4503599627370496 (/.f64 (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (*.f64 x x)) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 52022931517552703402237182927230355651595774505/91343852333181432387730302044767688728495783936 (/.f64 (*.f64 (*.f64 x x) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 4))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 33411842343816326112107791422318491978820625799351445491634765389564306860590167119957982871/8343699359066055009355553539724812947666814540455674882605631280555545803830627148527195652096 (/.f64 (*.f64 (*.f64 x x) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 5))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (+.f64 (*.f64 6401478394306903/4503599627370496 (/.f64 (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (*.f64 x x)) (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3) (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5)))))))) (+.f64 (*.f64 33411842343816326112107791422318491978820625799351445491634765389564306860590167119957982871/16687398718132110018711107079449625895333629080911349765211262561111091607661254297054391304192 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 5))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 76751467872023811656508723352760708349670732780931458645028955/205688069665150755269371147819668813122841983204197482918576128 (/.f64 (*.f64 (*.f64 x x) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 3))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 6544414927309881/9007199254740992 (*.f64 (/.f64 (pow.f64 x 4) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) 1)) (+.f64 (*.f64 113234445823621698925295871940212954706916242943247056375430340085316486793905/1852673427797059126777135760139006525652319754650249024631321344126610074238976 (/.f64 (*.f64 (*.f64 x x) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 4))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 113234445823621698925295871940212954706916242943247056375430340085316486793905/3705346855594118253554271520278013051304639509300498049262642688253220148477952 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 4))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 52022931517552703402237182927230355651595774505/45671926166590716193865151022383844364247891968 (/.f64 (*.f64 (*.f64 x x) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (*.f64 x x))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (+.f64 (*.f64 2295300911148351/9007199254740992 (*.f64 (/.f64 (*.f64 x x) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 1)) (+.f64 (*.f64 35261676144000702778593477735555/40564819207303340847894502572032 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (fabs.f64 x) (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))) (*.f64 76751467872023811656508723352760708349670732780931458645028955/411376139330301510538742295639337626245683966408394965837152256 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 3))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 10)))))))))))))))))))) (+.f64 (*.f64 4780145094533421/4503599627370496 (/.f64 (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 4)) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 2377923362296055677431213310744472048845241101808188183884037141791646222672005/926336713898529563388567880069503262826159877325124512315660672063305037119488 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 4))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 230254403616071434969526170058282125049012198342794375935086865/51422017416287688817342786954917203280710495801049370729644032 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 3))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 5125037576950889/18014398509481984 (*.f64 (/.f64 (*.f64 x x) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)) 1)) (+.f64 (*.f64 6401478394306903/9007199254740992 (/.f64 (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 4)) (*.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3) (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5)))))))) (+.f64 (*.f64 791476278842440751348720893258145624259135021372090767981159597790839134727905876605681437185330880908354596060912900437814787656247356243688307789101155/1716199415032652428745475199770348304317358825035826352348615864796385795849414013030639910165363638744324077847870214509280496999929160953143507072778764288 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 9))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 6544414927309881/4503599627370496 (*.f64 (/.f64 (*.f64 x x) (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) 1)) (+.f64 (*.f64 5175848924426470062845372845245679304918122136435657798551103409438237347460599908437229041759975050705991405/18788340662190665823115844774314696219005460391266558965658327772257672200916867547709591987078149624255479808 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 6))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 2104946067660428545062790859606064994665699425359141065972990219542551332217180528557352920873/2085924839766513752338888384931203236916703635113918720651407820138886450957656787131798913024 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 5))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 468206383657974330620134646345073200864361970545/91343852333181432387730302044767688728495783936 (/.f64 (*.f64 (*.f64 x x) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 x 4))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 1090876083310992653908269305694319708535344637041238673499772726058381153860052190867988511161533641904355067248252596055265/21153791001287955166461289857048673274508949854856999017108761448780985319561963066406054734070889115122918784800747465736192 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 7))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 2295300911148351/18014398509481984 (*.f64 (/.f64 (pow.f64 x 4) (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) 1)) (+.f64 (*.f64 35261676144000702778593477735555/10141204801825835211973625643008 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (fabs.f64 x) (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (+.f64 (*.f64 4828236599797530938645808146263734023412016512583287417347221532263214349505899752762257772371410827811876389585740786318037248071872478345/762145642166990290864647761179972242614403843424065222377723867096038022172794340849684107193235344521442121855812163792833978437326241529856 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 8))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))) (*.f64 233539189026855706697553087129756469316760846235918651504091256506879714281617487870622241634939620010605757027058029380753328150155968846750539638400889626795008184821/15458150092069033378781407563727949377195709318825739994628941005806076569158241698144775066327690311849854464126008708709460314644171950622971634693868322994787923259293696 (/.f64 (*.f64 (pow.f64 x 4) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (fabs.f64 x) 10))) (*.f64 (-.f64 (+.f64 (/.f64 6544414927309881/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 4)) (+.f64 1 (/.f64 5125037576950889/18014398509481984 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 2)))) (+.f64 (/.f64 6401478394306903/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 3)) (+.f64 (/.f64 2295300911148351/9007199254740992 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x)))) (/.f64 4780145094533421/4503599627370496 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5))))) (pow.f64 (pow.f64 (+.f64 1 (*.f64 1475339155889891/4503599627370496 (fabs.f64 x))) 5) 3)))))))))))))))))))
Compiler

Compiled 32912 to 24691 computations (25% saved)

regimes3.2s (12.6%)

Accuracy

Total 0.1b remaining (0.5%)

Threshold costs 0.1b (0.5%)

Compiler

Compiled 76144 to 60891 computations (20% saved)

simplify9.0ms (0%)

Algorithm
1×egg-herbie
Rules
15×+-commutative_binary64
13×*-commutative_binary64
10×sub-neg_binary64
9×neg-mul-1_binary64 neg-sub0_binary64
4×distribute-neg-in_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
037119
156119
267119
387119
4104119
5118119
6124119
7126119
8122119

end2.0ms (0%)

Compiler

Compiled 76 to 57 computations (25% saved)

sample4.2s (16.7%)

Algorithm
1×intervals
Results
989.0ms8000×body128valid
Compiler

Compiled 4485 to 3546 computations (20.9% saved)

Profiling

Loading profile data...