Herbie run

Date:Sunday, March 2nd, 2025
Commit:141e80a8 on main
Seed:2025061
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:266 042.8 MB

Time bar (total: 4.0min)

sample1.6min (39.2%)

Memory
1 292.3MiB live, 100 072.3MiB allocated; 39.0s collecting garbage
Samples
50.7s433 912×0valid
9.9s26 593×1valid
4.4s9 182×2valid
2.4s4 520×0invalid
915.0ms8 095×0exit
295.0ms909×3valid
Precisions
Click to see histograms. Total time spent on operations: 49.9s
ival-mult: 14.0s (28.1% of total)
ival-add: 5.7s (11.4% of total)
const: 5.7s (11.4% of total)
ival-div: 4.1s (8.2% of total)
ival-exp: 3.0s (6.1% of total)
ival-hypot: 2.5s (5.1% of total)
ival-sub: 2.5s (5% of total)
adjust: 2.3s (4.6% of total)
ival-log: 2.0s (4% of total)
ival-asin: 1.4s (2.7% of total)
ival-sin: 1.2s (2.5% of total)
ival-cos: 1.1s (2.2% of total)
ival-sqrt: 918.0ms (1.8% of total)
ival-atan2: 706.0ms (1.4% of total)
exact: 344.0ms (0.7% of total)
ival-pi: 318.0ms (0.6% of total)
ival-sinu: 312.0ms (0.6% of total)
ival-pow: 312.0ms (0.6% of total)
ival-asinh: 298.0ms (0.6% of total)
ival-acosh: 297.0ms (0.6% of total)
ival-neg: 290.0ms (0.6% of total)
ival-fabs: 259.0ms (0.5% of total)
ival-assert: 160.0ms (0.3% of total)
ival-atanh: 143.0ms (0.3% of total)
ival-cosu: 99.0ms (0.2% of total)
Bogosity

rewrite43.4s (18.1%)

Memory
392.1MiB live, 44 261.5MiB allocated; 13.5s collecting garbage
Stop Event
458×iter limit
174×node limit
17×unsound
4×saturated
Counts
31 319 → 64 539

eval18.5s (7.7%)

Memory
-58.5MiB live, 24 862.8MiB allocated; 7.2s collecting garbage
Compiler

Compiled 7 173 250 to 389 772 computations (94.6% saved)

explain14.7s (6.1%)

Memory
118.5MiB live, 18 150.6MiB allocated; 3.9s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11990
-.f64#fcancellation7343
/.f64#fo/o6430
/.f64#fo/n1910
sqrt.f32#foflow-rescue1840
sin.f64#fsensitivity1770
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)))sensitivity1721
sqrt.f64#fuflow-rescue1690
+.f64#fcancellation1630
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1300
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1161
-.f64#fnan-rescue1150
/.f64#fn/o770
/.f64#fu/u690
*.f64#fn*u630
+.f64#fnan-rescue510
*.f64#fn*o340
/.f64#fu/n290
/.f64#fn/u230
*.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
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)overflow69
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow114
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow58
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue20
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow2
↳(*.f32 x x)overflow116
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow116
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)overflow69
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow114
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow2
↳(*.f64 x.im x.im)overflow58
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))overflow125
↳(*.f64 x x)overflow125
Confusion
Predicted +Predicted -
+360146
-17710768
Precision
0.9531498147167814
Recall
0.9873868933369893
Confusion?
Predicted +Predicted MaybePredicted -
+3601343
-177310765
Precision?
0.952431289640592
Recall?
0.9882094872497944
Freqs
test
numberfreq
010814
13206
2572
Total Confusion?
Predicted +Predicted MaybePredicted -
+3600
-1119
Precision?
0.9473684210526315
Recall?
1.0
Samples
3.1s25 570×0valid
1.3s2 574×1valid
765.0ms974×2valid
23.0ms62×3valid
2.0ms4×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 3.7s
ival-mult: 950.0ms (25.7% of total)
adjust: 424.0ms (11.5% of total)
const: 420.0ms (11.4% of total)
ival-add: 392.0ms (10.6% of total)
ival-div: 310.0ms (8.4% of total)
ival-exp: 239.0ms (6.5% of total)
ival-hypot: 180.0ms (4.9% of total)
ival-log: 166.0ms (4.5% of total)
ival-sub: 130.0ms (3.5% of total)
ival-sin: 87.0ms (2.4% of total)
ival-asin: 74.0ms (2% of total)
ival-cos: 56.0ms (1.5% of total)
ival-sqrt: 47.0ms (1.3% of total)
ival-atan2: 42.0ms (1.1% of total)
ival-fabs: 34.0ms (0.9% of total)
ival-true: 26.0ms (0.7% of total)
ival-pow: 25.0ms (0.7% of total)
exact: 22.0ms (0.6% of total)
ival-pi: 18.0ms (0.5% of total)
ival-assert: 13.0ms (0.4% of total)
ival-copysign: 12.0ms (0.3% of total)
ival-neg: 12.0ms (0.3% of total)
ival-sinu: 10.0ms (0.3% of total)
ival-log1p: 7.0ms (0.2% of total)
ival-cosu: 6.0ms (0.2% of total)

series14.1s (5.9%)

Memory
-377.7MiB live, 16 279.8MiB allocated; 5.1s collecting garbage
Counts
5 441 → 25 878
Calls

1191 calls:

TimeVariablePointExpression
971.0ms
im
@-inf
((/ (neg (log (sqrt (+ (* im im) (* re re))))) (log 1/10)) (neg (log (sqrt (+ (* im im) (* re re))))) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) im (log 1/10) 1/10 (/ (* 1/2 (log (+ (* im im) (* re re)))) (neg (log 1/10))) (* 1/2 (log (+ (* im im) (* re re)))) 1/2 (log (+ (* im im) (* re re))) (+ (* im im) (* re re)) (* re re) re (neg (log 1/10)) (/ (* 1/2 (- (log (+ (pow re 6) (pow im 6))) (log (+ (pow re 4) (- (pow im 4) (pow (* re im) 2)))))) (log 10)) (* 1/2 (- (log (+ (pow re 6) (pow im 6))) (log (+ (pow re 4) (- (pow im 4) (pow (* re im) 2)))))) (- (log (+ (pow re 6) (pow im 6))) (log (+ (pow re 4) (- (pow im 4) (pow (* re im) 2))))) (log (+ (pow re 6) (pow im 6))) (+ (pow re 6) (pow im 6)) (pow re 6) 6 (pow im 6) (log (+ (pow re 4) (- (pow im 4) (pow (* re im) 2)))) (+ (pow re 4) (- (pow im 4) (pow (* re im) 2))) (pow re 4) 4 (- (pow im 4) (pow (* re im) 2)) (pow im 4) (pow (* re im) 2) (* re im) 2 (log 10) 10)
305.0ms
x.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))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) 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 (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (* y.re (* (cos (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im))) (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)) (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 (* 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))) (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/2 (/ (* x.im x.im) x.re))) (* 1/2 (/ (* x.im x.im) x.re)) 1/2 (/ (* x.im x.im) x.re) (* x.im x.im) (* (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)) (* -1 (* y.im (atan2 x.im x.re))) -1 (* 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)) (* (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))) (+ (* x.re x.re) (* x.im x.im)) (* x.re 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)) (log (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.im)) (* y.im (log x.im)) (log x.im))
279.0ms
x
@0
((/ (- (pow (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) -1) (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp 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)) (exp (* (neg x) x))) 1)) 1)) (- (pow (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) -1) (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)))) (pow (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) -1) (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3)) (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6)) 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (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))) -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 (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1)) (pow (exp x) x) (exp x) 6 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3) 3 -1 (/ (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 9) (+ (+ 1 (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 6)) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 3))) (pow (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (exp x) x) (+ (* (fabs x) 3275911/10000000) 1))) 9) 9 (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 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))) (+ (* (/ (+ (/ (+ (/ (- (/ (- (/ 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)) (exp (* (neg x) x))) 1)) 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp 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) (/ (+ (/ (- (/ (- (/ 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) (* (+ (* (fabs x) 3275911/10000000) 1) (pow (exp 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)) (exp (* (neg 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) (+ (* (fabs x) 3275911/10000000) 1)) (exp (* (neg x) x)) (* (neg x) x) (neg 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 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)) -1)) (+ (* -3275911/10000000 (fabs x)) -1) -3275911/10000000 (exp (* (neg x) x)) (+ (* (neg x) x) 1) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (neg (* (fabs x) (fabs x)))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (* (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (- 1 (* 10731592879921/100000000000000 (* x x)))) (- 1 (* (fabs x) 3275911/10000000))) -8890523/31250000)))) (exp (neg (* (fabs x) (fabs x))))) (/ (* (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (exp (* (neg x) x))) (+ (* (fabs x) 3275911/10000000) 1)) (* (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (exp (* (neg x) x))) (- 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1))) (/ 8890523/31250000 (+ (* (fabs x) 3275911/10000000) 1)) 8890523/31250000 (/ (- (* (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1))) (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1)))) 1) (- (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1))) 1)) (- (* (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1))) (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1)))) 1) (* (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1))) (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1)))) (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1))) (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1)) (+ (* (fabs x) -3275911/10000000) -1) (- (* (exp (* (neg x) x)) (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) 3275911/10000000) 1))) (+ (* (fabs x) -3275911/10000000) -1))) 1) (/ (- 1 (pow (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))) 3)) (+ 1 (+ (pow (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))) 2) (* 1 (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))))))) (- 1 (pow (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))) 3)) (pow (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))) 3) (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1)))) (pow (+ (* (fabs x) 3275911/10000000) 1) -2) -2 (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))) (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1)) (+ 1 (+ (pow (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))) 2) (* 1 (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x)))))) (+ (pow (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))) 2) (* 1 (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))))) (pow (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x))) 2) 2 (* 1 (* (* (pow (+ (* (fabs x) 3275911/10000000) 1) -1) (+ (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) (- (/ (- (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) 1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) -1421413741/1000000000)) (+ 31853699/125000000 (/ 8890523/31250000 (+ (* (fabs x) -3275911/10000000) -1))))) (exp (* (neg x) x)))))
146.0ms
base
@-inf
((/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log (sqrt (+ (* im im) (* re re)))) (log base)) (log (sqrt (+ (* im im) (* re re)))) (sqrt (+ (* im im) (* re re))) im re (log base) base (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (log im) (log base)) (log im) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (log (pow base (log base)))) (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (log (sqrt (+ (* re re) (* im im)))) (sqrt (+ (* re re) (* im im))) (+ (* re re) (* im im)) (* re re) (* im im) (* (atan2 im re) 0) (atan2 im re) 0 (log (pow base (log base))) (pow base (log base)) (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (exp (* (log (neg (log base))) 2))) (exp (* (log (neg (log base))) 2)) (* (log (neg (log base))) 2) (log (neg (log base))) (neg (log base)) 2 (/ (+ (* (log (sqrt (+ (* re re) (* im im)))) (log base)) (* (atan2 im re) 0)) (/ (- (pow (log base) 4) 0) (- (pow (log base) 2) 0))) (/ (- (pow (log base) 4) 0) (- (pow (log base) 2) 0)) (- (pow (log base) 4) 0) (pow (log base) 4) 4 (- (pow (log base) 2) 0) (pow (log base) 2))
144.0ms
base
@-inf
((/ (- (* (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))) (atan2 im re) im re (/ 1 (pow (log base) -1)) 1 (pow (log base) -1) (log base) base -1 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (/ (atan2 im re) (exp (log (log base)))) (exp (log (log base))) (log (log base)) (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (exp (log (pow (log base) 2)))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (log base) (atan2 im re)) (exp (log (pow (log base) 2))) (log (pow (log base) 2)) (pow (log base) 2) 2 (/ (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (+ (* (log base) (log base)) (* 0 0))) (- (* (atan2 im re) (log base)) (* (log (sqrt (+ (* re re) (* im im)))) 0)) (* (pow (exp 1) (log (log base))) (atan2 im re)) (pow (exp 1) (log (log base))) (exp 1) (+ (* (log base) (log base)) (* 0 0)) (* (log base) (log base)) (* 0 0) 0 (/ (- (* (* (/ 1 (pow (log base) -1)) (atan2 im re)) (pow (log base) 2)) (* (pow (log base) 2) 0)) (pow (log base) 4)) (- (* (* (/ 1 (pow (log base) -1)) (atan2 im re)) (pow (log base) 2)) (* (pow (log base) 2) 0)) (* (* (/ 1 (pow (log base) -1)) (atan2 im re)) (pow (log base) 2)) (* (/ 1 (pow (log base) -1)) (atan2 im re)) (* (pow (log base) 2) 0) (pow (log base) 4) 4)

preprocess12.9s (5.4%)

Memory
640.1MiB live, 13 529.7MiB allocated; 3.4s collecting garbage
Stop Event
114×iter limit
72×node limit
42×saturated
Compiler

Compiled 86 408 to 14 043 computations (83.7% saved)

derivations12.9s (5.4%)

Memory
-5.4MiB live, 11 223.5MiB allocated; 2.0s collecting garbage
Stop Event
37×fuel
20×done
Compiler

Compiled 36 523 to 4 217 computations (88.5% saved)

regimes10.3s (4.3%)

Memory
262.5MiB live, 14 706.2MiB allocated; 2.2s collecting garbage
Counts
7 653 → 794
Calls

132 calls:

632.0ms
x
514.0ms
re
461.0ms
im
421.0ms
y.re
370.0ms
y.im
Compiler

Compiled 14 262 to 9 718 computations (31.9% saved)

prune7.2s (3%)

Memory
-302.7MiB live, 11 478.0MiB allocated; 2.1s collecting garbage
Counts
91 518 → 2 665
Compiler

Compiled 309 088 to 123 658 computations (60% saved)

analyze4.1s (1.7%)

Memory
-72.0MiB live, 3 649.1MiB allocated; 2.8s 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)

bsearch4.1s (1.7%)

Memory
73.1MiB live, 4 883.5MiB allocated; 884ms collecting garbage
Algorithm
200×binary-search
191×left-value
Stop Event
189×narrow-enough
11×predicate-same
Samples
1.8s14 991×0valid
612.0ms1 469×1valid
52.0ms198×2valid
27.0ms78×3valid
Compiler

Compiled 135 592 to 72 815 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.9s
ival-mult: 715.0ms (38.4% of total)
ival-add: 227.0ms (12.2% of total)
ival-hypot: 176.0ms (9.5% of total)
adjust: 109.0ms (5.9% of total)
ival-atan2: 88.0ms (4.7% of total)
ival-log: 88.0ms (4.7% of total)
ival-exp: 83.0ms (4.5% of total)
ival-sin: 79.0ms (4.2% of total)
ival-sub: 78.0ms (4.2% of total)
ival-div: 75.0ms (4% of total)
const: 59.0ms (3.2% of total)
ival-cos: 32.0ms (1.7% of total)
ival-sqrt: 17.0ms (0.9% of total)
ival-true: 13.0ms (0.7% of total)
ival-assert: 7.0ms (0.4% of total)
exact: 6.0ms (0.3% of total)
ival-pow: 3.0ms (0.2% of total)
ival-neg: 3.0ms (0.2% of total)
ival-sinu: 2.0ms (0.1% of total)
ival-pi: 0.0ms (0% of total)

simplify3.4s (1.4%)

Memory
-120.0MiB live, 2 939.2MiB allocated; 1.4s collecting garbage
Stop Event
39×node limit
18×saturated

start3.0ms (0%)

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

end0.0ms (0%)

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

Profiling

Loading profile data...