Herbie run

Date:Tuesday, July 16th, 2024
Commit:f3c41df3 on doc-pass
Hostname:nightly with Racket 8.11.1
Seed:2024198
Parameters:256 points for 4 iterations
Flags:
localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default

Time bar (total: 2.0hr)

simplify26.1min (22%)

Memory
-2 456.1MiB live, 1 931 951.6MiB allocated
Algorithm
4 488×egg-herbie
Rules
30 540 290×accelerator-lowering-fma.f32
30 540 290×accelerator-lowering-fma.f64
12 805 086×*-lowering-*.f32
12 805 086×*-lowering-*.f64
6 972 070×+-lowering-+.f32
Stop Event
3 909×iter limit
2 689×node limit
1 838×saturated
3×unsound
Counts
572 472 → 572 472

sample17.5min (14.8%)

Memory
4 585.6MiB live, 1 281 593.9MiB allocated
Samples
7.3min3 904 425×0valid
2.3min417 173×1valid
1.2min136 947×2valid
1.1min30 900×5exit
50.2s318 336×0invalid
14.0s15 462×3valid
7.8s50 152×0exit
6.6s24 104×1exit
5.8s25 052×1invalid
1.0s766×4valid
727.0ms513×4exit
658.0ms1 375×2invalid
334.0ms135×3exit
240.0ms1 172×2exit
Precisions
Click to see histograms. Total time spent on operations: 10.0min
ival-mult: 2.0min (20.2% of total)
ival-div: 54.9s (9.2% of total)
ival-sub: 52.5s (8.8% of total)
ival-sin: 47.0s (7.9% of total)
ival-add: 46.1s (7.7% of total)
ival-pow: 42.1s (7% of total)
ival-cos: 32.6s (5.4% of total)
const: 29.9s (5% of total)
ival-log: 23.8s (4% of total)
ival-exp: 20.5s (3.4% of total)
ival-tan: 20.3s (3.4% of total)
ival-sqrt: 18.3s (3.1% of total)
adjust: 16.9s (2.8% of total)
ival-pow2: 12.4s (2.1% of total)
ival-<=: 11.6s (1.9% of total)
ival-neg: 5.6s (0.9% of total)
ival-fabs: 4.7s (0.8% of total)
ival-hypot: 4.5s (0.8% of total)
exact: 3.8s (0.6% of total)
ival-<: 2.8s (0.5% of total)
ival-true: 2.8s (0.5% of total)
ival-and: 2.7s (0.4% of total)
ival-pi: 2.1s (0.4% of total)
ival-assert: 2.0s (0.3% of total)
ival-asin: 1.9s (0.3% of total)
ival-expm1: 1.8s (0.3% of total)
ival-acos: 1.6s (0.3% of total)
ival-atan2: 1.4s (0.2% of total)
ival-log1p: 1.2s (0.2% of total)
ival-sinh: 1.2s (0.2% of total)
ival-atan: 1.1s (0.2% of total)
ival-fmod: 948.0ms (0.2% of total)
ival->: 938.0ms (0.2% of total)
ival-floor: 743.0ms (0.1% of total)
ival-cbrt: 546.0ms (0.1% of total)
ival-==: 531.0ms (0.1% of total)
ival-asinh: 511.0ms (0.1% of total)
ival-fmin: 414.0ms (0.1% of total)
ival-if: 385.0ms (0.1% of total)
ival-fmax: 343.0ms (0.1% of total)
ival-acosh: 343.0ms (0.1% of total)
ival->=: 333.0ms (0.1% of total)
ival-atanh: 248.0ms (0% of total)
ival-log2: 208.0ms (0% of total)
ival-cosh: 199.0ms (0% of total)
ival-tanh: 91.0ms (0% of total)
ival-or: 39.0ms (0% of total)
Bogosity

rewrite17.0min (14.4%)

Memory
929.5MiB live, 1 341 391.9MiB allocated
Algorithm
1 973×batch-egg-rewrite
Rules
10 591 200×accelerator-lowering-fma.f32
10 591 200×accelerator-lowering-fma.f64
8 070 272×*-lowering-*.f32
8 070 272×*-lowering-*.f64
6 632 840×/-lowering-/.f32
Stop Event
2 084×iter limit
1 894×node limit
73×saturated
26×unsound
Counts
24 013 → 1 525 920

soundness16.8min (14.2%)

Memory
1 275.9MiB live, 434 899.9MiB allocated
Rules
20 293 398×accelerator-lowering-fma.f32
20 293 398×accelerator-lowering-fma.f64
11 336 056×*-lowering-*.f32
11 336 056×*-lowering-*.f64
6 070 244×/-lowering-/.f32
Stop Event
2 499×iter limit
2 389×node limit
373×fuel
168×done
37×saturated
11×unsound
Compiler

Compiled 381 981 to 182 954 computations (52.1% saved)

eval9.1min (7.7%)

Memory
12 197.6MiB live, 751 686.7MiB allocated
Compiler

Compiled 129 929 130 to 5 665 941 computations (95.6% saved)

prune9.0min (7.6%)

Memory
-11 323.0MiB live, 745 848.4MiB allocated
Counts
2 582 307 → 42 104
Compiler

Compiled 2 317 493 to 1 063 913 computations (54.1% saved)

localize6.8min (5.7%)

Memory
270.4MiB live, 409 524.7MiB allocated
Samples
1.9min419 147×0valid
1.1min40 469×1valid
23.3s19 023×2valid
8.0s19 763×0invalid
6.2s1 412×5exit
4.5s2 695×3valid
2.3s578×4valid
1.3s254×4exit
1.0s128×3exit
310.0ms1 142×0exit
269.0ms139×1invalid
214.0ms470×1exit
93.0ms123×2exit
3.0ms1×2invalid
Compiler

Compiled 469 069 to 52 967 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.7min
ival-mult: 37.0s (22.5% of total)
ival-add: 33.5s (20.3% of total)
ival-div: 23.7s (14.4% of total)
const: 21.0s (12.8% of total)
ival-cos: 8.0s (4.9% of total)
ival-sin: 6.1s (3.7% of total)
ival-sub: 6.0s (3.7% of total)
adjust: 5.3s (3.2% of total)
ival-sqrt: 3.7s (2.2% of total)
ival-log: 3.1s (1.9% of total)
ival-pow: 2.8s (1.7% of total)
ival-exp: 2.4s (1.4% of total)
ival-tan: 2.1s (1.3% of total)
ival-pow2: 1.7s (1% of total)
ival-asin: 947.0ms (0.6% of total)
ival-acos: 845.0ms (0.5% of total)
ival-cbrt: 769.0ms (0.5% of total)
ival-neg: 766.0ms (0.5% of total)
exact: 730.0ms (0.4% of total)
ival-atan2: 488.0ms (0.3% of total)
ival-true: 434.0ms (0.3% of total)
ival-log1p: 393.0ms (0.2% of total)
ival-hypot: 333.0ms (0.2% of total)
ival-fabs: 310.0ms (0.2% of total)
ival-fmod: 298.0ms (0.2% of total)
ival-pi: 294.0ms (0.2% of total)
ival-atan: 218.0ms (0.1% of total)
ival-assert: 213.0ms (0.1% of total)
ival-expm1: 204.0ms (0.1% of total)
ival-if: 197.0ms (0.1% of total)
ival-fmax: 146.0ms (0.1% of total)
ival-copysign: 108.0ms (0.1% of total)
ival-floor: 83.0ms (0.1% of total)
ival-log2: 81.0ms (0% of total)
ival-sinh: 78.0ms (0% of total)
ival-cosh: 74.0ms (0% of total)
ival->=: 27.0ms (0% of total)
ival-e: 23.0ms (0% of total)
ival-tanh: 21.0ms (0% of total)
ival->: 15.0ms (0% of total)
ival-<: 5.0ms (0% of total)

regimes6.0min (5.1%)

Memory
1.5MiB live, 414 302.2MiB allocated
Counts
145 029 → 9 939
Calls

1 221 calls:

21.2s
x
18.4s
(sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64)))
15.4s
y
14.3s
(-.f64 (/.f64 (PI.f64) #s(literal 2 binary64)) (*.f64 #s(literal 2 binary64) (asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) x) #s(literal 2 binary64))))))
13.5s
(-.f64 #s(literal 1 binary64) x)
Compiler

Compiled 213 784 to 138 290 computations (35.3% saved)

preprocess3.4min (2.9%)

Memory
-192.9MiB live, 221 242.7MiB allocated
Algorithm
1 084×egg-herbie
Rules
2 132 886×accelerator-lowering-fma.f32
2 132 886×accelerator-lowering-fma.f64
560 322×*-lowering-*.f32
560 322×*-lowering-*.f64
393 922×unsub-neg
Stop Event
740×saturated
539×iter limit
347×node limit
Compiler

Compiled 438 450 to 126 974 computations (71% saved)

explain1.9min (1.6%)

Memory
-1 301.8MiB live, 172 118.7MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation893764
sqrt.f64#foflow-rescue54250
log.f64#fsensitivity34873
cos.f64#fsensitivity32626
+.f64#fcancellation3088126
sin.f64#fsensitivity19533
/.f64#fo/n19000
/.f64#fo/o17720
-.f64#fnan-rescue14320
log.f32#fsensitivity114769
*.f64#fn*o11300
/.f64#fu/u10140
/.f64#fn/o9870
sqrt.f64#fuflow-rescue9340
+.f64#fnan-rescue8420
/.f64#fu/n7200
sqrt.f32#foflow-rescue5490
acos.f64#fsensitivity5176
*.f64#fn*u4710
pow.f64#fsensitivity41039
tan.f64#fsensitivity3970
-.f32#fcancellation38631
/.f64#fn/u3180
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2190
exp.f64#fsensitivity20331
cos.f64#foflow-rescue1930
cos.f32#fsensitivity18715
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation17111
pow.f64#foflow-rescue1690
*.f64#fu*o1580
*.f64#fo*u1470
/.f32#fo/n1420
asin.f64(asin.f64 (sqrt.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (/.f64 Om Omc) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 #s(literal 2 binary64) (pow.f64 (/.f64 t l) #s(literal 2 binary64)))))))sensitivity1240
log.f64#foflow-rescue1050
cbrt.f64#foflow-rescue810
pow.f64#fuflow-rescue710
log.f64#fuflow-rescue700
exp.f32#fsensitivity4831
sin.f64#foflow-rescue380
cbrt.f64#fuflow-rescue370
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue350
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow35
/.f32#fu/n220
sqrt.f32(sqrt.f32 (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))))uflow-rescue100
↳(*.f32 sinTheta_O sinTheta_O)underflow296
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow10
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow148
↳(*.f32 eta eta)underflow10
/.f32#fo/o100
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o60
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow11
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow11
*.f32#fn*o50
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u40
sin.f32#fcancellation20
log.f32#foflow-rescue20
+.f32(+.f32 #s(literal 1 binary32) (*.f32 v (log.f32 (+.f32 u (*.f32 (-.f32 #s(literal 1 binary32) u) (exp.f32 (/.f32 #s(literal -2 binary32) v)))))))cancellation10
Confusion
Predicted +Predicted -
+307661165
-5906100915
Precision
0.8389506980802792
Recall
0.9635150793899345
Confusion?
Predicted +Predicted MaybePredicted -
+30766254911
-5906399100516
Precision?
0.831078365706631
Recall?
0.9714697316087815
Freqs
test
numberfreq
0102080
130738
24881
3622
4277
584
640
720
87
92
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+34722
-102179
Precision?
0.9667590027700831
Recall?
0.9943019943019943
Samples
25.8s234 898×0valid
10.7s29 972×1valid
6.6s10 962×2valid
1.2s1 384×3valid
100.0ms98×5exit
52.0ms76×4valid
21.0ms114×1exit
Compiler

Compiled 106 238 to 25 502 computations (76% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.0s
ival-mult: 6.4s (21.3% of total)
ival-div: 4.4s (14.5% of total)
ival-sub: 3.0s (10.1% of total)
ival-add: 2.3s (7.8% of total)
ival-sin: 2.2s (7.3% of total)
ival-log: 1.9s (6.2% of total)
ival-cos: 1.8s (6% of total)
ival-tan: 1.3s (4.5% of total)
adjust: 1.2s (3.8% of total)
ival-exp: 867.0ms (2.9% of total)
ival-sqrt: 792.0ms (2.6% of total)
ival-pow2: 615.0ms (2% of total)
const: 593.0ms (2% of total)
ival-pow: 496.0ms (1.7% of total)
ival-hypot: 403.0ms (1.3% of total)
ival-neg: 246.0ms (0.8% of total)
ival-true: 242.0ms (0.8% of total)
exact: 191.0ms (0.6% of total)
ival-pi: 160.0ms (0.5% of total)
ival-assert: 117.0ms (0.4% of total)
ival-atan2: 104.0ms (0.3% of total)
ival-asin: 91.0ms (0.3% of total)
ival-acos: 77.0ms (0.3% of total)
ival-log1p: 73.0ms (0.2% of total)
ival-atan: 66.0ms (0.2% of total)
ival-fabs: 57.0ms (0.2% of total)
ival-sinh: 57.0ms (0.2% of total)
ival-cosh: 48.0ms (0.2% of total)
ival-floor: 46.0ms (0.2% of total)
ival-if: 38.0ms (0.1% of total)
ival-fmax: 35.0ms (0.1% of total)
ival-expm1: 35.0ms (0.1% of total)
ival-cbrt: 33.0ms (0.1% of total)
ival->: 33.0ms (0.1% of total)
ival-fmod: 26.0ms (0.1% of total)
ival-log2: 11.0ms (0% of total)
ival-copysign: 11.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival-tanh: 6.0ms (0% of total)
ival-<: 1.0ms (0% of total)

series1.6min (1.4%)

Memory
792.4MiB live, 129 317.4MiB allocated
Counts
24 013 → 572 472
Calls

106680 calls:

TimeVariablePointExpression
697.0ms
hi
@-inf
(/ hi lo)
401.0ms
x
@0
(/ (- (* 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) (exp (* x 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1) (pow (/ (+ 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) (exp (* x x)))) 3))) (* (+ (* (/ (+ 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) (exp (* x 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x 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))) (* (+ (* 3275911/10000000 (fabs x)) 1) (exp (* x x)))))) 1)))
389.0ms
t
@-inf
(* (pow (- 1 (/ 1 (+ 1 (exp (- 0 s))))) c_n) (* (pow (+ 1 (/ 1 (- -1 (exp (- 0 t))))) (- 0 c_n)) (* (pow (+ 1 (exp (- 0 s))) (- 0 c_p)) (pow (+ 1 (exp (- 0 t))) (neg (- 0 c_p))))))
357.0ms
x
@-inf
(/ (* (- (* (* (PI) (* (PI) (PI))) 1/8) (pow (asin (/ (* x (* 3 (sqrt t))) (* z (* 54 y)))) 3)) 1/3) (+ (* (asin (/ (* x (* 3 (sqrt t))) (* z (* 54 y)))) (+ (* (PI) 1/2) (asin (/ (* x (* 3 (sqrt t))) (* z (* 54 y)))))) (* (* (PI) (PI)) 1/4)))
349.0ms
dY.u
@inf
(* (log (fmax (+ (pow (* (floor w) dX.u) 2) (pow (* (floor h) dX.v) 2)) (+ (pow (* (floor w) dY.u) 2) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor d) dY.w) 2))))) 1/2)

bsearch1.6min (1.4%)

Memory
-77.3MiB live, 120 434.4MiB allocated
Algorithm
2 720×binary-search
2 368×left-value
Stop Event
2 627×narrow-enough
93×predicate-same
Samples
52.1s299 460×0valid
15.2s27 672×1valid
2.7s5 887×2valid
1.5s15 101×0invalid
365.0ms516×3valid
58.0ms161×1exit
55.0ms261×1invalid
33.0ms97×4valid
15.0ms152×0exit
2.0ms6×5exit
Compiler

Compiled 741 185 to 522 249 computations (29.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.4s
ival-mult: 14.1s (30.5% of total)
ival-add: 5.1s (10.9% of total)
ival-sub: 4.9s (10.5% of total)
ival-sin: 4.3s (9.2% of total)
ival-cos: 3.9s (8.5% of total)
ival-div: 3.6s (7.8% of total)
ival-log: 1.4s (3.1% of total)
const: 1.3s (2.8% of total)
adjust: 1.1s (2.3% of total)
ival-pow: 1.0s (2.2% of total)
ival-sqrt: 1.0s (2.2% of total)
ival-atan2: 757.0ms (1.6% of total)
ival-pow2: 704.0ms (1.5% of total)
ival-exp: 679.0ms (1.5% of total)
ival-tan: 508.0ms (1.1% of total)
ival-neg: 422.0ms (0.9% of total)
ival-hypot: 400.0ms (0.9% of total)
ival-true: 277.0ms (0.6% of total)
ival-acos: 197.0ms (0.4% of total)
exact: 193.0ms (0.4% of total)
ival-assert: 140.0ms (0.3% of total)
ival-atan: 133.0ms (0.3% of total)
ival-fmod: 98.0ms (0.2% of total)
ival-pi: 63.0ms (0.1% of total)
ival-expm1: 32.0ms (0.1% of total)
ival-if: 19.0ms (0% of total)
ival-fabs: 18.0ms (0% of total)
ival->=: 13.0ms (0% of total)
ival-cosh: 11.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival-log1p: 3.0ms (0% of total)
ival-asin: 2.0ms (0% of total)
ival-copysign: 1.0ms (0% of total)

analyze1.3min (1.1%)

Memory
542.6MiB live, 110 396.0MiB allocated
Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.8%33.6%50.8%15.6%0%0%0%1
45.9%38.4%45.3%15.6%0%0.8%0%2
54.5%44.5%37.2%15.6%0%2.8%0%3
61.4%49.5%31.1%15.6%0%3.8%0%4
67.7%54.3%25.9%15.6%0%4.3%0%5
71.6%57.1%22.7%15.6%0%4.7%0%6
75.5%59.8%19.4%15.6%0%5.2%0%7
77.5%61.1%17.7%15.6%0%5.6%0%8
80.1%62.9%15.6%15.6%0%5.9%0%9
81.7%63.9%14.3%15.6%0%6.2%0%10
83.9%65.5%12.6%15.6%0%6.4%0%11
85%66.2%11.6%15.6%0%6.6%0%12
Compiler

Compiled 12 512 to 7 841 computations (37.3% saved)

end13.8s (0.2%)

Memory
-43.5MiB live, 8 938.1MiB allocated

Profiling

Loading profile data...