Herbie run
| Date: | Friday, January 17th, 2025 |
|---|---|
| Commit: | 0ed7f8bc on no-localize |
| Seed: | 2025017 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
| Memory: | 463 756.1 MB |
Time bar (total: 6.5min)
| 1.0min | 262 144× | 0 | valid |
| 21.4s | 1 619× | 5 | exit |
| 5.3s | 8 065× | 1 | valid |
| 1.8s | 10 983× | 0 | invalid |
| 752.0ms | 2 238× | 2 | valid |
| 437.0ms | 725× | 1 | invalid |
| 0.0ms | 1× | 3 | valid |
ival-pow: 19.3s (24.1% of total)ival-mult: 11.2s (14% of total)const: 8.2s (10.3% of total)ival-<=: 6.4s (8% of total)ival-div: 6.1s (7.7% of total)ival-e: 4.8s (6% of total)ival-sub: 2.5s (3.1% of total)ival-add: 2.2s (2.8% of total)ival-log2: 1.9s (2.4% of total)ival-log: 1.6s (2% of total)ival-sqrt: 1.5s (1.9% of total)ival-exp: 1.4s (1.8% of total)ival-fabs: 1.4s (1.8% of total)ival-and: 1.2s (1.5% of total)ival-sin: 1.1s (1.3% of total)adjust: 1.0s (1.3% of total)ival-floor: 971.0ms (1.2% of total)ival-if: 921.0ms (1.2% of total)ival-cos: 729.0ms (0.9% of total)ival-sinu: 694.0ms (0.9% of total)ival-cosu: 675.0ms (0.8% of total)ival-log1p: 580.0ms (0.7% of total)ival-neg: 532.0ms (0.7% of total)exact: 469.0ms (0.6% of total)ival-pow2: 423.0ms (0.5% of total)ival-tan: 323.0ms (0.4% of total)ival-pi: 298.0ms (0.4% of total)ival-fmax: 289.0ms (0.4% of total)ival-<: 248.0ms (0.3% of total)ival-asin: 160.0ms (0.2% of total)ival->: 147.0ms (0.2% of total)ival-assert: 114.0ms (0.1% of total)ival-==: 94.0ms (0.1% of total)ival-sinh: 86.0ms (0.1% of total)ival-atan: 79.0ms (0.1% of total)ival->=: 45.0ms (0.1% of total)ival-true: 26.0ms (0% of total)Compiled 620 134 to 226 800 computations (63.4% saved)
Compiled 51 893 452 to 748 808 computations (98.6% saved)
| 165× | node limit |
| 132× | iter limit |
160 calls:
| 1.1s | (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))) |
| 1.1s | maxCos |
| 902.0ms | u1 |
| 899.0ms | (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) |
| 856.0ms | s |
Compiled 24 846 to 20 306 computations (18.3% saved)
1452 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 659.0ms | u1 | @ | 0 | ((pow (- (/ (/ u0 (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ 1 (* (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) alphax)) 2))) (- 1 u0)) -1) -1/2) (- (/ (/ u0 (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ 1 (* (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) alphax)) 2))) (- 1 u0)) -1) (/ (/ u0 (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ 1 (* (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) alphax)) 2))) (- 1 u0)) (/ u0 (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ 1 (* (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) alphax)) 2))) u0 (+ (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (pow (/ 1 (* (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) alphax)) 2)) (pow (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) 2) (/ (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) alphay) (sin (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)))) (atan (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax))) (* (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (/ alphay alphax)) (tan (+ (* 1/2 (PI)) (* u1 (* (PI) 2)))) (+ (* 1/2 (PI)) (* u1 (* (PI) 2))) 1/2 (PI) (* u1 (* (PI) 2)) u1 (* (PI) 2) 2 (/ alphay alphax) alphay alphax (pow (/ 1 (* (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) alphax)) 2) (/ 1 (* (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) alphax)) 1 (* (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) alphax) (sqrt (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1)) (+ (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) 1) (pow (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) 2) (* (/ alphay alphax) (tan (* (PI) (+ (* 2 u1) 1/2)))) (tan (* (PI) (+ (* 2 u1) 1/2))) (* (PI) (+ (* 2 u1) 1/2)) (+ (* 2 u1) 1/2) (- 1 u0) -1 -1/2 (/ 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))))) (+ (* (* (/ (* alphay alphay) (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax)))))))) (/ u0 (- 1 u0))) -1/2) 1) (* (/ (* alphay alphay) (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax)))))))) (/ u0 (- 1 u0))) (/ (* alphay alphay) (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax)))))))) (* alphay alphay) (- 1/2 (* 1/2 (cos (* 2 (atan (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax))))))) (* 1/2 (cos (* 2 (atan (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax)))))) (cos (* 2 (atan (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax))))) (* 2 (atan (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax)))) (atan (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax))) (* (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (/ alphay alphax)) (/ (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI))))) (sin (* (PI) (+ (* 2 u1) 1/2))) (cos (+ (* -2 (* u1 (PI))) (* -1/2 (PI)))) (+ (* -2 (* u1 (PI))) (* -1/2 (PI))) -2 (* u1 (PI)) (* -1/2 (PI)) (/ 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))))) (+ (* (* (/ (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2)) (/ u0 (- 1 u0))) -1/2) 1) (* (/ (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2)) (/ u0 (- 1 u0))) (/ (* (* alphay alphay) u0) (pow (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* 1/2 (PI)))) (cos (+ (* -2 (* (PI) u1)) (* -1/2 (PI)))))))) 2)) (* (* alphay alphay) u0) (pow (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* 1/2 (PI)))) (cos (+ (* -2 (* (PI) u1)) (* -1/2 (PI)))))))) 2) (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* 1/2 (PI)))) (cos (+ (* -2 (* (PI) u1)) (* -1/2 (PI)))))))) (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* 1/2 (PI)))) (cos (+ (* -2 (* (PI) u1)) (* -1/2 (PI))))))) (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* 1/2 (PI)))) (cos (+ (* -2 (* (PI) u1)) (* -1/2 (PI)))))) (/ (sin (+ (* (* (PI) u1) 2) (* 1/2 (PI)))) (cos (+ (* -2 (* (PI) u1)) (* -1/2 (PI))))) (sin (+ (* (* (PI) u1) 2) (* 1/2 (PI)))) (+ (* (* (PI) u1) 2) (* 1/2 (PI))) (* (PI) u1) (* 1/2 (PI)) (cos (+ (* -2 (* (PI) u1)) (* -1/2 (PI)))) (+ (* -2 (* (PI) u1)) (* -1/2 (PI))) (/ 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))))) (+ (* (* (/ (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2)) (/ u0 (- 1 u0))) -1/2) 1) (* (/ (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2)) (/ u0 (- 1 u0))) (/ (* alphay alphay) (pow (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2)) (pow (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2) (sin (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2)))))) (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2)))) (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (+ (* (* (PI) u1) 2) (* (PI) 1/2)) (* (PI) 1/2) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))) (+ (* -2 (* (PI) u1)) (* (PI) -1/2)) (* (PI) -1/2) (/ u0 (- 1 u0)) (* (+ (* (+ 1 u0) u0) 1) u0) (+ (* (+ 1 u0) u0) 1) (+ 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))) (+ (* (/ (* alphax alphax) (pow (cos (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2)) (/ u0 (- 1 u0))) 1) (/ (* alphax alphax) (pow (cos (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2)) (* alphax alphax) (pow (cos (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) 2) (cos (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))))) (atan (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2)))))) (* (/ alphay alphax) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))))) (/ (sin (+ (* (* (PI) u1) 2) (* (PI) 1/2))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2)))) (cos (+ (* -2 (* (PI) u1)) (* (PI) -1/2))) (+ (* -2 (* (PI) u1)) (* (PI) -1/2)) (* -2 (* (PI) u1))) |
| 402.0ms | u | @ | -inf | ((* (neg s) (log (- (/ 1 (/ (- (pow (- (exp (/ (PI) s)) -1) -2) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2)) (- (exp (neg (log (+ 1 (exp (/ (PI) s)))))) (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u)))) 1))) (neg s) s (log (- (/ 1 (/ (- (pow (- (exp (/ (PI) s)) -1) -2) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2)) (- (exp (neg (log (+ 1 (exp (/ (PI) s)))))) (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u)))) 1)) (- (/ 1 (/ (- (pow (- (exp (/ (PI) s)) -1) -2) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2)) (- (exp (neg (log (+ 1 (exp (/ (PI) s)))))) (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u)))) 1) (/ 1 (/ (- (pow (- (exp (/ (PI) s)) -1) -2) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2)) (- (exp (neg (log (+ 1 (exp (/ (PI) s)))))) (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u)))) 1 (/ (- (pow (- (exp (/ (PI) s)) -1) -2) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2)) (- (exp (neg (log (+ 1 (exp (/ (PI) s)))))) (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u))) (- (pow (- (exp (/ (PI) s)) -1) -2) (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2)) (pow (- (exp (/ (PI) s)) -1) -2) (- (exp (/ (PI) s)) -1) (exp (/ (PI) s)) (/ (PI) s) (PI) -1 -2 (pow (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) 2) (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (neg (log (+ 1 (exp (/ (neg (PI)) s))))) (log (+ 1 (exp (/ (neg (PI)) s)))) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (exp (neg (log (+ 1 (exp (/ (PI) s)))))) (neg (log (+ 1 (exp (/ (PI) s))))) (log (+ 1 (exp (/ (PI) s)))) u 2 (- (exp (neg (log (+ 1 (exp (/ (PI) s)))))) (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u)) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ (* (PI) 1/2) s) (* (PI) 1/2) 1/2 (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (+ 1 (exp (/ (neg (PI)) s))) (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (+ (* (/ (+ (* (/ (* (PI) (PI)) s) -1/2) (neg (PI))) s) -1) 2) (/ (+ (* (/ (* (PI) (PI)) s) -1/2) (neg (PI))) s) (+ (* (/ (* (PI) (PI)) s) -1/2) (neg (PI))) (/ (* (PI) (PI)) s) (* (PI) (PI)) -1/2 (neg (log (pow (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1) s))) (log (pow (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1) s)) (pow (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1) s) (- (exp (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))))) 1) (neg (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s))))))))) (log (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (+ (* (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) u) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) |
| 335.0ms | ux | @ | inf | ((+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+ (* (* (* zi (- 1 ux)) ux) maxCos) (+ (* (cos (* (* (PI) uy) 2)) xi) (* (sin (* (* (PI) uy) 2)) yi))) (* (* zi (- 1 ux)) ux) (* zi (- 1 ux)) zi (- 1 ux) 1 ux maxCos (+ (* (cos (* (* (PI) uy) 2)) xi) (* (sin (* (* (PI) uy) 2)) yi)) (cos (* (* (PI) uy) 2)) (* (* (PI) uy) 2) (* (PI) uy) (PI) uy 2 xi (* (sin (* (* (PI) uy) 2)) yi) (sin (* (* (PI) uy) 2)) yi (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+ (* (sqrt (- 1 (* (* (pow (- 1 ux) 2) (* ux ux)) (* maxCos maxCos)))) xi) (* (* (* (- 1 ux) zi) ux) maxCos)) (+ xi (* maxCos (* ux zi))) (* (* zi ux) maxCos) (* zi ux) (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+ (* (sqrt (- 1 (* (* (pow (- 1 ux) 2) (* ux ux)) (* maxCos maxCos)))) xi) (* (* (* (- 1 ux) zi) ux) maxCos)) (+ xi (* ux (+ (* maxCos zi) (* ux (+ (* (neg maxCos) zi) (* (* -1/2 (* maxCos maxCos)) xi)))))) (* ux (+ (* maxCos zi) (* ux (+ (* (neg maxCos) zi) (* (* -1/2 (* maxCos maxCos)) xi))))) (+ (* maxCos zi) (* ux (+ (* (neg maxCos) zi) (* (* -1/2 (* maxCos maxCos)) xi)))) (* ux (+ (* (neg maxCos) zi) (* (* -1/2 (* maxCos maxCos)) xi))) (+ (* (neg maxCos) zi) (* (* -1/2 (* maxCos maxCos)) xi)) (neg maxCos) (* (* -1/2 (* maxCos maxCos)) xi) (* -1/2 (* maxCos maxCos)) -1/2 (* maxCos maxCos) (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (* (- 1 ux) maxCos) ux) zi)) (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (sqrt (- 1 (* (* (pow (- 1 ux) 2) (* ux ux)) (* maxCos maxCos)))) (+ (* 2 (* (* (PI) yi) uy)) xi)) (sqrt (- 1 (* (* (pow (- 1 ux) 2) (* ux ux)) (* maxCos maxCos)))) (- 1 (* (* (pow (- 1 ux) 2) (* ux ux)) (* maxCos maxCos))) (* (* (pow (- 1 ux) 2) (* ux ux)) (* maxCos maxCos)) (* (pow (- 1 ux) 2) (* ux ux)) (pow (- 1 ux) 2) (* ux ux) (+ (* 2 (* (* (PI) yi) uy)) xi) (* (* (PI) yi) uy) (* (PI) yi) (* (* (* (- 1 ux) maxCos) ux) zi) (* (* (- 1 ux) maxCos) ux) (* (- 1 ux) maxCos) (+ (+ (* (* (cos (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) xi) (* (* (sin (* (* uy 2) (PI))) (sqrt (- 1 (* (* (* (- 1 ux) maxCos) ux) (* (* (- 1 ux) maxCos) ux))))) yi)) (* (* (- 1 ux) (* maxCos ux)) zi)) (+ (* (* maxCos ux) zi) (+ (* xi (cos (* 2 (* uy (PI))))) (* yi (sin (* 2 (* uy (PI))))))) (* (+ (/ (+ (* (sin (* (* (PI) uy) 2)) yi) (* (* zi ux) maxCos)) xi) (cos (* (* (PI) uy) 2))) xi) (+ (/ (+ (* (sin (* (* (PI) uy) 2)) yi) (* (* zi ux) maxCos)) xi) (cos (* (* (PI) uy) 2))) (/ (+ (* (sin (* (* (PI) uy) 2)) yi) (* (* zi ux) maxCos)) xi) (+ (* (sin (* (* (PI) uy) 2)) yi) (* (* zi ux) maxCos))) |
| 278.0ms | h | @ | -inf | ((log2 (if (> (/ (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))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (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)))))))) (if (> (/ (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))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (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))))))) (if (> (/ (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (+ (* dY.u dX.v) (* (neg dY.v) dX.u)))) (fabs (* (floor h) (floor w)))) (floor maxAniso)) (/ (sqrt (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)))) (floor maxAniso)) (* (fabs (+ (* dY.v dX.u) (* (neg dX.v) dY.u))) (/ (fabs (* (floor w) (floor h))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))))) (> (/ (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (+ (* dY.u dX.v) (* (neg dY.v) dX.u)))) (fabs (* (floor h) (floor w)))) (floor maxAniso)) (/ (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (+ (* dY.u dX.v) (* (neg dY.v) dX.u)))) (fabs (* (floor h) (floor w)))) (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (+ (* dY.u dX.v) (* (neg dY.v) dX.u)))) (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (floor h) h dX.v 2 (pow (* (floor w) dX.u) 2) (* (floor w) dX.u) (floor w) w dX.u (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor h) dY.v) 2) (* (floor h) dY.v) dY.v (pow (* (floor w) dY.u) 2) (* (floor w) dY.u) dY.u (fabs (+ (* dY.u dX.v) (* (neg dY.v) dX.u))) (+ (* dY.u dX.v) (* (neg dY.v) dX.u)) (* (neg dY.v) dX.u) (neg dY.v) (fabs (* (floor h) (floor w))) (* (floor h) (floor w)) (floor maxAniso) maxAniso (/ (sqrt (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)))) (floor maxAniso)) (sqrt (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)))) (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))) (+ (* (* (pow (floor w) 2) dX.u) dX.u) (* (* (pow (floor h) 2) dX.v) dX.v)) (* (pow (floor w) 2) dX.u) (pow (floor w) 2) (* (* (pow (floor h) 2) dX.v) dX.v) (* (pow (floor h) 2) dX.v) (pow (floor h) 2) (+ (* (* (pow (floor w) 2) dY.u) dY.u) (* (* (pow (floor h) 2) dY.v) dY.v)) (* (pow (floor w) 2) dY.u) (* (* (pow (floor h) 2) dY.v) dY.v) (* (pow (floor h) 2) dY.v) (* (fabs (+ (* dY.v dX.u) (* (neg dX.v) dY.u))) (/ (fabs (* (floor w) (floor h))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))))) (fabs (+ (* dY.v dX.u) (* (neg dX.v) dY.u))) (+ (* dY.v dX.u) (* (neg dX.v) dY.u)) (* (neg dX.v) dY.u) (neg dX.v) (/ (fabs (* (floor w) (floor h))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (fabs (* (floor w) (floor h))) (* (floor w) (floor h)) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (log2 (if (> (/ (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))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (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)))))))) (if (> (/ (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))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (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))))))) (if (> (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (* (+ (* dY.v dX.u) (* (neg dX.v) dY.u)) (* (floor w) (floor h))))) (floor maxAniso)) (/ (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (/ (fabs (* (+ (* dY.v dX.u) (* (neg dX.v) dY.u)) (* (floor w) (floor h)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))))) (> (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (* (+ (* dY.v dX.u) (* (neg dX.v) dY.u)) (* (floor w) (floor h))))) (floor maxAniso)) (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (* (+ (* dY.v dX.u) (* (neg dX.v) dY.u)) (* (floor w) (floor h))))) (fabs (* (+ (* dY.v dX.u) (* (neg dX.v) dY.u)) (* (floor w) (floor h)))) (* (+ (* dY.v dX.u) (* (neg dX.v) dY.u)) (* (floor w) (floor h))) (/ (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) (floor maxAniso)) (/ (fabs (* (+ (* dY.v dX.u) (* (neg dX.v) dY.u)) (* (floor w) (floor h)))) (sqrt (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))))) (log2 (if (> (/ (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))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* dY.u (floor w)) (* (neg dY.u) (floor w))) (* (neg (pow (floor h) 2)) (* dY.v dY.v))))) (floor maxAniso)) (/ (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)))))))) (if (> (/ (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))))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (+ (* (* dY.u (floor w)) (* (neg dY.u) (floor w))) (* (neg (pow (floor h) 2)) (* dY.v dY.v))))) (floor maxAniso)) (/ (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))))))) (if (> (/ (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))) (fabs (* (* (- (* dY.u dX.v) (* dY.v dX.u)) (floor w)) (floor h)))) (floor maxAniso)) (/ (sqrt (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (neg (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))))) (floor maxAniso)) (* (fabs (* (* (- (* dY.u dX.v) (* dY.v dX.u)) (floor w)) (floor h))) (sqrt (/ 1 (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))))))) (> (/ (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))) (fabs (* (* (- (* dY.u dX.v) (* dY.v dX.u)) (floor w)) (floor h)))) (floor maxAniso)) (/ (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))) (fabs (* (* (- (* dY.u dX.v) (* dY.v dX.u)) (floor w)) (floor h)))) (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))) (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (* (* (pow (floor w) 2) dX.u) dX.u) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u)) (* (* (pow (floor w) 2) dY.u) dY.u) (fabs (* (* (- (* dY.u dX.v) (* dY.v dX.u)) (floor w)) (floor h))) (* (* (- (* dY.u dX.v) (* dY.v dX.u)) (floor w)) (floor h)) (* (- (* dY.u dX.v) (* dY.v dX.u)) (floor w)) (- (* dY.u dX.v) (* dY.v dX.u)) (* dY.u dX.v) (* dY.v dX.u) (/ (sqrt (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (neg (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))))) (floor maxAniso)) (sqrt (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (neg (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))))) (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (neg (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u)))) (neg (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))) (* (fabs (* (* (- (* dY.u dX.v) (* dY.v dX.u)) (floor w)) (floor h))) (sqrt (/ 1 (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u)))))) (sqrt (/ 1 (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u))))) (/ 1 (fmax (+ (* (* (pow (floor h) 2) dX.v) dX.v) (* (* (pow (floor w) 2) dX.u) dX.u)) (+ (* (* (pow (floor h) 2) dY.v) dY.v) (* (* (pow (floor w) 2) dY.u) dY.u)))) 1 (log2 (if (> (/ (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))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (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)))))))) (if (> (/ (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))))) (floor maxAniso)) (/ (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 maxAniso)) (/ (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))))))) (if (> (/ (/ (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2))) (fabs (+ (* dY.u dX.v) (* (neg dY.v) dX.u)))) (fabs (* (floor h) (floor w)))) (floor maxAniso)) (/ (exp (* (log (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) 1/2)) (floor maxAniso)) (* (sqrt (/ 1 (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 h) (floor w)))))) (/ (exp (* (log (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) 1/2)) (floor maxAniso)) (exp (* (log (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) 1/2)) (* (log (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) 1/2) (log (fmax (+ (pow (* (floor h) dX.v) 2) (pow (* (floor w) dX.u) 2)) (+ (pow (* (floor h) dY.v) 2) (pow (* (floor w) dY.u) 2)))) 1/2 (* (sqrt (/ 1 (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 h) (floor w))))) (sqrt (/ 1 (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))))) (/ 1 (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 h) (floor w)))) (* (+ (* dY.u dX.v) (* (neg dY.v) dX.u)) (* (floor h) (floor w))) (log2 (if (> (/ (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))))) (floor maxAniso)) (/ (pow (exp (log (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) (floor maxAniso)) (/ (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)))))))) (if (> (/ (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))))) (floor maxAniso)) (/ (pow (exp (log (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) (floor maxAniso)) (/ (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))))))) (> (/ (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))))) (floor maxAniso)) (/ (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)))) (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (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) 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)))) (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (* (* (neg dX.v) dY.u) (* (floor h) (floor w))) (/ (pow (exp (log (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) (floor maxAniso)) (pow (exp (log (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) (exp (log (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))))) (log (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 (- (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.v (floor h)) 2) (pow (* dX.u (floor w)) 2)) (* (* (neg dX.u) dX.u) (pow (floor w) 2)) (* (neg dX.u) dX.u) (neg dX.u) (- (pow (* dY.v (floor h)) 2) (pow (* dY.u (floor w)) 2)) (pow (* dY.v (floor h)) 2) (* dY.v (floor h)) (pow (* dY.u (floor w)) 2) (* dY.u (floor w)) (/ (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)))))) (fabs (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u)))) (- (* (* (floor w) dX.u) (* (floor h) dY.v)) (* (* (floor h) dX.v) (* (floor w) dY.u))) (* (* (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)))))) |
| 272.0ms | s | @ | 0 | ((* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (neg s) s (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))) (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (+ (exp (/ (neg (PI)) s)) 1) (exp (/ (neg (PI)) s)) (/ (neg (PI)) s) (neg (PI)) (PI) (/ 1 (+ (exp (/ (PI) s)) 1)) (+ (exp (/ (PI) s)) 1) (exp (/ (PI) s)) (/ (PI) s) u (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (* (neg s) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1))) (log (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1)) (- (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) 1) (/ 1 (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (+ (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (* u (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (- (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (/ 1 (+ 1 (exp (/ (PI) s))))) (/ 1 (+ 1 (exp (/ (neg (PI)) s)))) (+ 1 (exp (/ (neg (PI)) s))) (+ 2 (/ (neg (PI)) s)) 2 (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (+ (* (/ (+ (* (/ (* (PI) (PI)) s) -1/2) (neg (PI))) s) -1) 2) (/ (+ (* (/ (* (PI) (PI)) s) -1/2) (neg (PI))) s) (+ (* (/ (* (PI) (PI)) s) -1/2) (neg (PI))) (/ (* (PI) (PI)) s) (* (PI) (PI)) -1/2 -1 (* (neg s) (log (- (exp (* (log (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) -1)) 1))) (log (- (exp (* (log (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) -1)) 1)) (- (exp (* (log (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) -1)) 1) (* (log (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) -1) (log (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s)))))) (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s))))) (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s))))))) (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (neg (log (+ 1 (exp (/ (neg (PI)) s))))) (log (+ 1 (exp (/ (neg (PI)) s)))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))) (neg (log (+ 1 (exp (/ (PI) s))))) (log (+ 1 (exp (/ (PI) s)))) (/ 1 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (+ (* (/ (+ (* -1/2 (* (/ (PI) s) (PI))) (neg (PI))) s) -1) 2) (/ (+ (* -1/2 (* (/ (PI) s) (PI))) (neg (PI))) s) (+ (* -1/2 (* (/ (PI) s) (PI))) (neg (PI))) (* (/ (PI) s) (PI)) (* (neg s) (- (log (- (pow (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) 1)) (log (+ 1 (/ 1 (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s)))))))))) (- (log (- (pow (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) 1)) (log (+ 1 (/ 1 (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s))))))))) (log (- (pow (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) 1)) (- (pow (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) 1) (pow (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s))))) -2) -2 (log (+ 1 (/ 1 (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ (* u (- (exp (neg (log (+ 1 (exp (/ (neg (PI)) s)))))) (exp (neg (log (+ 1 (exp (/ (PI) s)))))))) (/ 1 (+ 1 (exp (/ (PI) s))))))) |
| 33× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 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 |
Compiled 2 648 to 1 114 computations (57.9% saved)
| 394× | iter limit |
| 111× | node limit |
| 21× | unsound |
| 33× | fuel |
Compiled 25 344 to 4 089 computations (83.9% saved)
| 66× | iter limit |
| 65× | node limit |
| 1× | saturated |
Compiled 67 258 to 15 655 computations (76.7% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
log.f32 | #f | sensitivity | 1010 | 72 |
-.f32 | #f | cancellation | 426 | 18 |
sqrt.f32 | #f | oflow-rescue | 343 | 0 |
sqrt.f64 | #f | oflow-rescue | 312 | 0 |
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))) | sensitivity | 201 | 2 |
cos.f32 | #f | sensitivity | 199 | 15 |
tan.f32 | (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) | cancellation | 183 | 16 |
-.f64 | #f | cancellation | 160 | 0 |
/.f32 | #f | o/n | 136 | 0 |
exp.f32 | #f | sensitivity | 25 | 19 |
/.f32 | #f | u/n | 21 | 0 |
*.f64 | (*.f64 c (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)))) | n*u | 21 | 0 |
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-rescue | 15 | 0 |
| ↳ | (*.f32 sinTheta_O sinTheta_O) | underflow | 278 | |
| ↳ | (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))) | underflow | 15 | |
| ↳ | (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))) | underflow | 139 | |
| ↳ | (*.f32 eta eta) | underflow | 15 | |
/.f32 | (/.f32 (neg.f32 (log.f32 (-.f32 #s(literal 1 binary32) u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))) | n/o | 11 | 0 |
| ↳ | (/.f32 sin2phi (*.f32 alphay alphay)) | overflow | 15 | |
| ↳ | (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))) | overflow | 15 | |
/.f32 | #f | o/o | 10 | 0 |
sqrt.f64 | #f | uflow-rescue | 6 | 0 |
*.f32 | (*.f32 (sin.f32 (*.f32 u normAngle)) (/.f32 #s(literal 1 binary32) (sin.f32 normAngle))) | n*u | 3 | 0 |
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))) | oflow-rescue | 1 | 0 |
| ↳ | (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y) | overflow | 1 | |
| ↳ | (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)) | overflow | 1 | |
| ↳ | (pow.f64 (E.f64) x) | overflow | 1 | |
| ↳ | (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) | overflow | 1 | |
+.f32 | (+.f32 #s(literal 1 binary32) (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) #s(literal 1 binary32)) cosTheta) cosTheta)) | cancellation | 1 | 0 |
*.f32 | (*.f32 (/.f32 #s(literal 1 binary32) (sqrt.f32 (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (-.f32 #s(literal 1 binary32) cosTheta) cosTheta)) cosTheta)) | n*o | 1 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 2230 | 55 |
| - | 426 | 5737 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 2230 | 33 | 22 |
| - | 426 | 90 | 5647 |
| number | freq |
|---|---|
| 0 | 5792 |
| 1 | 2238 |
| 2 | 407 |
| 3 | 11 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 25 | 2 | 0 |
| - | 4 | 1 | 1 |
| 2.4s | 16 122× | 0 | valid |
| 268.0ms | 628× | 1 | valid |
| 58.0ms | 146× | 2 | valid |
Compiled 16 934 to 1 875 computations (88.9% saved)
ival-mult: 603.0ms (31.3% of total)ival-div: 242.0ms (12.6% of total)ival-add: 122.0ms (6.3% of total)ival-pow: 95.0ms (4.9% of total)ival-sub: 91.0ms (4.7% of total)ival-sqrt: 87.0ms (4.5% of total)ival-log: 79.0ms (4.1% of total)ival-exp: 73.0ms (3.8% of total)adjust: 60.0ms (3.1% of total)ival-sinu: 46.0ms (2.4% of total)ival-floor: 43.0ms (2.2% of total)ival-sin: 42.0ms (2.2% of total)ival-cos: 31.0ms (1.6% of total)ival-pow2: 29.0ms (1.5% of total)const: 26.0ms (1.4% of total)ival-neg: 25.0ms (1.3% of total)ival-asin: 24.0ms (1.2% of total)ival-cosu: 23.0ms (1.2% of total)ival-pi: 22.0ms (1.1% of total)ival-e: 21.0ms (1.1% of total)ival-tan: 20.0ms (1% of total)ival-fmax: 18.0ms (0.9% of total)ival-fabs: 18.0ms (0.9% of total)ival-true: 15.0ms (0.8% of total)exact: 15.0ms (0.8% of total)ival-log2: 12.0ms (0.6% of total)ival-if: 12.0ms (0.6% of total)ival-assert: 8.0ms (0.4% of total)ival-log1p: 7.0ms (0.4% of total)ival-atan: 6.0ms (0.3% of total)ival-sinh: 5.0ms (0.3% of total)ival->: 3.0ms (0.2% of total)ival->=: 3.0ms (0.2% of total)ival-<: 1.0ms (0.1% of total)| 78× | binary-search |
| 31× | left-value |
| 77× | narrow-enough |
| 1× | predicate-same |
| 666.0ms | 1 261× | 1 | valid |
| 103.0ms | 1 030× | 0 | valid |
| 61.0ms | 189× | 2 | valid |
| 46.0ms | 64× | 1 | invalid |
| 22.0ms | 265× | 0 | invalid |
Compiled 20 482 to 15 374 computations (24.9% saved)
ival-pow: 392.0ms (49.4% of total)ival-e: 65.0ms (8.2% of total)ival-log1p: 61.0ms (7.7% of total)adjust: 59.0ms (7.4% of total)ival-sub: 58.0ms (7.3% of total)ival-mult: 54.0ms (6.8% of total)ival-pow2: 32.0ms (4% of total)ival-add: 30.0ms (3.8% of total)ival-fabs: 15.0ms (1.9% of total)ival-sqrt: 13.0ms (1.6% of total)ival-div: 9.0ms (1.1% of total)exact: 3.0ms (0.4% of total)ival-true: 2.0ms (0.3% of total)ival-assert: 1.0ms (0.1% of total)Loading profile data...