Herbie run

Date:Thursday, November 21st, 2024
Commit:d1b0bfd6 on main
Hostname:nightly with Racket 8.10
Seed:2024326
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

Time bar (total: 1.1hr)

sample17.3min (25.4%)

Memory
4 648.8MiB live, 1 022 006.9MiB allocated
Samples
7.4min3 937 024×0valid
2.2min418 929×1valid
1.1min129 336×2valid
51.4s319 641×0invalid
51.3s27 012×5exit
11.9s14 197×3valid
7.7s50 402×0exit
7.3s25 839×1invalid
2.7s19 581×1exit
584.0ms1 291×2invalid
279.0ms484×4exit
236.0ms34×4valid
69.0ms105×3exit
6.0ms7×2exit
Precisions
Click to see histograms. Total time spent on operations: 9.7min
ival-mult: 2.1min (22% of total)
ival-div: 52.8s (9.1% of total)
ival-pow: 46.0s (7.9% of total)
ival-add: 45.9s (7.9% of total)
ival-sub: 42.3s (7.3% of total)
const: 33.3s (5.7% of total)
adjust: 27.2s (4.7% of total)
ival-cos: 23.0s (4% of total)
ival-log: 22.4s (3.9% of total)
ival-sin: 21.8s (3.8% of total)
ival-exp: 20.7s (3.6% of total)
ival-sqrt: 17.5s (3% of total)
ival-tan: 15.9s (2.7% of total)
ival-pow2: 12.2s (2.1% of total)
ival-<=: 11.6s (2% of total)
ival-sinu: 6.8s (1.2% of total)
ival-cosu: 5.5s (1% of total)
ival-fabs: 4.9s (0.9% of total)
ival-neg: 4.6s (0.8% of total)
ival-hypot: 4.1s (0.7% of total)
exact: 3.6s (0.6% of total)
ival-true: 3.0s (0.5% of total)
ival-and: 2.8s (0.5% of total)
ival-<: 2.8s (0.5% of total)
ival-assert: 2.1s (0.4% of total)
ival-asin: 2.0s (0.3% of total)
ival-expm1: 1.9s (0.3% of total)
ival-acos: 1.8s (0.3% of total)
ival-log1p: 1.7s (0.3% of total)
ival-atan2: 1.6s (0.3% of total)
ival-pi: 1.4s (0.2% of total)
ival->: 1.4s (0.2% of total)
ival-atan: 1.1s (0.2% of total)
ival-sinh: 1.1s (0.2% of total)
ival-fmod: 865.0ms (0.1% of total)
ival-floor: 791.0ms (0.1% of total)
ival->=: 699.0ms (0.1% of total)
ival-cbrt: 599.0ms (0.1% of total)
ival-if: 582.0ms (0.1% of total)
ival-fmin: 526.0ms (0.1% of total)
ival-==: 500.0ms (0.1% of total)
ival-atanh: 396.0ms (0.1% of total)
ival-acosh: 379.0ms (0.1% of total)
ival-e: 340.0ms (0.1% of total)
ival-fmax: 339.0ms (0.1% of total)
ival-cosh: 335.0ms (0.1% of total)
ival-log2: 289.0ms (0% of total)
ival-asinh: 205.0ms (0% of total)
ival-tanu: 176.0ms (0% of total)
ival-tanh: 92.0ms (0% of total)
ival-or: 39.0ms (0% of total)
Bogosity

simplify10.8min (15.9%)

Memory
5 535.9MiB live, 568 651.3MiB allocated
Algorithm
4 527×egg-herbie
Stop Event
5 960×iter limit
3 394×node limit
1 156×saturated
17×unsound
Counts
168 237 → 166 305

soundness9.1min (13.3%)

Memory
-127.1MiB live, 313 255.3MiB allocated
Stop Event
3 401×iter limit
2 258×node limit
367×fuel
178×done
45×saturated
18×unsound
Compiler

Compiled 645 255 to 223 008 computations (65.4% saved)

rewrite7.4min (10.9%)

Memory
-922.1MiB live, 413 705.2MiB allocated
Stop Event
4 159×iter limit
1 903×node limit
62×unsound
47×saturated
Counts
28 549 → 842 772

localize5.3min (7.8%)

Memory
-2 983.0MiB live, 341 650.2MiB allocated
Samples
1.9min395 359×0valid
1.1min62 911×1valid
35.4s22 995×2valid
10.8s21 111×0invalid
9.3s1 617×5exit
4.1s2 060×3valid
1.8s175×4exit
979.0ms2 010×0exit
955.0ms363×1invalid
795.0ms961×1exit
338.0ms40×4valid
104.0ms57×2exit
99.0ms8×3exit
45.0ms29×2invalid
Compiler

Compiled 604 885 to 61 902 computations (89.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 3.1min
ival-mult: 49.5s (26.6% of total)
ival-div: 21.8s (11.7% of total)
ival-add: 19.3s (10.4% of total)
adjust: 12.9s (6.9% of total)
ival-sin: 11.8s (6.3% of total)
ival-sub: 10.4s (5.6% of total)
ival-pow: 9.3s (5% of total)
const: 8.7s (4.7% of total)
ival-cos: 8.6s (4.6% of total)
ival-log: 5.2s (2.8% of total)
ival-sqrt: 4.2s (2.2% of total)
ival-pow2: 4.1s (2.2% of total)
ival-tan: 3.3s (1.8% of total)
ival-neg: 3.1s (1.7% of total)
ival-exp: 3.1s (1.6% of total)
ival-sinu: 1.1s (0.6% of total)
ival-hypot: 1.1s (0.6% of total)
ival-cosu: 832.0ms (0.4% of total)
ival-asin: 764.0ms (0.4% of total)
ival-cosh: 747.0ms (0.4% of total)
ival-log1p: 704.0ms (0.4% of total)
exact: 697.0ms (0.4% of total)
ival-atan2: 576.0ms (0.3% of total)
ival-acos: 555.0ms (0.3% of total)
ival-true: 463.0ms (0.2% of total)
ival-pi: 425.0ms (0.2% of total)
ival-sinh: 358.0ms (0.2% of total)
ival-expm1: 354.0ms (0.2% of total)
ival-if: 292.0ms (0.2% of total)
ival-fabs: 288.0ms (0.2% of total)
ival-atan: 260.0ms (0.1% of total)
ival-assert: 250.0ms (0.1% of total)
ival-cbrt: 229.0ms (0.1% of total)
ival-fmax: 168.0ms (0.1% of total)
ival-fmod: 115.0ms (0.1% of total)
ival-floor: 111.0ms (0.1% of total)
ival-log2: 78.0ms (0% of total)
ival-asinh: 67.0ms (0% of total)
ival-copysign: 67.0ms (0% of total)
ival-e: 47.0ms (0% of total)
ival-tanu: 37.0ms (0% of total)
ival-tanh: 30.0ms (0% of total)
ival->=: 19.0ms (0% of total)
ival->: 15.0ms (0% of total)
ival-acosh: 10.0ms (0% of total)
ival-<: 6.0ms (0% of total)
ival-nan: 0.0ms (0% of total)

eval4.0min (5.9%)

Memory
412.2MiB live, 296 741.8MiB allocated
Compiler

Compiled 93 065 903 to 4 480 880 computations (95.2% saved)

regimes3.3min (4.9%)

Memory
-1 392.3MiB live, 236 157.9MiB allocated
Counts
99 063 → 8 700
Calls

1 233 calls:

16.0s
x
10.0s
y
7.8s
z
7.0s
t
5.8s
a
Compiler

Compiled 123 571 to 120 129 computations (2.8% saved)

prune2.4min (3.6%)

Memory
-3 692.2MiB live, 165 372.0MiB allocated
Counts
1 081 400 → 37 550
Compiler

Compiled 4 290 733 to 1 688 656 computations (60.6% saved)

series2.3min (3.3%)

Memory
1 443.2MiB live, 157 733.7MiB allocated
Counts
28 549 → 168 237
Calls

16551 calls:

TimeVariablePointExpression
2.6s
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 (+ (/ (* (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 (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) (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) (* (/ 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 (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))
485.0ms
z
@0
((+ (* x -3) (* (* z 6) x)) (+ x (* (* (- y x) 6) (- (/ 2 3) z))) (+ (* (- y x) (+ (* -6 z) 4)) x) (* (* z 6) x) (+ x (* (* (- y x) 6) (- (/ 2 3) z))) (+ (* (- y x) 4) x) (* 4 y) (+ x (* (* (- y x) 6) (- (/ 2 3) z))) (+ (* (- y x) (+ (* -6 z) 4)) x) (* (+ (* z 6) -3) x) (+ (* z 6) -3) (+ x (* (* (- y x) 6) (- (/ 2 3) z))) (+ (* -3 x) (* 4 y)) (+ x (* (* (- y x) 6) (- (/ 2 3) z))) (* (* -6 (- y x)) z) (* -6 (- y x)) (- y x))
414.0ms
dY.v
@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)) (pow (pow (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))) 1/4) 2) (sqrt (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2)))) (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)))) (pow (* dX.u (floor w)) 2) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.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))))) (pow (fmax (+ (pow (* dX.u (floor w)) 2) (pow (* dX.v (floor h)) 2)) (+ (pow (* dY.u (floor w)) 2) (pow (* dY.v (floor h)) 2))) 1/4) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u)) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (sqrt (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 (* 1 dX.v) 2) (pow (floor h) 2)) (pow (* dX.u (floor w)) 2)) (sqrt (fmax (+ (* (pow (* 1 dX.v) 2) (pow (floor h) 2)) (pow (* dX.u (floor w)) 2)) (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (* dY.v (floor h)) dY.v) (floor h))))))
342.0ms
u
@inf
((+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))))) (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u))))))) (+ 1 (* v (- (log (- (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 3) (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 3))) (log (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u))))))))))) (* v (- (log (- (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 3) (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 3))) (log (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))))))))) (+ 1 (* v (log (/ (- (* u u) (pow (* (exp (/ -2 v)) (- 1 u)) 2)) (- u (* (exp (/ -2 v)) (- 1 u))))))) (- (exp (/ 2 v)) 1) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (- (* (* u v) (- (exp (/ 2 v)) 1)) 1) (* (* u v) (- (exp (/ 2 v)) 1)) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (+ u (* (- 1 u) (exp (/ -2 v)))) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ 1 (* v (log (+ u (* (- 1 u) (exp (/ -2 v))))))) (* v (log (+ u (* (- 1 u) (exp (/ -2 v)))))) (log (+ u (* (- 1 u) (exp (/ -2 v))))) (+ u (* (- 1 u) (exp (/ -2 v)))) (- (log (- (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 3) (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 3))) (log (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u))))))))) (log (+ (pow (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (+ (pow (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))) 2) (* (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (/ (pow (* (exp (/ -2 v)) (- 1 u)) 2) (- u (* (exp (/ -2 v)) (- 1 u)))))))) (/ (* u u) (- u (* (exp (/ -2 v)) (- 1 u)))) (exp (/ 2 v)) (exp (/ -2 v)) (/ (- 2 (/ 2 v)) v) (- (exp (/ -2 v)) 1))
320.0ms
h
@-inf
((- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v)) (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor h) 2) dY.v) dY.v) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (* (* (pow (floor h) 2) dY.v) dY.v)) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w))) (if (< (if (> (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w)))) (floor maxAniso)) (/ (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)))) (floor maxAniso)) (/ (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w))) (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)))))) 1) (fmax 1 (* (if (> (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w)))) (floor maxAniso)) (floor maxAniso) (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w))))) (if (> (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w)))) (floor maxAniso)) (/ (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)))) (floor maxAniso)) (/ (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w))) (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)))))))) (if (> (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w)))) (floor maxAniso)) (floor maxAniso) (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w)))))) (< (if (> (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w)))) (floor maxAniso)) (/ (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)))) (floor maxAniso)) (/ (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w))) (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)))))) 1) (if (> (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w)))) (floor maxAniso)) (/ (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)))) (floor maxAniso)) (/ (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w))) (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)))))) (/ (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)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (/ (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)))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))))) (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) (floor h)) (- (/ (* dY.v dX.u) dY.u) dX.v)) dY.u) (+ (* dY.u dX.v) (* (neg dY.v) dX.u)) (/ (fmax (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (* (* (pow (floor h) 2) dY.v) dY.v))) (fabs (* (+ (* dY.u dX.v) (* (neg dY.v) dX.u)) (* (floor w) (floor h))))) (/ (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))) (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w)))) (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)))) (/ (- (* (* (* dX.u (floor w)) dY.v) (floor h)) (* (* (* dX.v (floor h)) dY.u) (floor w))) (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))))) (pow (* dX.u (floor w)) 2) (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (/ (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (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)))))))

explain2.0min (2.9%)

Memory
-1 566.3MiB live, 134 196.9MiB allocated
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64#fcancellation918648
sqrt.f64#foflow-rescue54670
log.f64#fsensitivity36636
cos.f64#fsensitivity32823
+.f64#fcancellation3191116
/.f64#fo/n20370
sin.f64#fsensitivity20024
/.f64#fo/o17990
-.f64#fnan-rescue13700
log.f32#fsensitivity116771
*.f64#fn*o11450
/.f64#fn/o10180
/.f64#fu/u9890
sqrt.f64#fuflow-rescue9470
+.f64#fnan-rescue8180
/.f64#fu/n6980
acos.f64#fsensitivity5324
sqrt.f32#foflow-rescue5260
*.f64#fn*u4980
tan.f64#fsensitivity4231
pow.f64#fsensitivity40639
-.f32#fcancellation40230
/.f64#fn/u3440
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2260
cos.f32#fsensitivity2087
exp.f64#fsensitivity20822
cos.f64#foflow-rescue1980
tan.f32(tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))cancellation19413
*.f64#fu*o1700
*.f64#fo*u1560
pow.f64#foflow-rescue1500
asin.f64#fsensitivity1262
/.f32#fo/n1240
log.f64#foflow-rescue1080
cbrt.f64#foflow-rescue980
log.f64#fuflow-rescue650
pow.f64#fuflow-rescue570
cbrt.f64#fuflow-rescue370
exp.f32#fsensitivity2926
/.f32#fu/n270
sin.f64#foflow-rescue270
tan.f64(tan.f64 (/.f64 x (*.f64 y #s(literal 2 binary64))))oflow-rescue260
↳(/.f64 x (*.f64 y #s(literal 2 binary64)))overflow26
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-rescue140
↳(*.f32 sinTheta_O sinTheta_O)underflow268
↳(-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))))underflow14
↳(/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))underflow134
↳(*.f32 eta eta)underflow14
/.f32#fn/o100
/.f32#fo/o60
log.f32#foflow-rescue30
*.f32#fn*o20
Confusion
Predicted +Predicted -
+31453930
-6145100992
Precision
0.8365604553433693
Recall
0.9712812278047124
Confusion?
Predicted +Predicted MaybePredicted -
+31453239691
-6145389100603
Precision?
0.829069219902684
Recall?
0.9786616434548991
Freqs
test
numberfreq
0101922
131689
24820
3568
4314
5113
671
712
89
92
Total Confusion?
Predicted +Predicted MaybePredicted -
+34642
-152176
Precision?
0.9536784741144414
Recall?
0.9943181818181818
Samples
27.1s236 278×0valid
10.6s31 116×1valid
7.2s10 454×2valid
861.0ms1 074×3valid
38.0ms6×4valid
18.0ms100×1exit
6.0ms12×5exit
Compiler

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

Precisions
Click to see histograms. Total time spent on operations: 30.4s
ival-mult: 6.6s (21.8% of total)
ival-div: 3.1s (10.2% of total)
ival-add: 2.9s (9.6% of total)
ival-sub: 2.5s (8.2% of total)
ival-log: 2.1s (7% of total)
ival-sin: 2.1s (6.9% of total)
adjust: 1.9s (6.1% of total)
ival-cos: 1.5s (5.1% of total)
ival-sqrt: 1.1s (3.5% of total)
ival-tan: 1.0s (3.3% of total)
ival-exp: 950.0ms (3.1% of total)
const: 636.0ms (2.1% of total)
ival-pow2: 563.0ms (1.8% of total)
ival-pow: 531.0ms (1.7% of total)
ival-sinu: 401.0ms (1.3% of total)
ival-hypot: 390.0ms (1.3% of total)
ival-cosu: 326.0ms (1.1% of total)
ival-neg: 307.0ms (1% of total)
ival-true: 251.0ms (0.8% of total)
exact: 174.0ms (0.6% of total)
ival-assert: 124.0ms (0.4% of total)
ival-atan2: 111.0ms (0.4% of total)
ival-asin: 99.0ms (0.3% of total)
ival-log1p: 80.0ms (0.3% of total)
ival-acos: 76.0ms (0.2% of total)
ival-atan: 71.0ms (0.2% of total)
ival-pi: 70.0ms (0.2% of total)
ival-fabs: 70.0ms (0.2% of total)
ival-fmod: 56.0ms (0.2% of total)
ival-sinh: 49.0ms (0.2% of total)
ival-floor: 43.0ms (0.1% of total)
ival-cbrt: 38.0ms (0.1% of total)
ival-expm1: 26.0ms (0.1% of total)
ival-if: 22.0ms (0.1% of total)
ival-e: 18.0ms (0.1% of total)
ival-fmax: 16.0ms (0.1% of total)
ival-log2: 13.0ms (0% of total)
ival-copysign: 12.0ms (0% of total)
ival-tanu: 11.0ms (0% of total)
ival-cosh: 11.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
2 266.8MiB live, 116 880.4MiB allocated
Algorithm
545×egg-herbie
Stop Event
1 084×iter limit
658×saturated
438×node limit
Compiler

Compiled 830 380 to 150 406 computations (81.9% saved)

analyze1.3min (1.9%)

Memory
628.8MiB live, 91 683.4MiB allocated
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)

bsearch57.9s (1.4%)

Memory
792.0MiB live, 58 729.0MiB allocated
Algorithm
2 623×binary-search
1 850×left-value
Stop Event
2 547×narrow-enough
73×predicate-same
3×predicate-failed
Samples
26.7s185 419×0valid
6.2s13 315×1valid
1.3s8 499×0invalid
842.0ms1 772×2valid
141.0ms165×3valid
69.0ms196×1invalid
34.0ms2×5exit
22.0ms152×0exit
1.0ms2×2invalid
0.0ms1×4valid
Compiler

Compiled 1 704 358 to 1 113 168 computations (34.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 26.0s
ival-mult: 9.3s (35.8% of total)
ival-sub: 3.4s (12.9% of total)
ival-add: 2.3s (8.9% of total)
ival-div: 1.8s (6.9% of total)
ival-cos: 1.6s (6.3% of total)
ival-sin: 1.6s (6.2% of total)
ival-log: 814.0ms (3.1% of total)
adjust: 778.0ms (3% of total)
ival-pow: 648.0ms (2.5% of total)
ival-pow2: 528.0ms (2% of total)
const: 410.0ms (1.6% of total)
ival-sqrt: 364.0ms (1.4% of total)
ival-hypot: 281.0ms (1.1% of total)
ival-exp: 261.0ms (1% of total)
ival-cosu: 255.0ms (1% of total)
ival-sinu: 254.0ms (1% of total)
ival-tan: 232.0ms (0.9% of total)
ival-atan2: 183.0ms (0.7% of total)
ival-true: 159.0ms (0.6% of total)
ival-neg: 136.0ms (0.5% of total)
exact: 125.0ms (0.5% of total)
ival-assert: 88.0ms (0.3% of total)
ival-acos: 82.0ms (0.3% of total)
ival-atan: 74.0ms (0.3% of total)
ival-pi: 54.0ms (0.2% of total)
ival-fabs: 51.0ms (0.2% of total)
ival-e: 48.0ms (0.2% of total)
ival-cbrt: 26.0ms (0.1% of total)
ival-fmod: 26.0ms (0.1% of total)
ival-expm1: 25.0ms (0.1% of total)
ival-cosh: 19.0ms (0.1% of total)
ival-log1p: 15.0ms (0.1% of total)
ival-if: 9.0ms (0% of total)
ival-sinh: 7.0ms (0% of total)
ival->=: 6.0ms (0% of total)
ival-tanh: 6.0ms (0% of total)
ival-asin: 6.0ms (0% of total)

start24.0ms (0%)

Memory
39.8MiB live, 39.3MiB allocated

end3.0ms (0%)

Memory
8.2MiB live, 7.6MiB allocated

Profiling

Loading profile data...