Herbie run

Date:Sunday, January 19th, 2025
Commit:7183cd93 on autofix-12-1
Seed:2025019
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
Memory:4 533 009.0 MB

Time bar (total: 1.2hr)

sample25.9min (37.1%)

Memory
17 530.6MiB live, 1 641 830.1MiB allocated; 8.6min collecting garbage
Samples
11.3min3 943 191×0valid
3.9min52 169×5exit
2.6min439 725×1valid
1.3min138 818×2valid
53.6s318 842×0invalid
13.8s14 882×3valid
8.6s28 020×1invalid
8.5s49 992×0exit
1.2s2 457×2invalid
184.0ms37×4valid
25.0ms48×1exit
2.0ms2×2exit
Precisions
Click to see histograms. Total time spent on operations: 14.2min
ival-mult: 2.4min (16.8% of total)
ival-pow: 1.5min (10.7% of total)
const: 1.2min (8.3% of total)
ival-div: 1.1min (7.5% of total)
ival-add: 1.1min (7.4% of total)
ival-sub: 1.0min (7.2% of total)
adjust: 58.5s (6.8% of total)
ival-exp: 39.1s (4.6% of total)
ival-log: 36.1s (4.2% of total)
ival-cos: 27.3s (3.2% of total)
ival-sin: 26.5s (3.1% of total)
ival-pow2: 26.1s (3.1% of total)
ival-sqrt: 21.6s (2.5% of total)
ival-fmax: 18.9s (2.2% of total)
ival-tan: 17.6s (2.1% of total)
ival-<=: 11.3s (1.3% of total)
ival-neg: 9.8s (1.1% of total)
ival-fmin: 7.1s (0.8% of total)
ival-sinu: 6.2s (0.7% of total)
ival-cosu: 5.1s (0.6% of total)
ival-fabs: 4.9s (0.6% of total)
ival-hypot: 3.9s (0.5% of total)
exact: 3.8s (0.4% of total)
ival-<: 3.6s (0.4% of total)
ival-true: 2.8s (0.3% of total)
ival-and: 2.7s (0.3% of total)
ival-log1p: 2.7s (0.3% of total)
ival-e: 2.5s (0.3% of total)
ival-expm1: 2.3s (0.3% of total)
ival-acos: 2.2s (0.3% of total)
ival-assert: 1.9s (0.2% of total)
ival-asin: 1.8s (0.2% of total)
ival-pi: 1.8s (0.2% of total)
ival-atan2: 1.6s (0.2% of total)
ival-sinh: 1.5s (0.2% of total)
ival-fmod: 1.2s (0.1% of total)
ival-atan: 1.1s (0.1% of total)
ival->: 1.1s (0.1% of total)
ival-floor: 813.0ms (0.1% of total)
ival-cbrt: 563.0ms (0.1% of total)
ival-==: 556.0ms (0.1% of total)
ival->=: 403.0ms (0% of total)
ival-if: 397.0ms (0% of total)
ival-cosh: 394.0ms (0% of total)
ival-asinh: 275.0ms (0% of total)
ival-acosh: 268.0ms (0% of total)
ival-log2: 211.0ms (0% of total)
ival-atanh: 205.0ms (0% of total)
ival-tanu: 164.0ms (0% of total)
ival-tanh: 112.0ms (0% of total)
ival-or: 40.0ms (0% of total)
Bogosity

simplify12.4min (17.8%)

Memory
6 344.1MiB live, 752 146.9MiB allocated; 2.9min collecting garbage
Stop Event
5 947×iter limit
4 059×node limit
420×saturated
16×unsound
Counts
216 890 → 216 890

localize6.4min (9.1%)

Memory
-503.6MiB live, 420 484.4MiB allocated; 1.6min collecting garbage
Samples
2.1min397 147×0valid
1.2min63 388×1valid
43.4s23 957×2valid
15.5s2 203×5exit
5.9s10 211×0invalid
4.4s2 246×3valid
1.4s2 894×0exit
455.0ms191×1invalid
272.0ms53×4valid
117.0ms11×4exit
68.0ms61×1exit
39.0ms29×2invalid
Compiler

Compiled 1 870 309 to 63 234 computations (96.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4min
ival-mult: 48.8s (23.8% of total)
ival-div: 26.5s (13% of total)
adjust: 23.2s (11.3% of total)
ival-add: 20.3s (9.9% of total)
ival-sin: 14.4s (7% of total)
ival-cos: 10.9s (5.3% of total)
ival-sub: 10.4s (5.1% of total)
const: 9.2s (4.5% of total)
ival-pow: 7.6s (3.7% of total)
ival-pow2: 4.7s (2.3% of total)
ival-log: 4.7s (2.3% of total)
ival-sqrt: 4.2s (2.1% of total)
ival-tan: 3.1s (1.5% of total)
ival-exp: 3.0s (1.5% of total)
ival-neg: 2.6s (1.3% of total)
ival-fmax: 1.4s (0.7% of total)
ival-sinu: 1.4s (0.7% of total)
ival-hypot: 795.0ms (0.4% of total)
ival-cosu: 784.0ms (0.4% of total)
exact: 732.0ms (0.4% of total)
ival-log1p: 625.0ms (0.3% of total)
ival-asin: 523.0ms (0.3% of total)
ival-fmin: 488.0ms (0.2% of total)
ival-atan2: 472.0ms (0.2% of total)
ival-acos: 457.0ms (0.2% of total)
ival-true: 386.0ms (0.2% of total)
ival-pi: 350.0ms (0.2% of total)
ival-fabs: 295.0ms (0.1% of total)
ival-sinh: 290.0ms (0.1% of total)
ival-cbrt: 283.0ms (0.1% of total)
ival-expm1: 279.0ms (0.1% of total)
ival-fmod: 241.0ms (0.1% of total)
ival-cosh: 205.0ms (0.1% of total)
ival-assert: 204.0ms (0.1% of total)
ival-atan: 201.0ms (0.1% of total)
ival-if: 149.0ms (0.1% of total)
ival-floor: 109.0ms (0.1% of total)
ival-tanu: 76.0ms (0% of total)
ival-asinh: 70.0ms (0% of total)
ival-log2: 59.0ms (0% of total)
ival-e: 43.0ms (0% of total)
ival->: 43.0ms (0% of total)
ival-tanh: 42.0ms (0% of total)
ival-copysign: 26.0ms (0% of total)
ival-acosh: 22.0ms (0% of total)
ival->=: 16.0ms (0% of total)
ival-<: 5.0ms (0% of total)
ival-then: 1.0ms (0% of total)
ival-nan: 0.0ms (0% of total)

rewrite4.1min (5.8%)

Memory
1 255.0MiB live, 251 258.5MiB allocated; 56.4s collecting garbage
Stop Event
5 802×iter limit
1 562×node limit
380×unsound
38×saturated
Counts
28 139 → 443 686

derivations3.5min (5%)

Memory
-1 514.9MiB live, 154 289.1MiB allocated; 40.2s collecting garbage
Stop Event
366×fuel
182×done
Compiler

Compiled 339 154 to 44 324 computations (86.9% saved)

regimes3.2min (4.5%)

Memory
1 032.0MiB live, 246 221.2MiB allocated; 49.1s collecting garbage
Counts
97 744 → 9 376
Calls

1 239 calls:

16.3s
x
10.2s
y
8.6s
z
5.3s
t
5.2s
a
Compiler

Compiled 127 824 to 128 481 computations (-0.5% saved)

eval2.8min (4%)

Memory
497.0MiB live, 221 833.2MiB allocated; 56.6s collecting garbage
Compiler

Compiled 86 335 302 to 3 086 848 computations (96.4% saved)

explain2.5min (3.6%)

Memory
-2 022.4MiB live, 183 430.8MiB allocated; 39.5s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation909152
sqrt.f64#foflow-rescue82730
cos.f64#fsensitivity37813
log.f64#fsensitivity36277
+.f64#fcancellation3004141
sin.f64#fsensitivity25054
/.f64#fo/n19900
/.f64#fo/o18810
-.f64#fnan-rescue14260
log.f32#fsensitivity115657
*.f64#fn*o10840
/.f64#fn/o10020
/.f64#fu/u9680
sqrt.f64#fuflow-rescue9390
+.f64#fnan-rescue8580
/.f64#fu/n6680
acos.f64#fsensitivity5234
sqrt.f32#foflow-rescue5220
*.f64#fn*u4690
pow.f64#fsensitivity42736
tan.f64#fsensitivity4180
-.f32#fcancellation38231
/.f64#fn/u3330
cos.f64#foflow-rescue2310
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2130
cos.f32(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))sensitivity1908
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18614
exp.f64#fsensitivity18226
pow.f64#foflow-rescue1560
*.f64#fo*u1520
*.f64#fu*o1500
asin.f64#fsensitivity1192
/.f32#fo/n1120
cbrt.f64#foflow-rescue940
log.f64#foflow-rescue920
pow.f64#fuflow-rescue760
log.f64#fuflow-rescue710
cbrt.f64#fuflow-rescue380
exp.f32#fsensitivity3632
sin.f64#foflow-rescue330
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue290
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow29
↳(*.f64 y #s(literal 2 binary64))overflow1
/.f32#fu/n230
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-rescue190
↳(*.f32 sinTheta_O sinTheta_O)underflow314
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow19
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow157
↳(*.f32 eta eta)underflow19
/.f32#fo/o80
log.f32#foflow-rescue60
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o40
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow10
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow10
*.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
tan.f64(tan.f64 (*.f64 (PI.f64) l))cancellation10
Confusion
Predicted +Predicted -
+31604914
-6327101699
Precision
0.8331971210882919
Recall
0.9718924903130574
Confusion?
Predicted +Predicted MaybePredicted -
+31604276638
-6327389101310
Precision?
0.825992330811483
Recall?
0.9803800971769482
Freqs
test
numberfreq
0102613
131543
24971
3625
4330
5225
652
750
86
92
1626
1761
2140
Total Confusion?
Predicted +Predicted MaybePredicted -
+34621
-113186
Precision?
0.9613259668508287
Recall?
0.997134670487106
Samples
33.2s236 384×0valid
12.8s32 186×1valid
7.9s11 192×2valid
1.4s1 186×3valid
1.2s128×5exit
79.0ms12×4valid
Compiler

Compiled 258 295 to 22 513 computations (91.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 39.2s
ival-mult: 9.9s (25.2% of total)
adjust: 3.5s (8.8% of total)
ival-div: 3.4s (8.6% of total)
ival-sub: 3.2s (8.1% of total)
ival-add: 3.1s (8% of total)
ival-sin: 2.4s (6.2% of total)
ival-cos: 2.1s (5.3% of total)
ival-log: 1.9s (4.8% of total)
const: 1.2s (3.2% of total)
ival-sqrt: 1.1s (2.7% of total)
ival-tan: 1.0s (2.6% of total)
ival-exp: 997.0ms (2.5% of total)
ival-pow2: 833.0ms (2.1% of total)
ival-fmax: 702.0ms (1.8% of total)
ival-pow: 647.0ms (1.7% of total)
ival-hypot: 393.0ms (1% of total)
ival-sinu: 358.0ms (0.9% of total)
ival-cosu: 349.0ms (0.9% of total)
ival-neg: 322.0ms (0.8% of total)
ival-fmin: 278.0ms (0.7% of total)
ival-true: 232.0ms (0.6% of total)
exact: 180.0ms (0.5% of total)
ival-assert: 114.0ms (0.3% of total)
ival-acos: 108.0ms (0.3% of total)
ival-asin: 101.0ms (0.3% of total)
ival-atan: 99.0ms (0.3% of total)
ival-pi: 94.0ms (0.2% of total)
ival-atan2: 87.0ms (0.2% of total)
ival-log1p: 82.0ms (0.2% of total)
ival-fabs: 80.0ms (0.2% of total)
ival-sinh: 72.0ms (0.2% of total)
ival-e: 52.0ms (0.1% of total)
ival-cbrt: 52.0ms (0.1% of total)
ival-floor: 40.0ms (0.1% of total)
ival-fmod: 39.0ms (0.1% of total)
ival-if: 32.0ms (0.1% of total)
ival-expm1: 31.0ms (0.1% of total)
ival-cosh: 15.0ms (0% of total)
ival-copysign: 13.0ms (0% of total)
ival-log2: 12.0ms (0% of total)
ival-tanu: 11.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival-tanh: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

preprocess2.4min (3.4%)

Memory
6 478.0MiB live, 150 659.7MiB allocated; 34.4s collecting garbage
Stop Event
1 096×iter limit
804×node limit
296×saturated
Compiler

Compiled 799 787 to 149 225 computations (81.3% saved)

series2.3min (3.3%)

Memory
1 654.1MiB live, 170 907.3MiB allocated; 39.0s collecting garbage
Counts
28 139 → 216 890
Calls

16416 calls:

TimeVariablePointExpression
1.1s
c_n
@-inf
((/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (- 1 (/ 1 (+ (exp (neg s)) 1))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (/ 1 (+ (exp (neg s)) 1)) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (* -1 c_p) (/ (* (pow (- (exp (neg s)) -1) (* -1 c_p)) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (- (exp (neg s)) -1) (* -1 c_p)) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (- (exp (neg s)) -1) (* -1 c_p)) (/ (* (pow (pow (- (exp (neg s)) -1) -2) (/ c_p 2)) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (* (pow (pow (- (exp (neg s)) -1) -2) (/ c_p 2)) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (pow (- (exp (neg s)) -1) -2) (/ c_p 2)) (pow (- (exp (neg s)) -1) -2) (- 1 (/ 1 (+ (exp (neg t)) 1))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg s))))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p))
924.0ms
lambda1
@0
((* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (sqrt (+ (* (* (cos (* -1/2 phi2)) (- lambda1 lambda2)) (* (cos (* -1/2 phi2)) (- lambda1 lambda2))) (* phi2 phi2))) (* (cos (* -1/2 phi2)) (- lambda1 lambda2)) (+ (* -1 phi1) phi2) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (neg phi1) (+ (* (neg R) (/ phi2 phi1)) R)) (* (+ (* -1 phi1) phi2) R) (/ (* phi1 R) phi1) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (neg phi1) (+ (* (neg R) (/ phi2 phi1)) R)) (neg phi1) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (* R lambda1) (cos (* 1/2 (+ phi2 phi1)))) (* R lambda1) (cos (* 1/2 (+ phi2 phi1))) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (sqrt (+ (* (* (cos (* -1/2 phi2)) (- lambda1 lambda2)) (* (cos (* -1/2 phi2)) (- lambda1 lambda2))) (* phi2 phi2))) (* (cos (* -1/2 phi2)) (- lambda1 lambda2)) (+ (* phi2 (/ (neg R) phi1)) (/ (* phi1 R) phi1)) (* 1/2 (+ phi2 phi1)) (* (cos (* 1/2 phi2)) lambda1))
526.0ms
x
@inf
((+ (* (tan x) (neg (tan x))) 1) (* (tan x) (tan x)) (/ (+ (* (tan x) (neg (tan x))) 1) (+ 1 (* (tan x) (tan x)))) (tan x) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x)))) (/ (- 1 (pow (tan x) 2)) (+ 1 (* (tan x) (tan x)))) (- 1 (pow (tan x) 2)) (pow (tan x) 2) (/ (- 1 (pow (tan x) 4)) (* (+ (* (tan x) (tan x)) 1) (+ (* (tan x) (tan x)) 1))) (- 1 (pow (tan x) 4)) (pow (tan x) 4) (/ (- 1 (* (tan x) (tan x))) (+ 1 (* (tan x) (tan x)))) (/ (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (+ (* (/ (sin x) (pow (cos x) 2)) (sin x)) 1)) (- 1 (/ (pow (sin x) 2) (pow (cos x) 2))) (/ (pow (sin x) 2) (pow (cos x) 2)) (+ 1 (* (tan x) (tan x))) (* (+ (* (tan x) (tan x)) 1) (+ (* (tan x) (tan x)) 1)) (+ (* (tan x) (tan x)) 1) (pow (sin x) 2) (pow (cos x) 2) (/ (sin x) (pow (cos x) 2)))
498.0ms
x
@inf
((- (/ y z) (- (/ x z) x)) (/ y z) (- (/ x z) x) (/ x z) (+ x (/ (- y x) z)) (+ x (/ (- y x) z)) (- x (/ x z)) (+ x (/ (- y x) z)) (/ (- y x) z) (- y x) (/ (* (+ y x) (- y x)) (* (+ y x) z)) (+ x (/ (* (+ y x) (- y x)) (* (+ y x) z))) (* (+ y x) (- y x)) (+ y x) (* (+ y x) z))
496.0ms
z
@inf
((- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (/ (log (+ (- 1 y) (* y (exp z)))) t) (log (+ (- 1 y) (* y (exp z)))) (log (+ 1 (/ (* (- (exp (+ z z)) 1) y) (- (exp z) -1)))) (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (/ (log (+ (- 1 y) (* y (exp z)))) t) (* (/ (- (exp z) 1) t) y) (/ (- (exp z) 1) t) (* (- y (* y y)) 1/2) (- x (/ (log (+ 1 (* (- (exp z) 1) y))) t)) (/ (log (+ 1 (* (- (exp z) 1) y))) t) (log (+ 1 (* (- (exp z) 1) y))) (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (/ (log (+ (- 1 y) (* y (exp z)))) t) (* (- (exp z) 1) (/ y t)) (- (exp z) 1) (/ (- (* (exp z) t) (* t 1)) (* t t)) (- (* (exp z) t) (* t 1)) (* t 1) (- x (/ (log (+ (- 1 y) (* y (exp z)))) t)) (/ (* (- (exp (+ z z)) 1) y) (- (exp z) -1)) (* (- (exp (+ z z)) 1) y) (- (exp z) 1) (+ (* (* (- y (* y y)) 1/2) z) y) (* (+ (* (* (- y (* y y)) 1/2) z) y) z) (/ (log (+ (- 1 y) (* y (exp z)))) t) (* (/ (- (* (exp z) t) (* t 1)) (* t t)) y))

analyze1.9min (2.8%)

Memory
293.4MiB live, 132 962.5MiB allocated; 45.4s collecting garbage
Algorithm
554×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.7%15.3%0%0%0%0
40.6%34.4%50.3%15.3%0%0%0%1
46.5%39%44.9%15.3%0%0.8%0%2
55%45%36.9%15.3%0%2.8%0%3
61.7%50%31%15.3%0%3.7%0%4
67.9%54.6%25.9%15.3%0%4.2%0%5
71.7%57.5%22.6%15.3%0%4.6%0%6
75.7%60.2%19.3%15.3%0%5.2%0%7
77.6%61.4%17.7%15.3%0%5.6%0%8
80.2%63.2%15.6%15.3%0%5.9%0%9
81.7%64.2%14.3%15.3%0%6.2%0%10
83.9%65.8%12.6%15.3%0%6.3%0%11
85%66.5%11.7%15.3%0%6.5%0%12
Compiler

Compiled 60 013 to 16 997 computations (71.7% saved)

prune1.4min (1.9%)

Memory
-277.9MiB live, 124 523.6MiB allocated; 19.3s collecting garbage
Counts
717 762 → 34 340
Compiler

Compiled 3 475 434 to 1 501 812 computations (56.8% saved)

bsearch1.2min (1.7%)

Memory
736.7MiB live, 82 270.5MiB allocated; 19.7s collecting garbage
Algorithm
2 963×binary-search
1 908×left-value
Stop Event
2 850×narrow-enough
106×predicate-same
7×predicate-failed
Samples
33.6s212 964×0valid
9.0s18 428×1valid
1.3s2 405×2valid
1.1s9 462×0invalid
575.0ms443×3valid
339.0ms36×1invalid
6.0ms79×0exit
Compiler

Compiled 1 818 836 to 1 196 153 computations (34.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 33.4s
ival-mult: 11.7s (35% of total)
ival-sub: 4.0s (12.1% of total)
ival-sin: 2.6s (7.7% of total)
ival-add: 2.4s (7.3% of total)
ival-cos: 2.2s (6.7% of total)
ival-div: 2.1s (6.4% of total)
adjust: 1.5s (4.6% of total)
ival-log: 1.0s (3.1% of total)
const: 768.0ms (2.3% of total)
ival-pow2: 714.0ms (2.1% of total)
ival-pow: 683.0ms (2% of total)
ival-exp: 506.0ms (1.5% of total)
ival-sqrt: 503.0ms (1.5% of total)
ival-tan: 468.0ms (1.4% of total)
ival-cosu: 319.0ms (1% of total)
ival-hypot: 312.0ms (0.9% of total)
ival-sinu: 284.0ms (0.9% of total)
ival-neg: 246.0ms (0.7% of total)
ival-atan2: 192.0ms (0.6% of total)
ival-true: 171.0ms (0.5% of total)
ival-acos: 152.0ms (0.5% of total)
exact: 115.0ms (0.3% of total)
ival-assert: 93.0ms (0.3% of total)
ival-fabs: 46.0ms (0.1% of total)
ival-atan: 35.0ms (0.1% of total)
ival-e: 25.0ms (0.1% of total)
ival-fmod: 16.0ms (0% of total)
ival-fmax: 12.0ms (0% of total)
ival-pi: 12.0ms (0% of total)
ival-tanu: 10.0ms (0% of total)
ival-log1p: 10.0ms (0% of total)
ival-sinh: 10.0ms (0% of total)
ival-cbrt: 8.0ms (0% of total)
ival-cosh: 7.0ms (0% of total)
ival-asin: 6.0ms (0% of total)
ival-tanh: 5.0ms (0% of total)
ival-if: 5.0ms (0% of total)
ival->=: 4.0ms (0% of total)
ival-expm1: 4.0ms (0% of total)

start450.0ms (0%)

Memory
-17.7MiB live, 181.4MiB allocated; 723ms collecting garbage

end4.0ms (0%)

Memory
10.2MiB live, 9.7MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...