Herbie run

Date:Thursday, September 5th, 2024
Commit:7a659933 on fewer-globals
Hostname:nightly with Racket 8.11.1
Seed:2024249
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.7hr)

sample21.5min (20.8%)

Memory
4 695.6MiB live, 1 194 588.8MiB allocated
Samples
8.9min3 904 351×0valid
2.7min30 425×5exit
2.6min428 235×1valid
1.2min127 814×2valid
51.8s319 646×0invalid
13.4s14 148×3valid
7.7s50 008×0exit
7.4s25 378×1invalid
6.1s24 945×1exit
919.0ms502×4exit
665.0ms1 345×2invalid
343.0ms42×4valid
336.0ms127×3exit
48.0ms21×2exit
Precisions
Click to see histograms. Total time spent on operations: 13.3min
ival-mult: 2.3min (17.2% of total)
ival-sin: 2.1min (15.7% of total)
const: 1.5min (11.4% of total)
ival-div: 1.2min (8.7% of total)
ival-add: 51.4s (6.4% of total)
adjust: 48.0s (6% of total)
ival-pow: 44.7s (5.6% of total)
ival-sub: 43.6s (5.5% of total)
ival-cos: 33.5s (4.2% of total)
ival-log: 22.4s (2.8% of total)
ival-exp: 21.6s (2.7% of total)
ival-tan: 20.8s (2.6% of total)
ival-sqrt: 17.2s (2.2% of total)
ival-<=: 12.3s (1.5% of total)
ival-pow2: 11.8s (1.5% of total)
ival-neg: 5.4s (0.7% of total)
ival-fabs: 4.2s (0.5% of total)
ival-hypot: 3.5s (0.4% of total)
exact: 3.4s (0.4% of total)
ival-<: 3.0s (0.4% of total)
ival-pi: 2.8s (0.3% of total)
ival-true: 2.8s (0.3% of total)
ival-and: 2.6s (0.3% of total)
ival-acos: 2.4s (0.3% of total)
ival-expm1: 2.2s (0.3% of total)
ival-assert: 1.9s (0.2% of total)
ival-asin: 1.8s (0.2% of total)
ival-atan2: 1.6s (0.2% of total)
ival-log1p: 1.4s (0.2% of total)
ival-sinh: 1.1s (0.1% of total)
ival-atan: 1.0s (0.1% of total)
ival-floor: 1.0s (0.1% of total)
ival->: 915.0ms (0.1% of total)
ival-cbrt: 785.0ms (0.1% of total)
ival-fmod: 782.0ms (0.1% of total)
ival-==: 750.0ms (0.1% of total)
ival-fmin: 498.0ms (0.1% of total)
ival-if: 476.0ms (0.1% of total)
ival-asinh: 337.0ms (0% of total)
ival-fmax: 279.0ms (0% of total)
ival-log2: 275.0ms (0% of total)
ival-acosh: 267.0ms (0% of total)
ival-cosh: 240.0ms (0% of total)
ival->=: 229.0ms (0% of total)
ival-atanh: 174.0ms (0% of total)
ival-tanh: 82.0ms (0% of total)
ival-or: 37.0ms (0% of total)
Bogosity

soundness16.9min (16.3%)

Memory
816.9MiB live, 373 782.3MiB allocated
Rules
19 128 256×lower-fma.f32
19 125 120×lower-fma.f64
10 667 540×lower-*.f32
10 658 070×lower-*.f64
5 524 638×lower-/.f32
Stop Event
3 413×iter limit
2 250×node limit
357×fuel
184×done
47×saturated
8×unsound
Compiler

Compiled 383 777 to 187 781 computations (51.1% saved)

simplify14.0min (13.5%)

Memory
3 692.5MiB live, 818 655.7MiB allocated
Algorithm
4 413×egg-herbie
Rules
31 656 190×lower-fma.f32
31 649 850×lower-fma.f64
12 772 892×lower-*.f32
12 757 042×lower-*.f64
7 290 338×lower-+.f32
Stop Event
5 770×iter limit
2 749×node limit
1 703×saturated
3×unsound
Counts
751 440 → 739 267

eval11.6min (11.2%)

Memory
6 548.6MiB live, 884 906.8MiB allocated
Compiler

Compiled 115 693 656 to 5 362 060 computations (95.4% saved)

rewrite10.1min (9.7%)

Memory
-92.9MiB live, 584 395.4MiB allocated
Rules
9 897 356×lower-fma.f32
9 891 020×lower-fma.f64
8 148 216×lower-*.f32
8 132 662×lower-*.f64
6 738 148×lower-/.f32
Stop Event
3 966×iter limit
1 882×node limit
47×saturated
32×unsound
Counts
27 873 → 1 102 324

localize5.8min (5.6%)

Memory
-2 396.9MiB live, 407 226.2MiB allocated
Samples
2.0min395 536×0valid
58.0s58 631×1valid
42.6s1 909×5exit
31.1s21 112×2valid
5.8s12 628×0invalid
4.2s2 067×3valid
1.6s189×3exit
1.5s189×4exit
1.3s1 520×1exit
677.0ms349×1invalid
533.0ms1 295×0exit
165.0ms161×2exit
41.0ms30×4valid
Compiler

Compiled 582 607 to 59 699 computations (89.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.4min
ival-mult: 45.3s (22.4% of total)
ival-sin: 38.4s (18.9% of total)
ival-div: 22.0s (10.9% of total)
ival-add: 17.9s (8.8% of total)
ival-cos: 13.2s (6.5% of total)
adjust: 12.3s (6.1% of total)
ival-sub: 9.1s (4.5% of total)
ival-pow: 7.4s (3.6% of total)
const: 6.5s (3.2% of total)
ival-tan: 5.4s (2.7% of total)
ival-log: 4.2s (2.1% of total)
ival-sqrt: 4.0s (2% of total)
ival-pow2: 3.7s (1.8% of total)
ival-exp: 3.1s (1.5% of total)
ival-neg: 2.1s (1% of total)
ival-floor: 1.0s (0.5% of total)
ival-log1p: 822.0ms (0.4% of total)
exact: 656.0ms (0.3% of total)
ival-hypot: 635.0ms (0.3% of total)
ival-asin: 576.0ms (0.3% of total)
ival-acos: 530.0ms (0.3% of total)
ival-atan2: 439.0ms (0.2% of total)
ival-true: 408.0ms (0.2% of total)
ival-atan: 390.0ms (0.2% of total)
ival-expm1: 362.0ms (0.2% of total)
ival-cbrt: 318.0ms (0.2% of total)
ival-pi: 286.0ms (0.1% of total)
ival-fabs: 252.0ms (0.1% of total)
ival-sinh: 248.0ms (0.1% of total)
ival-cosh: 232.0ms (0.1% of total)
ival-assert: 197.0ms (0.1% of total)
ival-if: 172.0ms (0.1% of total)
ival-fmax: 130.0ms (0.1% of total)
ival-copysign: 95.0ms (0% of total)
ival-log2: 69.0ms (0% of total)
ival-fmod: 53.0ms (0% of total)
ival-tanh: 48.0ms (0% of total)
ival-e: 34.0ms (0% of total)
ival->=: 17.0ms (0% of total)
ival->: 9.0ms (0% of total)
ival-<: 7.0ms (0% of total)

regimes4.5min (4.3%)

Memory
-1 553.0MiB live, 326 858.4MiB allocated
Counts
115 421 → 9 511
Calls

1 223 calls:

20.2s
x
13.0s
y
9.3s
z
8.1s
a
6.3s
t
Compiler

Compiled 131 743 to 129 917 computations (1.4% saved)

end4.4min (4.3%)

Memory
928.7MiB live, 281 473.7MiB allocated

prune4.2min (4.1%)

Memory
-6 812.6MiB live, 321 298.5MiB allocated
Counts
2 253 473 → 39 254
Compiler

Compiled 1 998 473 to 1 072 401 computations (46.3% saved)

series3.2min (3.1%)

Memory
-851.9MiB live, 226 360.8MiB allocated
Counts
27 873 → 751 440
Calls

15993 calls:

TimeVariablePointExpression
6.7s
cosTheta_i
@-inf
((- (exp (/ -1 v)) (exp (/ 1 v))) (/ (* (sinh (/ -1 v)) 2) (/ -1 v)) (* (/ 1 v) (* cosTheta_O cosTheta_i)) (neg (/ (* sinTheta_i sinTheta_O) v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (/ (* (sinh (/ -1 v)) 2) (/ -1 v))) (* (* cosTheta_i cosTheta_O) (/ 1/2 v)) (* cosTheta_i cosTheta_O) (/ 1/2 v) (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) (/ (* -1/2 (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v))) (neg v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (* -1/2 (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v))) (/ cosTheta_O (/ v cosTheta_i)) (/ (* sinTheta_i sinTheta_O) v) (* sinTheta_i sinTheta_O) (/ v (/ v (* cosTheta_O cosTheta_i))) (/ (* (sinh (/ -1 v)) 2) (/ -1 v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (/ v (/ v (* cosTheta_O cosTheta_i))) v)) (/ (* (sinh (/ -1 v)) 2) (/ -1 v))) (exp (/ 1 v)) (exp (/ -1 v)) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v) (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v)) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v) (sinh (/ 1 v)) (* (* (sinh (/ 1 v)) 2) v) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ cosTheta_O (/ v cosTheta_i))) (* (* (sinh (/ 1 v)) 2) v)) (sinh (/ -1 v)))
6.6s
cosTheta_O
@inf
((- (exp (/ -1 v)) (exp (/ 1 v))) (/ (* (sinh (/ -1 v)) 2) (/ -1 v)) (* (/ 1 v) (* cosTheta_O cosTheta_i)) (neg (/ (* sinTheta_i sinTheta_O) v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (/ (* (sinh (/ -1 v)) 2) (/ -1 v))) (* (* cosTheta_i cosTheta_O) (/ 1/2 v)) (* cosTheta_i cosTheta_O) (/ 1/2 v) (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) (/ (* -1/2 (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v))) (neg v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (* -1/2 (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v))) (/ cosTheta_O (/ v cosTheta_i)) (/ (* sinTheta_i sinTheta_O) v) (* sinTheta_i sinTheta_O) (/ v (/ v (* cosTheta_O cosTheta_i))) (/ (* (sinh (/ -1 v)) 2) (/ -1 v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (/ v (/ v (* cosTheta_O cosTheta_i))) v)) (/ (* (sinh (/ -1 v)) 2) (/ -1 v))) (exp (/ 1 v)) (exp (/ -1 v)) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v) (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v)) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v) (sinh (/ 1 v)) (* (* (sinh (/ 1 v)) 2) v) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ cosTheta_O (/ v cosTheta_i))) (* (* (sinh (/ 1 v)) 2) v)) (sinh (/ -1 v)))
6.6s
v
@0
((- (exp (/ -1 v)) (exp (/ 1 v))) (/ (* (sinh (/ -1 v)) 2) (/ -1 v)) (* (/ 1 v) (* cosTheta_O cosTheta_i)) (neg (/ (* sinTheta_i sinTheta_O) v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (/ (* (sinh (/ -1 v)) 2) (/ -1 v))) (* (* cosTheta_i cosTheta_O) (/ 1/2 v)) (* cosTheta_i cosTheta_O) (/ 1/2 v) (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) (/ (* -1/2 (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v))) (neg v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (* cosTheta_i cosTheta_O) v)) (* (* (sinh (/ 1 v)) 2) v)) (* -1/2 (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v))) (/ cosTheta_O (/ v cosTheta_i)) (/ (* sinTheta_i sinTheta_O) v) (* sinTheta_i sinTheta_O) (/ v (/ v (* cosTheta_O cosTheta_i))) (/ (* (sinh (/ -1 v)) 2) (/ -1 v)) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ (/ v (/ v (* cosTheta_O cosTheta_i))) v)) (/ (* (sinh (/ -1 v)) 2) (/ -1 v))) (exp (/ 1 v)) (exp (/ -1 v)) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v) (- (* cosTheta_i cosTheta_O) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v)) (/ (+ (* (* cosTheta_O (* sinTheta_i sinTheta_O)) cosTheta_i) (/ (* (* cosTheta_i cosTheta_O) (+ (* (* (* (* sinTheta_O sinTheta_O) sinTheta_i) sinTheta_i) -1/2) 1/6)) v)) v) (sinh (/ 1 v)) (* (* (sinh (/ 1 v)) 2) v) (/ (* (exp (neg (/ (* sinTheta_i sinTheta_O) v))) (/ cosTheta_O (/ v cosTheta_i))) (* (* (sinh (/ 1 v)) 2) v)) (sinh (/ -1 v)))
617.0ms
v
@0
((* (/ (sin v) (+ (* (cos v) e) 1)) e) (/ (sin v) (+ (* (cos v) e) 1)) (* (+ (* (neg e) (cos v)) 1) (sin v)) (+ (* (neg e) (cos v)) 1) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (* (/ e (+ e 1)) v) (* (- v (* v e)) e) (- v (* v e)) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (* e (sin v)) (* (+ (* -1/6 (* v v)) 1) e) (+ (* -1/6 (* v v)) 1) (/ e (/ (+ (* (cos v) e) 1) (sin v))) (/ (+ (* (cos v) e) 1) (sin v)) (/ (+ (* (+ (* (+ (* 1/24 e) (+ (* (+ (* -1/2 e) (+ (* 1/6 e) 1/6)) 1/6) (+ (* -1/120 e) -1/120))) (* v v)) (+ (* -1/2 e) (+ (* 1/6 e) 1/6))) (* v v)) (+ 1 e)) v) (/ (+ (* (+ (* 1/45 (* v v)) 1/3) (* v v)) -1) v) (/ (* e (sin v)) (+ 1 (* e (cos v)))) (/ (sin v) (- (cos v) (/ -1 e))) (sin v) (- (cos v) (/ -1 e)) (cos v) (+ 1 (* e (cos v))) (* (/ (+ (* (+ (* 1/45 (* v v)) 1/3) (* v v)) -1) v) (neg e)))
517.0ms
s
@0
((* (* u -4) (+ (* u -4) -1)) (neg (- (log (+ 1 (pow (* u -4) 3))) (log (+ 1 (* (* u -4) (+ (* u -4) -1)))))) (* (neg (- (log (+ 1 (pow (* u -4) 3))) (log (+ 1 (* (* u -4) (+ (* u -4) -1)))))) s) (- (log (+ 1 (pow (* u -4) 3))) (log (+ 1 (* (* u -4) (+ (* u -4) -1))))) (* (neg (log (+ 1 (* -4 u)))) s) (* (+ (* 8 u) 4) (* s u)) (+ (* 8 u) 4) (* s u) (+ (* (+ (* 64/3 u) 8) u) 4) (* s (log (/ 1 (- 1 (* 4 u))))) (log (/ 1 (- 1 (* 4 u)))) (* (+ (* (+ (* 64/3 u) 8) u) 4) u) (* (neg (- (log (+ 1 (neg (* 16 (* u u))))) (log (+ 1 (* 4 u))))) s) (neg (- (log (+ 1 (neg (* 16 (* u u))))) (log (+ 1 (* 4 u))))) (* (+ (* (+ (* (+ (* 64 u) 64/3) u) 8) u) 4) u) (+ (* (+ (* (+ (* 64 u) 64/3) u) 8) u) 4) (neg (- (log (+ 1 (neg (* 16 (* u u))))) (log (+ 1 (* 4 u))))) (* (neg (- (log (+ 1 (neg (* 16 (* u u))))) (log (+ 1 (* 4 u))))) s) (- (log (+ 1 (neg (* 16 (* u u))))) (log (+ 1 (* 4 u)))) (log (+ 1 (neg (* 16 (* u u))))) (log (+ 1 (* (* u -4) (+ (* u -4) -1)))) (* (+ (* 64/3 u) 8) u) (+ (* 64 u) 64/3) (* (+ (* (+ (* (+ (* -16384 (* u u)) -4096/3) (* u u)) -128) (* u u)) -16) u))

preprocess3.0min (2.9%)

Memory
2 298.8MiB live, 151 176.2MiB allocated
Algorithm
541×egg-herbie
Rules
2 114 316×lower-fma.f32
2 114 314×lower-fma.f64
551 626×lower-*.f32
549 662×lower-*.f64
388 410×unsub-neg
Stop Event
1 078×iter limit
743×saturated
343×node limit
Compiler

Compiled 487 463 to 154 304 computations (68.3% saved)

explain2.0min (1.9%)

Memory
-2 979.1MiB live, 146 945.1MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation892757
sqrt.f64#foflow-rescue52760
log.f64#fsensitivity34494
cos.f64#fsensitivity32771
+.f64#fcancellation3084123
/.f64#fo/n20820
sin.f64#fsensitivity19682
/.f64#fo/o17550
-.f64#fnan-rescue13970
log.f32#fsensitivity115765
*.f64#fn*o11140
/.f64#fu/u10110
/.f64#fn/o9660
sqrt.f64#fuflow-rescue9270
+.f64#fnan-rescue7780
/.f64#fu/n6960
sqrt.f32#foflow-rescue5330
acos.f64#fsensitivity5272
*.f64#fn*u4940
pow.f64#fsensitivity41947
tan.f64#fsensitivity4050
-.f32#fcancellation39628
/.f64#fn/u3180
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2170
exp.f64#fsensitivity20824
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19312
*.f64#fu*o1920
cos.f32#fsensitivity19115
cos.f64#foflow-rescue1820
pow.f64#foflow-rescue1340
*.f64#fo*u1320
asin.f64#fsensitivity1270
/.f32#fo/n1220
log.f64#foflow-rescue880
pow.f64#fuflow-rescue740
cbrt.f64#foflow-rescue730
log.f64#fuflow-rescue720
cbrt.f64#fuflow-rescue380
exp.f32#fsensitivity3620
sin.f64#foflow-rescue350
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
/.f32#fu/n300
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-rescue130
↳(*.f32 sinTheta_O sinTheta_O)underflow266
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow13
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow133
↳(*.f32 eta eta)underflow13
/.f32#fo/o80
/.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(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u40
log.f32#foflow-rescue20
sin.f32(sin.f32 (*.f32 (*.f32 x (PI.f32)) tau))cancellation10
Confusion
Predicted +Predicted -
+30809933
-5856100898
Precision
0.8402836492567844
Recall
0.9706067670594165
Confusion?
Predicted +Predicted MaybePredicted -
+30809260673
-5856383100515
Precision?
0.8327704513777205
Recall?
0.9787978073215299
Freqs
test
numberfreq
0101831
130780
24776
3625
4308
5100
647
718
85
95
101
Total Confusion?
Predicted +Predicted MaybePredicted -
+33840
-124183
Precision?
0.9553072625698324
Recall?
1.0
Samples
26.0s234 254×0valid
11.2s31 330×1valid
6.6s10 122×2valid
1.2s1 168×3valid
13.0ms98×1exit
11.0ms20×5exit
Compiler

Compiled 91 977 to 19 488 computations (78.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 30.4s
ival-mult: 7.5s (24.7% of total)
ival-div: 2.7s (9% of total)
ival-add: 2.7s (9% of total)
ival-sin: 2.5s (8.2% of total)
ival-sub: 2.3s (7.5% of total)
ival-cos: 2.1s (6.9% of total)
ival-log: 1.9s (6.3% of total)
adjust: 1.6s (5.4% of total)
ival-tan: 1.3s (4.4% of total)
ival-exp: 1.1s (3.5% of total)
ival-sqrt: 919.0ms (3% of total)
const: 555.0ms (1.8% of total)
ival-pow2: 546.0ms (1.8% of total)
ival-pow: 455.0ms (1.5% of total)
ival-true: 235.0ms (0.8% of total)
ival-hypot: 231.0ms (0.8% of total)
ival-neg: 206.0ms (0.7% of total)
ival-atan2: 205.0ms (0.7% of total)
exact: 158.0ms (0.5% of total)
ival-if: 152.0ms (0.5% of total)
ival-assert: 109.0ms (0.4% of total)
ival-atan: 92.0ms (0.3% of total)
ival-asin: 92.0ms (0.3% of total)
ival-acos: 89.0ms (0.3% of total)
ival-pi: 86.0ms (0.3% of total)
ival-log1p: 84.0ms (0.3% of total)
ival-floor: 80.0ms (0.3% of total)
ival-fabs: 78.0ms (0.3% of total)
ival-cbrt: 58.0ms (0.2% of total)
ival-sinh: 50.0ms (0.2% of total)
ival-fmod: 30.0ms (0.1% of total)
ival-copysign: 29.0ms (0.1% of total)
ival-expm1: 28.0ms (0.1% of total)
ival-fmax: 15.0ms (0% of total)
ival-cosh: 15.0ms (0% of total)
ival-log2: 12.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.3min (1.3%)

Memory
620.3MiB live, 107 317.7MiB allocated
Algorithm
545×search
2×random
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%84.4%15.6%0%0%0%0
39.6%33.5%51%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 517 to 7 843 computations (37.3% saved)

bsearch1.1min (1%)

Memory
190.7MiB live, 68 711.2MiB allocated
Algorithm
2 599×binary-search
2 251×left-value
Stop Event
2 505×narrow-enough
88×predicate-same
6×predicate-failed
Samples
26.4s182 859×0valid
7.5s15 147×1valid
1.5s1 758×2valid
1.3s8 798×0invalid
109.0ms124×3valid
47.0ms186×1invalid
25.0ms57×1exit
4.0ms48×0exit
2.0ms8×2invalid
Compiler

Compiled 526 208 to 547 258 computations (-4% saved)

Precisions
Click to see histograms. Total time spent on operations: 26.4s
ival-mult: 8.7s (32.7% of total)
ival-sub: 3.1s (11.7% of total)
ival-add: 2.4s (9% of total)
ival-div: 2.3s (8.6% of total)
ival-sin: 2.0s (7.7% of total)
ival-cos: 2.0s (7.5% of total)
ival-log: 970.0ms (3.7% of total)
ival-sqrt: 887.0ms (3.4% of total)
adjust: 704.0ms (2.7% of total)
ival-pow2: 501.0ms (1.9% of total)
ival-atan2: 467.0ms (1.8% of total)
ival-exp: 434.0ms (1.6% of total)
ival-pow: 430.0ms (1.6% of total)
const: 402.0ms (1.5% of total)
ival-hypot: 315.0ms (1.2% of total)
ival-tan: 220.0ms (0.8% of total)
ival-true: 149.0ms (0.6% of total)
ival-neg: 138.0ms (0.5% of total)
exact: 90.0ms (0.3% of total)
ival-assert: 79.0ms (0.3% of total)
ival-atan: 35.0ms (0.1% of total)
ival-acos: 31.0ms (0.1% of total)
ival-pi: 28.0ms (0.1% of total)
ival-fabs: 24.0ms (0.1% of total)
ival-fmod: 20.0ms (0.1% of total)
ival-tanh: 17.0ms (0.1% of total)
ival-asin: 14.0ms (0.1% of total)
ival-cbrt: 13.0ms (0% of total)
ival-cosh: 12.0ms (0% of total)
ival-if: 6.0ms (0% of total)
ival->=: 5.0ms (0% of total)
ival-expm1: 5.0ms (0% of total)
ival-log1p: 1.0ms (0% of total)
ival-sinh: 1.0ms (0% of total)

start19.0ms (0%)

Memory
45.7MiB live, 45.4MiB allocated

Profiling

Loading profile data...