Herbie run

Date:Sunday, November 10th, 2024
Commit:714c4799 on zane-server-translate
Hostname:nightly with Racket 8.10
Seed:2024315
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 8.5min)

sample2.1min (24.6%)

Memory
361.5MiB live, 95 894.1MiB allocated
Samples
1.4min438 652×0valid
7.0s22 325×1valid
4.9s8 790×2valid
2.6s4 318×0invalid
1.0s8 688×0exit
437.0ms854×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-mult: 24.6s (35.1% of total)
ival-sub: 10.6s (15.1% of total)
ival-add: 6.0s (8.6% of total)
const: 4.9s (7% of total)
ival-div: 4.4s (6.3% of total)
ival-exp: 3.4s (4.8% of total)
ival-hypot: 2.8s (4% of total)
ival-log: 2.1s (3% of total)
ival-sin: 1.6s (2.3% of total)
ival-asin: 1.3s (1.9% of total)
adjust: 1.3s (1.9% of total)
ival-cos: 1.1s (1.5% of total)
ival-sqrt: 982.0ms (1.4% of total)
ival-atan2: 675.0ms (1% of total)
ival-asinh: 462.0ms (0.7% of total)
ival-pow: 400.0ms (0.6% of total)
exact: 400.0ms (0.6% of total)
ival->: 349.0ms (0.5% of total)
ival-sinu: 336.0ms (0.5% of total)
ival-true: 304.0ms (0.4% of total)
ival-pi: 270.0ms (0.4% of total)
ival-acosh: 259.0ms (0.4% of total)
ival-neg: 241.0ms (0.3% of total)
ival-assert: 210.0ms (0.3% of total)
ival-fabs: 208.0ms (0.3% of total)
ival-<=: 196.0ms (0.3% of total)
ival-atanh: 170.0ms (0.2% of total)
ival-cosu: 159.0ms (0.2% of total)
ival->=: 120.0ms (0.2% of total)
ival-and: 80.0ms (0.1% of total)
Bogosity

soundness2.0min (23.6%)

Memory
-7.7MiB live, 31 742.9MiB allocated
Stop Event
361×iter limit
228×node limit
37×fuel
20×done
4×saturated
2×unsound
Compiler

Compiled 65 589 to 20 736 computations (68.4% saved)

simplify1.1min (13.4%)

Memory
1 299.2MiB live, 58 768.0MiB allocated
Algorithm
461×egg-herbie
Stop Event
605×iter limit
319×node limit
143×saturated
Counts
16 333 → 16 165

rewrite45.0s (8.8%)

Memory
299.6MiB live, 45 196.4MiB allocated
Stop Event
424×iter limit
194×node limit
6×saturated
3×unsound
Counts
2 955 → 110 976

localize39.1s (7.6%)

Memory
64.9MiB live, 40 347.1MiB allocated
Samples
18.6s42 526×0valid
5.3s3 836×1valid
3.4s1 628×2valid
2.2s2 891×0invalid
205.0ms408×1exit
143.0ms71×3valid
124.0ms122×5exit
103.0ms222×0exit
20.0ms7×2exit
3.0ms1×3exit
Compiler

Compiled 169 790 to 14 092 computations (91.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 23.7s
ival-add: 6.4s (27% of total)
ival-mult: 5.7s (24.2% of total)
ival-div: 2.2s (9.3% of total)
adjust: 1.4s (5.7% of total)
const: 1.3s (5.3% of total)
ival-pow: 1.3s (5.3% of total)
ival-log: 935.0ms (3.9% of total)
ival-exp: 682.0ms (2.9% of total)
ival-sub: 629.0ms (2.6% of total)
ival-hypot: 437.0ms (1.8% of total)
ival-asin: 400.0ms (1.7% of total)
ival-sqrt: 349.0ms (1.5% of total)
ival-acos: 284.0ms (1.2% of total)
ival-cos: 267.0ms (1.1% of total)
ival-log1p: 251.0ms (1.1% of total)
ival-neg: 201.0ms (0.8% of total)
ival-sin: 199.0ms (0.8% of total)
ival-pow2: 182.0ms (0.8% of total)
ival-atan2: 182.0ms (0.8% of total)
exact: 93.0ms (0.4% of total)
ival-pi: 89.0ms (0.4% of total)
ival-fabs: 52.0ms (0.2% of total)
ival-true: 48.0ms (0.2% of total)
ival-copysign: 43.0ms (0.2% of total)
ival-sinu: 41.0ms (0.2% of total)
ival-cbrt: 35.0ms (0.1% of total)
ival-cosh: 25.0ms (0.1% of total)
ival-assert: 24.0ms (0.1% of total)
ival-cosu: 12.0ms (0.1% of total)
ival-sinh: 6.0ms (0% of total)
ival-expm1: 2.0ms (0% of total)

eval31.1s (6.1%)

Memory
7.7MiB live, 39 670.5MiB allocated
Compiler

Compiled 8 798 949 to 563 641 computations (93.6% saved)

regimes17.1s (3.3%)

Memory
-205.2MiB live, 15 219.5MiB allocated
Counts
7 496 → 905
Calls

132 calls:

4.7s
re
987.0ms
y.re
866.0ms
im
626.0ms
y.im
588.0ms
x
Compiler

Compiled 11 845 to 8 722 computations (26.4% saved)

explain16.0s (3.1%)

Memory
-149.6MiB live, 15 656.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue12350
-.f64#fcancellation7820
/.f64#fo/o6350
sqrt.f32#foflow-rescue1980
/.f64#fo/n1950
sin.f64#fsensitivity1792
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)))sensitivity1780
+.f64#fcancellation1470
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1450
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1160
sqrt.f64#fuflow-rescue920
-.f64#fnan-rescue830
/.f64#fn/o810
/.f64#fu/u690
*.f64(*.f64 (/.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 1049934947/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 106015151/2500000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 36322091/5000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 2532017/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1789971/10000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 7715471019/10000000000 binary64) (*.f64 x x))) (*.f64 #s(literal 2909738639/10000000000 binary64) (*.f64 (*.f64 x x) (*.f64 x x)))) (*.f64 #s(literal 694555761/10000000000 binary64) (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 70002721/5000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 #s(literal 1665589/2000000000 binary64) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)))) (*.f64 (*.f64 #s(literal 2 binary64) #s(literal 1789971/10000000000 binary64)) (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 (*.f64 x x) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x)) (*.f64 x x))))) x)n*u620
+.f64#fnan-rescue440
*.f64#fn*o370
/.f64#fu/n350
/.f64#fn/u140
log.f32#foflow-rescue50
*.f64(*.f64 (*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))) (exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)))))o*u20
↳(*.f64 (sqrt.f64 (*.f64 (PI.f64) #s(literal 2 binary64))) (pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64))))overflow2
↳(pow.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64)) (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 1/2 binary64)))overflow2
↳(exp.f64 (neg.f64 (+.f64 (+.f64 (-.f64 (-.f64 #s(literal 1 binary64) z) #s(literal 1 binary64)) #s(literal 7 binary64)) #s(literal 1/2 binary64))))underflow2
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)overflow66
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow126
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow73
sin.f64(sin.f64 (+.f64 (*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im) (*.f64 (atan2.f64 x.im x.re) y.re)))oflow-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)overflow66
↳(+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im))overflow126
↳(*.f64 (log.f64 (sqrt.f64 (+.f64 (*.f64 x.re x.re) (*.f64 x.im x.im)))) y.im)overflow1
↳(*.f64 x.im x.im)overflow73
Confusion
Predicted +Predicted -
+364398
-17010681
Precision
0.95541568318909
Recall
0.9738037957765303
Confusion?
Predicted +Predicted MaybePredicted -
+3643395
-170010681
Precision?
0.9554507337526206
Recall?
0.9746057203956161
Freqs
test
numberfreq
010779
13290
2523
Total Confusion?
Predicted +Predicted MaybePredicted -
+3701
-2017
Precision?
0.9487179487179487
Recall?
0.9736842105263158
Samples
3.5s25 860×0valid
1.7s2 426×1valid
581.0ms842×2valid
26.0ms50×3valid
3.0ms6×5exit
Compiler

Compiled 19 577 to 2 968 computations (84.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.8s
ival-mult: 1.0s (26.1% of total)
ival-add: 647.0ms (16.8% of total)
ival-hypot: 324.0ms (8.4% of total)
ival-div: 295.0ms (7.7% of total)
ival-log: 262.0ms (6.8% of total)
const: 250.0ms (6.5% of total)
ival-exp: 181.0ms (4.7% of total)
adjust: 171.0ms (4.5% of total)
ival-sin: 171.0ms (4.5% of total)
ival-sub: 113.0ms (2.9% of total)
ival-asin: 74.0ms (1.9% of total)
ival-atan2: 65.0ms (1.7% of total)
ival-sqrt: 61.0ms (1.6% of total)
ival-cos: 58.0ms (1.5% of total)
ival-true: 29.0ms (0.8% of total)
ival-pow: 23.0ms (0.6% of total)
exact: 22.0ms (0.6% of total)
ival-pi: 18.0ms (0.5% of total)
ival-fabs: 17.0ms (0.4% of total)
ival-assert: 14.0ms (0.4% of total)
ival-copysign: 13.0ms (0.3% of total)
ival-neg: 13.0ms (0.3% of total)
ival-log1p: 8.0ms (0.2% of total)
ival-sinu: 7.0ms (0.2% of total)
ival-cosu: 6.0ms (0.2% of total)

series15.1s (2.9%)

Memory
-463.2MiB live, 16 244.4MiB allocated
Counts
2 955 → 16 333
Calls

1248 calls:

TimeVariablePointExpression
311.0ms
im
@0
((/ -1 (/ -1 (log base))) (/ (atan2 im re) (/ -1 (/ -1 (log base)))) (atan2 im re) (/ -1 (log base)) (/ 1 (* (/ 1 (atan2 im re)) (log base))) (* (/ 1 (atan2 im re)) (log base)) (/ 1 (atan2 im re)) (pow (sqrt (log base)) 2) (* (/ -1 (pow (sqrt (log base)) 2)) (neg (atan2 im re))) (/ -1 (pow (sqrt (log base)) 2)) (sqrt (log base)) (* (pow (pow (log base) 2) -1/2) (neg (atan2 im re))) (pow (pow (log base) 2) -1/2) (pow (log base) 2) (log base) (/ (pow (pow (atan2 im re) 1/4) 4) (log base)) (pow (pow (atan2 im re) 1/4) 4) (pow (atan2 im re) 1/4))
303.0ms
x.im
@0
((/ (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))))) (pow (exp y.im) (atan2 x.im x.re))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sqrt (+ (* x.im x.im) (* x.re x.re))) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (cos (* (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)) (+ (* 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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (+ (* (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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (cos (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (* y.re (atan2 x.im x.re)) (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re))) (pow (exp y.im) (atan2 x.im x.re)) (cos (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im)) (sqrt (+ (* x.re x.re) (* x.im x.im))) (cos (+ (* (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) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log x.re) y.im) (* (atan2 x.im x.re) y.re))) (cos (+ (* (log x.re) y.im) (* (atan2 x.im x.re) y.re))))
286.0ms
u1
@inf
((+ (* (* 1/6 (exp (* (log (* (log u1) -2)) 1/2))) (cos (* (* 2 (PI)) u2))) 1/2) (* (* 1/6 (exp (* (log (* (log u1) -2)) 1/2))) (cos (* (* 2 (PI)) u2))) (* 1/6 (exp (* (log (* (log u1) -2)) 1/2))) (exp (* (log (* (log u1) -2)) 1/2)) (/ 1 (/ 1 (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2))) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (/ 1 (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2)) (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2) (- (* 1/6 (sqrt (* -2 (log u1)))) 1/2) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (/ (+ (* -1/18 (log u1)) -1/4) (- (* 1/6 (sqrt (* -2 (log u1)))) 1/2)) (+ (* -1/18 (log u1)) -1/4) (/ 1 (/ (+ (* 1/6 (sqrt (* -2 (log u1)))) -1/2) (+ (* -1/18 (log u1)) -1/4))) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (/ (+ (* 1/6 (sqrt (* -2 (log u1)))) -1/2) (+ (* -1/18 (log u1)) -1/4)) (+ (* 1/6 (sqrt (* -2 (log u1)))) -1/2) (pow (pow (* -2 (log u1)) 1/4) 2) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (pow (pow (* -2 (log u1)) 1/4) 2) 1/6) 1/2) (pow (* -2 (log u1)) 1/4) (* (sqrt 2) (sqrt (neg (log u1)))) (* (* 2 (PI)) u2) (sqrt (neg (log u1))) (* 1/6 (sqrt (* -2 (log u1)))))
209.0ms
x.im
@-inf
((* (/ (pow (exp (atan2 x.im x.re)) (neg y.im)) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (neg y.re) (atan2 x.im x.re))))) (* (* (pow (sqrt (+ (* x.re x.re) (* x.im x.im))) y.re) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (neg y.re) (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))))) (/ (pow (exp (atan2 x.im x.re)) (neg y.im)) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (neg y.re) (atan2 x.im x.re))))) (pow (exp (atan2 x.im x.re)) (neg y.im)) (exp (atan2 x.im x.re)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (* (atan2 x.im x.re) y.re))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (pow x.im y.re) (pow (pow (* (atan2 x.im x.re) y.re) 2) 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 (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (sin (pow (pow (* (atan2 x.im x.re) y.re) 2) 1/2))) (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (/ (* (pow (sqrt (+ (* x.im x.im) (* x.re x.re))) y.re) (* (sin (+ (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) (* y.re (atan2 x.im x.re)))) (sin (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))))) (* (pow (exp y.im) (atan2 x.im x.re)) (sin (+ (* (neg (atan2 x.im x.re)) y.re) (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))))) (/ (sin (* y.im (log (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (pow (exp y.im) (atan2 x.im x.re))) (sin (* y.im (log (sqrt (+ (* x.re x.re) (* x.im x.im)))))) (* y.im (log (sqrt (+ (* x.re x.re) (* x.im x.im))))) (/ (+ (* (* y.re y.re) (pow (atan2 x.im x.re) 2)) (* (neg (* y.im y.im)) (pow (log (/ -1 x.re)) 2))) (+ (* y.im (log (/ -1 x.re))) (* y.re (atan2 x.im x.re)))) (+ (* (* y.re y.re) (pow (atan2 x.im x.re) 2)) (* (neg (* y.im y.im)) (pow (log (/ -1 x.re)) 2))) (+ (* 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 (/ (- (pow (* y.re (atan2 x.im x.re)) 2) (pow (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) 2)) (+ (* y.re (atan2 x.im x.re)) (* (neg y.im) (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (neg y.re) (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))) (sin (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (sin (pow (pow (* (atan2 x.im x.re) y.re) 2) 1/2)) (pow (exp y.im) (atan2 x.im x.re)) (sin (/ (- (pow (* y.re (atan2 x.im x.re)) 2) (pow (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) 2)) (+ (* y.re (atan2 x.im x.re)) (* (neg y.im) (log (sqrt (+ (* x.im x.im) (* x.re x.re)))))))) (sqrt (+ (* x.re x.re) (* x.im x.im))) (/ (- (pow (* y.re (atan2 x.im x.re)) 2) (pow (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) 2)) (+ (* y.re (atan2 x.im x.re)) (* (neg y.im) (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))))
174.0ms
x
@0
((+ (* (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (pow (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) -2)) (neg (* (* (pow (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1)) (pow (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) -2)))) (* (* (pow (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1)) (pow (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) -2)) (+ (* (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 1) (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)))) 1) (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000)) 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)))) (- 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))))) (/ (+ (/ (+ (/ (+ (/ (+ (/ 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)) (+ (/ (+ (/ (+ (/ (+ (/ 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 (/ (+ (* (fabs x) 3275911/10000000) 1) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ 1 (/ (+ (* (fabs x) 3275911/10000000) 1) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000))))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ 1 (/ (+ (* (fabs x) 3275911/10000000) 1) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000))))) (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ 1 (/ (+ (* (fabs x) 3275911/10000000) 1) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000))))))) (exp (neg (* x x)))) (pow (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 2) (+ (* (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1)))) (- (pow (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 2) (* (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000)))) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (/ (+ (pow (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) 3) (* (pow (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 3) 1195759704082789921366768589/1000000000000000000000000000)) (+ (* (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1)))) (- (pow (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 2) (* (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000)))))))))) (exp (neg (* x x))))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (/ (+ (pow (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) 3) (* (pow (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 3) 1195759704082789921366768589/1000000000000000000000000000)) (+ (* (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1)))) (- (pow (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000) 2) (* (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (* (pow (+ (* (fabs x) 3275911/10000000) 1) -2) 1061405429/1000000000)))))))))) (* (- 1 (pow (/ (+ (* (/ (pow (+ (* 3275911/10000000 (fabs x)) 1) -2) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (neg (pow (+ (* 3275911/10000000 (fabs x)) 1) 2)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))))) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 2)) (/ 1 (+ (* (/ (+ (* (/ (pow (+ (* 3275911/10000000 (fabs x)) 1) -2) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (neg (pow (+ (* 3275911/10000000 (fabs x)) 1) 2)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))))) 31853699/125000000) (+ (* 3275911/10000000 (fabs x)) 1)) (pow (exp x) (neg x))) 1))) (+ (* (neg (pow (+ (* 3275911/10000000 (fabs x)) 1) 2)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))))) (- 1 (pow (/ (+ (* (/ (pow (+ (* 3275911/10000000 (fabs x)) 1) -2) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (neg (pow (+ (* 3275911/10000000 (fabs x)) 1) 2)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))))) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 2)) (pow (/ (+ (* (/ (pow (+ (* 3275911/10000000 (fabs x)) 1) -2) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (neg (pow (+ (* 3275911/10000000 (fabs x)) 1) 2)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))))) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 2) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (pow (/ (+ (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)) 31853699/125000000) (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1))) 3) (+ (/ 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) (/ (+ (/ (+ (/ (+ (/ 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)) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (/ 1 (/ (+ (* (fabs x) 3275911/10000000) 1) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000))))))) (exp (neg (* x x))))) (* 3275911/10000000 (fabs x)) (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) (pow (+ 1421413741/1000000000 (/ -1453152027/1000000000 (+ (* (fabs x) 3275911/10000000) 1))) 3) (+ (* (/ (pow (+ (* 3275911/10000000 (fabs x)) 1) -2) (+ (* -3275911/10000000 (fabs x)) -1)) (+ (* (neg (pow (+ (* 3275911/10000000 (fabs x)) 1) 2)) -8890523/31250000) (* (+ (* -3275911/10000000 (fabs x)) -1) (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1)))))) 31853699/125000000))

preprocess14.3s (2.8%)

Memory
8.8MiB live, 12 135.0MiB allocated
Algorithm
57×egg-herbie
Stop Event
114×iter limit
77×saturated
37×node limit
Compiler

Compiled 85 578 to 14 795 computations (82.7% saved)

prune10.8s (2.1%)

Memory
-921.9MiB live, 15 017.8MiB allocated
Counts
136 356 → 3 069
Compiler

Compiled 318 504 to 125 294 computations (60.7% saved)

bsearch5.4s (1.1%)

Memory
9.3MiB live, 5 812.6MiB allocated
Algorithm
252×binary-search
224×left-value
Stop Event
233×narrow-enough
19×predicate-same
Samples
2.3s15 263×0valid
997.0ms1 872×1valid
52.0ms201×2valid
20.0ms72×3valid
Compiler

Compiled 169 935 to 91 231 computations (46.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-mult: 760.0ms (29.7% of total)
ival-hypot: 408.0ms (15.9% of total)
ival-log: 241.0ms (9.4% of total)
ival-add: 205.0ms (8% of total)
ival-sub: 164.0ms (6.4% of total)
ival-sin: 158.0ms (6.2% of total)
ival-atan2: 128.0ms (5% of total)
ival-cos: 116.0ms (4.5% of total)
ival-exp: 114.0ms (4.5% of total)
adjust: 89.0ms (3.5% of total)
const: 78.0ms (3% of total)
ival-div: 62.0ms (2.4% of total)
ival-true: 14.0ms (0.5% of total)
ival-sqrt: 12.0ms (0.5% of total)
ival-assert: 7.0ms (0.3% of total)
exact: 4.0ms (0.2% of total)

analyze3.0s (0.6%)

Memory
-74.7MiB live, 3 164.8MiB allocated
Algorithm
58×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%86.3%13.7%0%0%0%0
55.4%47.8%38.5%13.7%0%0%0%1
65.9%55.7%28.9%13.7%0%1.7%0%2
71.2%58.4%23.6%13.7%0%4.3%0%3
77.4%62%18.1%13.7%0%6.2%0%4
83.5%66.8%13.2%13.7%0%6.3%0%5
85.8%68.3%11.3%13.7%0%6.6%0%6
88.3%70.3%9.4%13.7%0%6.6%0%7
89.9%71.5%8%13.7%0%6.8%0%8
91.1%72.5%7.1%13.7%0%6.8%0%9
92.6%73.6%5.9%13.7%0%6.8%0%10
94%74.7%4.8%13.7%0%6.8%0%11
94.5%75.1%4.4%13.7%0%6.9%0%12
Compiler

Compiled 1 498 to 816 computations (45.5% saved)

start2.0ms (0%)

Memory
5.0MiB live, 4.9MiB allocated

end0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated

Profiling

Loading profile data...