Herbie run

Date:Saturday, November 16th, 2024
Commit:1a83c9f5 on main
Hostname:nightly with Racket 8.10
Seed:2024321
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.3min)

sample1.6min (19.1%)

Memory
151.8MiB live, 96 198.0MiB allocated
Samples
54.5s438 446×0valid
7.2s22 627×1valid
4.8s8 674×2valid
2.7s4 391×0invalid
1.6s10 007×0exit
396.0ms913×3valid
Precisions
Click to see histograms. Total time spent on operations: 50.3s
ival-mult: 14.3s (28.5% of total)
ival-add: 5.4s (10.6% of total)
const: 5.3s (10.6% of total)
ival-div: 4.4s (8.8% of total)
ival-exp: 2.8s (5.5% of total)
ival-log: 2.8s (5.5% of total)
ival-hypot: 2.5s (4.9% of total)
ival-sub: 2.0s (4% of total)
ival-asin: 1.5s (2.9% of total)
adjust: 1.3s (2.6% of total)
ival-atan2: 1.0s (2% of total)
ival-sin: 1.0s (2% of total)
ival-sqrt: 925.0ms (1.8% of total)
ival-cos: 888.0ms (1.8% of total)
ival-sinu: 513.0ms (1% of total)
ival-pi: 400.0ms (0.8% of total)
exact: 371.0ms (0.7% of total)
ival-pow: 369.0ms (0.7% of total)
ival->: 346.0ms (0.7% of total)
ival-acosh: 316.0ms (0.6% of total)
ival-true: 287.0ms (0.6% of total)
ival-asinh: 280.0ms (0.6% of total)
ival-<=: 226.0ms (0.4% of total)
ival-fabs: 226.0ms (0.4% of total)
ival-assert: 201.0ms (0.4% of total)
ival-neg: 174.0ms (0.3% of total)
ival-atanh: 158.0ms (0.3% of total)
ival->=: 140.0ms (0.3% of total)
ival-cosu: 88.0ms (0.2% of total)
ival-and: 79.0ms (0.2% of total)
Bogosity

soundness1.4min (16.9%)

Memory
-88.5MiB live, 33 797.8MiB allocated
Stop Event
351×iter limit
223×node limit
37×fuel
20×done
3×saturated
2×unsound
Compiler

Compiled 69 089 to 23 175 computations (66.5% saved)

localize1.2min (14.8%)

Memory
-128.2MiB live, 36 004.0MiB allocated
Samples
28.0s42 355×0valid
18.5s1 726×2valid
5.6s4 410×1valid
1.0s2 698×0invalid
582.0ms271×5exit
168.0ms118×3valid
168.0ms134×1exit
Compiler

Compiled 81 515 to 6 311 computations (92.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 35.7s
ival-mult: 23.9s (66.9% of total)
ival-add: 2.0s (5.7% of total)
ival-div: 1.8s (4.9% of total)
adjust: 1.2s (3.4% of total)
const: 1.0s (2.8% of total)
ival-log: 896.0ms (2.5% of total)
ival-sub: 757.0ms (2.1% of total)
ival-pow: 649.0ms (1.8% of total)
ival-exp: 576.0ms (1.6% of total)
ival-sqrt: 557.0ms (1.6% of total)
ival-hypot: 501.0ms (1.4% of total)
ival-asin: 420.0ms (1.2% of total)
ival-cos: 209.0ms (0.6% of total)
ival-sin: 180.0ms (0.5% of total)
ival-neg: 179.0ms (0.5% of total)
ival-acos: 164.0ms (0.5% of total)
ival-atan2: 110.0ms (0.3% of total)
ival-pow2: 105.0ms (0.3% of total)
exact: 78.0ms (0.2% of total)
ival-log1p: 77.0ms (0.2% of total)
ival-fabs: 75.0ms (0.2% of total)
ival-copysign: 67.0ms (0.2% of total)
ival-true: 43.0ms (0.1% of total)
ival-pi: 34.0ms (0.1% of total)
ival-cosh: 34.0ms (0.1% of total)
ival-assert: 23.0ms (0.1% of total)
ival-sinu: 14.0ms (0% of total)
ival-cosu: 11.0ms (0% of total)
ival-cbrt: 4.0ms (0% of total)
ival-e: 2.0ms (0% of total)

simplify1.2min (14.2%)

Memory
1 116.1MiB live, 59 033.4MiB allocated
Algorithm
461×egg-herbie
Stop Event
603×iter limit
320×node limit
145×saturated
Counts
15 246 → 15 073

rewrite46.5s (9.4%)

Memory
13.0MiB live, 45 519.9MiB allocated
Stop Event
426×iter limit
193×node limit
9×saturated
3×unsound
Counts
2 872 → 103 992

eval37.0s (7.4%)

Memory
-437.3MiB live, 40 395.1MiB allocated
Compiler

Compiled 9 347 886 to 564 864 computations (94% saved)

explain31.6s (6.4%)

Memory
-77.1MiB live, 16 377.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
sqrt.f64#foflow-rescue11740
-.f64#fcancellation7481
/.f64#fo/o6840
sin.f64#fsensitivity1910
/.f64#fo/n1900
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)))sensitivity1880
sqrt.f32#foflow-rescue1820
+.f64#fcancellation1551
sqrt.f64#fuflow-rescue1460
log.f32(log.f32 (+.f32 (fabs.f32 x) (sqrt.f32 (+.f32 (*.f32 x x) #s(literal 1 binary32)))))sensitivity1340
-.f64#fnan-rescue1250
log.f64(log.f64 (+.f64 (fabs.f64 x) (sqrt.f64 (+.f64 (*.f64 x x) #s(literal 1 binary64)))))sensitivity1190
/.f64#fn/o900
/.f64#fu/u630
*.f64#fn*u630
+.f64#fnan-rescue580
*.f64#fn*o440
/.f64#fu/n370
/.f64#fn/u130
*.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
exp.f64#fsensitivity20
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)overflow131
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow131
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))overflow126
↳(*.f64 x x)overflow126
Confusion
Predicted +Predicted -
+361076
-22910677
Precision
0.9403490492315707
Recall
0.979381443298969
Confusion?
Predicted +Predicted MaybePredicted -
+3610076
-229210675
Precision?
0.9398594116115595
Recall?
0.979381443298969
Freqs
test
numberfreq
010753
13267
2572
Total Confusion?
Predicted +Predicted MaybePredicted -
+3701
-1018
Precision?
0.9736842105263158
Recall?
0.9736842105263158
Samples
19.0s25 890×0valid
1.1s2 352×1valid
641.0ms872×2valid
27.0ms64×3valid
3.0ms6×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 3.8s
ival-mult: 1.1s (28.6% of total)
ival-add: 744.0ms (19.4% of total)
ival-div: 297.0ms (7.7% of total)
ival-log: 281.0ms (7.3% of total)
ival-hypot: 215.0ms (5.6% of total)
const: 203.0ms (5.3% of total)
ival-exp: 182.0ms (4.7% of total)
adjust: 164.0ms (4.3% of total)
ival-sub: 164.0ms (4.3% of total)
ival-asin: 88.0ms (2.3% of total)
ival-cos: 76.0ms (2% of total)
ival-sqrt: 68.0ms (1.8% of total)
ival-sin: 56.0ms (1.5% of total)
ival-atan2: 51.0ms (1.3% of total)
ival-true: 26.0ms (0.7% of total)
ival-pow: 21.0ms (0.5% of total)
exact: 20.0ms (0.5% of total)
ival-pi: 17.0ms (0.4% of total)
ival-fabs: 16.0ms (0.4% of total)
ival-assert: 13.0ms (0.3% of total)
ival-copysign: 11.0ms (0.3% of total)
ival-neg: 11.0ms (0.3% of total)
ival-log1p: 7.0ms (0.2% of total)
ival-sinu: 7.0ms (0.2% of total)
ival-cosu: 6.0ms (0.2% of total)

preprocess14.7s (3%)

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

Compiled 90 282 to 15 311 computations (83% saved)

regimes14.7s (3%)

Memory
-79.9MiB live, 16 937.5MiB allocated
Counts
7 896 → 869
Calls

132 calls:

1.0s
x
963.0ms
re
869.0ms
im
800.0ms
y.re
517.0ms
y.im
Compiler

Compiled 14 414 to 9 728 computations (32.5% saved)

series13.5s (2.7%)

Memory
192.0MiB live, 14 400.5MiB allocated
Counts
2 872 → 15 246
Calls

1236 calls:

TimeVariablePointExpression
502.0ms
y.im
@-inf
((+ (* (/ y.re (+ (* y.im y.im) (* y.re y.re))) x.im) (* (neg y.im) (/ x.re (+ (* y.im y.im) (* y.re y.re))))) (/ y.re (+ (* y.im y.im) (* y.re y.re))) (+ (* y.im y.im) (* y.re y.re)) (* y.re y.re) (/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im))) (/ x.im y.re) (/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im))) (* (neg x.re) (/ y.im (+ (* y.im y.im) (* y.re y.re)))) (neg x.re) (/ y.im (+ (* y.im y.im) (* y.re y.re))) (/ (- (* x.im y.re) (* x.re y.im)) (+ (* y.re y.re) (* y.im y.im))) (/ (- x.im (/ (* x.re y.im) y.re)) y.re) (- x.im (/ (* x.re y.im) y.re)) (/ (* x.re y.im) y.re) (/ 1 (/ (+ (* y.im y.im) (* y.re y.re)) (+ (* (neg y.im) x.re) (* x.im y.re)))) (/ (+ (* y.im y.im) (* y.re y.re)) (+ (* (neg y.im) x.re) (* x.im y.re))) (* (neg y.im) (/ x.re (+ (* y.im y.im) (* y.re y.re)))) (/ x.re (+ (* y.im y.im) (* y.re y.re))) (* x.re y.im) (+ (* (neg y.im) x.re) (* x.im y.re)))
357.0ms
x.re
@-inf
((sqrt (+ (* 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))) (+ (* 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)))) (+ (* (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)))) (* (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)))) (+ (* (* (* x.im x.im) 1/2) (/ y.im (* x.re x.re))) (+ (* (log x.re) 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)))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (cos (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.re) (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))) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (cos (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (cos (+ (* (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)))
337.0ms
x
@0
((+ (* (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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 (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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) (/ (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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 (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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))))) (/ (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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 (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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) (/ (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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 (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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) (/ (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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 (+ (* (+ (* (+ (/ (+ -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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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)))) (- 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)) (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 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (/ (+ (/ 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 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000)))) (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000)) (* (fabs x) (fabs x)) (neg (neg (log (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)))))) (exp (neg (neg (log (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x))))))) (neg (log (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x))))) (log (+ 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) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) x)))) (+ (* (pow (+ (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) -3) 1) -1) (+ (+ (* (/ (+ 31853699/125000000 (/ (+ -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))) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) (neg x))) 1) (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) -2))) (neg (/ (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) -2) (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) 1)))) (neg (/ (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) -2) (+ (* (/ (pow (exp x) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) 1))) (pow (+ (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) -3) 1) -1) (+ (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) -3) 1) (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 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) (neg x)) (+ (* 3275911/10000000 (fabs x)) 1))) 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) (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ (* 3275911/10000000 (fabs x)) 1))) (+ (* 3275911/10000000 (fabs x)) 1))) (exp (neg (* x x))) (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000) (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ (/ (+ (/ 1061405429/1000000000 (+ (* (fabs x) 3275911/10000000) 1)) -1453152027/1000000000) (+ (* (fabs x) 3275911/10000000) 1)) 1421413741/1000000000)))))) (exp (neg (* (fabs x) (fabs x)))))) (* 3275911/10000000 (fabs x)) (+ (* (/ (+ 31853699/125000000 (/ (+ -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))) (+ (* -3275911/10000000 (fabs x)) -1)) (pow (exp x) (neg x))) 1) (pow (/ (* (pow (exp x) x) (+ (* 3275911/10000000 (fabs x)) 1)) (+ 31853699/125000000 (/ (+ -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)))) -3))
306.0ms
x.im
@0
((sqrt (+ (* 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))) (+ (* x.re x.re) (* x.im x.im)) (* (exp (- (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.re) (* (atan2 x.im x.re) y.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)))) (+ (* (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)))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (+ (* (log (sqrt (+ (* x.im x.im) (* x.re x.re)))) (/ y.im y.re)) (atan2 x.im x.re)) y.re) (* (- (pow (* (atan2 x.im x.re) y.re) 2) (pow (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) 2)) (/ 1 (+ (* (atan2 x.im x.re) y.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) (* (atan2 x.im x.re) y.re))) (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re)) (* (atan2 x.im x.re) y.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))) (* (atan2 x.im x.re) y.re) (sqrt (+ (* x.re x.re) (* x.im x.im))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (+ (* (log (sqrt (+ (* x.re x.re) (* x.im x.im)))) y.im) (* (atan2 x.im x.re) y.re))) (sin (* (- (pow (* (atan2 x.im x.re) y.re) 2) (pow (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) 2)) (/ 1 (+ (* (atan2 x.im x.re) y.re) (* (neg y.im) (log (sqrt (+ (* x.im x.im) (* x.re x.re))))))))) (- (pow (* (atan2 x.im x.re) y.re) 2) (pow (* y.im (log (sqrt (+ (* x.im x.im) (* x.re x.re))))) 2)))
246.0ms
u1
@-inf
((+ (* (* (/ 1 6) (pow (exp 1/2) (log (* (log u1) -2)))) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (* (* 1/6 (sqrt 2)) (cos (* (* (PI) u2) 2))) (sqrt (neg (log u1)))) 1/2) (* (* 1/6 (sqrt 2)) (cos (* (* (PI) u2) 2))) (* 1/6 (sqrt 2)) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (+ (* (sqrt (* (log u1) -2)) 1/6) 1/2) (sqrt (* (log u1) -2)) (* (log u1) -2) (/ 1 (/ 1 (+ (* (cos (* u2 (* (PI) 2))) (* (sqrt (* (log u1) -2)) 1/6)) 1/2))) (/ 1 (+ (* (cos (* u2 (* (PI) 2))) (* (sqrt (* (log u1) -2)) 1/6)) 1/2)) (+ (* (cos (* u2 (* (PI) 2))) (* (sqrt (* (log u1) -2)) 1/6)) 1/2) (cos (* u2 (* (PI) 2))) (+ (* (* 1/6 (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (* (* 1/6 (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) (* 1/6 (pow (* -2 (log u1)) 1/2)) (pow (* -2 (log u1)) 1/2) (pow (* (sqrt (* (log u1) -2)) 1/6) 2) (* (- (pow (* (sqrt (* (log u1) -2)) 1/6) 2) 1/4) (/ 1 (+ (* (sqrt (* (log u1) -2)) 1/6) -1/2))) (- (pow (* (sqrt (* (log u1) -2)) 1/6) 2) 1/4) (+ (* (* (/ 1 6) (pow (* -2 (log u1)) 1/2)) (cos (* (* 2 (PI)) u2))) 1/2) (* (PI) u2) (sqrt (neg (log u1))) (log u1) (* (sqrt (* (log u1) -2)) 1/6) (* (sqrt 2) (sqrt (neg (log u1)))) (* (* 2 (PI)) u2) (+ (* (sqrt (* (log u1) -2)) 1/6) -1/2))

prune10.4s (2.1%)

Memory
-251.4MiB live, 14 709.2MiB allocated
Counts
136 141 → 2 983
Compiler

Compiled 282 610 to 116 900 computations (58.6% saved)

bsearch3.1s (0.6%)

Memory
-89.7MiB live, 3 474.6MiB allocated
Algorithm
232×left-value
203×binary-search
Stop Event
184×narrow-enough
19×predicate-same
Samples
1.5s13 603×0valid
312.0ms775×1valid
32.0ms127×2valid
6.0ms23×3valid
Compiler

Compiled 109 197 to 62 770 computations (42.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 1.3s
ival-mult: 436.0ms (34.4% of total)
ival-add: 150.0ms (11.8% of total)
ival-hypot: 140.0ms (11% of total)
ival-log: 90.0ms (7.1% of total)
ival-exp: 88.0ms (6.9% of total)
ival-sin: 62.0ms (4.9% of total)
ival-sub: 58.0ms (4.6% of total)
ival-div: 57.0ms (4.5% of total)
ival-cos: 52.0ms (4.1% of total)
const: 44.0ms (3.5% of total)
ival-atan2: 29.0ms (2.3% of total)
adjust: 27.0ms (2.1% of total)
ival-sqrt: 12.0ms (0.9% of total)
ival-true: 11.0ms (0.9% of total)
ival-assert: 6.0ms (0.5% of total)
exact: 4.0ms (0.3% of total)
ival-copysign: 1.0ms (0.1% of total)
ival-fabs: 1.0ms (0.1% of total)

analyze2.9s (0.6%)

Memory
-72.1MiB live, 2 600.0MiB 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
4.6MiB live, 4.6MiB allocated

end0.0ms (0%)

Memory
1.1MiB live, 1.0MiB allocated

Profiling

Loading profile data...