Herbie run

Date:Wednesday, November 27th, 2024
Commit:a25f782f on bhargav-double-double
Hostname:nightly with Racket 8.10
Seed:2024332
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 8.5min)

sample2.0min (23.4%)

Memory
265.3MiB live, 93 353.8MiB allocated
Samples
1.2min438 695×0valid
8.4s22 549×1valid
3.8s8 471×2valid
2.6s4 270×0invalid
1.0s7 937×0exit
349.0ms877×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.1min
ival-mult: 29.3s (42.7% of total)
ival-sub: 6.6s (9.7% of total)
const: 5.1s (7.4% of total)
ival-add: 4.9s (7.2% of total)
ival-div: 3.9s (5.7% of total)
ival-exp: 2.8s (4.1% of total)
ival-log: 2.5s (3.6% of total)
ival-hypot: 2.3s (3.4% of total)
ival-asin: 1.3s (1.8% of total)
adjust: 1.2s (1.7% of total)
ival-cos: 1.0s (1.5% of total)
ival-sin: 995.0ms (1.4% of total)
ival-sqrt: 835.0ms (1.2% of total)
ival-atan2: 756.0ms (1.1% of total)
ival-asinh: 582.0ms (0.8% of total)
ival-pi: 580.0ms (0.8% of total)
ival-sinu: 474.0ms (0.7% of total)
ival-pow: 419.0ms (0.6% of total)
ival->=: 382.0ms (0.6% of total)
exact: 365.0ms (0.5% of total)
ival->: 361.0ms (0.5% of total)
ival-acosh: 324.0ms (0.5% of total)
ival-<=: 291.0ms (0.4% of total)
ival-true: 277.0ms (0.4% of total)
ival-fabs: 243.0ms (0.4% of total)
ival-atanh: 211.0ms (0.3% of total)
ival-assert: 196.0ms (0.3% of total)
ival-neg: 175.0ms (0.3% of total)
ival-cosu: 124.0ms (0.2% of total)
ival-and: 78.0ms (0.1% of total)
Bogosity

soundness1.5min (17.1%)

Memory
42.4MiB live, 34 500.2MiB allocated
Stop Event
355×iter limit
221×node limit
35×fuel
18×done
3×saturated
3×unsound
Compiler

Compiled 71 196 to 24 266 computations (65.9% saved)

simplify1.1min (13%)

Memory
180.6MiB live, 56 837.1MiB allocated
Algorithm
427×egg-herbie
Stop Event
560×iter limit
266×node limit
162×saturated
Counts
15 447 → 15 288

series46.5s (9.1%)

Memory
446.6MiB live, 22 205.7MiB allocated
Counts
2 696 → 15 447
Calls

1197 calls:

TimeVariablePointExpression
31.8s
x
@0
((/ (pow (/ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1)) (/ (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (- (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (/ 31853699/125000000 (+ (* (fabs x) 3275911/10000000) 1))) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* (exp (* (neg x) x)) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))) (* (fabs x) (fabs x)) (- 1 (* (exp (* (neg x) x)) (/ (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* (fabs x) 3275911/10000000)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (+ (* (/ (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (- 1 (* (fabs x) 3275911/10000000)) (pow (- 1 (* (fabs x) 3275911/10000000)) -1))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (exp (neg (* (fabs x) (fabs x)))))) (+ (* (/ (* (* (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (exp (* (neg x) x))) (* x x)) (pow (+ (* (fabs x) 3275911/10000000) 1) 3)) -11390570944565894491109/50000000000000000000000) (- 1 (* (exp (* (neg x) x)) (/ (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))))) (+ (* (/ (neg (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (- (exp (* (+ (log (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 1) -1)) (/ (neg (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (- (exp (* (+ (log (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 1) (- (/ (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (/ (pow (/ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1)))) (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (* 3275911/10000000 (fabs x)) (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (* (fabs x) 3275911/10000000) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3))
1.8s
x
@0
((+ (- 1 (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))))) (pow (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 2)) (+ (* (/ 1 (+ (pow (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 3) 1)) (+ (- 1 (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))))) (pow (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 2))) (neg (/ (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1)))) (neg (/ (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1))) (/ 1 (+ (pow (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 3) 1)) (- 1 (* (exp (* (neg x) x)) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (neg x) x) (neg x) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (+ (* -3275911/10000000 (fabs x)) 1) (/ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (+ (* -3275911/10000000 (fabs x)) 1) (/ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (+ (* -3275911/10000000 (fabs x)) 1) (/ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (+ (* -3275911/10000000 (fabs x)) 1) (/ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* -10731592879921/100000000000000 (* x x)) 1))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))) (- (/ 1 (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1)) (/ (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 2) (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1))) (/ 1 (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1)) (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (- 1 (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 9)) (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 9) (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (* 3275911/10000000 (fabs x)) (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 2) (pow (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 6))
426.0ms
x
@-inf
((/ (pow (/ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1)) (/ (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (- (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (/ 31853699/125000000 (+ (* (fabs x) 3275911/10000000) 1))) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* (exp (* (neg x) x)) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))) (* (fabs x) (fabs x)) (- 1 (* (exp (* (neg x) x)) (/ (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* (fabs x) 3275911/10000000)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (+ (* (/ (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (- 1 (* (fabs x) 3275911/10000000)) (pow (- 1 (* (fabs x) 3275911/10000000)) -1))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (exp (neg (* (fabs x) (fabs x)))))) (+ (* (/ (* (* (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (exp (* (neg x) x))) (* x x)) (pow (+ (* (fabs x) 3275911/10000000) 1) 3)) -11390570944565894491109/50000000000000000000000) (- 1 (* (exp (* (neg x) x)) (/ (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))))) (+ (* (/ (neg (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (- (exp (* (+ (log (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 1) -1)) (/ (neg (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (- (exp (* (+ (log (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 1) (- (/ (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (/ (pow (/ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1)))) (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (* 3275911/10000000 (fabs x)) (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (* (fabs x) 3275911/10000000) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3))
279.0ms
x
@inf
((/ (pow (/ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1)) (/ (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (- (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (/ 31853699/125000000 (+ (* (fabs x) 3275911/10000000) 1))) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))))))) (exp (neg (* (fabs x) (fabs x)))))) (- 1 (* (exp (* (neg x) x)) (/ (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 8890523/31250000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (exp (neg (* (fabs x) (fabs x)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ (* (+ (* -3275911/10000000 (fabs x)) 1) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)))) (+ (* -10731592879921/100000000000000 (* x x)) 1)))) (* (fabs x) (fabs x)) (- 1 (* (exp (* (neg x) x)) (/ (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* (fabs x) 3275911/10000000)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (+ (* (/ (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (- 1 (* (fabs x) 3275911/10000000)) (pow (- 1 (* (fabs x) 3275911/10000000)) -1))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (exp (neg (* (fabs x) (fabs x)))))) (+ (* (/ (* (* (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (exp (* (neg x) x))) (* x x)) (pow (+ (* (fabs x) 3275911/10000000) 1) 3)) -11390570944565894491109/50000000000000000000000) (- 1 (* (exp (* (neg x) x)) (/ (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))))) (+ (* (/ (neg (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (- (exp (* (+ (log (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 1) -1)) (/ (neg (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (- (exp (* (+ (log (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))))) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 1) (- (/ (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1))) (/ (pow (/ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1)) 2) (* (+ (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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) 1) (pow (+ (* (/ (pow (exp x) (neg x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000)) 1) -1)))) (+ 1453152027/1000000000 (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) -1453152027/1000000000) (+ (* 3275911/10000000 (fabs x)) 1))) (* 3275911/10000000 (fabs x)) (- (- (+ (* (/ (pow (- 1 (* (fabs x) 3275911/10000000)) 2) (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 1061405429/1000000000) (+ (/ 1421413741/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 2)) 31853699/125000000)) (/ 1453152027/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 3))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (* (fabs x) 3275911/10000000) (log (/ (+ (/ (+ (/ (+ (/ (+ 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 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) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3))
186.0ms
y.im
@-inf
((/ 1 (/ (pow (exp y.im) (atan2 x.im x.re)) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))))))) (pow (exp y.im) (atan2 x.im x.re)) (exp y.im) (atan2 x.im x.re) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re)) (+ (* 1/2 (* (/ (* (* x.re x.re) y.re) x.im) (/ (pow x.im y.re) x.im))) (pow x.im y.re)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (exp (- (* y.re (log x.re)) (* y.im (atan2 x.im x.re)))) (sin (+ (* y.im (log x.re)) (* y.re (atan2 x.im x.re))))) (- (* y.re (log x.re)) (* y.im (atan2 x.im x.re))) (* y.re (log x.re)) (* y.re (+ (* (* y.re y.re) (+ (* (* 1/120 (* y.re y.re)) (pow (atan2 x.im x.re) 5)) (* -1/6 (pow (atan2 x.im x.re) 3)))) (atan2 x.im x.re))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) (/ (pow (exp y.im) (atan2 x.im x.re)) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))))) (* (atan2 x.im x.re) y.re) (* (/ (* (* x.re x.re) y.re) x.im) (/ (pow x.im y.re) x.im)) (* (* x.re x.re) y.re) (sin (+ (* y.im (log x.re)) (* y.re (atan2 x.im x.re)))) (+ (* y.im (log x.re)) (* y.re (atan2 x.im x.re))) (pow (atan2 x.im x.re) 5) (* -1/6 (pow (atan2 x.im x.re) 3)) (pow (atan2 x.im x.re) 3))

rewrite40.2s (7.9%)

Memory
812.9MiB live, 40 916.7MiB allocated
Stop Event
398×iter limit
177×node limit
6×saturated
5×unsound
Counts
2 696 → 101 563

localize35.4s (7%)

Memory
-681.8MiB live, 34 407.8MiB allocated
Samples
16.5s39 882×0valid
5.0s3 433×1valid
3.1s1 414×2valid
1.5s2 303×0invalid
460.0ms263×1exit
361.0ms252×5exit
136.0ms127×3valid
114.0ms196×0exit
7.0ms2×2exit
Compiler

Compiled 151 374 to 12 825 computations (91.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.8s
ival-mult: 4.9s (29% of total)
ival-add: 2.0s (11.7% of total)
const: 1.7s (10.3% of total)
ival-div: 1.6s (9.8% of total)
adjust: 1.1s (6.6% of total)
ival-pow: 899.0ms (5.3% of total)
ival-hypot: 771.0ms (4.6% of total)
ival-log: 632.0ms (3.8% of total)
ival-sub: 551.0ms (3.3% of total)
ival-asin: 507.0ms (3% of total)
ival-exp: 467.0ms (2.8% of total)
ival-sqrt: 348.0ms (2.1% of total)
ival-sin: 265.0ms (1.6% of total)
ival-neg: 218.0ms (1.3% of total)
ival-cos: 152.0ms (0.9% of total)
ival-pow2: 151.0ms (0.9% of total)
ival-acos: 111.0ms (0.7% of total)
exact: 74.0ms (0.4% of total)
ival-atan2: 65.0ms (0.4% of total)
ival-fabs: 62.0ms (0.4% of total)
ival-log1p: 55.0ms (0.3% of total)
ival-true: 43.0ms (0.3% of total)
ival-pi: 39.0ms (0.2% of total)
ival-cosh: 26.0ms (0.2% of total)
ival-assert: 22.0ms (0.1% of total)
ival-sinu: 15.0ms (0.1% of total)
ival-cosu: 11.0ms (0.1% of total)
ival-expm1: 2.0ms (0% of total)

explain32.6s (6.4%)

Memory
-141.8MiB live, 29 241.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11040
-.f64#fcancellation7873
/.f64#fo/o6550
/.f64#fo/n1780
sqrt.f32(sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))oflow-rescue1330
↳(*.f32 x x)overflow133
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow133
/.f64#fu/n1020
-.f64#fnan-rescue1010
sqrt.f64#fuflow-rescue1000
sin.f64#fsensitivity930
/.f64#fn/o910
cos.f64(cos.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))sensitivity900
+.f64#fcancellation781
/.f64#fu/u730
*.f64(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1049934947/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 106015151/2500000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 36322091/5000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 2532017/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1789971/10000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 7715471019/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 2909738639/10000000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 694555761/10000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 70002721/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1665589/2000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)n*u580
+.f64#fnan-rescue450
*.f64#fn*o320
/.f64#fn/u110
-.f64#foflow-left80
exp.f64#fsensitivity54
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue30
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow3
↳(*.f32 x x)overflow133
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow133
*.f64(*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))o*u20
↳(*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))overflow2
↳(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))overflow2
↳(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))underflow2
Confusion
Predicted +Predicted -
+3091132
-20210143
Precision
0.9386577588824779
Recall
0.9590443686006825
Confusion?
Predicted +Predicted MaybePredicted -
+30913129
-202510138
Precision?
0.9372917297788549
Recall?
0.9599751784052125
Freqs
test
numberfreq
010275
12837
2456
Total Confusion?
Predicted +Predicted MaybePredicted -
+3400
-2017
Precision?
0.9444444444444444
Recall?
1.0
Samples
7.1s24 266×0valid
4.4s718×2valid
1.1s2 078×1valid
45.0ms70×3valid
2.0ms4×5exit
Compiler

Compiled 25 032 to 5 608 computations (77.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.3s
adjust: 4.2s (57.1% of total)
ival-mult: 909.0ms (12.5% of total)
ival-add: 384.0ms (5.3% of total)
const: 345.0ms (4.7% of total)
ival-hypot: 278.0ms (3.8% of total)
ival-div: 236.0ms (3.2% of total)
ival-exp: 200.0ms (2.7% of total)
ival-log: 189.0ms (2.6% of total)
ival-sub: 116.0ms (1.6% of total)
ival-asin: 80.0ms (1.1% of total)
ival-atan2: 76.0ms (1% of total)
ival-cos: 58.0ms (0.8% of total)
ival-sin: 56.0ms (0.8% of total)
ival-sqrt: 52.0ms (0.7% of total)
ival-pow: 32.0ms (0.4% of total)
ival-true: 27.0ms (0.4% of total)
exact: 19.0ms (0.3% of total)
ival-pi: 17.0ms (0.2% of total)
ival-assert: 13.0ms (0.2% of total)
ival-sinu: 13.0ms (0.2% of total)
ival-fabs: 12.0ms (0.2% of total)
ival-neg: 12.0ms (0.2% of total)
ival-cosu: 6.0ms (0.1% of total)

eval30.7s (6%)

Memory
-181.2MiB live, 39 717.3MiB allocated
Compiler

Compiled 8 952 805 to 539 410 computations (94% saved)

regimes15.2s (3%)

Memory
165.6MiB live, 17 982.5MiB allocated
Counts
8 979 → 925
Calls

124 calls:

973.0ms
im
802.0ms
re
792.0ms
y.re
706.0ms
beta
523.0ms
y.im
Compiler

Compiled 14 289 to 10 045 computations (29.7% saved)

preprocess14.4s (2.8%)

Memory
121.4MiB live, 12 443.8MiB allocated
Algorithm
53×egg-herbie
Stop Event
106×iter limit
68×saturated
38×node limit
Compiler

Compiled 108 422 to 17 985 computations (83.4% saved)

prune13.6s (2.7%)

Memory
-269.4MiB live, 14 033.7MiB allocated
Counts
130 927 → 2 946
Compiler

Compiled 307 642 to 121 952 computations (60.4% saved)

bsearch5.1s (1%)

Memory
-5.7MiB live, 5 728.1MiB allocated
Algorithm
250×binary-search
222×left-value
Stop Event
241×narrow-enough
9×predicate-same
Samples
2.0s16 513×0valid
1.0s2 316×1valid
38.0ms133×2valid
18.0ms62×3valid
Compiler

Compiled 161 091 to 89 324 computations (44.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult: 788.0ms (33.3% of total)
ival-hypot: 243.0ms (10.3% of total)
ival-add: 219.0ms (9.3% of total)
ival-log: 181.0ms (7.7% of total)
ival-cos: 174.0ms (7.4% of total)
ival-atan2: 153.0ms (6.5% of total)
ival-exp: 132.0ms (5.6% of total)
ival-sin: 130.0ms (5.5% of total)
ival-sub: 104.0ms (4.4% of total)
adjust: 86.0ms (3.6% of total)
ival-div: 59.0ms (2.5% of total)
const: 57.0ms (2.4% of total)
ival-true: 14.0ms (0.6% of total)
ival-sqrt: 12.0ms (0.5% of total)
ival-assert: 8.0ms (0.3% of total)
exact: 4.0ms (0.2% of total)

analyze2.5s (0.5%)

Memory
104.7MiB live, 3 060.8MiB allocated
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)

start2.0ms (0%)

Memory
4.7MiB live, 4.6MiB allocated

end0.0ms (0%)

Memory
1.1MiB live, 1.0MiB allocated

Profiling

Loading profile data...