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:596 351.4 MB

Time bar (total: 7.5min)

sample1.8min (24.4%)

Memory
1 182.9MiB live, 143 278.1MiB allocated; 38.1s collecting garbage
Samples
1.0min262 102×0valid
18.1s1 621×5exit
3.7s8 056×1valid
2.1s11 348×0invalid
843.0ms2 286×2valid
403.0ms700×1invalid
1.0ms2×4valid
1.0ms2×3valid
Precisions
Click to see histograms. Total time spent on operations: 1.2min
ival-pow: 16.6s (23.1% of total)
ival-mult: 12.1s (16.9% of total)
const: 8.1s (11.2% of total)
ival-<=: 6.3s (8.8% of total)
ival-div: 5.1s (7.1% of total)
ival-e: 2.6s (3.6% of total)
ival-sub: 2.3s (3.2% of total)
ival-add: 2.2s (3% of total)
ival-fabs: 1.8s (2.5% of total)
ival-sqrt: 1.6s (2.2% of total)
ival-log: 1.6s (2.2% of total)
ival-and: 1.3s (1.8% of total)
ival-sin: 1.2s (1.7% of total)
adjust: 990.0ms (1.4% of total)
ival-neg: 879.0ms (1.2% of total)
ival-exp: 867.0ms (1.2% of total)
ival-floor: 729.0ms (1% of total)
ival-sinu: 601.0ms (0.8% of total)
ival-pow2: 517.0ms (0.7% of total)
ival-log1p: 499.0ms (0.7% of total)
ival-cosu: 494.0ms (0.7% of total)
exact: 488.0ms (0.7% of total)
ival-cos: 418.0ms (0.6% of total)
ival-fmax: 358.0ms (0.5% of total)
ival-pi: 338.0ms (0.5% of total)
ival-tan: 319.0ms (0.4% of total)
ival-if: 305.0ms (0.4% of total)
ival-<: 264.0ms (0.4% of total)
ival-log2: 219.0ms (0.3% of total)
ival->: 166.0ms (0.2% of total)
ival-asin: 149.0ms (0.2% of total)
ival-==: 119.0ms (0.2% of total)
ival-assert: 114.0ms (0.2% of total)
ival-sinh: 96.0ms (0.1% of total)
ival-atan: 90.0ms (0.1% of total)
ival->=: 45.0ms (0.1% of total)
ival-true: 26.0ms (0% of total)
Bogosity

simplify54.0s (12%)

Memory
1 084.2MiB live, 67 791.1MiB allocated; 14.8s collecting garbage
Stop Event
399×iter limit
271×node limit
23×saturated
3×unsound
Counts
16 357 → 16 279

series50.3s (11.2%)

Memory
-173.0MiB live, 60 429.1MiB allocated; 15.5s collecting garbage
Counts
2 519 → 16 357
Calls

1452 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))

eval41.3s (9.2%)

Memory
-210.0MiB live, 61 208.2MiB allocated; 17.2s collecting garbage
Compiler

Compiled 34 773 799 to 605 141 computations (98.3% saved)

derivations37.6s (8.4%)

Memory
-432.6MiB live, 28 363.0MiB allocated; 9.4s collecting garbage
Stop Event
290×iter limit
197×node limit
32×fuel
1×done
Compiler

Compiled 27 534 to 4 023 computations (85.4% saved)

regimes32.4s (7.2%)

Memory
325.2MiB live, 48 445.8MiB allocated; 8.9s collecting garbage
Counts
12 329 → 476
Calls

160 calls:

942.0ms
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
934.0ms
s
831.0ms
cosTheta_i
808.0ms
uy
768.0ms
(/.f32 #s(literal 1 binary32) (+.f32 (+.f32 #s(literal 1 binary32) c) (*.f32 (*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta)) (exp.f32 (*.f32 (neg.f32 cosTheta) cosTheta)))))
Compiler

Compiled 26 387 to 20 657 computations (21.7% saved)

localize31.8s (7.1%)

Memory
538.3MiB live, 53 796.9MiB allocated; 9.3s collecting garbage
Samples
14.4s27 529×0valid
3.8s745×5exit
2.2s1 809×1valid
1.9s2 388×0invalid
1.6s711×2valid
228.0ms610×0exit
Compiler

Compiled 133 971 to 6 870 computations (94.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.7s
ival-mult: 5.8s (30.8% of total)
adjust: 2.0s (10.7% of total)
ival-div: 1.8s (9.6% of total)
ival-add: 1.6s (8.4% of total)
ival-pow: 1.3s (7% of total)
ival-sub: 732.0ms (3.9% of total)
ival-sqrt: 673.0ms (3.6% of total)
ival-exp: 571.0ms (3.1% of total)
ival-log: 537.0ms (2.9% of total)
ival-pow2: 460.0ms (2.5% of total)
ival-log1p: 425.0ms (2.3% of total)
const: 339.0ms (1.8% of total)
ival-neg: 334.0ms (1.8% of total)
ival-expm1: 301.0ms (1.6% of total)
ival-sin: 290.0ms (1.6% of total)
ival-cos: 195.0ms (1% of total)
ival-fmax: 143.0ms (0.8% of total)
ival-sinu: 142.0ms (0.8% of total)
ival-e: 111.0ms (0.6% of total)
ival-tan: 106.0ms (0.6% of total)
ival-log2: 96.0ms (0.5% of total)
ival-floor: 94.0ms (0.5% of total)
ival-cosu: 90.0ms (0.5% of total)
ival-if: 89.0ms (0.5% of total)
exact: 76.0ms (0.4% of total)
ival-tanu: 64.0ms (0.3% of total)
ival-atan: 58.0ms (0.3% of total)
ival-pi: 57.0ms (0.3% of total)
ival-fabs: 53.0ms (0.3% of total)
ival-cbrt: 50.0ms (0.3% of total)
ival-true: 42.0ms (0.2% of total)
ival-cosh: 27.0ms (0.1% of total)
ival-sinh: 20.0ms (0.1% of total)
ival->=: 19.0ms (0.1% of total)
ival-acos: 19.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival->: 13.0ms (0.1% of total)
ival-asin: 10.0ms (0.1% of total)
ival-asinh: 8.0ms (0% of total)
ival-<: 5.0ms (0% of total)
ival-then: 0.0ms (0% of total)
ival-nan: 0.0ms (0% of total)

rewrite30.0s (6.7%)

Memory
552.1MiB live, 40 933.3MiB allocated; 6.0s collecting garbage
Stop Event
269×iter limit
130×node limit
2×unsound
Counts
2 519 → 62 223

analyze24.2s (5.4%)

Memory
-24.2MiB live, 32 286.4MiB allocated; 9.0s collecting garbage
Algorithm
33×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%11.5%88.5%0%0%0%0
52.8%6.1%5.4%88.5%0%0%0%1
54.4%6.2%5.2%88.5%0%0%0%2
54.5%6.3%5.2%88.5%0%0%0%3
55.4%6.4%5.1%88.5%0%0%0%4
62.6%7.2%4.3%88.5%0%0%0%5
66.9%7.6%3.8%88.5%0%0.1%0%6
76.4%8.4%2.6%88.5%0%0.4%0%7
76.8%8.5%2.6%88.5%0%0.4%0%8
81.4%9%2%88.5%0%0.4%0%9
85.1%9.3%1.6%88.5%0%0.5%0%10
86.3%9.4%1.5%88.5%0%0.5%0%11
87.3%9.5%1.4%88.5%0%0.6%0%12
Compiler

Compiled 2 648 to 1 114 computations (57.9% saved)

prune19.2s (4.3%)

Memory
-80.5MiB live, 31 277.3MiB allocated; 4.9s collecting garbage
Counts
139 552 → 4 405
Compiler

Compiled 624 429 to 234 427 computations (62.5% saved)

explain10.0s (2.2%)

Memory
-192.2MiB live, 15 973.5MiB allocated; 2.4s collecting garbage
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity976103
-.f32#fcancellation39520
sqrt.f32#foflow-rescue3510
sqrt.f64#foflow-rescue2780
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2060
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#fcancellation1540
/.f32#fo/n1400
exp.f32#fsensitivity4016
/.f32#fu/n220
/.f32#fo/o180
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u170
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
sqrt.f64#fuflow-rescue100
/.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
*.f32(*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle)))n*u10
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))oflow-rescue10
↳(*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)overflow1
↳(+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))overflow1
↳(pow.f64 (E.f64) x)overflow1
↳(-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64))overflow1
sin.f32(sin.f32 (*.f32 x (PI.f32)))cancellation10
+.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 -
+214170
-4315806
Precision
0.8324261275272161
Recall
0.968340117593849
Confusion?
Predicted +Predicted MaybePredicted -
+21413238
-4311255681
Precision?
0.7962623671674606
Recall?
0.9828132066938037
Freqs
test
numberfreq
05876
12166
2388
318
Total Confusion?
Predicted +Predicted MaybePredicted -
+2510
-322
Precision?
0.8387096774193549
Recall?
1.0
Samples
2.8s16 132×0valid
361.0ms626×1valid
46.0ms138×2valid
Compiler

Compiled 16 934 to 1 875 computations (88.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 2.2s
ival-mult: 667.0ms (30.2% of total)
ival-div: 277.0ms (12.6% of total)
ival-log: 178.0ms (8.1% of total)
ival-pow: 145.0ms (6.6% of total)
ival-add: 131.0ms (5.9% of total)
ival-sub: 100.0ms (4.5% of total)
ival-sin: 76.0ms (3.4% of total)
ival-sqrt: 67.0ms (3% of total)
ival-fabs: 59.0ms (2.7% of total)
ival-neg: 56.0ms (2.5% of total)
adjust: 44.0ms (2% of total)
ival-exp: 44.0ms (2% of total)
ival-floor: 44.0ms (2% of total)
const: 40.0ms (1.8% of total)
ival-sinu: 36.0ms (1.6% of total)
ival-pow2: 26.0ms (1.2% of total)
ival-cosu: 23.0ms (1% of total)
ival-e: 22.0ms (1% of total)
ival-pi: 22.0ms (1% of total)
ival-cos: 20.0ms (0.9% of total)
ival-if: 17.0ms (0.8% of total)
ival-tan: 16.0ms (0.7% of total)
ival-fmax: 16.0ms (0.7% of total)
exact: 16.0ms (0.7% of total)
ival-true: 15.0ms (0.7% of total)
ival-log2: 12.0ms (0.5% of total)
ival-assert: 8.0ms (0.4% of total)
ival-log1p: 7.0ms (0.3% of total)
ival-sinh: 6.0ms (0.3% of total)
ival-atan: 5.0ms (0.2% of total)
ival-asin: 4.0ms (0.2% of total)
ival->: 3.0ms (0.1% of total)
ival->=: 3.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)

preprocess8.7s (1.9%)

Memory
535.2MiB live, 11 105.2MiB allocated; 1.6s collecting garbage
Stop Event
66×iter limit
47×node limit
19×saturated
Compiler

Compiled 71 058 to 15 151 computations (78.7% saved)

bsearch881.0ms (0.2%)

Memory
-0.6MiB live, 1 450.2MiB allocated; 201ms collecting garbage
Algorithm
88×binary-search
27×left-value
Stop Event
86×narrow-enough
2×predicate-same
Samples
369.0ms738×1valid
140.0ms1 231×0valid
61.0ms191×2valid
23.0ms23×1invalid
4.0ms47×0invalid
Compiler

Compiled 17 419 to 12 427 computations (28.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 518.0ms
ival-pow: 210.0ms (40.6% of total)
ival-mult: 78.0ms (15.1% of total)
ival-pow2: 54.0ms (10.4% of total)
adjust: 47.0ms (9.1% of total)
ival-e: 31.0ms (6% of total)
ival-sub: 26.0ms (5% of total)
ival-add: 21.0ms (4.1% of total)
ival-sqrt: 14.0ms (2.7% of total)
ival-log1p: 12.0ms (2.3% of total)
ival-fabs: 11.0ms (2.1% of total)
ival-div: 9.0ms (1.7% of total)
exact: 3.0ms (0.6% of total)
ival-true: 2.0ms (0.4% of total)
ival-assert: 1.0ms (0.2% of total)

start18.0ms (0%)

Memory
-30.2MiB live, 12.8MiB allocated; 18ms collecting garbage

end0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...