Herbie run

Date:Thursday, August 1st, 2024
Commit:9d1b2398 on HEAD
Hostname:nightly with Racket 8.11.1
Seed:2024214
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: 1.8hr)

simplify24.8min (22.6%)

Memory
547.2MiB live, 1 598 910.6MiB allocated
Algorithm
4 454×egg-herbie
Rules
31 216 330×lower-fma.f32
31 209 624×lower-fma.f64
12 726 238×lower-*.f32
12 708 676×lower-*.f64
7 164 962×lower-+.f32
Stop Event
5 811×iter limit
2 658×node limit
1 856×saturated
4×unsound
Counts
570 000 → 559 772

sample19.7min (18%)

Memory
4 586.0MiB live, 1 250 359.1MiB allocated
Samples
8.5min3 903 765×0valid
2.5min429 036×1valid
1.3min30 691×5exit
1.1min127 803×2valid
58.6s314 239×0invalid
11.9s14 120×3valid
7.1s49 546×0exit
6.3s25 223×1exit
6.1s25 295×1invalid
2.0s570×4exit
559.0ms1 312×2invalid
270.0ms125×3exit
205.0ms36×4valid
19.0ms12×2exit
Precisions
Click to see histograms. Total time spent on operations: 10.6min
ival-mult: 2.4min (22.9% of total)
ival-div: 54.4s (8.5% of total)
ival-sin: 49.7s (7.8% of total)
ival-pow: 45.2s (7.1% of total)
ival-add: 45.1s (7.1% of total)
ival-sub: 41.7s (6.6% of total)
const: 37.8s (5.9% of total)
ival-cos: 31.1s (4.9% of total)
adjust: 30.8s (4.8% of total)
ival-log: 22.2s (3.5% of total)
ival-exp: 21.0s (3.3% of total)
ival-tan: 20.5s (3.2% of total)
ival-sqrt: 19.6s (3.1% of total)
ival-pow2: 12.1s (1.9% of total)
ival-<=: 11.5s (1.8% of total)
ival-fabs: 5.2s (0.8% of total)
ival-neg: 4.7s (0.7% of total)
ival-hypot: 4.2s (0.7% of total)
exact: 3.4s (0.5% of total)
ival-true: 2.9s (0.5% of total)
ival-and: 2.7s (0.4% of total)
ival-<: 2.6s (0.4% of total)
ival-pi: 2.4s (0.4% of total)
ival-expm1: 2.0s (0.3% of total)
ival-assert: 1.9s (0.3% of total)
ival-asin: 1.8s (0.3% of total)
ival-atan2: 1.6s (0.3% of total)
ival-acos: 1.6s (0.2% of total)
ival-log1p: 1.3s (0.2% of total)
ival-atan: 1.2s (0.2% of total)
ival-sinh: 987.0ms (0.2% of total)
ival->: 915.0ms (0.1% of total)
ival-fmod: 876.0ms (0.1% of total)
ival-floor: 810.0ms (0.1% of total)
ival-cbrt: 739.0ms (0.1% of total)
ival-if: 673.0ms (0.1% of total)
ival-==: 581.0ms (0.1% of total)
ival-cosh: 516.0ms (0.1% of total)
ival-log2: 493.0ms (0.1% of total)
ival-fmin: 475.0ms (0.1% of total)
ival-asinh: 370.0ms (0.1% of total)
ival->=: 359.0ms (0.1% of total)
ival-acosh: 295.0ms (0% of total)
ival-fmax: 266.0ms (0% of total)
ival-atanh: 183.0ms (0% of total)
ival-tanh: 87.0ms (0% of total)
ival-or: 37.0ms (0% of total)
Bogosity

soundness14.2min (13%)

Memory
-159.4MiB live, 416 716.4MiB allocated
Rules
19 581 690×lower-fma.f32
19 578 032×lower-fma.f64
10 997 676×lower-*.f32
10 986 988×lower-*.f64
5 720 248×lower-/.f32
Stop Event
3 537×iter limit
2 299×node limit
368×fuel
172×done
36×saturated
12×unsound
Compiler

Compiled 364 796 to 170 699 computations (53.2% saved)

rewrite13.9min (12.6%)

Memory
4 306.6MiB live, 1 020 427.1MiB allocated
Algorithm
1 957×batch-egg-rewrite
Rules
10 233 240×lower-fma.f32
10 226 572×lower-fma.f64
8 082 988×lower-*.f32
8 065 880×lower-*.f64
6 536 134×lower-/.f32
Stop Event
4 027×iter limit
1 872×node limit
90×saturated
34×unsound
Counts
24 174 → 1 282 573

eval9.3min (8.5%)

Memory
9 902.6MiB live, 640 689.3MiB allocated
Compiler

Compiled 112 030 677 to 5 074 756 computations (95.5% saved)

prune7.8min (7.1%)

Memory
-10 140.3MiB live, 653 096.4MiB allocated
Counts
2 267 064 → 42 291
Compiler

Compiled 2 255 859 to 1 044 397 computations (53.7% saved)

regimes5.0min (4.6%)

Memory
-1 115.1MiB live, 380 669.5MiB allocated
Counts
139 767 → 10 097
Calls

1 219 calls:

30.2s
x
16.5s
y
11.9s
t
10.3s
z
9.5s
(*.f64 y y)
Compiler

Compiled 207 138 to 136 003 computations (34.3% saved)

localize4.8min (4.4%)

Memory
-2 760.4MiB live, 383 914.8MiB allocated
Samples
1.7min416 266×0valid
39.6s45 214×1valid
20.9s17 008×2valid
5.6s1 383×5exit
5.6s16 290×0invalid
2.2s1 535×3valid
820.0ms138×4exit
775.0ms1 928×1exit
755.0ms423×1invalid
430.0ms118×3exit
427.0ms650×0exit
43.0ms21×4valid
14.0ms4×2exit
11.0ms14×2invalid
Compiler

Compiled 482 335 to 52 213 computations (89.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.1min
ival-mult: 36.2s (28.5% of total)
ival-add: 18.1s (14.3% of total)
ival-div: 16.4s (12.9% of total)
ival-cos: 7.9s (6.2% of total)
adjust: 7.1s (5.6% of total)
const: 7.0s (5.5% of total)
ival-sin: 6.9s (5.5% of total)
ival-sub: 4.6s (3.6% of total)
ival-sqrt: 3.8s (3% of total)
ival-log: 3.1s (2.5% of total)
ival-tan: 2.5s (2% of total)
ival-pow: 2.1s (1.6% of total)
ival-neg: 1.8s (1.4% of total)
ival-pow2: 1.6s (1.3% of total)
ival-exp: 1.5s (1.2% of total)
ival-log1p: 660.0ms (0.5% of total)
ival-pi: 561.0ms (0.4% of total)
exact: 559.0ms (0.4% of total)
ival-acos: 548.0ms (0.4% of total)
ival-hypot: 517.0ms (0.4% of total)
ival-asin: 506.0ms (0.4% of total)
ival-atan2: 488.0ms (0.4% of total)
ival-true: 420.0ms (0.3% of total)
ival-fabs: 261.0ms (0.2% of total)
ival-atan: 223.0ms (0.2% of total)
ival-cosh: 206.0ms (0.2% of total)
ival-assert: 204.0ms (0.2% of total)
ival-if: 165.0ms (0.1% of total)
ival-cbrt: 164.0ms (0.1% of total)
ival-fmod: 162.0ms (0.1% of total)
ival-fmax: 104.0ms (0.1% of total)
ival-copysign: 103.0ms (0.1% of total)
ival-log2: 100.0ms (0.1% of total)
ival-sinh: 81.0ms (0.1% of total)
ival-floor: 79.0ms (0.1% of total)
ival-expm1: 62.0ms (0% of total)
ival-e: 39.0ms (0% of total)
ival-tanh: 37.0ms (0% of total)
ival->=: 26.0ms (0% of total)
ival->: 17.0ms (0% of total)
ival-<: 6.0ms (0% of total)

preprocess3.3min (3%)

Memory
829.9MiB live, 203 561.1MiB allocated
Algorithm
542×egg-herbie
Rules
2 120 258×lower-fma.f32
2 120 256×lower-fma.f64
556 378×lower-*.f32
554 402×lower-*.f64
388 484×unsub-neg
Stop Event
1 080×iter limit
743×saturated
345×node limit
Compiler

Compiled 450 616 to 131 572 computations (70.8% saved)

explain2.1min (1.9%)

Memory
-1 180.3MiB live, 161 139.6MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation893256
sqrt.f64#foflow-rescue53410
log.f64#fsensitivity34727
cos.f64#fsensitivity33168
+.f64#fcancellation3168139
sin.f64#fsensitivity20263
/.f64#fo/n19200
/.f64#fo/o17680
-.f64#fnan-rescue13950
log.f32#fsensitivity114367
*.f64#fn*o11330
/.f64#fu/u10250
/.f64#fn/o10160
sqrt.f64#fuflow-rescue9740
+.f64#fnan-rescue8430
/.f64#fu/n6600
sqrt.f32#foflow-rescue5460
acos.f64#fsensitivity5255
*.f64#fn*u4510
-.f32#fcancellation40921
pow.f64#fsensitivity39941
tan.f64#fsensitivity3953
/.f64#fn/u3080
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2200
*.f64#fu*o2100
exp.f64#fsensitivity20632
cos.f32#fsensitivity20515
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation2037
cos.f64#foflow-rescue1980
pow.f64#foflow-rescue1620
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)))))))sensitivity1230
/.f32#fo/n1200
*.f64#fo*u1190
cbrt.f64#foflow-rescue930
log.f64#foflow-rescue930
log.f64#fuflow-rescue680
pow.f64#fuflow-rescue540
exp.f32#fsensitivity4218
cbrt.f64#fuflow-rescue410
sin.f64#foflow-rescue310
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue300
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow30
/.f32#fu/n240
/.f32#fo/o120
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-rescue90
↳(*.f32 sinTheta_O sinTheta_O)underflow274
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow9
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow137
↳(*.f32 eta eta)underflow9
log.f32(log.f32 (+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32)))))oflow-rescue40
↳(+.f32 x (sqrt.f32 (-.f32 (*.f32 x x) #s(literal 1 binary32))))overflow4
↳(*.f32 x x)overflow129
↳(-.f32 (*.f32 x x) #s(literal 1 binary32))overflow129
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o30
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow16
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow16
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u20
sin.f32(sin.f32 (*.f32 x (PI.f32)))cancellation10
Confusion
Predicted +Predicted -
+306141200
-6080100858
Precision
0.834305336022238
Recall
0.9622807568994782
Confusion?
Predicted +Predicted MaybePredicted -
+30614290910
-6080362100496
Precision?
0.8275049536764312
Recall?
0.971396240648771
Freqs
test
numberfreq
0102058
130741
24899
3591
4289
5101
646
713
89
94
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+34061
-144177
Precision?
0.9505494505494505
Recall?
0.9971181556195965
Samples
26.3s234 480×0valid
11.0s31 170×1valid
6.8s10 584×2valid
921.0ms1 132×3valid
15.0ms114×1exit
13.0ms20×5exit
3.0ms4×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 30.5s
ival-mult: 6.9s (22.5% of total)
ival-div: 3.4s (11.2% of total)
ival-add: 2.8s (9.2% of total)
ival-sin: 2.8s (9.1% of total)
ival-sub: 2.7s (8.7% of total)
adjust: 1.8s (6.1% of total)
ival-cos: 1.8s (6.1% of total)
ival-log: 1.6s (5.2% of total)
ival-tan: 1.3s (4.3% of total)
ival-exp: 869.0ms (2.8% of total)
ival-sqrt: 767.0ms (2.5% of total)
const: 740.0ms (2.4% of total)
ival-pow2: 552.0ms (1.8% of total)
ival-pow: 425.0ms (1.4% of total)
ival-hypot: 279.0ms (0.9% of total)
ival-true: 245.0ms (0.8% of total)
ival-neg: 187.0ms (0.6% of total)
ival-fabs: 185.0ms (0.6% of total)
exact: 159.0ms (0.5% of total)
ival-acos: 125.0ms (0.4% of total)
ival-asin: 122.0ms (0.4% of total)
ival-assert: 113.0ms (0.4% of total)
ival-atan2: 95.0ms (0.3% of total)
ival-log1p: 87.0ms (0.3% of total)
ival-pi: 84.0ms (0.3% of total)
ival-atan: 72.0ms (0.2% of total)
ival-sinh: 59.0ms (0.2% of total)
ival-cbrt: 49.0ms (0.2% of total)
ival-floor: 41.0ms (0.1% of total)
ival-expm1: 28.0ms (0.1% of total)
ival-fmod: 26.0ms (0.1% of total)
ival-if: 22.0ms (0.1% of total)
ival-fmax: 19.0ms (0.1% of total)
ival-cosh: 15.0ms (0% of total)
ival-log2: 12.0ms (0% of total)
ival-copysign: 11.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival->: 2.0ms (0% of total)
ival-<: 1.0ms (0% of total)

series1.8min (1.6%)

Memory
2 298.8MiB live, 130 602.0MiB allocated
Counts
24 174 → 570 324
Calls

106680 calls:

TimeVariablePointExpression
5.0s
x
@0
(/ (- (pow (+ (* (+ 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))))) (/ (+ 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) -2) (pow (neg (* (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) (/ 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) (exp (* x 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) (exp (* x x))))) 1)))) 2)) (+ (/ 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) (exp (* x 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) (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) (/ 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) (exp (* x 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) (exp (* x x))))) 1)))))
3.6s
re
@inf
(/ (+ re -1) (* (cos im) (+ (* re re) -1)))
1.3s
b
@0
(- (* (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale) (/ (/ (* (* (* 2 (- (pow b 2) (pow a 2))) (sin (* (/ angle 180) (PI)))) (cos (* (/ angle 180) (PI)))) x-scale) y-scale)) (* (* 4 (/ (/ (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) x-scale) x-scale)) (/ (/ (+ (pow (* a (cos (* (/ angle 180) (PI)))) 2) (pow (* b (sin (* (/ angle 180) (PI)))) 2)) y-scale) y-scale)))
544.0ms
v
@0
(log (/ 1 (* 2 v)))
405.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)))

analyze1.3min (1.2%)

Memory
35.5MiB live, 107 196.2MiB 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 518 to 7 841 computations (37.4% saved)

bsearch59.9s (0.9%)

Memory
838.7MiB live, 72 816.1MiB allocated
Algorithm
2 869×binary-search
2 298×left-value
Stop Event
2 770×narrow-enough
98×predicate-same
1×predicate-failed
Samples
28.8s198 002×0valid
7.3s15 688×1valid
1.3s1 916×2valid
1.2s10 269×0invalid
423.0ms250×3valid
75.0ms177×1exit
21.0ms99×1invalid
9.0ms105×0exit
2.0ms6×2invalid
1.0ms2×5exit
Compiler

Compiled 734 403 to 518 128 computations (29.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 29.0s
ival-mult: 8.8s (30.4% of total)
ival-sub: 3.7s (12.9% of total)
ival-cos: 3.1s (10.8% of total)
ival-sin: 2.7s (9.1% of total)
ival-div: 2.5s (8.8% of total)
ival-add: 2.2s (7.5% of total)
ival-pow2: 1.1s (3.6% of total)
adjust: 896.0ms (3.1% of total)
ival-log: 735.0ms (2.5% of total)
ival-pow: 625.0ms (2.2% of total)
const: 497.0ms (1.7% of total)
ival-sqrt: 378.0ms (1.3% of total)
ival-tan: 301.0ms (1% of total)
ival-exp: 268.0ms (0.9% of total)
ival-atan2: 219.0ms (0.8% of total)
ival-neg: 179.0ms (0.6% of total)
ival-true: 166.0ms (0.6% of total)
ival-hypot: 147.0ms (0.5% of total)
exact: 99.0ms (0.3% of total)
ival-assert: 87.0ms (0.3% of total)
ival-acos: 68.0ms (0.2% of total)
ival-fabs: 58.0ms (0.2% of total)
ival-atan: 57.0ms (0.2% of total)
ival-pi: 40.0ms (0.1% of total)
ival->=: 24.0ms (0.1% of total)
ival-asin: 12.0ms (0% of total)
ival-tanh: 10.0ms (0% of total)
ival-cosh: 10.0ms (0% of total)
ival-if: 10.0ms (0% of total)
ival-expm1: 8.0ms (0% of total)
ival-cbrt: 3.0ms (0% of total)
ival-sinh: 3.0ms (0% of total)
ival-log1p: 1.0ms (0% of total)
ival-copysign: 1.0ms (0% of total)

end38.7s (0.6%)

Memory
9.6MiB live, 18 726.2MiB allocated

Profiling

Loading profile data...