Herbie run
| Date: | Tuesday, February 25th, 2025 |
|---|---|
| Commit: | 8cf87e1a on fix-pi |
| Seed: | 2025056 |
| Parameters: | 256 points for 4 iterations |
| Flags: | reduce:regimesreduce:binary-searchreduce:branch-expressionsreduce:simplifysetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
| Memory: | 436 373.4 MB |
Time bar (total: 6.4min)
Compiled 517 089 to 204 371 computations (60.5% saved)
| 42.2s | 262 089× | 0 | valid |
| 17.6s | 1 593× | 5 | exit |
| 3.3s | 8 048× | 1 | valid |
| 1.4s | 11 290× | 0 | invalid |
| 703.0ms | 2 311× | 2 | valid |
| 322.0ms | 683× | 1 | invalid |
ival-pow: 15.8s (29.1% of total)ival-mult: 10.4s (19.2% of total)ival-div: 4.1s (7.6% of total)ival-e: 2.7s (5% of total)ival-add: 2.2s (4.1% of total)ival-sub: 2.1s (3.9% of total)ival-log: 1.9s (3.6% of total)const: 1.8s (3.3% of total)ival-sin: 1.7s (3.1% of total)ival-sqrt: 1.7s (3.1% of total)ival-fabs: 1.1s (1.9% of total)adjust: 965.0ms (1.8% of total)ival-exp: 706.0ms (1.3% of total)ival-floor: 673.0ms (1.2% of total)ival-fmax: 671.0ms (1.2% of total)ival-cosu: 591.0ms (1.1% of total)ival-sinu: 555.0ms (1% of total)ival-neg: 514.0ms (0.9% of total)ival-log1p: 497.0ms (0.9% of total)ival-cos: 479.0ms (0.9% of total)ival-<=: 449.0ms (0.8% of total)ival-pow2: 442.0ms (0.8% of total)ival-and: 345.0ms (0.6% of total)exact: 330.0ms (0.6% of total)ival-tan: 290.0ms (0.5% of total)ival-if: 278.0ms (0.5% of total)ival-log2: 225.0ms (0.4% of total)ival-pi: 211.0ms (0.4% of total)ival-asin: 167.0ms (0.3% of total)ival-assert: 87.0ms (0.2% of total)ival-atan: 85.0ms (0.2% of total)ival-sinh: 82.0ms (0.2% of total)ival->=: 45.0ms (0.1% of total)ival->: 44.0ms (0.1% of total)ival-<: 29.0ms (0.1% of total)ival-==: 4.0ms (0% of total)Compiled 40 004 735 to 563 629 computations (98.6% saved)
| 299× | iter limit |
| 132× | node limit |
159 calls:
| 765.0ms | (-.f32 #s(literal 1 binary32) u1) |
| 644.0ms | s |
| 608.0ms | u1 |
| 605.0ms | maxCos |
| 553.0ms | uy |
Compiled 24 294 to 19 813 computations (18.4% saved)
1452 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 520.0ms | s | @ | -inf | ((+ (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r))) (/ (* 1/4 (exp (/ (neg r) s))) (* (* (* 2 (PI)) s) r)) (* 1/4 (exp (/ (neg r) s))) 1/4 (exp (/ (neg r) s)) (/ (neg r) s) (neg r) r s (* (* (* 2 (PI)) s) r) (* (* 2 (PI)) s) (* 2 (PI)) 2 (PI) (/ (* 3/4 (exp (/ (neg r) (* 3 s)))) (* (* (* 6 (PI)) s) r)) (* 3/4 (exp (/ (neg r) (* 3 s)))) 3/4 (exp (/ (neg r) (* 3 s))) (/ (neg r) (* 3 s)) (* 3 s) 3 (* (* (* 6 (PI)) s) r) (* (* 6 (PI)) s) (* 6 (PI)) 6) |
| 195.0ms | u1 | @ | inf | ((exp (neg (* (log (+ 1 (* (/ 1 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (/ u0 (- 1 u0))))) 1/2))) (neg (* (log (+ 1 (* (/ 1 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (/ u0 (- 1 u0))))) 1/2)) (* (log (+ 1 (* (/ 1 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (/ u0 (- 1 u0))))) 1/2) (log (+ 1 (* (/ 1 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (/ u0 (- 1 u0))))) (* (/ 1 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) (/ u0 (- 1 u0))) (/ 1 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)))) 1 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax))) (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax))) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (+ (* (* (PI) 2) u1) (* (PI) 1/2)) (* (PI) 2) (PI) 2 u1 (* (PI) 1/2) 1/2 (/ alphay alphax) alphay alphax (* alphay alphay) (/ (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (* alphax alphax)) (pow (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) 2) (/ 1 (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))))) (sqrt (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax))))) (+ 1 (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) (* (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax))) (* alphax alphax) (/ u0 (- 1 u0)) 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))))) (+ (* (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphax alphax)))) -1/2) 1) (/ u0 (+ (/ (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphay alphay)) (/ (pow (cos (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (* alphax alphax)))) (/ (* (* alphax alphax) u0) (pow (/ 1 (sqrt (+ 1 (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2)) (* (* alphax alphax) u0) (pow (/ 1 (sqrt (+ 1 (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) 2) (/ 1 (sqrt (+ 1 (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))))) (sqrt (+ 1 (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))))) (+ 1 (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) (* (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))) (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))) (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))) (* 2 (* u1 (PI))) (* u1 (PI)) -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) u0) (* (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (- 1 u0))) -1/2) 1) (/ (* (* alphay alphay) u0) (* (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (- 1 u0))) (* (* alphay alphay) u0) (* (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 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 (+ (/ (* (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 (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1) (/ (* alphay alphay) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (pow (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2) (sin (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) (atan (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax))) (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)) (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (+ (* (* (PI) 2) u1) (* (PI) 1/2)) (* 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))))) (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 (* (tan (+ (* (* (PI) 2) u1) (* (PI) 1/2))) (/ alphay alphax)))) 2)) (/ u0 (- 1 u0))) 1/2) 1) (* (* alphay alphay) (+ (* 1/2 (/ u0 (* (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (- 1 u0)))) (pow alphay -2))) (+ (* 1/2 (/ u0 (* (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (- 1 u0)))) (pow alphay -2)) (/ u0 (* (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (- 1 u0))) (* (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (- 1 u0)) (pow (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) 2) (sin (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI)))))))) (atan (* (/ alphay alphax) (tan (+ (* 1/2 (PI)) (* 2 (* u1 (PI))))))) (pow alphay -2) -2) |
| 170.0ms | s | @ | 0 | ((* (neg s) (log (- (/ 1 (/ (- (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1)))) (- (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1))) (neg s) s (log (- (/ 1 (/ (- (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1)))) (- (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1)) (- (/ 1 (/ (- (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1)))) (- (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1) (/ 1 (/ (- (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1)))) (- (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1))))) 1 (/ (- (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1)))) (- (* (- (/ 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))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1)))) (* (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u)) (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (- (/ 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 (* (/ 1 (+ (exp (/ (PI) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) (- (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 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))) (* (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) (+ (* (/ (+ (* (* (PI) 1/2) u) (* -1/4 (PI))) s) -4) 1) (/ (+ (* (* (PI) 1/2) u) (* -1/4 (PI))) s) (+ (* (* (PI) 1/2) u) (* -1/4 (PI))) (* (PI) 1/2) 1/2 (* -1/4 (PI)) -1/4 -4 (* (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 (+ 1 (exp (/ (PI) s)))) (+ 1 (exp (/ (PI) s))) (neg (log (pow (- (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) s))) (log (pow (- (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) s)) (pow (- (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) s) (- (/ 1 (+ (* (- (/ 1 (+ (exp (/ (neg (PI)) s)) 1)) (/ 1 (+ (exp (/ (PI) s)) 1))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) 1) (/ 1 (+ (* (- (/ 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))) u) (/ 1 (+ (exp (/ (PI) s)) 1)))) |
| 143.0ms | y | @ | 0 | ((* (log (+ 1 (* (- (exp (* x 1)) 1) y))) c) (log (+ 1 (* (- (exp (* x 1)) 1) y))) (* (- (exp (* x 1)) 1) y) (- (exp (* x 1)) 1) (* x 1) x y c (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (* c x) y) (* c x) (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (* (+ (* (* (* (- y (* y y)) x) c) 1/2) (* c y)) x) (+ (* (* (* (- y (* y y)) x) c) 1/2) (* c y)) (* (* (- y (* y y)) x) c) (* (- y (* y y)) x) (- y (* y y)) (* y y) 1/2 (* c y) (* (log (+ 1 (* (- (pow (E) x) 1) y))) c) (log (+ 1 (* (- (pow (E) x) 1) y))) (* (- (pow (E) x) 1) y) (- (pow (E) x) 1) (pow (E) x) (+ (* (+ (* 1/2 x) 1) x) 1) (+ (* 1/2 x) 1) 1 (* c (log (+ 1 (* (- (pow (E) x) 1) y)))) (+ (* (log (* (- (exp (* x 1)) 1) y)) c) (/ (/ c y) (- (exp (* x 1)) 1))) (/ (+ (* (+ (* (log (* y x)) c) (* -1/2 (/ c y))) x) (/ c y)) x) (+ (* (+ (* (log (* y x)) c) (* -1/2 (/ c y))) x) (/ c y)) (+ (* (log (* y x)) c) (* -1/2 (/ c y))) (log (* y x)) (* y x) (* -1/2 (/ c y)) -1/2 (/ c y)) |
| 120.0ms | d | @ | -inf | ((log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* (floor d) dY.w) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor h) dY.v) 2))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* (floor d) dY.w) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor h) dY.v) 2)))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (pow (* (floor d) dY.w) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor h) dY.v) 2))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (pow (* (floor h) dX.v) 2) (exp (+ (* (log (floor w)) 2) (* (log dX.u) 2)))) (pow (* (floor h) dX.v) 2) (* (floor h) dX.v) (floor h) h dX.v 2 (exp (+ (* (log (floor w)) 2) (* (log dX.u) 2))) (+ (* (log (floor w)) 2) (* (log dX.u) 2)) (log (floor w)) (floor w) w (* (log dX.u) 2) (log dX.u) dX.u (+ (+ (pow (* (floor d) dY.w) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor h) dY.v) 2)) (+ (pow (* (floor d) dY.w) 2) (pow (* (floor w) dY.u) 2)) (pow (* (floor d) dY.w) 2) (* (floor d) dY.w) (floor d) d dY.w (pow (* (floor w) dY.u) 2) (* (floor w) dY.u) dY.u (pow (* (floor h) dY.v) 2) (* (floor h) dY.v) dY.v (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (* (pow (floor h) 2) (* dX.v dX.v)) (pow (floor h) 2) (* dX.v dX.v) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (pow (* (floor d) dX.w) 2) (pow (* (floor h) dX.v) 2)) (pow (* (floor d) dX.w) 2) (* (floor d) dX.w) dX.w (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (pow (floor d) 2) dY.w) dY.w))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (pow (floor d) 2) dY.w) dY.w)))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (pow (floor d) 2) dY.w) dY.w))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (pow (* (floor w) dX.u) 2) (* (floor w) dX.u) (+ (+ (* (* (floor w) dY.u) (* (floor w) dY.u)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (pow (floor d) 2) dY.w) dY.w)) (+ (* (* (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)) (* (* (pow (floor d) 2) dY.w) dY.w) (* (pow (floor d) 2) dY.w) (pow (floor d) 2) (log2 (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (exp (* (log (* (floor w) dY.u)) 2)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))))) (sqrt (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (exp (* (log (* (floor w) dY.u)) 2)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))))) (fmax (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (+ (+ (exp (* (log (* (floor w) dY.u)) 2)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w)))) (+ (+ (* (* (floor w) dX.u) (* (floor w) dX.u)) (* (* (floor h) dX.v) (* (floor h) dX.v))) (* (* (floor d) dX.w) (* (floor d) dX.w))) (exp (+ (* (log (floor d)) 2) (* (log dX.w) 2))) (+ (* (log (floor d)) 2) (* (log dX.w) 2)) (log (floor d)) (* (log dX.w) 2) (log dX.w) (+ (+ (exp (* (log (* (floor w) dY.u)) 2)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (* (* (floor d) dY.w) (* (floor d) dY.w))) (+ (exp (* (log (* (floor w) dY.u)) 2)) (* (* (floor h) dY.v) (* (floor h) dY.v))) (exp (* (log (* (floor w) dY.u)) 2)) (* (log (* (floor w) dY.u)) 2) (log (* (floor w) dY.u)) (* (* (floor d) dY.w) (* (floor d) dY.w))) |
| 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)
| 32× | fuel |
Compiled 24 782 to 3 869 computations (84.4% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
log.f32 | #f | sensitivity | 1013 | 75 |
-.f32 | #f | cancellation | 404 | 36 |
sqrt.f32 | #f | oflow-rescue | 335 | 0 |
sqrt.f64 | #f | oflow-rescue | 290 | 0 |
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))) | sensitivity | 208 | 0 |
cos.f32 | #f | sensitivity | 189 | 12 |
tan.f32 | (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))) | cancellation | 180 | 20 |
-.f64 | #f | cancellation | 166 | 1 |
/.f32 | #f | o/n | 122 | 0 |
exp.f32 | #f | sensitivity | 35 | 18 |
/.f32 | #f | u/n | 23 | 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 | 18 | 0 |
| ↳ | (*.f32 sinTheta_O sinTheta_O) | underflow | 306 | |
| ↳ | (-.f32 (*.f32 eta eta) (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O))))) | underflow | 18 | |
| ↳ | (/.f32 (*.f32 sinTheta_O sinTheta_O) (sqrt.f32 (-.f32 #s(literal 1 binary32) (*.f32 sinTheta_O sinTheta_O)))) | underflow | 153 | |
| ↳ | (*.f32 eta eta) | underflow | 18 | |
/.f32 | #f | o/o | 18 | 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 | 16 | 0 |
/.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 | 5 | 0 |
| ↳ | (/.f32 sin2phi (*.f32 alphay alphay)) | overflow | 16 | |
| ↳ | (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))) | overflow | 16 | |
sqrt.f64 | #f | uflow-rescue | 4 | 0 |
log.f64 | (log.f64 (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y))) | oflow-rescue | 2 | 0 |
| ↳ | (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y) | overflow | 2 | |
| ↳ | (+.f64 #s(literal 1 binary64) (*.f64 (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) y)) | overflow | 2 | |
| ↳ | (pow.f64 (E.f64) x) | overflow | 2 | |
| ↳ | (-.f64 (pow.f64 (E.f64) x) #s(literal 1 binary64)) | overflow | 2 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 2120 | 62 |
| - | 493 | 5773 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 2120 | 39 | 23 |
| - | 493 | 102 | 5671 |
| number | freq |
|---|---|
| 0 | 5835 |
| 1 | 2216 |
| 2 | 379 |
| 3 | 18 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 21 | 1 | 2 |
| - | 4 | 2 | 3 |
| 2.3s | 16 048× | 0 | valid |
| 380.0ms | 724× | 1 | valid |
| 41.0ms | 124× | 2 | valid |
Compiled 16 934 to 1 875 computations (88.9% saved)
ival-mult: 565.0ms (29.4% of total)ival-div: 201.0ms (10.4% of total)ival-add: 128.0ms (6.6% of total)ival-pow: 98.0ms (5.1% of total)ival-pow2: 97.0ms (5% of total)ival-sub: 94.0ms (4.9% of total)ival-fmax: 92.0ms (4.8% of total)ival-log: 69.0ms (3.6% of total)ival-sqrt: 68.0ms (3.5% of total)ival-sin: 52.0ms (2.7% of total)adjust: 45.0ms (2.3% of total)ival-floor: 44.0ms (2.3% of total)ival-exp: 43.0ms (2.2% of total)ival-pi: 39.0ms (2% of total)ival-sinu: 35.0ms (1.8% of total)ival-tan: 27.0ms (1.4% of total)ival-neg: 25.0ms (1.3% of total)ival-e: 23.0ms (1.2% of total)const: 22.0ms (1.1% of total)ival-cosu: 22.0ms (1.1% of total)ival-cos: 21.0ms (1.1% of total)ival-fabs: 18.0ms (0.9% of total)ival-true: 16.0ms (0.8% of total)exact: 16.0ms (0.8% of total)ival-if: 13.0ms (0.7% of total)ival-log2: 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-asin: 5.0ms (0.3% of total)ival-sinh: 5.0ms (0.3% of total)ival->: 4.0ms (0.2% of total)ival->=: 3.0ms (0.2% of total)ival-<: 1.0ms (0.1% of total)| 66× | iter limit |
| 65× | node limit |
| 1× | saturated |
Compiled 66 116 to 16 161 computations (75.6% saved)
| 32× | node limit |
| 98× | binary-search |
| 31× | left-value |
| 97× | narrow-enough |
| 1× | predicate-same |
| 284.0ms | 737× | 1 | valid |
| 78.0ms | 860× | 0 | valid |
| 76.0ms | 195× | 2 | valid |
| 12.0ms | 28× | 1 | invalid |
| 8.0ms | 90× | 0 | invalid |
Compiled 16 431 to 11 896 computations (27.6% saved)
ival-pow: 149.0ms (38.7% of total)ival-pow2: 47.0ms (12.2% of total)adjust: 41.0ms (10.6% of total)ival-mult: 34.0ms (8.8% of total)ival-e: 33.0ms (8.6% of total)ival-sub: 21.0ms (5.5% of total)ival-add: 17.0ms (4.4% of total)ival-sqrt: 11.0ms (2.9% of total)ival-log1p: 11.0ms (2.9% of total)ival-fabs: 10.0ms (2.6% of total)ival-div: 6.0ms (1.6% of total)ival-true: 2.0ms (0.5% of total)exact: 2.0ms (0.5% of total)ival-assert: 1.0ms (0.3% of total)Loading profile data...