Herbie run

Date:Monday, December 2nd, 2024
Commit:a3fa83c3 on main
Hostname:nightly with Racket 8.10
Seed:2024337
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:579 251.2 MB

Time bar (total: 7.9min)

sample1.6min (20.3%)

Memory
1 135.9MiB live, 124 757.6MiB allocated
Samples
1.0min262 437×0valid
2.3s7 837×1valid
2.2s11 037×0invalid
674.0ms2 173×2valid
286.0ms1 520×1exit
259.0ms720×1invalid
0.0ms1×4valid
Precisions
Click to see histograms. Total time spent on operations: 54.0s
ival-mult: 11.8s (21.8% of total)
const: 8.3s (15.4% of total)
ival-<=: 6.2s (11.5% of total)
ival-div: 4.4s (8.1% of total)
ival-sub: 3.4s (6.4% of total)
ival-add: 2.3s (4.3% of total)
ival-sqrt: 1.8s (3.3% of total)
ival-log: 1.6s (2.9% of total)
ival-fabs: 1.5s (2.7% of total)
ival-and: 1.3s (2.4% of total)
ival-sin: 1.3s (2.3% of total)
ival-exp: 1.0s (1.9% of total)
ival-neg: 990.0ms (1.8% of total)
ival-pow: 867.0ms (1.6% of total)
ival-floor: 684.0ms (1.3% of total)
ival-sinu: 681.0ms (1.3% of total)
ival-cos: 563.0ms (1% of total)
ival-cosu: 545.0ms (1% of total)
ival-pow2: 517.0ms (1% of total)
exact: 490.0ms (0.9% of total)
adjust: 462.0ms (0.9% of total)
ival-e: 406.0ms (0.8% of total)
ival-pi: 387.0ms (0.7% of total)
ival-tan: 359.0ms (0.7% of total)
ival-fmax: 352.0ms (0.7% of total)
ival-log2: 276.0ms (0.5% of total)
ival->: 250.0ms (0.5% of total)
ival-if: 229.0ms (0.4% of total)
ival-asin: 187.0ms (0.3% of total)
ival-<: 181.0ms (0.3% of total)
ival-log1p: 177.0ms (0.3% of total)
ival-atan: 137.0ms (0.3% of total)
ival-==: 136.0ms (0.3% of total)
ival-assert: 118.0ms (0.2% of total)
ival-sinh: 86.0ms (0.2% of total)
ival->=: 46.0ms (0.1% of total)
ival-true: 22.0ms (0% of total)
Bogosity

simplify55.1s (11.6%)

Memory
949.6MiB live, 62 925.4MiB allocated
Algorithm
297×egg-herbie
Stop Event
400×iter limit
269×node limit
24×saturated
4×unsound
Counts
16 266 → 16 186

regimes50.5s (10.6%)

Memory
288.6MiB live, 59 907.2MiB allocated
Counts
20 080 → 470
Calls

160 calls:

1.9s
s
1.7s
h
1.1s
alphay
1.1s
(*.f32 (*.f32 uy #s(literal 2 binary32)) (PI.f32))
957.0ms
dY.u
Compiler

Compiled 31 343 to 19 611 computations (37.4% saved)

eval48.3s (10.2%)

Memory
90.8MiB live, 66 702.9MiB allocated
Compiler

Compiled 45 579 326 to 682 716 computations (98.5% saved)

soundness43.0s (9%)

Memory
-410.3MiB live, 31 744.3MiB allocated
Stop Event
303×iter limit
200×node limit
32×fuel
2×unsound
1×done
Compiler

Compiled 98 136 to 22 578 computations (77% saved)

prune37.3s (7.8%)

Memory
-415.8MiB live, 44 509.3MiB allocated
Counts
160 353 → 6 957
Compiler

Compiled 1 308 992 to 399 715 computations (69.5% saved)

series36.0s (7.6%)

Memory
570.3MiB live, 43 035.3MiB allocated
Counts
2 554 → 16 266
Calls

1452 calls:

TimeVariablePointExpression
8.6s
u1
@0
((+ 1 (* (/ (* alphay alphay) (* alphax alphax)) (/ (pow (sin (* (PI) (+ 1/2 (* 2 u1)))) 2) (pow (cos (* (PI) (+ 1/2 (* 2 u1)))) 2)))) (+ 1/2 (* 2 u1)) (/ 1 (sqrt (+ 1 (/ (* (/ 1 (+ (/ (/ 1 (+ (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) 1)) (* 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 (+ (/ (/ 1 (+ (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) 1)) (* 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 (* (* alphax alphax) u0)) (* (+ (* (cos (* (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax))) 2)) 1/2) 1/2) (- 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/2 (* (* alphax alphax) u0)) (* (+ (* (cos (* (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax))) 2)) 1/2) 1/2) (- 1 u0)))) (- 1 (/ (* -1/2 (* (* alphax alphax) u0)) (* (pow (cos (atan (* (/ alphay alphax) (/ (sin (* (PI) (+ (+ 1/2 u1) u1))) (cos (* (PI) (+ 1/2 (* 2 u1)))))))) 2) (- 1 u0)))) (+ (+ 1/2 u1) u1) (/ 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))))) (* (/ 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 (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 (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 (/ (/ u0 (+ (/ (pow (cos (atan (* (/ alphay alphax) (/ (sin (* (PI) (+ 1/2 (* 2 u1)))) (cos (* (PI) (+ 1/2 (* 2 u1)))))))) 2) (* alphax alphax)) (/ (pow (sin (atan (/ (* (tan (* (PI) (+ (* u1 2) 1/2))) alphay) alphax))) 2) (* alphay alphay)))) (- 1 u0))))) (/ 1 (+ 1 (/ (/ u0 (+ (/ (pow (cos (atan (* (/ alphay alphax) (/ (sin (* (PI) (+ 1/2 (* 2 u1)))) (cos (* (PI) (+ 1/2 (* 2 u1)))))))) 2) (* alphax alphax)) (/ (pow (sin (atan (/ (* (tan (* (PI) (+ (* u1 2) 1/2))) alphay) alphax))) 2) (* alphay alphay)))) (- 1 u0)))) (cos (* (PI) (+ 1/2 (* 2 u1)))) (pow (cos (* (PI) (+ 1/2 (* 2 u1)))) 2) (* (/ alphay alphax) (/ (sin (* (PI) (+ 1/2 (* 2 u1)))) (cos (* (PI) (+ 1/2 (* 2 u1)))))) (* (PI) (+ 1/2 (* 2 u1))) (+ (* (cos (* (atan (* (tan (* (PI) (+ (* u1 2) 1/2))) (/ alphay alphax))) 2)) 1/2) 1/2) (tan (* (PI) (+ (* u1 2) 1/2))) (+ (* u1 2) 1/2) (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)))) (cos (atan (* (/ alphay alphax) (/ (sin (* (PI) (+ (+ 1/2 u1) u1))) (cos (* (PI) (+ 1/2 (* 2 u1)))))))) (pow (cos (atan (* (/ alphay alphax) (/ (sin (* (PI) (+ (+ 1/2 u1) u1))) (cos (* (PI) (+ 1/2 (* 2 u1)))))))) 2) (/ (+ (* (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)) (cos (atan (* (/ alphay alphax) (/ (sin (* (PI) (+ 1/2 (* 2 u1)))) (cos (* (PI) (+ 1/2 (* 2 u1)))))))))
3.3s
u1
@0
((* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (* (/ 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) (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))) (/ 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 (/ (+ (* (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) (/ (+ (* (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))) (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* (/ 1 (+ (/ (/ 1 (+ (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) 1)) (* 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 (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)) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (+ (* 2 u1) 1/2) (cos (* (PI) (+ (* 2 u1) 1/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)) (+ (* (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))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))))
819.0ms
r
@inf
((* (+ (* (/ (- (fabs r) (- p (fabs p))) r) 1/2) (+ (* (/ q r) (/ q r)) 1/2)) r) (+ (* (/ (- (fabs r) (- p (fabs p))) r) 1/2) (+ (* (/ q r) (/ q r)) 1/2)) (* (/ 1 2) (+ (+ (fabs p) (fabs r)) (sqrt (+ (pow (- p r) 2) (* 4 (pow q 2)))))) (/ (- (fabs r) (- p (fabs p))) r) (* (/ 1 2) (+ (+ (fabs p) (fabs r)) (sqrt (+ (pow (- p r) 2) (* 4 (pow q 2)))))) (+ (* (* q 1/2) (/ (+ (fabs r) (fabs p)) q)) q) (+ (* (+ (fabs r) p) 1/2) q) (+ (fabs r) p) (+ (+ p p) (fabs r)) (* (/ 1 2) (+ (+ (fabs p) (fabs r)) (sqrt (+ (pow (- p r) 2) (* 4 (pow q 2)))))) (* (+ (+ (sqrt (+ (* (* q q) 4) (* p p))) (fabs r)) (fabs p)) 1/2) (+ (+ (sqrt (+ (* (* q q) 4) (* p p))) (fabs r)) (fabs p)) (* (/ 1 2) (+ (+ (fabs p) (fabs r)) (sqrt (+ (pow (- p r) 2) (* 4 (pow q 2)))))) (* (+ (* (/ (- (fabs r) (- p (fabs p))) r) 1/2) 1/2) r) (* (- (fabs r) (- p (fabs p))) 1/2) (- (fabs r) (- p (fabs p))) (+ (* (- (fabs r) p) 1/2) (* (+ p r) 1/2)) (* (/ 1 2) (+ (+ (fabs p) (fabs r)) (sqrt (+ (pow (- p r) 2) (* 4 (pow q 2)))))) (* (+ (* (/ (- (fabs r) (- p (fabs p))) r) 1/2) 1/2) r) (- (fabs r) p) (+ (* (/ q r) (/ q r)) 1/2) (fabs r) (fabs p))
505.0ms
alphax
@0
((* (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (* (/ 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) (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))) (/ 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 (/ (+ (* (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) (/ (+ (* (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))) (* (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (sin (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))))))) (* (/ 1 (+ (/ (/ 1 (+ (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) 1)) (* 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 (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)) (cos (atan (* (/ alphay alphax) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI))))))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (tan (+ (* (* 2 (PI)) u1) (* 1/2 (PI)))) (+ (* (* 2 (PI)) u1) (* 1/2 (PI))) (+ (* 2 u1) 1/2) (cos (* (PI) (+ (* 2 u1) 1/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)) (+ (* (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))) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (cosh (asinh (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (pow (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) 2) (cos (atan (/ (* (/ alphay alphax) (sin (* (PI) (+ (* 2 u1) 1/2)))) (cos (* (PI) (+ (* 2 u1) 1/2)))))))
336.0ms
s
@0
((* (* 3 s) (* -1/2 (log (pow (- 1 (/ (- u 1/4) 3/4)) 2)))) (- 1 (/ (- u 1/4) 3/4)) (* 3 s) (* -1/2 (log (pow (- 1 (/ (- u 1/4) 3/4)) 2))) (* (* 3 s) (log (/ 1 (- 1 (/ (- u 1/4) 3/4))))) (* (* (log 3/4) s) 3) (* (log 3/4) s) (log 3/4) (* (* (neg s) (log (+ 1 (/ (- u 1/4) -3/4)))) 3) (* (neg s) (log (+ 1 (/ (- u 1/4) -3/4)))) (neg s) (log (+ 1 (/ (- u 1/4) -3/4))) (* 1 (- (/ u 3/4) -2/3)) (* (* 3 s) (log (/ (* 1 (- (/ u 3/4) -2/3)) (- 1 (pow (/ (- u 1/4) 3/4) 2))))) (log (/ (* 1 (- (/ u 3/4) -2/3)) (- 1 (pow (/ (- u 1/4) 3/4) 2)))) (+ (* (/ 1 (- 1 (pow (/ (- u 1/4) 3/4) 3))) (* (- (/ u 3/4) -2/3) (/ (- u 1/4) 3/4))) (* (/ 1 (- 1 (pow (/ (- u 1/4) 3/4) 3))) 1)) (* (/ 1 (- 1 (pow (/ (- u 1/4) 3/4) 3))) (* (- (/ u 3/4) -2/3) (/ (- u 1/4) 3/4))) (* (- (/ u 3/4) -2/3) (/ (- u 1/4) 3/4)) (* (/ 1 (- 1 (pow (/ (- u 1/4) 3/4) 3))) 1) (log (pow (- 1 (/ (- u 1/4) 3/4)) 2)) (pow (- 1 (/ (- u 1/4) 3/4)) 2) (pow (/ (- u 1/4) 3/4) 2) (/ (* 1 (- (/ u 3/4) -2/3)) (- 1 (pow (/ (- u 1/4) 3/4) 2))) (log (+ (* (/ 1 (- 1 (pow (/ (- u 1/4) 3/4) 3))) (* (- (/ u 3/4) -2/3) (/ (- u 1/4) 3/4))) (* (/ 1 (- 1 (pow (/ (- u 1/4) 3/4) 3))) 1))) (pow (/ (- u 1/4) 3/4) 3) (* (* 3 s) (log (+ (* (/ 1 (- 1 (pow (/ (- u 1/4) 3/4) 3))) (* (- (/ u 3/4) -2/3) (/ (- u 1/4) 3/4))) (* (/ 1 (- 1 (pow (/ (- u 1/4) 3/4) 3))) 1)))))

rewrite32.1s (6.8%)

Memory
270.0MiB live, 39 383.5MiB allocated
Stop Event
270×iter limit
128×node limit
4×unsound
Counts
2 554 → 74 957

localize29.6s (6.2%)

Memory
-514.9MiB live, 38 302.4MiB allocated
Samples
15.1s28 160×0valid
2.8s2 492×1valid
1.2s1 886×0invalid
507.0ms469×2valid
289.0ms460×1exit
118.0ms238×0exit
69.0ms46×3valid
39.0ms41×5exit
Compiler

Compiled 142 144 to 6 613 computations (95.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 15.0s
ival-mult: 4.8s (32% of total)
ival-div: 2.3s (15.2% of total)
ival-add: 1.1s (7.2% of total)
ival-sub: 885.0ms (5.9% of total)
ival-pow2: 661.0ms (4.4% of total)
ival-log: 573.0ms (3.8% of total)
ival-sqrt: 542.0ms (3.6% of total)
adjust: 515.0ms (3.4% of total)
ival-pow: 426.0ms (2.8% of total)
ival-sin: 374.0ms (2.5% of total)
const: 345.0ms (2.3% of total)
ival-fmax: 293.0ms (2% of total)
ival-exp: 253.0ms (1.7% of total)
ival-neg: 231.0ms (1.5% of total)
ival-sinu: 195.0ms (1.3% of total)
ival-log2: 170.0ms (1.1% of total)
ival-fabs: 147.0ms (1% of total)
ival-floor: 129.0ms (0.9% of total)
ival-cos: 127.0ms (0.8% of total)
ival-if: 125.0ms (0.8% of total)
ival-tan: 115.0ms (0.8% of total)
ival-log1p: 113.0ms (0.8% of total)
ival-cosu: 99.0ms (0.7% of total)
ival-atan: 72.0ms (0.5% of total)
exact: 66.0ms (0.4% of total)
ival-acos: 54.0ms (0.4% of total)
ival-pi: 53.0ms (0.4% of total)
ival-expm1: 34.0ms (0.2% of total)
ival-hypot: 32.0ms (0.2% of total)
ival-e: 31.0ms (0.2% of total)
ival-true: 30.0ms (0.2% of total)
ival-asin: 28.0ms (0.2% of total)
ival-cbrt: 22.0ms (0.1% of total)
ival-assert: 16.0ms (0.1% of total)
ival-tanu: 15.0ms (0.1% of total)
ival-cosh: 14.0ms (0.1% of total)
ival->: 12.0ms (0.1% of total)
ival->=: 12.0ms (0.1% of total)
ival-sinh: 11.0ms (0.1% of total)
ival-asinh: 8.0ms (0.1% of total)
ival-<: 5.0ms (0% of total)
ival-nan: 0.0ms (0% of total)

analyze24.3s (5.1%)

Memory
278.3MiB live, 36 524.7MiB allocated
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)

explain12.0s (2.5%)

Memory
-153.2MiB live, 17 150.4MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32#fsensitivity101078
-.f32#fcancellation37246
sqrt.f32#foflow-rescue3340
sqrt.f64#foflow-rescue3000
log.f64(log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))sensitivity2080
cos.f32#fsensitivity1899
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation18013
-.f64#fcancellation1720
/.f32#fo/n1280
exp.f32#fsensitivity2721
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-rescue210
↳(*.f32 sinTheta_O sinTheta_O)underflow280
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow21
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow140
↳(*.f32 eta eta)underflow21
*.f64(*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))))n*u200
/.f32#fu/n190
/.f32#fo/o140
/.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))overflow14
↳(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))overflow14
*.f32#fn*o50
pow.f64(pow.f64 (E.f64) x)sensitivity10
*.f64(*.f64 (/.f64 #s(literal 1 binary64) #s(literal 2 binary64)) (+.f64 (+.f64 (fabs.f64 p) (fabs.f64 r)) (sqrt.f64 (+.f64 (pow.f64 (-.f64 p r) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (pow.f64 q #s(literal 2 binary64)))))))n*o10
sin.f32(sin.f32 (*.f32 (*.f32 x (PI.f32)) tau))cancellation12
Confusion
Predicted +Predicted -
+215361
-4275807
Precision
0.8344961240310077
Recall
0.9724480578139115
Confusion?
Predicted +Predicted MaybePredicted -
+21533229
-4271305677
Precision?
0.7968636032093362
Recall?
0.9869015356820234
Freqs
test
numberfreq
05868
12167
2398
315
Total Confusion?
Predicted +Predicted MaybePredicted -
+2322
-411
Precision?
0.8333333333333334
Recall?
0.9259259259259259
Samples
3.1s16 104×0valid
280.0ms664×1valid
42.0ms128×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: 753.0ms (34.3% of total)
ival-div: 242.0ms (11% of total)
ival-sub: 181.0ms (8.3% of total)
ival-add: 146.0ms (6.7% of total)
ival-sqrt: 102.0ms (4.7% of total)
ival-log: 76.0ms (3.5% of total)
ival-sin: 66.0ms (3% of total)
ival-floor: 63.0ms (2.9% of total)
ival-sinu: 59.0ms (2.7% of total)
const: 56.0ms (2.6% of total)
ival-exp: 45.0ms (2.1% of total)
ival-pow2: 40.0ms (1.8% of total)
ival-pow: 39.0ms (1.8% of total)
ival-cosu: 39.0ms (1.8% of total)
ival-neg: 31.0ms (1.4% of total)
adjust: 27.0ms (1.2% of total)
ival-pi: 27.0ms (1.2% of total)
ival-tan: 25.0ms (1.1% of total)
ival-cos: 23.0ms (1% of total)
ival-fabs: 18.0ms (0.8% of total)
ival-fmax: 17.0ms (0.8% of total)
ival-true: 17.0ms (0.8% of total)
exact: 17.0ms (0.8% of total)
ival-e: 16.0ms (0.7% of total)
ival-log2: 13.0ms (0.6% of total)
ival-if: 13.0ms (0.6% of total)
ival-assert: 9.0ms (0.4% of total)
ival-sinh: 8.0ms (0.4% of total)
ival-log1p: 7.0ms (0.3% of total)
ival-asin: 6.0ms (0.3% of total)
ival-atan: 6.0ms (0.3% of total)
ival->: 3.0ms (0.1% of total)
ival->=: 3.0ms (0.1% of total)
ival-<: 1.0ms (0% of total)

preprocess9.0s (1.9%)

Memory
320.8MiB live, 11 677.0MiB allocated
Algorithm
33×egg-herbie
Stop Event
66×iter limit
47×node limit
19×saturated
Compiler

Compiled 107 740 to 16 395 computations (84.8% saved)

bsearch1.5s (0.3%)

Memory
84.5MiB live, 2 618.4MiB allocated
Algorithm
80×binary-search
54×left-value
Stop Event
78×narrow-enough
2×predicate-same
Samples
587.0ms886×1valid
250.0ms1 152×0valid
19.0ms58×2valid
11.0ms82×0invalid
10.0ms27×1invalid
Compiler

Compiled 17 178 to 10 252 computations (40.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 667.0ms
ival-log1p: 193.0ms (28.9% of total)
ival-pow: 163.0ms (24.4% of total)
ival-e: 82.0ms (12.3% of total)
ival-sub: 64.0ms (9.6% of total)
ival-add: 51.0ms (7.6% of total)
ival-mult: 37.0ms (5.5% of total)
adjust: 24.0ms (3.6% of total)
ival-pow2: 22.0ms (3.3% of total)
ival-fabs: 9.0ms (1.3% of total)
ival-sqrt: 8.0ms (1.2% of total)
ival-div: 7.0ms (1% of total)
ival-true: 2.0ms (0.3% of total)
exact: 2.0ms (0.3% of total)
ival-assert: 1.0ms (0.1% of total)

start27.0ms (0%)

Memory
-43.1MiB live, 12.1MiB allocated

end0.0ms (0%)

Memory
0.7MiB live, 0.7MiB allocated

Profiling

Loading profile data...