Herbie run

Date:Thursday, July 25th, 2024
Commit:3139208f on main
Hostname:nightly with Racket 8.11.1
Seed:2024207
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)

simplify21.7min (19.6%)

Memory
1 439.9MiB live, 1 571 699.7MiB allocated
Algorithm
4 413×egg-herbie
Rules
30 673 676×lower-fma.f32
30 667 306×lower-fma.f64
12 538 168×lower-*.f32
12 521 178×lower-*.f64
7 032 078×lower-+.f32
Stop Event
5 729×iter limit
2 629×node limit
1 868×saturated
3×unsound
Counts
560 820 → 550 605

sample19.0min (17.2%)

Memory
3 006.3MiB live, 1 268 578.1MiB allocated
Samples
8.2min3 903 436×0valid
2.3min418 232×1valid
1.3min136 467×2valid
1.2min30 928×5exit
51.6s318 415×0invalid
14.1s15 875×3valid
7.5s49 954×0exit
5.8s25 645×1invalid
5.7s24 338×1exit
1.9s540×4exit
743.0ms1 407×2invalid
721.0ms747×4valid
357.0ms1 206×2exit
311.0ms130×3exit
Precisions
Click to see histograms. Total time spent on operations: 10.7min
ival-mult: 2.5min (23.2% of total)
ival-div: 57.5s (8.9% of total)
ival-sin: 51.1s (8% of total)
ival-pow: 44.0s (6.8% of total)
ival-add: 43.5s (6.8% of total)
ival-sub: 43.2s (6.7% of total)
const: 39.0s (6.1% of total)
ival-cos: 31.6s (4.9% of total)
adjust: 26.1s (4.1% of total)
ival-log: 23.2s (3.6% of total)
ival-tan: 21.2s (3.3% of total)
ival-exp: 20.4s (3.2% of total)
ival-sqrt: 17.7s (2.8% of total)
ival-pow2: 12.7s (2% of total)
ival-<=: 12.1s (1.9% of total)
ival-neg: 6.5s (1% of total)
ival-fabs: 5.1s (0.8% of total)
ival-hypot: 4.0s (0.6% of total)
exact: 3.8s (0.6% of total)
ival-<: 3.0s (0.5% of total)
ival-true: 2.8s (0.4% of total)
ival-and: 2.7s (0.4% of total)
ival-pi: 2.5s (0.4% of total)
ival-expm1: 2.1s (0.3% of total)
ival-assert: 2.0s (0.3% of total)
ival-acos: 2.0s (0.3% of total)
ival-asin: 1.8s (0.3% of total)
ival-atan2: 1.6s (0.2% of total)
ival-atan: 1.3s (0.2% of total)
ival-log1p: 1.3s (0.2% of total)
ival-floor: 1.1s (0.2% of total)
ival-sinh: 984.0ms (0.2% of total)
ival->: 982.0ms (0.2% of total)
ival-fmod: 720.0ms (0.1% of total)
ival-fmin: 666.0ms (0.1% of total)
ival-cbrt: 566.0ms (0.1% of total)
ival-asinh: 522.0ms (0.1% of total)
ival-==: 399.0ms (0.1% of total)
ival-if: 387.0ms (0.1% of total)
ival->=: 324.0ms (0.1% of total)
ival-fmax: 260.0ms (0% of total)
ival-acosh: 236.0ms (0% of total)
ival-cosh: 200.0ms (0% of total)
ival-log2: 199.0ms (0% of total)
ival-atanh: 155.0ms (0% of total)
ival-tanh: 90.0ms (0% of total)
ival-or: 40.0ms (0% of total)
Bogosity

rewrite16.4min (14.8%)

Memory
4 250.8MiB live, 1 005 618.7MiB allocated
Algorithm
1 938×batch-egg-rewrite
Rules
10 070 106×lower-fma.f32
10 063 788×lower-fma.f64
7 947 980×lower-*.f32
7 931 426×lower-*.f64
6 371 512×lower-/.f32
Stop Event
3 980×iter limit
1 845×node limit
110×saturated
36×unsound
Counts
23 657 → 1 262 765

soundness14.2min (12.9%)

Memory
90.8MiB live, 408 481.2MiB allocated
Rules
19 624 640×lower-fma.f32
19 621 438×lower-fma.f64
10 754 596×lower-*.f32
10 744 734×lower-*.f64
5 485 706×lower-/.f32
Stop Event
3 498×iter limit
2 264×node limit
354×fuel
185×done
36×saturated
18×unsound
Compiler

Compiled 344 301 to 166 909 computations (51.5% saved)

eval9.5min (8.6%)

Memory
8 337.1MiB live, 621 593.5MiB allocated
Compiler

Compiled 108 046 031 to 4 988 588 computations (95.4% saved)

prune8.0min (7.3%)

Memory
-8 441.7MiB live, 607 758.7MiB allocated
Counts
2 213 248 → 41 480
Compiler

Compiled 2 195 902 to 1 023 377 computations (53.4% saved)

localize6.5min (5.9%)

Memory
-1 385.9MiB live, 391 248.8MiB allocated
Samples
1.6min408 707×0valid
35.7s42 529×1valid
28.2s20 106×2valid
9.2s16 686×0invalid
8.3s3 329×3valid
7.9s1 840×5exit
1.3s510×1invalid
1.1s389×4valid
639.0ms86×4exit
574.0ms1 545×0exit
212.0ms9×3exit
146.0ms166×2exit
96.0ms211×1exit
28.0ms14×2invalid
4.0ms1×3invalid
Compiler

Compiled 444 719 to 51 148 computations (88.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.3min
ival-mult: 43.6s (31.7% of total)
ival-div: 17.8s (12.9% of total)
ival-add: 15.2s (11.1% of total)
ival-cos: 8.9s (6.4% of total)
adjust: 8.0s (5.8% of total)
ival-sin: 7.8s (5.7% of total)
const: 6.3s (4.6% of total)
ival-sub: 6.2s (4.5% of total)
ival-sqrt: 4.0s (2.9% of total)
ival-log: 3.0s (2.1% of total)
ival-pow: 2.8s (2% of total)
ival-tan: 2.2s (1.6% of total)
ival-neg: 2.2s (1.6% of total)
ival-pow2: 1.7s (1.3% of total)
ival-exp: 1.7s (1.2% of total)
ival-asin: 767.0ms (0.6% of total)
exact: 680.0ms (0.5% of total)
ival-atan2: 615.0ms (0.4% of total)
ival-log1p: 583.0ms (0.4% of total)
ival-acos: 549.0ms (0.4% of total)
ival-true: 404.0ms (0.3% of total)
ival-fabs: 334.0ms (0.2% of total)
ival-hypot: 282.0ms (0.2% of total)
ival-cbrt: 261.0ms (0.2% of total)
ival-pi: 258.0ms (0.2% of total)
ival-atan: 243.0ms (0.2% of total)
ival-fmod: 225.0ms (0.2% of total)
ival-expm1: 208.0ms (0.2% of total)
ival-assert: 199.0ms (0.1% of total)
ival-floor: 165.0ms (0.1% of total)
ival-if: 152.0ms (0.1% of total)
ival-fmax: 111.0ms (0.1% of total)
ival-cosh: 97.0ms (0.1% of total)
ival-log2: 88.0ms (0.1% of total)
ival-sinh: 77.0ms (0.1% of total)
ival-copysign: 69.0ms (0.1% of total)
ival-e: 43.0ms (0% of total)
ival->=: 40.0ms (0% of total)
ival->: 28.0ms (0% of total)
ival-tanh: 26.0ms (0% of total)
ival-<: 6.0ms (0% of total)

regimes4.4min (4%)

Memory
-359.4MiB live, 375 694.9MiB allocated
Counts
133 736 → 9 673
Calls

1 214 calls:

18.8s
x
16.0s
y
10.1s
z
8.1s
a
7.4s
b
Compiler

Compiled 199 896 to 131 966 computations (34% saved)

preprocess3.0min (2.7%)

Memory
335.6MiB live, 199 796.3MiB 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 112×unsub-neg
Stop Event
1 080×iter limit
744×saturated
344×node limit
Compiler

Compiled 405 738 to 124 716 computations (69.3% saved)

explain2.0min (1.8%)

Memory
-1 926.8MiB live, 163 168.5MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation894466
sqrt.f64#foflow-rescue52940
log.f64#fsensitivity34923
cos.f64#fsensitivity32377
+.f64#fcancellation2983133
sin.f64#fsensitivity19355
/.f64#fo/n19180
/.f64#fo/o17310
-.f64#fnan-rescue12110
log.f32#fsensitivity109482
*.f64#fn*o10900
/.f64#fu/u10620
sqrt.f64#fuflow-rescue9760
/.f64#fn/o9470
+.f64#fnan-rescue7670
/.f64#fu/n6510
sqrt.f32#foflow-rescue5610
acos.f64#fsensitivity5271
*.f64#fn*u4760
tan.f64#fsensitivity4041
pow.f64#fsensitivity40347
-.f32#fcancellation38734
/.f64#fn/u3170
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2170
exp.f64#fsensitivity21241
cos.f64#foflow-rescue2010
*.f64#fu*o1990
cos.f32#fsensitivity17511
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation16924
/.f32#fo/n1620
pow.f64#foflow-rescue1610
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)))))))sensitivity1311
*.f64#fo*u1200
log.f64#foflow-rescue1060
cbrt.f64#foflow-rescue890
log.f64#fuflow-rescue860
pow.f64#fuflow-rescue630
exp.f32#fsensitivity4617
sin.f64#foflow-rescue370
tan.f64#foflow-rescue360
cbrt.f64#fuflow-rescue300
/.f32#fu/n280
/.f32#fo/o240
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-rescue140
↳(*.f32 sinTheta_O sinTheta_O)underflow300
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow14
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow150
↳(*.f32 eta eta)underflow14
/.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))overflow9
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow9
*.f32#fn*u20
+.f32(+.f32 (*.f32 (*.f32 (sin.f32 (*.f32 (-.f32 #s(literal 1 binary32) u) normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n0_i) (*.f32 (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) n1_i))cancellation10
Confusion
Predicted +Predicted -
+302741190
-5851101437
Precision
0.8380346020761246
Recall
0.9621789982201882
Confusion?
Predicted +Predicted MaybePredicted -
+30274252938
-5851438100999
Precision?
0.8291728914844493
Recall?
0.970188151538266
Freqs
test
numberfreq
0102627
130296
24770
3607
4288
599
633
723
85
94
Total Confusion?
Predicted +Predicted MaybePredicted -
+34011
-100190
Precision?
0.9715099715099715
Recall?
0.9970760233918129
Samples
25.8s234 858×0valid
11.5s30 046×1valid
7.7s11 044×2valid
1.1s1 304×3valid
81.0ms88×5exit
69.0ms60×4valid
14.0ms104×1exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 31.0s
ival-mult: 6.8s (21.9% of total)
ival-div: 3.0s (9.8% of total)
ival-add: 3.0s (9.6% of total)
ival-sin: 2.5s (8.1% of total)
ival-sub: 2.4s (7.8% of total)
adjust: 2.1s (6.7% of total)
ival-cos: 1.9s (6.2% of total)
ival-log: 1.8s (5.8% of total)
ival-tan: 1.5s (4.8% of total)
ival-sqrt: 997.0ms (3.2% of total)
ival-exp: 937.0ms (3% of total)
ival-pow2: 879.0ms (2.8% of total)
const: 719.0ms (2.3% of total)
ival-pow: 483.0ms (1.6% of total)
ival-neg: 266.0ms (0.9% of total)
ival-true: 237.0ms (0.8% of total)
ival-hypot: 218.0ms (0.7% of total)
exact: 192.0ms (0.6% of total)
ival-atan2: 136.0ms (0.4% of total)
ival-pi: 116.0ms (0.4% of total)
ival-assert: 110.0ms (0.4% of total)
ival-asin: 95.0ms (0.3% of total)
ival-log1p: 79.0ms (0.3% of total)
ival-acos: 78.0ms (0.3% of total)
ival-atan: 70.0ms (0.2% of total)
ival-fabs: 66.0ms (0.2% of total)
ival-floor: 52.0ms (0.2% of total)
ival-sinh: 44.0ms (0.1% of total)
ival-cbrt: 33.0ms (0.1% of total)
ival-cosh: 32.0ms (0.1% of total)
ival-expm1: 29.0ms (0.1% of total)
ival-fmod: 25.0ms (0.1% of total)
ival-if: 21.0ms (0.1% of total)
ival-fmax: 17.0ms (0.1% of total)
ival-copysign: 12.0ms (0% of total)
ival-log2: 12.0ms (0% of total)
ival->=: 8.0ms (0% of total)
ival-tanh: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

series1.7min (1.5%)

Memory
1 421.0MiB live, 123 705.3MiB allocated
Counts
23 703 → 561 276
Calls

104583 calls:

TimeVariablePointExpression
8.2s
x
@-inf
(* (sqrt (sqrt (sqrt x))) (sqrt (sqrt (sqrt x))))
3.2s
x
@0
(/ (- (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)))) (+ 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) -2) (pow (/ (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)) 2)) (+ (/ 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))))
1.5s
b
@0
(/ (- (neg b) (sqrt (- (* b b) (* 4 (* a c))))) (* 2 a))
556.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)))
539.0ms
x
@0
(- (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)))) (+ 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) -2) (pow (/ (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)) 2))

bsearch1.5min (1.3%)

Memory
-383.3MiB live, 114 015.1MiB allocated
Algorithm
2 684×binary-search
2 249×left-value
Stop Event
2 611×narrow-enough
68×predicate-same
5×predicate-failed
Samples
41.7s295 708×0valid
13.4s27 925×1valid
3.2s4 710×2valid
2.5s19 907×0invalid
443.0ms403×3valid
94.0ms311×1exit
47.0ms220×1invalid
23.0ms348×0exit
6.0ms22×4valid
4.0ms13×2invalid
Compiler

Compiled 684 522 to 485 505 computations (29.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 46.7s
ival-mult: 14.3s (30.7% of total)
ival-sub: 5.6s (12% of total)
ival-div: 4.4s (9.5% of total)
ival-sin: 3.9s (8.4% of total)
ival-cos: 3.7s (8% of total)
ival-add: 3.6s (7.7% of total)
ival-pow: 1.8s (3.8% of total)
adjust: 1.7s (3.7% of total)
ival-pow2: 1.3s (2.7% of total)
ival-log: 1.2s (2.5% of total)
ival-sqrt: 853.0ms (1.8% of total)
const: 852.0ms (1.8% of total)
ival-exp: 694.0ms (1.5% of total)
ival-tan: 459.0ms (1% of total)
ival-neg: 407.0ms (0.9% of total)
ival-hypot: 351.0ms (0.8% of total)
ival-true: 254.0ms (0.5% of total)
ival-atan2: 250.0ms (0.5% of total)
ival-acos: 206.0ms (0.4% of total)
exact: 185.0ms (0.4% of total)
ival-assert: 149.0ms (0.3% of total)
ival-atan: 93.0ms (0.2% of total)
ival-tanh: 90.0ms (0.2% of total)
ival-pi: 56.0ms (0.1% of total)
ival-asin: 56.0ms (0.1% of total)
ival-fmod: 44.0ms (0.1% of total)
ival-cbrt: 41.0ms (0.1% of total)
ival-cosh: 40.0ms (0.1% of total)
ival-fabs: 19.0ms (0% of total)
ival-if: 15.0ms (0% of total)
ival->=: 12.0ms (0% of total)
ival-sinh: 8.0ms (0% of total)
ival-expm1: 8.0ms (0% of total)
ival-log1p: 6.0ms (0% of total)

analyze1.3min (1.2%)

Memory
201.5MiB live, 106 237.6MiB 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)

end1.2min (1.1%)

Memory
12.7MiB live, 33 571.1MiB allocated

Profiling

Loading profile data...