Herbie run

Date:Thursday, August 22nd, 2024
Commit:efa1c98c on faster-localize
Hostname:nightly with Racket 8.11.1
Seed:2024235
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 16.8min)

soundness4.1min (24.3%)

Memory
439.9MiB live, 37 940.2MiB allocated
Rules
2 008 068×lower-fma.f32
2 007 600×lower-fma.f64
1 007 464×lower-*.f32
1 006 068×lower-*.f64
554 472×lower-+.f32
Stop Event
332×iter limit
216×node limit
33×fuel
23×done
2×unsound
1×saturated
Compiler

Compiled 37 632 to 14 522 computations (61.4% saved)

sample3.5min (20.7%)

Memory
1 187.0MiB live, 126 162.7MiB allocated
Samples
2.2min438 811×0valid
25.3s3 921×5exit
6.3s22 354×1valid
3.7s8 583×2valid
779.0ms7 896×0exit
236.0ms844×3valid
44.0ms501×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.9min
ival-mult: 56.0s (50.2% of total)
ival-sin: 20.9s (18.7% of total)
ival-add: 5.3s (4.8% of total)
ival-div: 4.6s (4.1% of total)
adjust: 4.0s (3.6% of total)
const: 3.8s (3.4% of total)
ival-log: 3.0s (2.7% of total)
ival-exp: 2.8s (2.5% of total)
ival-hypot: 2.4s (2.2% of total)
ival-sub: 1.8s (1.6% of total)
ival-asin: 1.2s (1% of total)
ival-cos: 1.0s (0.9% of total)
ival-atan2: 811.0ms (0.7% of total)
ival-sqrt: 694.0ms (0.6% of total)
ival-pi: 475.0ms (0.4% of total)
ival-pow: 347.0ms (0.3% of total)
exact: 338.0ms (0.3% of total)
ival->: 314.0ms (0.3% of total)
ival-acosh: 305.0ms (0.3% of total)
ival-true: 258.0ms (0.2% of total)
ival-neg: 258.0ms (0.2% of total)
ival-asinh: 198.0ms (0.2% of total)
ival-assert: 180.0ms (0.2% of total)
ival-atanh: 171.0ms (0.2% of total)
ival-fabs: 169.0ms (0.2% of total)
ival-<=: 147.0ms (0.1% of total)
ival->=: 78.0ms (0.1% of total)
ival-and: 74.0ms (0.1% of total)
Bogosity

prune2.9min (17.2%)

Memory
-1 110.7MiB live, 80 285.8MiB allocated
Counts
207 950 → 3 232
Compiler

Compiled 184 722 to 73 372 computations (60.3% saved)

simplify1.9min (11.3%)

Memory
207.7MiB live, 68 170.8MiB allocated
Algorithm
440×egg-herbie
Rules
3 475 100×lower-fma.f32
3 474 204×lower-fma.f64
1 287 500×lower-*.f32
1 285 178×lower-*.f64
834 386×lower-+.f32
Stop Event
576×iter limit
268×node limit
172×saturated
Counts
57 948 → 57 198

localize1.4min (8.5%)

Memory
145.9MiB live, 35 432.5MiB allocated
Samples
33.8s4 030×1valid
12.4s40 600×0valid
2.2s1 512×2valid
1.2s2 421×0invalid
135.0ms137×3valid
117.0ms310×0exit
38.0ms15×4valid
29.0ms121×1exit
5.0ms6×5exit
Compiler

Compiled 68 363 to 6 288 computations (90.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 44.5s
ival-pi: 15.7s (35.3% of total)
adjust: 15.3s (34.5% of total)
ival-mult: 4.9s (11% of total)
ival-add: 2.2s (4.8% of total)
ival-div: 1.4s (3.2% of total)
const: 849.0ms (1.9% of total)
ival-log: 538.0ms (1.2% of total)
ival-sub: 504.0ms (1.1% of total)
ival-hypot: 472.0ms (1.1% of total)
ival-exp: 459.0ms (1% of total)
ival-sqrt: 352.0ms (0.8% of total)
ival-sin: 288.0ms (0.6% of total)
ival-pow: 266.0ms (0.6% of total)
ival-neg: 222.0ms (0.5% of total)
ival-asin: 199.0ms (0.4% of total)
ival-cos: 192.0ms (0.4% of total)
ival-acos: 180.0ms (0.4% of total)
ival-atan2: 103.0ms (0.2% of total)
ival-pow2: 93.0ms (0.2% of total)
exact: 66.0ms (0.1% of total)
ival-copysign: 55.0ms (0.1% of total)
ival-fabs: 55.0ms (0.1% of total)
ival-true: 38.0ms (0.1% of total)
ival-log1p: 38.0ms (0.1% of total)
ival-cosh: 26.0ms (0.1% of total)
ival-assert: 19.0ms (0% of total)

rewrite52.0s (5.1%)

Memory
-155.6MiB live, 54 731.7MiB allocated
Rules
1 025 730×lower-fma.f32
1 024 844×lower-fma.f64
758 792×lower-*.f32
756 590×lower-*.f64
601 710×lower-/.f32
Stop Event
398×iter limit
183×node limit
5×saturated
3×unsound
Counts
2 855 → 108 388

eval43.9s (4.3%)

Memory
1 220.2MiB live, 59 876.7MiB allocated
Compiler

Compiled 10 132 597 to 468 841 computations (95.4% saved)

series28.9s (2.9%)

Memory
178.8MiB live, 20 056.9MiB allocated
Counts
2 862 → 58 020
Calls

1185 calls:

TimeVariablePointExpression
304.0ms
x.re
@-inf
((+ (* 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)) (* (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.re x.re) (* x.im x.im))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* (neg y.im) (neg (log x.re))) (* (atan2 x.im x.re) y.re)) (neg (+ (* (neg (log x.re)) y.re) (* 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)))) (* (sin (+ (* (neg y.im) (neg (log x.re))) (* (atan2 x.im x.re) y.re))) (exp (neg (+ (* (neg (log x.re)) y.re) (* y.im (atan2 x.im x.re)))))) (+ (* (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))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (/ 1 (+ (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) (* (neg y.re) (atan2 x.im x.re)))) (- (pow (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) 2) (pow (* y.re (atan2 x.im x.re)) 2))) (/ 1 (+ (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) (* (neg 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))) (sin (* (/ 1 (+ (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) (* (neg y.re) (atan2 x.im x.re)))) (- (pow (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) 2) (pow (* y.re (atan2 x.im x.re)) 2))))) (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)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (* (atan2 x.im x.re) y.im) (sin (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (sin (+ (* (neg y.im) (neg (log x.re))) (* (atan2 x.im x.re) y.re))) (* y.im (atan2 x.im x.re)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (/ (* x.re x.re) x.im) (sin (* (/ 1 (+ (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) (* (neg y.re) (atan2 x.im x.re)))) (- (pow (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) 2) (pow (* y.re (atan2 x.im x.re)) 2)))) (log (+ (* x.im x.im) (* x.re x.re))))
183.0ms
x
@0
((/ (- (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1)) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1))) (- 1 (/ (+ (/ (+ (/ (+ 1421413741/1000000000 (/ (+ (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* -3275911/10000000 (fabs x)) -1))) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))))) (- (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1)) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1))) (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1)) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 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 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (+ (* (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))) (* (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 (+ (* (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (exp (neg (* (fabs x) (fabs x))))) (/ (/ 1 (- 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)))) (/ 1 (- 1 (* (fabs x) 3275911/10000000)))) (* (/ (- 2020417023103615081/1000000000000000000 (/ (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (/ 1 (- 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)))) (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- 2020417023103615081/1000000000000000000 (/ (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (/ 1 (- 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)))) (/ 1 (- 1 (* (fabs x) 3275911/10000000))))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- 2020417023103615081/1000000000000000000 (/ (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (/ 1 (- 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)))) (/ 1 (- 1 (* (fabs x) 3275911/10000000))))))) (/ (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (+ (* (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (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) (+ (* (fabs x) 3275911/10000000) 1))) 1)) 1)) (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (pow (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 3) (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) (neg (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)))) (/ (- (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1)) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1))) (- 1 (neg (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)))))) (- (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1)) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1))) (/ (- 1 (/ (pow (- (+ (+ 31853699/125000000 (/ 1061405429/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 4))) (/ 1421413741/1000000000 (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 1453152027/1000000000 (* (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1)))) 4) (pow (+ (* (fabs x) 3275911/10000000) 1) 4))) (+ (/ (pow (- (+ (+ 31853699/125000000 (/ 1061405429/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 4))) (/ 1421413741/1000000000 (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 1453152027/1000000000 (* (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1)))) 2) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ (* -3275911/10000000 (fabs x)) -1))) 1)) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (/ -1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (+ (* (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))) (- 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 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (exp (neg (* (fabs x) (fabs x)))))) (- 1421413741/1000000000 (/ 1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (* 3275911/10000000 (fabs x)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ (- 2020417023103615081/1000000000000000000 (/ (* (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000)) (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ (/ 1 (- 1421413741/1000000000 (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)))) (/ 1 (- 1 (* (fabs x) 3275911/10000000))))))))) (exp (neg (* (fabs x) (fabs x)))))) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (/ (pow (- (+ (+ 31853699/125000000 (/ 1061405429/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 4))) (/ 1421413741/1000000000 (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 1453152027/1000000000 (* (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1)))) 4) (pow (+ (* (fabs x) 3275911/10000000) 1) 4))) (pow (- (+ (+ 31853699/125000000 (/ 1061405429/1000000000 (pow (+ (* (fabs x) 3275911/10000000) 1) 4))) (/ 1421413741/1000000000 (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)))) (+ (/ 1453152027/1000000000 (* (* (+ (* (fabs x) 3275911/10000000) 1) (+ (* (fabs x) 3275911/10000000) 1)) (+ (* (fabs x) 3275911/10000000) 1))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1)))) 4))
159.0ms
x
@0
((- (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1)) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1))) (/ (- (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1)) (/ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1))) (- 1 (neg (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)))))) (neg (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)))) (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1)) (+ (* (/ 1 (+ (* 3275911/10000000 (fabs x)) 1)) 1061405429/1000000000) -1453152027/1000000000) (- 1 (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1 (+ (* 3275911/10000000 (fabs x)) 1)) 1061405429/1000000000) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)))) (/ (+ (/ (+ (/ (+ (/ (+ (* (/ 1 (+ (* 3275911/10000000 (fabs x)) 1)) 1061405429/1000000000) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) (+ (/ (+ (/ (+ (/ (+ (* (/ 1 (+ (* 3275911/10000000 (fabs x)) 1)) 1061405429/1000000000) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (/ 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 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (+ (* (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (+ (* (/ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))) (* (fabs x) (fabs x)) (/ (/ 1 (+ (* -10731592879921/100000000000000 (* x x)) 1)) (/ 1 (+ (* -3275911/10000000 (fabs x)) 1))) (+ (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ (/ 1 (+ (* -10731592879921/100000000000000 (* x x)) 1)) (/ 1 (+ (* -3275911/10000000 (fabs x)) 1)))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000)) (/ (- 1 (pow (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ (/ 1 (+ (* -10731592879921/100000000000000 (* x x)) 1)) (/ 1 (+ (* -3275911/10000000 (fabs x)) 1)))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000)) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 2)) (- 1 (neg (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)))))) (/ (* (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4)) (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1))) (- 1 (neg (/ (+ (/ (+ (/ (+ (/ (+ (/ 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) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1)))))) (* (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4)) (/ 1 (+ (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (+ (* -3275911/10000000 (fabs x)) -1) (exp (* x x)))) 2) 1))) (- 1 (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4)) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (pow (/ (+ (/ (+ (/ (+ (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000) (+ (* 3275911/10000000 (fabs x)) 1)) -8890523/31250000) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* 3275911/10000000 (fabs x)) 1))) 4) (+ (/ (+ (* (/ 1 (+ (* 3275911/10000000 (fabs x)) 1)) 1061405429/1000000000) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (/ (+ (/ (+ (/ (+ (* (/ 1 (+ (* 3275911/10000000 (fabs x)) 1)) 1061405429/1000000000) -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)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (- 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 (+ (* (fabs x) 3275911/10000000) 1)) (- 1 (* 10731592879921/100000000000000 (* x x)))) (/ 1 (/ 1 (- 1 (* (fabs x) 3275911/10000000))))) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))))))))) (exp (neg (* (fabs x) (fabs x)))))) (+ (* (/ (- 1 (* (fabs x) 3275911/10000000)) (+ (* (fabs x) 3275911/10000000) 1)) 1061405429/1000000000) (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (* 3275911/10000000 (fabs x)) (- 1 (pow (/ (+ (/ (+ (/ (+ (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ (/ 1 (+ (* -10731592879921/100000000000000 (* x x)) 1)) (/ 1 (+ (* -3275911/10000000 (fabs x)) 1)))) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000)) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (* (exp (* x x)) (+ (* (fabs x) 3275911/10000000) 1))) 2)) (+ (/ -1453152027/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1421413741/1000000000))
157.0ms
y.re
@0
((* (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) (* (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.re x.re) (* x.im x.im))) y.re) (sin (* (atan2 x.im x.re) y.re))) (* y.re (atan2 x.im x.re)) (atan2 x.im x.re) (* 1/2 (* y.re 1/2)) (* (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 (* (+ (* x.im x.im) (* x.re x.re)) (+ (* x.im x.im) (* x.re x.re))) (* 1/2 (* y.re 1/2))) (sin (* (atan2 x.im x.re) y.re))) (pow (* (+ (* x.im x.im) (* x.re x.re)) (+ (* x.im x.im) (* x.re x.re))) (* 1/2 (* y.re 1/2))) (* (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 x.im) y.im) (* (atan2 x.im x.re) y.re))) (* (pow x.im y.re) (exp (* (neg y.im) (atan2 x.im x.re))))) (sin (+ (* (log x.im) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log x.im) y.im) (* (atan2 x.im x.re) y.re)) (* (/ 1 (+ (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) (* (neg y.re) (atan2 x.im x.re)))) (- (pow (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) 2) (pow (* y.re (atan2 x.im x.re)) 2))) (/ 1 (+ (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) (* (neg 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))) (sin (* (/ 1 (+ (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) (* (neg y.re) (atan2 x.im x.re)))) (- (pow (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) 2) (pow (* y.re (atan2 x.im x.re)) 2))))) (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))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (+ (* x.re x.re) (* x.im x.im)) (sin (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (* (neg y.im) (atan2 x.im x.re)) (sin (* (/ 1 (+ (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) (* (neg y.re) (atan2 x.im x.re)))) (- (pow (* (* y.im 1/2) (log (+ (* x.im x.im) (* x.re x.re)))) 2) (pow (* y.re (atan2 x.im x.re)) 2)))) (log (+ (* x.im x.im) (* x.re x.re))) (sqrt (+ (* x.im x.im) (* x.re x.re))))
123.0ms
base
@0
((sqrt (+ (* re re) (* im im))) (* 0 0) (* (log base) (log base)) (+ (* (log base) (log base)) (* 0 0)) (/ 1 (/ (pow (log base) 2) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)))) (/ (pow (log base) 2) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0))) (/ (log base) (log im)) (log base) (* (/ (log im) (sqrt (log base))) (/ 1 (sqrt (log base)))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (sqrt (log base))) (log im) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (- (log (sqrt (+ (* (* (* im im) im) (* (* im im) im)) (* (* (* re re) re) (* (* re re) re))))) (log (sqrt (+ (* (* (* re re) (+ re im)) (- re im)) (* (* (* im im) im) im))))) (log base)) (- (log (sqrt (+ (* (* (* im im) im) (* (* im im) im)) (* (* (* re re) re) (* (* re re) re))))) (log (sqrt (+ (* (* (* re re) (+ re im)) (- re im)) (* (* (* im im) im) im))))) (log (sqrt (+ (* (* (* im im) im) (* (* im im) im)) (* (* (* re re) re) (* (* re re) re))))) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (pow (/ 1 (log base)) -2)) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log im) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (* (atan2 im re) 0) (/ 1 (sqrt (log base))) (sqrt (log base)) (log (sqrt (+ (* (* (* re re) (+ re im)) (- re im)) (* (* (* im im) im) im)))) (sqrt (+ (* (* (* re re) (+ re im)) (- re im)) (* (* (* im im) im) im))) (+ (* (* (* re re) (+ re im)) (- re im)) (* (* (* im im) im) im)) (pow (/ 1 (log base)) -2) (/ 1 (log base)))

regimes23.1s (2.3%)

Memory
-11.1MiB live, 19 593.2MiB allocated
Counts
9 693 → 968
Calls

130 calls:

4.0s
(*.f64 (exp.f64 re) (sin.f64 im))
3.8s
(sin.f64 im)
1.1s
x
847.0ms
im
797.0ms
re
Compiler

Compiled 18 995 to 10 498 computations (44.7% saved)

explain14.1s (1.4%)

Memory
-167.1MiB live, 18 832.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue12080
-.f64#fcancellation7382
/.f64#fo/o6370
/.f64#fo/n2160
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)))sensitivity1870
sqrt.f32#foflow-rescue1830
+.f64#fcancellation1661
sqrt.f64#fuflow-rescue1380
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)))))sensitivity1182
-.f64#fnan-rescue1140
/.f64#fn/o880
*.f64#fn*u650
/.f64#fu/u610
+.f64#fnan-rescue490
*.f64#fn*o410
/.f64(/.f64 (*.f64 (*.f64 i i) (*.f64 i i)) (*.f64 (*.f64 #s(literal 2 binary64) i) (*.f64 #s(literal 2 binary64) i)))u/n320
↳(*.f64 (*.f64 i i) (*.f64 i i))underflow90
↳(*.f64 i i)underflow116
/.f64#fn/u100
*.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
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-rescue10
↳(+.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))overflow1
↳(*.f64 x.re x.re)overflow65
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow115
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow65
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue10
↳(+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32))))overflow1
↳(+.f32 (*.f32 x x) #s(literal 1 binary32))overflow58
↳(*.f32 x x)overflow58
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-rescue10
↳(+.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))overflow1
↳(*.f64 x.re x.re)overflow65
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow115
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow65
Confusion
Predicted +Predicted -
+360838
-16910777
Precision
0.9552554937781308
Recall
0.9895776193088316
Confusion?
Predicted +Predicted MaybePredicted -
+3608236
-169710770
Precision?
0.9535129424194401
Recall?
0.9901261656609983
Freqs
test
numberfreq
010815
13181
2592
34
Total Confusion?
Predicted +Predicted MaybePredicted -
+3700
-1217
Precision?
0.925
Recall?
1.0
Samples
3.7s25 832×0valid
1.2s2 442×1valid
611.0ms864×2valid
60.0ms6×5exit
30.0ms40×3valid
Compiler

Compiled 13 675 to 2 283 computations (83.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.9s
ival-mult: 1.3s (34.3% of total)
ival-add: 379.0ms (9.8% of total)
adjust: 343.0ms (8.8% of total)
ival-log: 289.0ms (7.5% of total)
ival-exp: 251.0ms (6.5% of total)
ival-div: 222.0ms (5.7% of total)
const: 194.0ms (5% of total)
ival-hypot: 151.0ms (3.9% of total)
ival-sub: 144.0ms (3.7% of total)
ival-cos: 123.0ms (3.2% of total)
ival-sqrt: 83.0ms (2.1% of total)
ival-asin: 74.0ms (1.9% of total)
ival-sin: 69.0ms (1.8% of total)
ival-atan2: 45.0ms (1.2% of total)
ival-copysign: 45.0ms (1.2% of total)
ival-fabs: 26.0ms (0.7% of total)
ival-true: 24.0ms (0.6% of total)
ival-pow: 22.0ms (0.6% of total)
exact: 19.0ms (0.5% of total)
ival-pi: 15.0ms (0.4% of total)
ival-neg: 12.0ms (0.3% of total)
ival-assert: 11.0ms (0.3% of total)
ival-log1p: 7.0ms (0.2% of total)

preprocess14.1s (1.4%)

Memory
163.9MiB live, 16 266.4MiB allocated
Algorithm
57×egg-herbie
Rules
296 104×lower-fma.f64
296 104×lower-fma.f32
79 264×lower-*.f32
78 898×lower-*.f64
56 582×lower-+.f32
Stop Event
114×iter limit
76×saturated
38×node limit
Compiler

Compiled 51 691 to 13 209 computations (74.4% saved)

bsearch3.7s (0.4%)

Memory
-99.5MiB live, 4 668.4MiB allocated
Algorithm
280×left-value
197×binary-search
Stop Event
188×narrow-enough
9×predicate-same
Samples
1.8s12 341×0valid
647.0ms1 648×1valid
46.0ms131×2valid
9.0ms24×3valid
Compiler

Compiled 54 050 to 31 618 computations (41.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.0s
ival-mult: 869.0ms (44.5% of total)
ival-hypot: 152.0ms (7.8% of total)
ival-log: 150.0ms (7.7% of total)
ival-sub: 137.0ms (7% of total)
ival-add: 118.0ms (6% of total)
ival-sin: 98.0ms (5% of total)
ival-atan2: 92.0ms (4.7% of total)
ival-exp: 67.0ms (3.4% of total)
const: 62.0ms (3.2% of total)
adjust: 53.0ms (2.7% of total)
ival-cos: 51.0ms (2.6% of total)
ival-sqrt: 45.0ms (2.3% of total)
ival-div: 40.0ms (2% of total)
ival-true: 10.0ms (0.5% of total)
ival-assert: 5.0ms (0.3% of total)
exact: 4.0ms (0.2% of total)
ival-copysign: 1.0ms (0.1% of total)
ival-fabs: 1.0ms (0.1% of total)

analyze2.5s (0.2%)

Memory
141.5MiB live, 3 753.2MiB 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 821 computations (45.2% saved)

start1.0ms (0%)

Memory
2.2MiB live, 2.2MiB allocated

end0.0ms (0%)

Memory
1.0MiB live, 1.0MiB allocated

Profiling

Loading profile data...