Herbie run

Date:Friday, January 17th, 2025
Commit:0ed7f8bc on no-localize
Seed:2025017
Parameters:256 points for 4 iterations
Flags:
reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs
default
Memory:3 801 520.2 MB

Time bar (total: 54.5min)

sample20.2min (37%)

Memory
12 222.2MiB live, 1 374 728.4MiB allocated; 7.3min collecting garbage
Samples
8.1min3 906 269×0valid
2.7min439 425×1valid
1.8min45 224×5exit
1.2min139 231×2valid
51.9s323 519×0invalid
14.3s14 582×3valid
10.9s50 811×0exit
9.4s28 372×1invalid
1.3s2 457×2invalid
264.0ms45×4valid
57.0ms34×1exit
Precisions
Click to see histograms. Total time spent on operations: 11.8min
ival-mult: 2.3min (19.2% of total)
ival-pow: 1.5min (13% of total)
ival-div: 1.0min (8.7% of total)
ival-add: 53.2s (7.5% of total)
adjust: 48.2s (6.8% of total)
ival-sub: 47.8s (6.8% of total)
const: 35.8s (5.1% of total)
ival-cos: 26.6s (3.8% of total)
ival-log: 26.0s (3.7% of total)
ival-exp: 24.0s (3.4% of total)
ival-sin: 24.0s (3.4% of total)
ival-sqrt: 17.4s (2.5% of total)
ival-tan: 17.0s (2.4% of total)
ival-<=: 12.2s (1.7% of total)
ival-pow2: 11.7s (1.7% of total)
ival-sinu: 7.0s (1% of total)
ival-cosu: 6.1s (0.9% of total)
ival-neg: 5.4s (0.8% of total)
ival-e: 4.8s (0.7% of total)
ival-fabs: 4.7s (0.7% of total)
ival-hypot: 4.1s (0.6% of total)
exact: 3.6s (0.5% of total)
ival-<: 3.2s (0.5% of total)
ival-true: 2.9s (0.4% of total)
ival-log1p: 2.9s (0.4% of total)
ival-and: 2.8s (0.4% of total)
ival-assert: 2.5s (0.4% of total)
ival-pi: 2.2s (0.3% of total)
ival-expm1: 2.0s (0.3% of total)
ival-sinh: 2.0s (0.3% of total)
ival-asin: 2.0s (0.3% of total)
ival-log2: 1.9s (0.3% of total)
ival-atan2: 1.9s (0.3% of total)
ival-acos: 1.8s (0.3% of total)
ival->: 1.2s (0.2% of total)
ival-if: 1.1s (0.2% of total)
ival-atan: 1.0s (0.1% of total)
ival-floor: 971.0ms (0.1% of total)
ival-fmod: 965.0ms (0.1% of total)
ival-fmin: 952.0ms (0.1% of total)
ival-cbrt: 656.0ms (0.1% of total)
ival-==: 516.0ms (0.1% of total)
ival-asinh: 487.0ms (0.1% of total)
ival-tanu: 428.0ms (0.1% of total)
ival->=: 311.0ms (0% of total)
ival-fmax: 289.0ms (0% of total)
ival-acosh: 242.0ms (0% of total)
ival-cosh: 225.0ms (0% of total)
ival-atanh: 173.0ms (0% of total)
ival-tanh: 117.0ms (0% of total)
ival-or: 41.0ms (0% of total)
Bogosity

simplify7.4min (13.6%)

Memory
4 796.3MiB live, 470 960.4MiB allocated; 2.1min collecting garbage
Stop Event
2 356×node limit
2 045×iter limit
160×saturated
17×unsound
Counts
210 918 → 205 477

rewrite4.5min (8.2%)

Memory
-1 426.6MiB live, 289 182.0MiB allocated; 1.3min collecting garbage
Stop Event
5 846×iter limit
1 557×node limit
399×unsound
39×saturated
Counts
51 636 → 623 067

eval3.7min (6.8%)

Memory
1 070.3MiB live, 301 617.6MiB allocated; 1.4min collecting garbage
Compiler

Compiled 103 173 175 to 4 496 549 computations (95.6% saved)

derivations3.4min (6.2%)

Memory
-1 873.8MiB live, 158 861.9MiB allocated; 43.0s collecting garbage
Stop Event
368×fuel
177×done
Compiler

Compiled 325 436 to 44 066 computations (86.5% saved)

regimes3.3min (6%)

Memory
2 511.6MiB live, 269 069.4MiB allocated; 50.5s collecting garbage
Counts
102 467 → 8 816
Calls

1 236 calls:

14.2s
x
10.5s
y
7.9s
a
7.6s
z
5.4s
t
Compiler

Compiled 125 805 to 127 890 computations (-1.7% saved)

series2.5min (4.7%)

Memory
1 263.7MiB live, 207 829.9MiB allocated; 48.4s collecting garbage
Counts
51 636 → 210 918
Calls

16473 calls:

TimeVariablePointExpression
1.3s
t
@-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))) (exp (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p))) (- (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (neg (log (+ 1 (exp (neg t))))) c_p)) (* (neg (log (+ 1 (exp (neg s))))) c_p) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (exp (neg s)) (neg s) s c_p (* (neg (log (+ 1 (exp (neg t))))) c_p) (neg (log (+ 1 (exp (neg t))))) (log (+ 1 (exp (neg t)))) (log 2) 2 (/ (* (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/2 c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (pow 1/2 c_n) 1/2 c_n (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n) (- 1 (/ 1 (+ (exp (neg t)) 1))) (+ (* -1/4 t) 1/2) -1/4 t (/ (* (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)) (+ (* (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) c_p) 1) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (- (+ (* 1/2 s) (log (+ 1 (exp (neg t))))) (log 2)) (+ (* 1/2 s) (log (+ 1 (exp (neg t))))) (log (+ 1 (exp (neg t)))) (exp (neg t)) (neg t) 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)) (+ (* (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) c_p) 1) (+ (+ (* (- (log (+ 1 (exp (neg t)))) (log 2)) c_p) (* (* 1/2 c_p) s)) 1) (+ (* (- (log (+ 1 (exp (neg t)))) (log 2)) c_p) (* (* 1/2 c_p) s)) (- (log (+ 1 (exp (neg t)))) (log 2)) (* (* 1/2 c_p) s) (* 1/2 c_p) (/ (* (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))) (/ 1 (+ (exp (neg s)) 1)) (+ (exp (neg s)) 1) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n) (- 1 (/ 1 (+ (exp (neg t)) 1))))
1.3s
x
@0
((+ (- (- (* x (log y)) y) z) (log t)) (- (- (* x (log y)) y) z) (+ (* (log y) x) (neg (+ z y))) (log y) y x (neg (+ z y)) (+ z y) z (log t) t (+ (- (- (* x (log y)) y) z) (log t)) (neg z) (+ (- (- (* x (log y)) y) z) (log t)) (- (+ (* (log y) x) (log t)) y) (+ (* (log y) x) (log t)) (- (- (+ (* (log y) x) (log t)) z) y) (- (+ (* (log y) x) (log t)) z) (+ (- (- (* x (log y)) y) z) (log t)) (- (- (* x (log y)) y) z) (- (* x (log y)) y) (* (+ (* (/ x y) (log y)) -1) y) (+ (* (/ x y) (log y)) -1) (/ x y) -1)
944.0ms
eh
@inf
((fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (+ (* (neg (sin (atan (* (neg (/ (sin t) ew)) (/ eh (cos t)))))) (sin t)) (* (* (cos (atan (* (neg (/ (sin t) ew)) (/ eh (cos t))))) (/ (cos t) eh)) ew)) eh) (+ (* (neg (sin (atan (* (neg (/ (sin t) ew)) (/ eh (cos t)))))) (sin t)) (* (* (cos (atan (* (neg (/ (sin t) ew)) (/ eh (cos t))))) (/ (cos t) eh)) ew)) (neg (sin (atan (* (neg (/ (sin t) ew)) (/ eh (cos t)))))) (sin (atan (* (neg (/ (sin t) ew)) (/ eh (cos t))))) (atan (* (neg (/ (sin t) ew)) (/ eh (cos t)))) (* (neg (/ (sin t) ew)) (/ eh (cos t))) (neg (/ (sin t) ew)) (/ (sin t) ew) (sin t) t ew (/ eh (cos t)) eh (cos t) (* (* (cos (atan (* (neg (/ (sin t) ew)) (/ eh (cos t))))) (/ (cos t) eh)) ew) (* (cos (atan (* (neg (/ (sin t) ew)) (/ eh (cos t))))) (/ (cos t) eh)) (cos (atan (* (neg (/ (sin t) ew)) (/ eh (cos t))))) (/ (cos t) eh) (pow (sqrt (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) 2) (+ (* (- (+ (* -1/2 ew) (/ (* eh eh) ew)) (* (/ (* eh eh) ew) 1/2)) (* t t)) ew) (- (+ (* -1/2 ew) (/ (* eh eh) ew)) (* (/ (* eh eh) ew) 1/2)) (* -1/2 ew) -1/2 (* t t) (pow (sqrt (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) 2) (+ (* (+ (* (/ eh ew) eh) (+ (* -1/2 ew) (* (/ (* (neg eh) eh) ew) 1/2))) (* t t)) ew) (+ (* (/ eh ew) eh) (+ (* -1/2 ew) (* (/ (* (neg eh) eh) ew) 1/2))) (/ eh ew) (+ (* -1/2 ew) (* (/ (* (neg eh) eh) ew) 1/2)) (* (/ (* (neg eh) eh) ew) 1/2) (/ (* (neg eh) eh) ew) (* (neg eh) eh) (neg eh) 1/2 (pow (sqrt (/ (+ (* (sin t) (* (/ (tan t) ew) (* eh eh))) (* (cos t) ew)) (cosh (asinh (* (/ (tan t) ew) eh))))) 2) (+ (* (- (+ (* -1/2 ew) (/ (exp (* (log eh) 2)) ew)) (* (/ (* eh eh) ew) 1/2)) (* t t)) ew) (- (+ (* -1/2 ew) (/ (exp (* (log eh) 2)) ew)) (* (/ (* eh eh) ew) 1/2)) (+ (* -1/2 ew) (/ (exp (* (log eh) 2)) ew)) (/ (exp (* (log eh) 2)) ew) (exp (* (log eh) 2)) (* (log eh) 2) (log eh) 2 (* (/ (* eh eh) ew) 1/2) (/ (* eh eh) ew) (* eh eh) (fabs (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))))) (- (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew))))) (* (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew)))) (* ew (cos t)) (cos (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (tan t) (* (* eh (sin t)) (sin (atan (/ (* (neg eh) (tan t)) ew)))) (* eh (sin t)) (* eh t) (sin (atan (/ (* (neg eh) (tan t)) ew))) (atan (/ (* (neg eh) (tan t)) ew)) (/ (* (neg eh) (tan t)) ew) (* (neg eh) (tan t)) (* (neg eh) t))
709.0ms
x
@inf
((- (cbrt (+ x 1)) (cbrt x)) (* (cbrt (/ (/ 1 x) x)) 1/3) (cbrt (/ (/ 1 x) x)) (/ (/ 1 x) x) (/ 1 x) 1 x 1/3 (- (cbrt (+ x 1)) (cbrt x)) (cbrt (+ x 1)) (cbrt x) (- (pow (- x -1) 1/3) (cbrt x)) (pow (- x -1) 1/3) (- x -1) -1 (- (cbrt (+ x 1)) (cbrt x)) (/ (+ (* (cbrt (pow x 4)) 1/3) (* -1/9 (cbrt x))) (* x x)) (+ (* (cbrt (pow x 4)) 1/3) (* -1/9 (cbrt x))) (cbrt (pow x 4)) (pow x 4) 4 (* -1/9 (cbrt x)) -1/9 (* x x) (- (cbrt (* (pow (cbrt (- x -1)) 2) (cbrt (- x -1)))) (cbrt x)) (cbrt (* (pow (cbrt (- x -1)) 2) (cbrt (- x -1)))) (* (pow (cbrt (- x -1)) 2) (cbrt (- x -1))) (pow (cbrt (- x -1)) 2) (cbrt (- x -1)) 2)
689.0ms
d
@-inf
((* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (/ (* (pow (* (/ D 2) (/ M d)) 2) (* 1/2 h)) l))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (pow (/ d h) (/ 1 2)) (/ d h) d h (/ 1 2) 1 2 (pow (/ d l) (/ 1 2)) (/ d l) l (- 1 (/ (* (pow (* (/ D 2) (/ M d)) 2) (* 1/2 h)) l)) (/ (* (pow (* (/ D 2) (/ M d)) 2) (* 1/2 h)) l) (* (pow (* (/ D 2) (/ M d)) 2) (* 1/2 h)) (pow (* (/ D 2) (/ M d)) 2) (* (/ D 2) (/ M d)) (/ D 2) D (/ M d) M (* 1/2 h) 1/2 (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (sqrt (/ 1 (* l h))) d) (sqrt (/ 1 (* l h))) (/ 1 (* l h)) (* l h) (* (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (pow (/ d h) (/ 1 2)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l))) (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)) (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (pow (/ (* M D) (* 2 d)) 2) (/ (* M D) (* 2 d)) (* M D) (* 2 d) (/ h l) (* (* (+ (* (* -1/2 (pow (* (/ D 2) (/ M d)) 2)) (/ h l)) 1) (sqrt (/ d h))) (sqrt (/ d l))) (* (+ (* (* -1/2 (pow (* (/ D 2) (/ M d)) 2)) (/ h l)) 1) (sqrt (/ d h))) (+ (* (* -1/2 (pow (* (/ D 2) (/ M d)) 2)) (/ h l)) 1) (* -1/2 (pow (* (/ D 2) (/ M d)) 2)) -1/2 (sqrt (/ d h)) (sqrt (/ d l)) (* (* (/ (sqrt d) (sqrt h)) (pow (/ d l) (/ 1 2))) (- 1 (* (* (/ 1 2) (pow (/ (* M D) (* 2 d)) 2)) (/ h l)))) (* (/ (sqrt d) (sqrt h)) (pow (/ d l) (/ 1 2))) (/ (sqrt d) (sqrt h)) (sqrt d) (sqrt h))

prune2.5min (4.6%)

Memory
-2 784.8MiB live, 212 986.9MiB allocated; 39.3s collecting garbage
Counts
1 022 130 → 35 333
Compiler

Compiled 3 623 051 to 1 564 729 computations (56.8% saved)

preprocess2.4min (4.3%)

Memory
6 847.0MiB live, 155 829.0MiB allocated; 32.3s collecting garbage
Stop Event
1 088×iter limit
796×node limit
296×saturated
Compiler

Compiled 770 758 to 149 074 computations (80.7% saved)

explain2.1min (3.8%)

Memory
-898.9MiB live, 167 542.9MiB allocated; 33.5s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation916348
sqrt.f64#foflow-rescue57350
log.f64#fsensitivity37035
cos.f64#fsensitivity34216
+.f64#fcancellation3099111
sin.f64#fsensitivity20471
/.f64#fo/n19760
/.f64#fo/o18370
-.f64#fnan-rescue14800
*.f64#fn*o12110
log.f32#fsensitivity113172
/.f64#fn/o10050
/.f64#fu/u9570
sqrt.f64#fuflow-rescue8780
+.f64#fnan-rescue8110
/.f64#fu/n6640
sqrt.f32#foflow-rescue5350
acos.f64#fsensitivity5253
*.f64#fn*u4830
tan.f64#fsensitivity4281
-.f32#fcancellation42618
pow.f64#fsensitivity40145
/.f64#fn/u3160
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2230
cos.f64#foflow-rescue2100
cos.f32#fsensitivity19915
exp.f64#fsensitivity18924
*.f64#fu*o1850
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18316
pow.f64#foflow-rescue1660
*.f64#fo*u1450
/.f32#fo/n1360
asin.f64#fsensitivity1280
log.f64#foflow-rescue970
cbrt.f64#foflow-rescue740
log.f64#fuflow-rescue710
pow.f64#fuflow-rescue630
cbrt.f64#fuflow-rescue430
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
↳(*.f64 y #s(literal 2 binary64))overflow1
sin.f64(sin.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
↳(*.f64 y #s(literal 2 binary64))overflow1
exp.f32#fsensitivity2519
/.f32#fu/n210
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-rescue150
↳(*.f32 sinTheta_O sinTheta_O)underflow278
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow15
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow139
↳(*.f32 eta eta)underflow15
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o110
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow15
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow15
/.f32#fo/o100
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u30
log.f32#foflow-rescue20
*.f32(*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta))n*o10
+.f32(+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta))cancellation10
Confusion
Predicted +Predicted -
+31564877
-6070101009
Precision
0.8387096774193549
Recall
0.9729663080669523
Confusion?
Predicted +Predicted MaybePredicted -
+31564231646
-6070383100626
Precision?
0.8312852959631876
Recall?
0.9800869270367745
Freqs
test
numberfreq
0101886
131597
24891
3588
4311
5144
671
720
87
95
Total Confusion?
Predicted +Predicted MaybePredicted -
+34831
-114178
Precision?
0.9590163934426229
Recall?
0.9971590909090909
Samples
26.4s234 000×0valid
11.7s32 618×1valid
6.8s11 192×2valid
1.1s1 110×3valid
538.0ms114×5exit
4.0ms6×4valid
Compiler

Compiled 94 460 to 19 818 computations (79% saved)

Precisions
Click to see histograms. Total time spent on operations: 31.4s
ival-mult: 7.2s (22.9% of total)
adjust: 3.1s (10% of total)
ival-div: 2.8s (9.1% of total)
ival-add: 2.8s (9% of total)
ival-sub: 2.3s (7.4% of total)
ival-cos: 2.1s (6.7% of total)
ival-sin: 2.0s (6.3% of total)
ival-log: 1.6s (5% of total)
ival-exp: 1.0s (3.3% of total)
ival-sqrt: 837.0ms (2.7% of total)
ival-tan: 819.0ms (2.6% of total)
ival-pow2: 676.0ms (2.2% of total)
const: 610.0ms (1.9% of total)
ival-pow: 576.0ms (1.8% of total)
ival-sinu: 365.0ms (1.2% of total)
ival-cosu: 355.0ms (1.1% of total)
ival-neg: 248.0ms (0.8% of total)
ival-true: 238.0ms (0.8% of total)
ival-hypot: 225.0ms (0.7% of total)
exact: 172.0ms (0.5% of total)
ival-asin: 165.0ms (0.5% of total)
ival-fabs: 116.0ms (0.4% of total)
ival-assert: 116.0ms (0.4% of total)
ival-atan: 115.0ms (0.4% of total)
ival-acos: 92.0ms (0.3% of total)
ival-log1p: 90.0ms (0.3% of total)
ival-pi: 83.0ms (0.3% of total)
ival-atan2: 81.0ms (0.3% of total)
ival-sinh: 65.0ms (0.2% of total)
ival-cbrt: 53.0ms (0.2% of total)
ival-fmod: 44.0ms (0.1% of total)
ival-floor: 43.0ms (0.1% of total)
ival-expm1: 26.0ms (0.1% of total)
ival-if: 22.0ms (0.1% of total)
ival-e: 21.0ms (0.1% of total)
ival-fmax: 18.0ms (0.1% of total)
ival-copysign: 14.0ms (0% of total)
ival-cosh: 12.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)

analyze1.5min (2.8%)

Memory
1 094.2MiB live, 115 735.0MiB allocated; 35.6s collecting garbage
Algorithm
548×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.5%15.5%0%0%0%0
40%33.8%50.7%15.5%0%0%0%1
46%38.5%45.2%15.5%0%0.8%0%2
54.6%44.6%37.1%15.5%0%2.8%0%3
61.4%49.6%31.2%15.5%0%3.8%0%4
67.7%54.3%26%15.5%0%4.2%0%5
71.6%57.2%22.7%15.5%0%4.6%0%6
75.6%59.9%19.4%15.5%0%5.2%0%7
77.5%61.2%17.7%15.5%0%5.6%0%8
80.1%63%15.6%15.5%0%5.9%0%9
81.7%64%14.3%15.5%0%6.2%0%10
83.9%65.6%12.6%15.5%0%6.4%0%11
85%66.3%11.7%15.5%0%6.6%0%12
Compiler

Compiled 12 580 to 7 847 computations (37.6% saved)

bsearch1.0min (1.9%)

Memory
576.3MiB live, 77 101.1MiB allocated; 16.0s collecting garbage
Algorithm
2 654×binary-search
1 794×left-value
Stop Event
2 590×narrow-enough
62×predicate-same
2×predicate-failed
Samples
27.4s183 686×0valid
9.5s17 657×1valid
1.3s11 783×0invalid
1.3s2 594×2valid
194.0ms734×1invalid
182.0ms334×3valid
9.0ms135×0exit
2.0ms1×4valid
1.0ms4×2invalid
Compiler

Compiled 1 617 462 to 1 075 691 computations (33.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.7s
ival-mult: 8.0s (28% of total)
ival-sub: 3.6s (12.7% of total)
ival-cos: 2.3s (8.2% of total)
ival-div: 2.3s (8% of total)
ival-sin: 2.3s (7.9% of total)
ival-add: 2.2s (7.8% of total)
adjust: 1.5s (5.2% of total)
ival-pow: 1.0s (3.7% of total)
ival-log: 908.0ms (3.2% of total)
ival-pow2: 653.0ms (2.3% of total)
const: 551.0ms (1.9% of total)
ival-sqrt: 472.0ms (1.6% of total)
ival-exp: 440.0ms (1.5% of total)
ival-sinu: 334.0ms (1.2% of total)
ival-hypot: 248.0ms (0.9% of total)
ival-atan2: 234.0ms (0.8% of total)
ival-cosu: 230.0ms (0.8% of total)
ival-tan: 204.0ms (0.7% of total)
ival-true: 160.0ms (0.6% of total)
ival-neg: 145.0ms (0.5% of total)
exact: 105.0ms (0.4% of total)
ival-acos: 92.0ms (0.3% of total)
ival-assert: 90.0ms (0.3% of total)
ival-tanh: 73.0ms (0.3% of total)
ival-log1p: 66.0ms (0.2% of total)
ival-e: 65.0ms (0.2% of total)
ival-pi: 64.0ms (0.2% of total)
ival-atan: 57.0ms (0.2% of total)
ival-fabs: 45.0ms (0.2% of total)
ival-sinh: 34.0ms (0.1% of total)
ival-cosh: 17.0ms (0.1% of total)
ival-asin: 16.0ms (0.1% of total)
ival-tanu: 7.0ms (0% of total)
ival-if: 6.0ms (0% of total)
ival-expm1: 5.0ms (0% of total)
ival->=: 4.0ms (0% of total)
ival-cbrt: 4.0ms (0% of total)
ival-fmod: 2.0ms (0% of total)
ival-copysign: 1.0ms (0% of total)

start44.0ms (0%)

Memory
15.6MiB live, 65.5MiB allocated; 22ms collecting garbage

end4.0ms (0%)

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

Profiling

Loading profile data...