Herbie run

Date:Thursday, April 3rd, 2025
Commit:f7a7cb35 on main
Seed:2025093
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:267 753.4 MB

Time bar (total: 3.2min)

sample1.1min (35.1%)

Memory
1 133.2MiB live, 92 423.6MiB allocated; 25.1s collecting garbage
Samples
33.9s433 954×0valid
7.8s26 460×1valid
3.7s9 279×2valid
1.5s4 430×0invalid
581.0ms8 237×0exit
235.0ms904×3valid
Precisions
Click to see histograms. Total time spent on operations: 31.8s
ival-mult!: 8.9s (27.9% of total)
ival-exp: 3.2s (10.1% of total)
ival-add!: 2.9s (9.2% of total)
ival-hypot: 2.8s (8.8% of total)
ival-div!: 1.9s (5.9% of total)
ival-log: 1.7s (5.3% of total)
adjust: 1.6s (5% of total)
ival-asin: 1.6s (4.9% of total)
ival-sub!: 1.2s (3.9% of total)
ival-sin: 1.0s (3.2% of total)
ival-fabs: 961.0ms (3% of total)
ival-cos: 925.0ms (2.9% of total)
ival-atan2: 797.0ms (2.5% of total)
ival-sqrt: 530.0ms (1.7% of total)
ival-pow: 348.0ms (1.1% of total)
ival-acosh: 314.0ms (1% of total)
ival-sinu: 313.0ms (1% of total)
ival-neg: 260.0ms (0.8% of total)
ival-atanh: 249.0ms (0.8% of total)
ival-asinh: 205.0ms (0.6% of total)
ival-cosu: 134.0ms (0.4% of total)
const: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)
Bogosity

rewrite41.0s (21.2%)

Memory
530.2MiB live, 51 086.7MiB allocated; 11.6s collecting garbage
Stop Event
456×iter-limit
178×node-limit
14×unsound
4×saturated
Counts
31 284 → 65 541

eval18.5s (9.6%)

Memory
381.5MiB live, 29 513.9MiB allocated; 8.5s collecting garbage
Compiler

Compiled 7 884 204 to 395 693 computations (95% saved)

series13.6s (7.1%)

Memory
937.4MiB live, 20 991.0MiB allocated; 3.5s collecting garbage
Counts
5 487 → 25 797
Calls

1197 calls:

TimeVariablePointExpression
538.0ms
x
@0
((/ (/ (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) 3)) (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3))))) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))))))) (/ (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) 3)) (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3))))) (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) 3)) 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) 3275911/10000000 (fabs x) x -1 (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1)))))) 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1)))) -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))) (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (+ (* (fabs x) 3275911/10000000) 1) -2 1061405429/1000000000 1421413741/1000000000 (+ 1 (* -10731592879921/100000000000000 (* x x))) (* -10731592879921/100000000000000 (* x x)) -10731592879921/100000000000000 (* x x) (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (exp (* (neg x) x)) (* (neg x) x) (neg x) 3 (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)))) (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3))) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))))) (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (neg (* (fabs x) (fabs x))))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000 (exp (neg (* (fabs x) (fabs x)))) (+ 1 (* (* x x) (- (* (* x x) (+ 1/2 (* -1/6 (* x x)))) 1))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (- (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) 1) (- (* -3275911/10000000 (fabs x)) -1))) (exp (neg (* (fabs x) (fabs x))))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (- (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) 1) (- (* -3275911/10000000 (fabs x)) -1))) (/ (- (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) 1) (- (* -3275911/10000000 (fabs x)) -1)) (- (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) 1) (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) (* -3275911/10000000 (fabs x)) (- (* -3275911/10000000 (fabs x)) -1) (exp (neg (* (fabs x) (fabs x)))) (+ 1 (* (* x x) (- (* (* x x) (+ 1/2 (* -1/6 (* x x)))) 1))) (* (* x x) (- (* (* x x) (+ 1/2 (* -1/6 (* x x)))) 1)) (- (* (* x x) (+ 1/2 (* -1/6 (* x x)))) 1) (* (* x x) (+ 1/2 (* -1/6 (* x x)))) (+ 1/2 (* -1/6 (* x x))) 1/2 (* -1/6 (* x x)) -1/6 (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))))))) (exp (neg (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))))))) (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000))))))) (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))))) (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x)))) (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* 3275911/10000000 (fabs x))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)) (/ (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000) (+ 1 (* 3275911/10000000 (fabs x)))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000) (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (/ (- 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))))))) (- 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))))) (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (exp (* (neg x) x)))
317.0ms
x.im
@0
((* (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (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 (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im)) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) x.re x.im y.re (* (neg (atan2 x.im x.re)) y.im) (neg (atan2 x.im x.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))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (atan2 x.im 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)))) (* (sin (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (sin (* y.re (atan2 x.im x.re))) (* y.re (atan2 x.im x.re)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re 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)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (* -1 x.re) -1 (* (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))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* x.re x.re) (* x.im x.im)) (* x.re x.re) (* x.im x.im) (* (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 (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* 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)) y.im)) (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (/ (* y.re (atan2 x.im x.re)) y.im) (* (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)))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (- (sin (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re)))) (* -1/2 (/ (* (* x.im x.im) (* y.im (cos (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re)))))) (* x.re x.re)))) (sin (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re)))) (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re))) (log (pow (/ -1 x.re) y.im)) (pow (/ -1 x.re) y.im) (/ -1 x.re) (* -1/2 (/ (* (* x.im x.im) (* y.im (cos (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re)))))) (* x.re x.re))) -1/2 (/ (* (* x.im x.im) (* y.im (cos (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re)))))) (* x.re x.re)) (* (* x.im x.im) (* y.im (cos (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re)))))) (* y.im (cos (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re))))) (cos (+ (* -1 (log (pow (/ -1 x.re) y.im))) (* y.re (atan2 x.im x.re)))))
220.0ms
x
@inf
((- 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 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x)))))) 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 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/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)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))))) (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) 3275911/10000000 (fabs x) x (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000)))))))) 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000)))))) -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000)))) 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000)) -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000) 1061405429/1000000000 (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)))
206.0ms
y.im
@-inf
((* (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (neg (atan2 x.im x.re)) y.im)) (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) (sqrt (+ (* x.re x.re) (* x.im x.im))) x.re x.im y.re (* (neg (atan2 x.im x.re)) y.im) (neg (atan2 x.im x.re)) (atan2 x.im x.re) y.im (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* y.re (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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cos (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (cos (* y.re (atan2 x.im x.re))) 1 (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (+ x.im (* 1/2 (/ (* x.re x.re) x.im))) (* 1/2 (/ (* x.re x.re) x.im)) 1/2 (/ (* x.re x.re) x.im) (* x.re x.re) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cos (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (cos (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (+ (* x.im x.im) (* x.re x.re)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cos (* y.re (atan2 x.im x.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (+ 1 (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re))) (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re)) (+ (* -1 (log (pow (/ -1 x.re) y.re))) (* 1/2 (/ (* (* x.im x.im) y.re) (* x.re x.re)))) -1 (log (pow (/ -1 x.re) y.re)) (pow (/ -1 x.re) y.re) (/ -1 x.re) (* 1/2 (/ (* (* x.im x.im) y.re) (* x.re x.re))) (/ (* (* x.im x.im) y.re) (* x.re x.re)) (* (* x.im x.im) y.re) (* x.im x.im) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (exp (* (neg y.im) (atan2 x.im x.re)))) (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im) (sqrt (+ (* x.im x.im) (* x.re x.re))) (exp (* (neg y.im) (atan2 x.im x.re))) (* (neg y.im) (atan2 x.im x.re)) (neg y.im))
129.0ms
x
@inf
((/ (/ (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) 3)) (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3))))) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))))))) (/ (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) 3)) (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3))))) (- 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) 3)) 1 (pow (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 1 (* 3275911/10000000 (fabs x))) (* 3275911/10000000 (fabs x)) 3275911/10000000 (fabs x) x -1 (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1)))))) 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1)))) -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))) (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (+ (* (fabs x) 3275911/10000000) 1) -2 1061405429/1000000000 1421413741/1000000000 (+ 1 (* -10731592879921/100000000000000 (* x x))) (* -10731592879921/100000000000000 (* x x)) -10731592879921/100000000000000 (* x x) (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1)) (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (exp (* (neg x) x)) (* (neg x) x) (neg x) 3 (+ 1 (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)))) (+ (* (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3) (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3))) (* 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))))) (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (neg (* (fabs x) (fabs x))))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000 (exp (neg (* (fabs x) (fabs x)))) (+ 1 (* (* x x) (- (* (* x x) (+ 1/2 (* -1/6 (* x x)))) 1))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (- (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) 1) (- (* -3275911/10000000 (fabs x)) -1))) (exp (neg (* (fabs x) (fabs x))))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (/ (- (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) 1) (- (* -3275911/10000000 (fabs x)) -1))) (/ (- (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) 1) (- (* -3275911/10000000 (fabs x)) -1)) (- (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) 1) (* (* -3275911/10000000 (fabs x)) (* -3275911/10000000 (fabs x))) (* -3275911/10000000 (fabs x)) (- (* -3275911/10000000 (fabs x)) -1) (exp (neg (* (fabs x) (fabs x)))) (+ 1 (* (* x x) (- (* (* x x) (+ 1/2 (* -1/6 (* x x)))) 1))) (* (* x x) (- (* (* x x) (+ 1/2 (* -1/6 (* x x)))) 1)) (- (* (* x x) (+ 1/2 (* -1/6 (* x x)))) 1) (* (* x x) (+ 1/2 (* -1/6 (* x x)))) (+ 1/2 (* -1/6 (* x x))) 1/2 (* -1/6 (* x x)) -1/6 (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))))))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))))))) (exp (neg (* (fabs x) (fabs x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))))))) (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000))))))) (* (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))))) (/ 1 (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x))))) (/ (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (- 1 (* 3275911/10000000 (fabs x)))) (- 1 (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x)))) (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* 3275911/10000000 (fabs x))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ 1061405429/1000000000 (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -1453152027/1000000000)) (/ (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000) (+ 1 (* 3275911/10000000 (fabs x)))) (- (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) 1453152027/1000000000) (* 1061405429/1000000000 (- 1 (* 3275911/10000000 (fabs x)))) (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (/ (- 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))))))) (- 1 (pow (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))))) (+ (* (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))))) (* 1 (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x)))) (* (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ 31853699/125000000 (* (pow (+ 1 (* 3275911/10000000 (fabs x))) -1) (+ -8890523/31250000 (+ (* (/ (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 1421413741/1000000000) (+ 1 (* -10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (/ 1453152027/1000000000 (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (fabs x) 3275911/10000000) 1))))))) (exp (* (neg x) x))) (exp (* (neg x) x)))

derivations13.2s (6.8%)

Memory
-488.5MiB live, 12 596.4MiB allocated; 4.0s collecting garbage
Stop Event
36×fuel
21×done
Compiler

Compiled 33 024 to 4 016 computations (87.8% saved)

explain11.8s (6.1%)

Memory
121.4MiB live, 19 112.1MiB allocated; 2.7s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue13060
-.f64#fcancellation7281
/.f64#fo/o6940
sqrt.f32#foflow-rescue1990
/.f64#fo/n1920
sin.f64#fsensitivity1901
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)))sensitivity1861
+.f64#fcancellation1380
sqrt.f64#fuflow-rescue1360
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1260
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1193
-.f64#fnan-rescue970
/.f64#fn/o790
*.f64#fn*u650
/.f64(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)))u/u610
↳(*.f64 (*.f64 i i) (*.f64 i i))underflow93
↳(*.f64 i i)underflow122
↳(*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i))underflow61
+.f64#fnan-rescue490
/.f64#fu/n340
*.f64#fn*o330
/.f64#fn/u90
*.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*u40
↳(*.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))))overflow4
↳(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)))overflow4
↳(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))))underflow4
log.f32#foflow-rescue30
exp.f64#fsensitivity30
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)))oflow-rescue20
↳(+.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))overflow2
↳(*.f64 x.re x.re)overflow70
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow118
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow73
sin.f64(sin.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)))oflow-rescue20
↳(+.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))overflow2
↳(*.f64 x.re x.re)overflow70
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow118
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow73
Confusion
Predicted +Predicted -
+367639
-18810689
Precision
0.9513457556935818
Recall
0.9895020188425303
Confusion?
Predicted +Predicted MaybePredicted -
+3676633
-188010689
Precision?
0.951421188630491
Recall?
0.9911170928667564
Freqs
test
numberfreq
010728
13275
2587
32
Total Confusion?
Predicted +Predicted MaybePredicted -
+3600
-1020
Precision?
0.972972972972973
Recall?
1.0
Samples
2.3s25 570×0valid
1.1s2 622×1valid
486.0ms950×2valid
53.0ms42×3valid
Compiler

Compiled 13 558 to 2 283 computations (83.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.4s
ival-mult!: 726.0ms (30.3% of total)
ival-add!: 259.0ms (10.8% of total)
adjust: 246.0ms (10.3% of total)
ival-hypot: 209.0ms (8.7% of total)
ival-log: 190.0ms (7.9% of total)
ival-exp: 169.0ms (7% of total)
ival-div!: 114.0ms (4.8% of total)
ival-sub!: 85.0ms (3.5% of total)
ival-asin: 77.0ms (3.2% of total)
ival-sin: 64.0ms (2.7% of total)
ival-atan2: 62.0ms (2.6% of total)
ival-cos: 54.0ms (2.3% of total)
ival-sqrt: 47.0ms (2% of total)
ival-pow: 22.0ms (0.9% of total)
ival-fabs: 20.0ms (0.8% of total)
ival-neg: 15.0ms (0.6% of total)
ival-sinu: 13.0ms (0.5% of total)
ival-copysign: 12.0ms (0.5% of total)
ival-log1p: 9.0ms (0.4% of total)
ival-cosu: 6.0ms (0.3% of total)
const: 1.0ms (0% of total)
ival-pi: 0.0ms (0% of total)

regimes8.8s (4.6%)

Memory
-92.8MiB live, 14 734.2MiB allocated; 1.9s collecting garbage
Counts
6 831 → 754
Calls

132 calls:

525.0ms
y.re
484.0ms
y.im
481.0ms
re
413.0ms
x
411.0ms
im
Compiler

Compiled 12 243 to 8 667 computations (29.2% saved)

preprocess6.9s (3.5%)

Memory
-265.4MiB live, 8 258.5MiB allocated; 3.1s collecting garbage
Stop Event
33×node-limit
24×saturated
Compiler

Compiled 128 484 to 35 880 computations (72.1% saved)

prune6.1s (3.2%)

Memory
-68.5MiB live, 11 113.5MiB allocated; 1.6s collecting garbage
Counts
91 888 → 2 702
Compiler

Compiled 275 853 to 113 498 computations (58.9% saved)

bsearch3.4s (1.8%)

Memory
-79.7MiB live, 4 545.2MiB allocated; 1.5s collecting garbage
Algorithm
194×binary-search
181×left-value
Stop Event
184×narrow-enough
10×predicate-same
Samples
1.1s13 705×0valid
944.0ms1 504×1valid
30.0ms94×2valid
2.0ms9×3valid
Compiler

Compiled 128 535 to 71 537 computations (44.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.2s
ival-mult!: 378.0ms (30.7% of total)
ival-hypot: 205.0ms (16.7% of total)
ival-add!: 103.0ms (8.4% of total)
ival-log: 100.0ms (8.1% of total)
ival-exp: 81.0ms (6.6% of total)
adjust: 74.0ms (6% of total)
ival-sin: 72.0ms (5.9% of total)
ival-div!: 58.0ms (4.7% of total)
ival-atan2: 51.0ms (4.1% of total)
ival-cos: 48.0ms (3.9% of total)
ival-sub!: 45.0ms (3.7% of total)
ival-sqrt: 8.0ms (0.7% of total)
ival-neg: 5.0ms (0.4% of total)
ival-fabs: 3.0ms (0.2% of total)

analyze2.2s (1.1%)

Memory
130.7MiB live, 3 370.2MiB allocated; 607ms 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
-7.6MiB live, 6.7MiB allocated; 0ms collecting garbage

end0.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...