Herbie run

Date:Sunday, April 20th, 2025
Commit:db13855b on artem-rules-updates
Seed:2025110
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:proofs
default
Memory:222 075.3 MB

Time bar (total: 2.9min)

sample1.1min (37.9%)

Memory
1 345.7MiB live, 84 177.5MiB allocated; 23.6s collecting garbage
Samples
33.3s433 799×0valid
7.3s26 381×1valid
3.9s9 499×2valid
983.0ms4 385×0invalid
592.0ms8 653×0exit
267.0ms933×3valid
Precisions
Click to see histograms. Total time spent on operations: 31.9s
ival-mult!: 9.4s (29.4% of total)
ival-exp: 3.1s (9.7% of total)
ival-add!: 2.6s (8.3% of total)
ival-hypot: 2.6s (8% of total)
ival-div!: 2.2s (6.8% of total)
adjust: 1.8s (5.6% of total)
ival-sub!: 1.7s (5.2% of total)
ival-log: 1.5s (4.7% of total)
ival-asin: 1.4s (4.4% of total)
ival-cos: 1.0s (3.2% of total)
ival-sin: 908.0ms (2.8% of total)
ival-atan2: 796.0ms (2.5% of total)
ival-sqrt: 690.0ms (2.2% of total)
ival-fabs: 521.0ms (1.6% of total)
ival-pow: 379.0ms (1.2% of total)
ival-acosh: 316.0ms (1% of total)
ival-sinu: 292.0ms (0.9% of total)
ival-neg: 231.0ms (0.7% of total)
ival-asinh: 217.0ms (0.7% of total)
ival-cosu: 164.0ms (0.5% of total)
ival-atanh: 163.0ms (0.5% of total)
const: 0.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite40.0s (23.1%)

Memory
819.7MiB live, 46 266.2MiB allocated; 10.7s collecting garbage
Stop Event
457×iter-limit
178×node-limit
14×unsound
4×saturated
Counts
29 058 → 62 476

derivations13.3s (7.7%)

Memory
-204.7MiB live, 12 670.3MiB allocated; 1.9s collecting garbage
Stop Event
36×fuel
21×done
Compiler

Compiled 8 515 to 4 163 computations (51.1% saved)

series12.6s (7.3%)

Memory
1 226.1MiB live, 18 496.5MiB allocated; 3.5s collecting garbage
Counts
5 079 → 23 979
Calls

1188 calls:

TimeVariablePointExpression
268.0ms
x
@0
((/ (/ (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) 3)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))))) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))))) (/ (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) 3)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))))) (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) 3)) 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) (exp (* (neg x) x)) (* (neg x) x) (neg x) x (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (fabs x) -1 -1421413741/1000000000 (+ (* 3275911/10000000 (fabs x)) 1) 3275911/10000000 -8890523/31250000 31853699/125000000 3 (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)))) (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))) (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x)))))) (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))) (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (exp (* x x)) (* x x) 2 (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x)))) (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (neg (* (fabs x) (fabs x))))) (/ (* (exp (* (neg x) x)) (- 31853699/125000000 (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* 3275911/10000000 (fabs x)) 1)) (* (exp (* (neg x) x)) (- 31853699/125000000 (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1)))) (- 31853699/125000000 (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1))) (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1)) 8890523/31250000 (- 1 (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (+ (+ (* (* x x) (+ (* 3275911/10000000 (fabs x)) 1)) (* 3275911/10000000 (fabs x))) 1) (+ (* (* x x) (+ (* 3275911/10000000 (fabs x)) 1)) (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) 31853699/125000000))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) 31853699/125000000))) (exp (neg (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) 31853699/125000000))) (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1 (* 3275911/10000000 (fabs x))) (+ (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) 31853699/125000000)) (/ 8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) 31853699/125000000) (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (/ (+ 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))))) (+ 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- (+ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (/ 1061405429/1000000000 (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000 (/ 1061405429/1000000000 (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1)))
247.0ms
x
@0
((/ (/ (/ (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9))))) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))))) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))))) (/ (/ (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9))))) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))))) (/ (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9))))) (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3)) 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) (exp (* (neg x) x)) (* (neg x) x) (neg x) x (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (fabs x) -1 -1421413741/1000000000 (+ (* 3275911/10000000 (fabs x)) 1) 3275911/10000000 -8890523/31250000 31853699/125000000 9 3 (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)))) (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9))) (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)))) (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))) (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x)))))) (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))) (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (exp (* x x)) (* x x) 2 (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x)))) (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (neg (* (fabs x) (fabs x))))) (/ (* (exp (* (neg x) x)) (- 31853699/125000000 (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* 3275911/10000000 (fabs x)) 1)) (* (exp (* (neg x) x)) (- 31853699/125000000 (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1)))) (- 31853699/125000000 (/ -8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))) (/ -8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (- 1 (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- (+ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (/ 1061405429/1000000000 (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000 (/ 1061405429/1000000000 (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1)) (/ (+ 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))))) (+ 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x)))))) (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))) (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (/ (/ (- 1 (* (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (- 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))))) (/ (- 1 (* (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (- 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (- 1 (* (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (* (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)))
242.0ms
x
@inf
((/ (/ (/ (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9))))) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))))) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))))) (/ (/ (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9))))) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))))) (/ (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9))))) (+ 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3)) 1 (pow (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) (exp (* (neg x) x)) (* (neg x) x) (neg x) x (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (fabs x) -1 -1421413741/1000000000 (+ (* 3275911/10000000 (fabs x)) 1) 3275911/10000000 -8890523/31250000 31853699/125000000 9 3 (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)))) (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9))) (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 9)) (+ 1 (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)))) (- (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3))) (* (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3) (* 1 (pow (* (exp (* (neg x) x)) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1))) 3)) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x)))))) (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))) (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (exp (* x x)) (* x x) 2 (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x)))) (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (neg (* (fabs x) (fabs x))))) (/ (* (exp (* (neg x) x)) (- 31853699/125000000 (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* 3275911/10000000 (fabs x)) 1)) (* (exp (* (neg x) x)) (- 31853699/125000000 (/ 8890523/31250000 (+ (* 3275911/10000000 (fabs x)) 1)))) (- 31853699/125000000 (/ -8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1))) (/ -8890523/31250000 (+ (* -3275911/10000000 (fabs x)) -1)) (- 1 (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (- (+ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (/ 1061405429/1000000000 (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000) (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1421413741/1000000000 (/ 1061405429/1000000000 (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1))) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* 3275911/10000000 (fabs x)) 1)) (/ (+ 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))))) (+ 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x)))))) (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))) (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x))) (/ (/ (- 1 (* (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (- 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* (fabs x) 3275911/10000000) 1) (exp (* x x)))) 2) (* 1 (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))))))) (/ (- 1 (* (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (- 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (- 1 (* (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) (* (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (- 1 (pow (* (/ (+ (/ (+ (/ (- (/ (- 1453152027/1000000000 (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* -3275911/10000000 (fabs x)) -1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)))
184.0ms
base
@0
((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) re im (log base) base (* (atan2 im re) 0) 0 (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (/ 1 (pow (log base) -1)) (log base)) (* 0 0))) (/ (log re) (log base)) (log re) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (neg (log base)) (neg (log (neg im)))) (neg (log base)) (neg (log (neg im))) (log (neg im)) (neg im) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (/ 1 (pow (log base) -1)) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (* im im) (+ (* (/ 1 (pow (log base) -1)) (log base)) (* 0 0)) (* (/ 1 (pow (log base) -1)) (log base)) (/ 1 (pow (log base) -1)) 1 (pow (log base) -1) -1 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (pow (log base) -1))) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (pow (log base) -1))) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (/ 1 (pow (log base) -1))) (* (atan2 im re) 0) (atan2 im re))
182.0ms
x
@-inf
((log (/ x (log x))) (/ x (log x)) x (log x) (neg (log (/ (log x) x))) (log (/ (log x) x)) (/ (log x) x))

eval12.3s (7.1%)

Memory
-299.3MiB live, 17 635.8MiB allocated; 4.6s collecting garbage
Compiler

Compiled 1 466 496 to 362 717 computations (75.3% saved)

regimes9.3s (5.3%)

Memory
125.4MiB live, 14 787.9MiB allocated; 1.9s collecting garbage
Counts
6 862 → 779
Calls

132 calls:

598.0ms
im
569.0ms
x
406.0ms
re
342.0ms
x.im
334.0ms
y.re
Compiler

Compiled 11 925 to 9 597 computations (19.5% saved)

preprocess8.6s (5%)

Memory
-136.5MiB live, 11 890.1MiB allocated; 3.8s collecting garbage
Stop Event
33×node-limit
24×saturated
Compiler

Compiled 50 038 to 34 188 computations (31.7% saved)

prune5.4s (3.1%)

Memory
-340.8MiB live, 8 834.4MiB allocated; 1.7s collecting garbage
Counts
74 444 → 2 751
Compiler

Compiled 189 021 to 126 456 computations (33.1% saved)

bsearch3.4s (1.9%)

Memory
-21.4MiB live, 4 239.0MiB allocated; 1.2s collecting garbage
Algorithm
204×binary-search
175×left-value
Stop Event
188×narrow-enough
16×predicate-same
Samples
1.5s12 281×0valid
552.0ms1 719×1valid
108.0ms257×2valid
11.0ms47×3valid
Compiler

Compiled 97 005 to 76 931 computations (20.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult!: 338.0ms (27.7% of total)
ival-hypot: 222.0ms (18.2% of total)
ival-log: 118.0ms (9.7% of total)
adjust: 83.0ms (6.8% of total)
ival-add!: 74.0ms (6.1% of total)
ival-sin: 74.0ms (6.1% of total)
ival-exp: 73.0ms (6% of total)
ival-atan2: 57.0ms (4.7% of total)
ival-sub!: 55.0ms (4.5% of total)
ival-asin: 43.0ms (3.5% of total)
ival-cos: 31.0ms (2.5% of total)
ival-div!: 28.0ms (2.3% of total)
ival-sqrt: 17.0ms (1.4% of total)
ival-fabs: 4.0ms (0.3% of total)
ival-copysign: 3.0ms (0.2% of total)
ival-pi: 0.0ms (0% of total)
ival-neg: 0.0ms (0% of total)

analyze2.5s (1.4%)

Memory
135.5MiB live, 3 070.5MiB allocated; 818ms collecting garbage
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 816 computations (45.5% saved)

start3.0ms (0%)

Memory
6.3MiB live, 6.2MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
1.0MiB live, 0.9MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...