Herbie run

Date:Wednesday, February 12th, 2025
Commit:fa915d5e on custom-lifting-lowering
Seed:2025043
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:328 042.0 MB

Time bar (total: 8.2min)

sample2.8min (34.4%)

Memory
2 253.1MiB live, 118 043.7MiB allocated; 1.0min collecting garbage
Samples
1.6min433 918×0valid
17.3s26 386×1valid
7.1s9 371×2valid
5.0s4 285×0invalid
2.7s8 846×0exit
878.0ms945×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.5min
ival-mult: 25.3s (27.3% of total)
ival-add: 10.8s (11.6% of total)
const: 9.8s (10.5% of total)
ival-div: 7.9s (8.5% of total)
ival-exp: 6.4s (6.9% of total)
adjust: 4.6s (4.9% of total)
ival-sub: 4.3s (4.7% of total)
ival-hypot: 4.2s (4.5% of total)
ival-log: 3.4s (3.7% of total)
ival-cos: 2.9s (3.1% of total)
ival-sin: 2.6s (2.8% of total)
ival-atan2: 1.7s (1.8% of total)
ival-asin: 1.7s (1.8% of total)
ival-sqrt: 1.5s (1.7% of total)
ival-sinu: 796.0ms (0.9% of total)
ival-fabs: 681.0ms (0.7% of total)
ival-pow: 677.0ms (0.7% of total)
ival-asinh: 659.0ms (0.7% of total)
ival-pi: 647.0ms (0.7% of total)
exact: 617.0ms (0.7% of total)
ival-acosh: 470.0ms (0.5% of total)
ival-neg: 358.0ms (0.4% of total)
ival-atanh: 272.0ms (0.3% of total)
ival-cosu: 247.0ms (0.3% of total)
ival-assert: 238.0ms (0.3% of total)
Bogosity

rewrite1.7min (20.4%)

Memory
400.9MiB live, 58 387.9MiB allocated; 35.1s collecting garbage
Stop Event
265×iter limit
176×node limit
16×unsound
3×saturated
Counts
32 788 → 68 854

eval38.9s (7.9%)

Memory
94.3MiB live, 29 434.6MiB allocated; 16.3s collecting garbage
Compiler

Compiled 7 174 337 to 402 790 computations (94.4% saved)

explain33.7s (6.9%)

Memory
-340.1MiB live, 21 556.3MiB allocated; 15.2s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11510
-.f64#fcancellation7453
/.f64#fo/o6510
/.f64#fo/n2100
sqrt.f32#foflow-rescue1960
sin.f64#fsensitivity1820
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)))sensitivity1781
+.f64#fcancellation1780
sqrt.f64#fuflow-rescue1500
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1330
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1291
-.f64#fnan-rescue1120
/.f64#fn/o840
/.f64#fu/u700
*.f64#fn*u610
+.f64#fnan-rescue510
/.f64#fu/n410
*.f64#fn*o330
/.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*u30
↳(*.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))))overflow3
↳(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)))overflow3
↳(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))))underflow3
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)overflow49
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow95
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow57
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue10
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow1
↳(*.f32 x x)overflow133
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow133
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)overflow49
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow95
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow57
log.f64(log.f64 (+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64)))))oflow-rescue10
↳(+.f64 x (sqrt.f64 (-.f64 (*.f64 x x) #s(literal 1 binary64))))overflow1
↳(-.f64 (*.f64 x x) #s(literal 1 binary64))overflow121
↳(*.f64 x x)overflow121
Confusion
Predicted +Predicted -
+359237
-20910754
Precision
0.9450144698763483
Recall
0.9898043538164784
Confusion?
Predicted +Predicted MaybePredicted -
+3592235
-2091010744
Precision?
0.9425649095200629
Recall?
0.9903554698263984
Freqs
test
numberfreq
010791
13233
2565
33
Total Confusion?
Predicted +Predicted MaybePredicted -
+3700
-0218
Precision?
0.9487179487179487
Recall?
1.0
Samples
7.0s25 476×0valid
2.8s2 702×1valid
1.2s940×2valid
107.0ms66×3valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 7.3s
ival-mult: 2.3s (31.3% of total)
adjust: 936.0ms (12.7% of total)
ival-div: 661.0ms (9% of total)
ival-add: 582.0ms (7.9% of total)
const: 490.0ms (6.7% of total)
ival-log: 454.0ms (6.2% of total)
ival-hypot: 378.0ms (5.1% of total)
ival-exp: 360.0ms (4.9% of total)
ival-sub: 258.0ms (3.5% of total)
ival-sin: 162.0ms (2.2% of total)
ival-sqrt: 128.0ms (1.7% of total)
ival-cos: 96.0ms (1.3% of total)
ival-atan2: 96.0ms (1.3% of total)
ival-asin: 94.0ms (1.3% of total)
ival-pow: 52.0ms (0.7% of total)
ival-true: 51.0ms (0.7% of total)
ival-fabs: 48.0ms (0.7% of total)
ival-neg: 41.0ms (0.6% of total)
exact: 40.0ms (0.5% of total)
ival-sinu: 28.0ms (0.4% of total)
ival-assert: 25.0ms (0.3% of total)
ival-pi: 23.0ms (0.3% of total)
ival-copysign: 21.0ms (0.3% of total)
ival-log1p: 13.0ms (0.2% of total)
ival-cosu: 10.0ms (0.1% of total)

derivations31.8s (6.5%)

Memory
-236.4MiB live, 16 896.5MiB allocated; 6.6s collecting garbage
Stop Event
37×fuel
20×done
Compiler

Compiled 36 684 to 4 440 computations (87.9% saved)

series28.6s (5.8%)

Memory
237.2MiB live, 20 708.9MiB allocated; 11.6s collecting garbage
Counts
5 555 → 27 233
Calls

1185 calls:

TimeVariablePointExpression
1.3s
im
@-inf
((* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (* 1/2 (sin re)) 1/2 (sin re) re (- (exp (neg im)) (exp im)) (* (- (* (- (* (* (- (* (* -1/2520 im) im) 1/60) im) im) 1/3) (* im im)) 2) im) (- (* (- (* (* (- (* (* -1/2520 im) im) 1/60) im) im) 1/3) (* im im)) 2) (* (- (* (* (- (* (* -1/2520 im) im) 1/60) im) im) 1/3) (* im im)) (- (* (* (- (* (* -1/2520 im) im) 1/60) im) im) 1/3) (* (* (- (* (* -1/2520 im) im) 1/60) im) im) (* (- (* (* -1/2520 im) im) 1/60) im) (- (* (* -1/2520 im) im) 1/60) (* (* -1/2520 im) im) (* -1/2520 im) -1/2520 im 1/60 1/3 (* im im) 2 (* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (* (neg im) (sin re)) (neg im) (sin re) (* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (* (neg im) (sin re)) (sin re) (* (+ (* (- (* 1/120 (* re re)) 1/6) (* re re)) 1) re) (+ (* (- (* 1/120 (* re re)) 1/6) (* re re)) 1) (- (* 1/120 (* re re)) 1/6) (* 1/120 (* re re)) 1/120 (* re re) 1/6 1 (* (* (sin re) 1/2) (- (exp (neg im)) (exp im))) (* (sin re) 1/2) (* (+ (* (* re re) -1/12) 1/2) re) (+ (* (* re re) -1/12) 1/2) -1/12 (- (exp (neg im)) (exp im)) (* (- (* (- (* (* (- (* -1/2520 (* im im)) 1/60) im) im) 1/3) (* im im)) 2) im) (- (* (- (* (* (- (* -1/2520 (* im im)) 1/60) im) im) 1/3) (* im im)) 2) (* (- (* (* (- (* -1/2520 (* im im)) 1/60) im) im) 1/3) (* im im)) (- (* (* (- (* -1/2520 (* im im)) 1/60) im) im) 1/3) (* (* (- (* -1/2520 (* im im)) 1/60) im) im) (* (- (* -1/2520 (* im im)) 1/60) im) (- (* -1/2520 (* im im)) 1/60) (* -1/2520 (* im im)) (* (* 1/2 (sin re)) (- (exp (neg im)) (exp im))) (- (exp (neg im)) (exp im)) (exp (neg im)) (exp im))
860.0ms
im
@0
((/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (/ 1 (pow (atan2 im re) -1)) (log base)) (/ 1 (pow (atan2 im re) -1)) 1 (pow (atan2 im re) -1) (atan2 im re) im re -1 (log base) base (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (/ 1 (pow (log base) -1))) (/ 1 (pow (log base) -1)) (pow (log base) -1) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (exp (* (log (neg (log base))) 2))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0) 0 (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) 2 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (/ (- (pow (log base) 4) 0) (pow (log base) 2))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (log base) (atan2 im re)) (/ (- (pow (log base) 4) 0) (pow (log base) 2)) (- (pow (log base) 4) 0) (pow (log base) 4) 4 (pow (log base) 2) (* (/ (pow (log base) 2) (* (log base) (atan2 im re))) (/ (pow (atan2 im re) 2) (pow (log base) 2))) (/ (pow (log base) 2) (* (log base) (atan2 im re))) (/ (pow (atan2 im re) 2) (pow (log base) 2)) (pow (atan2 im re) 2))
668.0ms
x.im
@-inf
((* (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)) (* 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)) (* y.re (+ (/ (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) (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (sqrt (+ (* x.im x.im) (* x.re x.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 (* 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) 1 (* (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)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (* x.re (+ 1 (* 1/2 (/ (* x.im x.im) (* x.re x.re))))) (+ 1 (* 1/2 (/ (* x.im x.im) (* x.re x.re)))) (* 1/2 (/ (* x.im x.im) (* x.re x.re))) 1/2 (/ (* 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))) (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)) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (+ (* 1/2 (/ (* (* x.re x.re) (* y.re (pow x.im y.re))) (* x.im x.im))) (pow x.im y.re)) (/ (* (* x.re x.re) (* y.re (pow x.im y.re))) (* x.im x.im)) (* (* x.re x.re) (* y.re (pow x.im y.re))) (* y.re (pow x.im y.re)) (pow x.im y.re) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (exp (neg (* y.im (atan2 x.im x.re)))) (neg (* y.im (atan2 x.im x.re))) (* y.im (atan2 x.im x.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)) (* (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))) (* -1 (* x.im (- 1 (* -1/2 (/ (* x.re x.re) (* x.im x.im)))))) -1 (* x.im (- 1 (* -1/2 (/ (* x.re x.re) (* x.im x.im))))) (- 1 (* -1/2 (/ (* x.re x.re) (* x.im x.im)))) (* -1/2 (/ (* x.re x.re) (* x.im x.im))) -1/2 (/ (* x.re x.re) (* x.im x.im)) (* (atan2 x.im x.re) y.re))
546.0ms
x
@0
((/ (+ (/ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6)) (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 9) (- (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6)) (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)))) (+ 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) (* 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)) (exp (* (neg x) x))))))) (+ (/ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6)) (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 9) (- (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6)) (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)))) (/ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6)) (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3))) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6)) (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6)) (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6) (* (/ (+ (/ (+ (/ (- (/ (- (/ 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 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)) (+ (/ (+ (/ (- (/ (- (/ 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)) 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1) (fabs x) x 3275911/10000000 1453152027/1000000000 -1421413741/1000000000 -8890523/31250000 31853699/125000000 (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 -1 (exp (* (neg x) x)) (* (neg x) x) (neg x) 6 (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 9) (- (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 6)) (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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 9) 9 (+ 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) (* 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)) (exp (* (neg x) x)))))) (- (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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) (* 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)) (exp (* (neg x) x))))) (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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x))) 2) (/ (+ (/ (+ (/ (- (/ (- (/ 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) (pow (exp x) x))) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp x) x)) (pow (exp x) x) (exp x) 2 (* 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)) (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) (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) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (fabs 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) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (exp (neg (* (fabs x) (fabs 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) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) (/ (+ (/ (+ (/ (- (/ (- (/ 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) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* 10731592879921/100000000000000 (* x x))) (- 1 (* (fabs x) 3275911/10000000)) (* (fabs x) 3275911/10000000) (exp (neg (* (fabs x) (fabs x)))) (neg (* (fabs x) (fabs x))) (* (fabs x) (fabs x)) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1))))) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 1) (/ (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1))))) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) 31853699/125000000) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (/ (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 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) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1))))) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1))))) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1))))) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1))))) -1421413741/1000000000) (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1))))) (/ (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1)))) (+ (pow (* 3275911/10000000 (fabs x)) 3) 1) (pow (* 3275911/10000000 (fabs x)) 3) (* 3275911/10000000 (fabs x)) (+ (* (* 3275911/10000000 (fabs x)) (* 3275911/10000000 (fabs x))) (- 1 (* (* 3275911/10000000 (fabs x)) 1))) (- 1 (* (* 3275911/10000000 (fabs x)) 1)) (* (* 3275911/10000000 (fabs x)) 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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) (pow (exp x) x))) 2) (* 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)) (exp (* (neg x) x))))))) (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (exp (* (neg x) x))) 3)) (+ 1 (- (pow (/ (+ (/ (+ (/ (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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) (pow (exp x) x))) 2) (* 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)) (exp (* (neg x) x)))))) (- (pow (/ (+ (/ (+ (/ (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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) (pow (exp x) x))) 2) (* 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)) (exp (* (neg x) x))))) (pow (/ (+ (/ (+ (/ (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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) (pow (exp x) x))) 2) (/ (+ (/ (+ (/ (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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) (pow (exp x) x))) (+ (/ (+ (/ (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 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 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000)) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (+ (* (fabs x) 3275911/10000000) 1)) (+ (/ (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000)) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -8890523/31250000) (/ (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000)) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) (- (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000)) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (/ (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000)) (+ (* (fabs x) 3275911/10000000) 1)) (/ (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000)) (- (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) 2111650813574208729/1000000000000000000) (* (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) (+ (* 3275911/10000000 (fabs x)) 1) 2111650813574208729/1000000000000000000 (+ (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1)) 1453152027/1000000000))
342.0ms
beta
@-inf
((/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1)) (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* i (+ (+ alpha beta) i)) i (+ (+ alpha beta) i) (+ alpha beta) alpha beta (+ (* beta alpha) (* i (+ (+ alpha beta) i))) (* beta alpha) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) (+ (+ alpha beta) (* 2 i)) (* 2 i) 2 (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1) 1)

preprocess28.4s (5.8%)

Memory
798.3MiB live, 17 302.3MiB allocated; 8.7s collecting garbage
Stop Event
114×iter limit
72×node limit
42×saturated
Compiler

Compiled 92 542 to 14 781 computations (84% saved)

prune19.5s (4%)

Memory
-670.8MiB live, 14 717.1MiB allocated; 10.2s collecting garbage
Counts
91 831 → 2 698
Compiler

Compiled 285 697 to 116 457 computations (59.2% saved)

regimes19.0s (3.9%)

Memory
49.9MiB live, 16 850.0MiB allocated; 6.8s collecting garbage
Counts
7 682 → 853
Calls

132 calls:

1.5s
(*.f64 (*.f64 #s(literal 1/2 binary64) (cos.f64 re)) (+.f64 (exp.f64 (neg.f64 im)) (exp.f64 im)))
1.1s
re
1.0s
x
829.0ms
y.im
774.0ms
im
Compiler

Compiled 13 850 to 9 825 computations (29.1% saved)

bsearch8.2s (1.7%)

Memory
88.4MiB live, 6 666.2MiB allocated; 1.8s collecting garbage
Algorithm
234×binary-search
193×left-value
Stop Event
226×narrow-enough
8×predicate-same
Samples
3.4s15 414×0valid
1.4s2 008×1valid
198.0ms220×2valid
56.0ms86×3valid
Compiler

Compiled 157 166 to 87 833 computations (44.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-mult: 1.2s (32.7% of total)
ival-hypot: 635.0ms (17.1% of total)
ival-add: 241.0ms (6.5% of total)
adjust: 224.0ms (6% of total)
ival-atan2: 218.0ms (5.9% of total)
ival-exp: 208.0ms (5.6% of total)
ival-sin: 196.0ms (5.3% of total)
ival-log: 190.0ms (5.1% of total)
ival-div: 149.0ms (4% of total)
const: 130.0ms (3.5% of total)
ival-sub: 124.0ms (3.3% of total)
ival-cos: 93.0ms (2.5% of total)
ival-sqrt: 25.0ms (0.7% of total)
ival-true: 22.0ms (0.6% of total)
ival-assert: 13.0ms (0.4% of total)
ival-neg: 13.0ms (0.4% of total)
exact: 10.0ms (0.3% of total)
ival-fabs: 1.0ms (0% of total)

analyze6.8s (1.4%)

Memory
154.9MiB live, 3 857.7MiB allocated; 4.1s 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)

simplify6.7s (1.4%)

Memory
-128.9MiB live, 3 612.2MiB allocated; 1.1s collecting garbage
Stop Event
41×node limit
16×saturated

start5.0ms (0%)

Memory
7.3MiB live, 7.1MiB allocated; 0ms collecting garbage

end1.0ms (0%)

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

Profiling

Loading profile data...