Herbie run

Date:Sunday, December 29th, 2024
Commit:fbbe2c7d on main
Seed:2024364
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 587 670.3 MB

Time bar (total: 1.2hr)

sample20.0min (28.1%)

Memory
12 867.8MiB live, 1 314 145.9MiB allocated; 6.7min collecting garbage
Samples
8.3min3 906 747×0valid
2.6min438 042×1valid
1.7min44 929×5exit
1.3min139 740×2valid
57.1s324 401×0invalid
15.3s14 965×3valid
9.0s28 446×1invalid
7.9s49 758×0exit
1.1s2 415×2invalid
303.0ms33×4valid
24.0ms42×1exit
Precisions
Click to see histograms. Total time spent on operations: 11.6min
ival-mult: 2.3min (19.7% of total)
ival-pow: 1.5min (12.7% of total)
ival-div: 1.0min (8.8% of total)
ival-add: 54.8s (7.9% of total)
ival-sub: 49.5s (7.1% of total)
adjust: 47.6s (6.9% of total)
const: 33.6s (4.8% of total)
ival-log: 25.0s (3.6% of total)
ival-sin: 24.3s (3.5% of total)
ival-cos: 24.2s (3.5% of total)
ival-exp: 22.1s (3.2% of total)
ival-sqrt: 18.4s (2.7% of total)
ival-tan: 17.1s (2.5% of total)
ival-pow2: 13.8s (2% of total)
ival-<=: 12.1s (1.8% of total)
ival-sinu: 6.2s (0.9% of total)
ival-cosu: 5.4s (0.8% of total)
ival-neg: 4.9s (0.7% of total)
ival-fabs: 4.9s (0.7% of total)
ival-hypot: 4.4s (0.6% of total)
exact: 3.6s (0.5% of total)
ival-true: 3.0s (0.4% of total)
ival-and: 2.8s (0.4% of total)
ival-log1p: 2.7s (0.4% of total)
ival-asin: 2.6s (0.4% of total)
ival-e: 2.6s (0.4% of total)
ival-<: 2.5s (0.4% of total)
ival-acos: 2.3s (0.3% of total)
ival-assert: 2.1s (0.3% of total)
ival-atan2: 1.9s (0.3% of total)
ival-expm1: 1.8s (0.3% of total)
ival-pi: 1.5s (0.2% of total)
ival-sinh: 1.3s (0.2% of total)
ival-fmod: 969.0ms (0.1% of total)
ival-atan: 942.0ms (0.1% of total)
ival->: 929.0ms (0.1% of total)
ival-==: 812.0ms (0.1% of total)
ival-floor: 729.0ms (0.1% of total)
ival-cbrt: 592.0ms (0.1% of total)
ival-fmin: 484.0ms (0.1% of total)
ival-asinh: 434.0ms (0.1% of total)
ival-if: 398.0ms (0.1% of total)
ival-fmax: 358.0ms (0.1% of total)
ival-acosh: 332.0ms (0% of total)
ival->=: 325.0ms (0% of total)
ival-cosh: 305.0ms (0% of total)
ival-log2: 219.0ms (0% of total)
ival-atanh: 188.0ms (0% of total)
ival-tanu: 178.0ms (0% of total)
ival-tanh: 92.0ms (0% of total)
ival-or: 39.0ms (0% of total)
Bogosity

simplify11.6min (16.3%)

Memory
7 848.5MiB live, 669 184.3MiB allocated; 2.8min collecting garbage
Stop Event
6 016×iter limit
3 463×node limit
1 120×saturated
17×unsound
Counts
171 203 → 169 175

rewrite7.6min (10.7%)

Memory
1 707.3MiB live, 482 538.6MiB allocated; 1.8min collecting garbage
Stop Event
4 192×iter limit
1 920×node limit
61×unsound
47×saturated
Counts
28 968 → 844 524

derivations7.6min (10.7%)

Memory
-563.5MiB live, 336 653.1MiB allocated; 1.3min collecting garbage
Stop Event
3 472×iter limit
2 294×node limit
374×fuel
171×done
45×saturated
24×unsound
Compiler

Compiled 326 618 to 44 491 computations (86.4% saved)

localize5.9min (8.3%)

Memory
2 730.5MiB live, 414 596.8MiB allocated; 1.5min collecting garbage
Samples
2.0min397 762×0valid
1.4min64 414×1valid
41.0s23 651×2valid
18.1s2 167×5exit
10.5s19 461×0invalid
5.9s2 405×3valid
2.0s4 012×0exit
431.0ms93×1invalid
194.0ms47×4valid
65.0ms33×1exit
50.0ms3×2exit
Compiler

Compiled 606 895 to 63 181 computations (89.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.5min
ival-mult: 55.0s (25.8% of total)
adjust: 24.5s (11.5% of total)
ival-div: 23.9s (11.2% of total)
ival-add: 19.5s (9.2% of total)
ival-sub: 11.9s (5.6% of total)
ival-cos: 11.6s (5.5% of total)
ival-sin: 11.3s (5.3% of total)
ival-pow: 8.6s (4% of total)
const: 8.3s (3.9% of total)
ival-log: 5.6s (2.6% of total)
ival-tan: 5.3s (2.5% of total)
ival-sqrt: 4.8s (2.3% of total)
ival-pow2: 4.6s (2.2% of total)
ival-exp: 3.2s (1.5% of total)
ival-neg: 2.8s (1.3% of total)
ival-log1p: 1.3s (0.6% of total)
ival-sinu: 1.1s (0.5% of total)
ival-hypot: 1.1s (0.5% of total)
ival-cosu: 876.0ms (0.4% of total)
ival-cosh: 858.0ms (0.4% of total)
exact: 731.0ms (0.3% of total)
ival-sinh: 721.0ms (0.3% of total)
ival-expm1: 660.0ms (0.3% of total)
ival-atan2: 621.0ms (0.3% of total)
ival-acos: 545.0ms (0.3% of total)
ival-true: 446.0ms (0.2% of total)
ival-pi: 441.0ms (0.2% of total)
ival-asin: 413.0ms (0.2% of total)
ival-cbrt: 331.0ms (0.2% of total)
ival-fabs: 270.0ms (0.1% of total)
ival-atan: 226.0ms (0.1% of total)
ival-assert: 220.0ms (0.1% of total)
ival-if: 145.0ms (0.1% of total)
ival-fmax: 143.0ms (0.1% of total)
ival-acosh: 136.0ms (0.1% of total)
ival-e: 111.0ms (0.1% of total)
ival-tanu: 96.0ms (0% of total)
ival-log2: 96.0ms (0% of total)
ival-floor: 94.0ms (0% of total)
ival-fmod: 82.0ms (0% of total)
ival-asinh: 72.0ms (0% of total)
ival-tanh: 63.0ms (0% of total)
ival-copysign: 58.0ms (0% of total)
ival->=: 26.0ms (0% of total)
ival->: 17.0ms (0% of total)
ival-exp2: 7.0ms (0% of total)
ival-<: 5.0ms (0% of total)
ival-atanh: 5.0ms (0% of total)
ival-then: 1.0ms (0% of total)
ival-nan: 0.0ms (0% of total)

eval3.9min (5.5%)

Memory
265.9MiB live, 309 117.7MiB allocated; 1.3min collecting garbage
Compiler

Compiled 81 297 865 to 4 507 163 computations (94.5% saved)

regimes3.1min (4.4%)

Memory
323.7MiB live, 238 642.0MiB allocated; 42.5s collecting garbage
Counts
95 004 → 8 946
Calls

1 233 calls:

14.6s
x
9.8s
y
7.5s
z
5.9s
a
5.9s
t
Compiler

Compiled 124 694 to 127 142 computations (-2% saved)

series2.7min (3.9%)

Memory
-310.9MiB live, 199 694.8MiB allocated; 44.3s collecting garbage
Counts
28 968 → 171 203
Calls

16662 calls:

TimeVariablePointExpression
11.1s
u1
@0
((pow (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (pow (/ (sin (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphay) 2))) 1) -1/2) (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (pow (/ (sin (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphay) 2))) 1) (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (pow (/ (sin (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphay) 2))) (/ u0 (- 1 u0)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0))) (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0))))) (/ 1 (exp (* (log (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) 1/2))) (exp (* (log (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) 1/2)) (* (log (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) 1/2) (log (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (+ (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) 1) -1) alphax))) (* (* alphay alphay) alphax))) u0) (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (+ (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) 1) -1) alphax))) (* (* alphay alphay) alphax)) (* (* alphay alphay) (/ (pow (+ (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2) 1) -1) alphax)) (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) (tan (* (+ (* 2 u1) 1/2) (PI))) (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (pow (/ (sin (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphay) 2) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax)) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (* u1 (* (PI) 2)) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (* (+ (* 2 u1) 1/2) (PI)) (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) (pow (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))) 2))
8.5s
u1
@0
((pow (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (/ (- 1 (cos (* (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax))) 2))) (* 2 (* alphay alphay))))) 1) -1/2) (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (/ (- 1 (cos (* (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax))) 2))) (* 2 (* alphay alphay))))) 1) (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (/ (- 1 (cos (* (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax))) 2))) (* 2 (* alphay alphay))))) (/ u0 (- 1 u0)) (pow (+ (/ (/ u0 (- 1 u0)) (+ (pow (/ (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphax) 2) (pow (/ (sin (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) alphay) 2))) 1) -1/2) (* 1 (* (* alphay alphay) alphax)) (/ 1 (sqrt (+ (* (/ (* 1 (* (* alphay alphay) alphax)) (+ (* (pow (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax)))) (/ u0 (- 1 u0))) 1))) (sqrt (+ (* (/ (* 1 (* (* alphay alphay) alphax)) (+ (* (pow (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax)))) (/ u0 (- 1 u0))) 1)) (+ (* (/ (* 1 (* (* alphay alphay) alphax)) (+ (* (pow (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax)))) (/ u0 (- 1 u0))) 1) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (/ 1 (sqrt (+ 1 (/ u0 (* (+ (/ (- 1 (cos (* (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) 2))) (* 2 (* alphay alphay))) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0)))))) (sqrt (+ 1 (/ u0 (* (+ (/ (- 1 (cos (* (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) 2))) (* 2 (* alphay alphay))) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0))))) (+ 1 (/ u0 (* (+ (/ (- 1 (cos (* (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) 2))) (* 2 (* alphay alphay))) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0)))) (PI) (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax))) (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI))))) (cos (atan (* (/ alphay alphax) (tan (* (+ (* 2 u1) 1/2) (PI)))))) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax)) (sin (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax)))) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))) (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2))))) (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))))
2.8s
u1
@0
((/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax)) (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) (+ 1 (/ (* (/ 1 (/ (+ (* (pow (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) 2) alphax) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax))) (* (* alphay alphay) alphax))) u0) (- 1 u0))) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))))) (sqrt (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)))) (+ 1 (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0))) (/ (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (- 1 u0)) (/ 1 (sqrt (+ 1 (/ u0 (* (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0)))))) (sqrt (+ 1 (/ u0 (* (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0))))) (+ 1 (/ u0 (* (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2)) (- 1 u0)))) (+ 1 (* (/ (/ u0 (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) (- 1 (* u0 u0))) (+ u0 1))) (* (/ (/ u0 (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) (- 1 (* u0 u0))) (+ u0 1)) (/ 1 (sqrt (+ 1 (* (/ (/ u0 (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2))) (- 1 (* u0 u0))) (+ u0 1))))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) (* (* alphay alphay) (/ (pow (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) -2) alphax)) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) (cos (* (PI) (+ (* 2 u1) 1/2))) (pow (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))) 2) (* (/ 1 (+ (/ (* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphax alphax)) (/ (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* alphay alphay)))) u0) (* (PI) (+ (* 2 u1) 1/2)) (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))) (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (pow (/ (cos (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphax) 2) (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2))
856.0ms
u1
@inf
((/ (- 0 (pow (log (+ 1 (neg u1))) 2)) (+ 0 (log (+ 1 (neg u1))))) (+ 0 (log (+ 1 (neg u1)))) (- 0 (pow (log (+ 1 (neg u1))) 2)) (* (sqrt (/ (- 0 (pow (log (+ 1 (neg u1))) 2)) (+ 0 (log (+ 1 (neg u1)))))) (sin (* (* 2 (PI)) u2))) (* (sqrt (neg (log (- 1 u1)))) (sin (* 0 u2))) (* 0 u2) (sin (* 0 u2)) (sqrt (neg (log (- 1 u1)))) (* (pow (pow (neg (log (+ 1 (neg u1)))) 2) 1/4) (sin (* (* 2 (PI)) u2))) (pow (pow (neg (log (+ 1 (neg u1)))) 2) 1/4) (pow (neg (log (+ 1 (neg u1)))) 2) (* (+ (* (+ (* 11/12 u1) 1) u1) 1) (* u1 u1)) (* 1 (- 1 (* u1 u1))) (log (* 1 (- 1 (* u1 u1)))) (* (sqrt (- (log (* 1 (- 1 (* u1 u1)))) (log (* (- 1 (* u1 u1)) (- 1 u1))))) (sin (* (* 2 (PI)) u2))) (sqrt (- (log (* 1 (- 1 (* u1 u1)))) (log (* (- 1 (* u1 u1)) (- 1 u1))))) (* (pow (exp 1/2) (log (fabs (log (+ 1 u1))))) (sin (* (* 2 (PI)) u2))) (pow (exp 1/2) (log (fabs (log (+ 1 u1))))) (exp 1/2) (log (fabs (log (+ 1 u1)))) (pow (log (+ 1 (neg u1))) 2) (* (* 2 (PI)) u2) (log (- 1 u1)) (neg u1) (neg (log (- 1 u1))) (log (* (- 1 (* u1 u1)) (- 1 u1))) (sin (* (* 2 (PI)) u2)))
801.0ms
dX.u
@inf
((* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v)) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)))) (sqrt (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (- (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)))) (pow (* dY.u (floor w)) 2) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (pow (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (- (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))) 1/4) (pow (pow (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (- (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))) 1/4) 2) (sqrt (/ 1 (fmax (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))))) (/ 1 (fmax (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u)))) (pow (fmax (+ (pow (* dX.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (+ (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2))) -1/2))

explain2.2min (3.1%)

Memory
-2 033.0MiB live, 158 302.4MiB allocated; 39.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation905765
sqrt.f64#foflow-rescue54320
log.f64#fsensitivity36777
cos.f64#fsensitivity33606
+.f64#fcancellation3125121
sin.f64#fsensitivity20315
/.f64#fo/n19770
/.f64#fo/o18820
-.f64#fnan-rescue15290
log.f32#fsensitivity1097106
*.f64#fn*o10500
/.f64#fn/o9980
sqrt.f64#fuflow-rescue9790
/.f64#fu/u9670
+.f64#fnan-rescue8180
/.f64#fu/n6510
sqrt.f32#foflow-rescue5470
acos.f64#fsensitivity5311
*.f64#fn*u4840
tan.f64#fsensitivity4393
-.f32#fcancellation39520
pow.f64#fsensitivity39036
/.f64#fn/u3010
cos.f64#foflow-rescue2180
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2170
exp.f64#fsensitivity21237
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18116
cos.f32#fsensitivity18019
*.f64#fo*u1600
*.f64#fu*o1530
pow.f64#foflow-rescue1490
/.f32#fo/n1400
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)))))))sensitivity1260
log.f64#foflow-rescue1130
cbrt.f64#foflow-rescue940
log.f64#fuflow-rescue780
pow.f64#fuflow-rescue720
exp.f32#fsensitivity4016
sin.f64#foflow-rescue370
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue330
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow33
cbrt.f64#fuflow-rescue320
/.f32#fu/n220
/.f32#fo/o180
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-rescue160
↳(*.f32 sinTheta_O sinTheta_O)underflow284
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow16
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow142
↳(*.f32 eta eta)underflow16
/.f32(/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))n/o80
↳(/.f32 sin2phi (*.f32 alphay alphay))overflow13
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow13
log.f32#foflow-rescue30
sin.f32(sin.f32 (*.f32 x (PI.f32)))cancellation10
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
+.f32(+.f32 (*.f32 (*.f32 (cos.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) xi) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux) (*.f32 (*.f32 (-.f32 #s(literal 1 binary32) ux) maxCos) ux))))) yi))cancellation11
Confusion
Predicted +Predicted -
+31342910
-5910101358
Precision
0.8413507999570493
Recall
0.9717846955227583
Confusion?
Predicted +Predicted MaybePredicted -
+31342251659
-5910431100927
Precision?
0.8328412505931354
Recall?
0.9795671586258217
Freqs
test
numberfreq
0102268
131324
24754
3615
4313
5155
654
729
86
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+34530
-113183
Precision?
0.9613259668508287
Recall?
1.0
Samples
31.5s234 262×0valid
12.0s32 162×1valid
7.4s11 328×2valid
1.2s1 142×3valid
741.0ms142×5exit
3.0ms4×4valid
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 36.6s
ival-mult: 7.2s (19.6% of total)
ival-sub: 5.9s (16.3% of total)
adjust: 3.1s (8.5% of total)
ival-add: 3.1s (8.4% of total)
ival-div: 2.9s (8% of total)
ival-cos: 2.2s (5.9% of total)
ival-sin: 2.1s (5.7% of total)
ival-log: 1.9s (5.2% of total)
ival-tan: 1.1s (3% of total)
ival-exp: 1.1s (2.9% of total)
ival-sqrt: 916.0ms (2.5% of total)
const: 772.0ms (2.1% of total)
ival-pow: 689.0ms (1.9% of total)
ival-pow2: 621.0ms (1.7% of total)
ival-hypot: 366.0ms (1% of total)
ival-sinu: 353.0ms (1% of total)
ival-cosu: 333.0ms (0.9% of total)
ival-neg: 260.0ms (0.7% of total)
ival-true: 238.0ms (0.7% of total)
exact: 176.0ms (0.5% of total)
ival-fabs: 154.0ms (0.4% of total)
ival-acos: 135.0ms (0.4% of total)
ival-assert: 119.0ms (0.3% of total)
ival-pi: 105.0ms (0.3% of total)
ival-atan2: 99.0ms (0.3% of total)
ival-asin: 95.0ms (0.3% of total)
ival-log1p: 86.0ms (0.2% of total)
ival-atan: 73.0ms (0.2% of total)
ival-if: 69.0ms (0.2% of total)
ival-cbrt: 61.0ms (0.2% of total)
ival-sinh: 51.0ms (0.1% of total)
ival-floor: 44.0ms (0.1% of total)
ival-copysign: 43.0ms (0.1% of total)
ival-fmod: 41.0ms (0.1% of total)
ival-expm1: 30.0ms (0.1% of total)
ival-e: 22.0ms (0.1% of total)
ival-fmax: 16.0ms (0% of total)
ival-tanu: 12.0ms (0% of total)
ival-cosh: 12.0ms (0% of total)
ival-log2: 12.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival->: 3.0ms (0% of total)
ival-<: 1.0ms (0% of total)

preprocess2.0min (2.9%)

Memory
4 323.0MiB live, 125 849.1MiB allocated; 32.4s collecting garbage
Stop Event
1 084×iter limit
658×saturated
438×node limit
Compiler

Compiled 794 048 to 155 610 computations (80.4% saved)

prune1.8min (2.6%)

Memory
-2 381.9MiB live, 162 781.5MiB allocated; 28.0s collecting garbage
Counts
1 085 596 → 35 821
Compiler

Compiled 3 487 599 to 1 534 357 computations (56% saved)

analyze1.5min (2.2%)

Memory
75.7MiB live, 105 620.6MiB allocated; 36.7s 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.5%)

Memory
998.0MiB live, 70 471.7MiB allocated; 11.5s collecting garbage
Algorithm
2 924×binary-search
1 632×left-value
Stop Event
2 839×narrow-enough
84×predicate-same
1×predicate-failed
Samples
28.9s200 434×0valid
7.4s15 442×1valid
1.4s2 599×2valid
1.0s9 059×0invalid
261.0ms245×3valid
47.0ms106×1invalid
5.0ms56×0exit
Compiler

Compiled 1 745 139 to 1 153 851 computations (33.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 28.5s
ival-mult: 9.2s (32.4% of total)
ival-sub: 4.0s (14.1% of total)
ival-add: 2.3s (8.2% of total)
ival-div: 2.2s (7.6% of total)
ival-sin: 1.9s (6.6% of total)
ival-cos: 1.5s (5.1% of total)
adjust: 1.4s (5.1% of total)
ival-pow2: 867.0ms (3% of total)
const: 712.0ms (2.5% of total)
ival-pow: 620.0ms (2.2% of total)
ival-log: 601.0ms (2.1% of total)
ival-exp: 493.0ms (1.7% of total)
ival-sqrt: 423.0ms (1.5% of total)
ival-cosu: 351.0ms (1.2% of total)
ival-sinu: 315.0ms (1.1% of total)
ival-neg: 283.0ms (1% of total)
ival-hypot: 184.0ms (0.6% of total)
ival-true: 170.0ms (0.6% of total)
ival-tan: 131.0ms (0.5% of total)
ival-atan2: 123.0ms (0.4% of total)
exact: 110.0ms (0.4% of total)
ival-assert: 94.0ms (0.3% of total)
ival-asin: 84.0ms (0.3% of total)
ival-sinh: 83.0ms (0.3% of total)
ival-acos: 82.0ms (0.3% of total)
ival-fabs: 46.0ms (0.2% of total)
ival-atan: 43.0ms (0.2% of total)
ival-if: 32.0ms (0.1% of total)
ival-e: 31.0ms (0.1% of total)
ival-pi: 19.0ms (0.1% of total)
ival-log1p: 12.0ms (0% of total)
ival-cbrt: 11.0ms (0% of total)
ival-cosh: 10.0ms (0% of total)
ival-expm1: 10.0ms (0% of total)
ival-tanu: 9.0ms (0% of total)
ival-tanh: 7.0ms (0% of total)
ival->=: 4.0ms (0% of total)
ival-fmod: 1.0ms (0% of total)

start49.0ms (0%)

Memory
-22.8MiB live, 62.1MiB allocated; 31ms collecting garbage

end4.0ms (0%)

Memory
-36.1MiB live, 9.7MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...