
| Date: | Thursday, September 26th, 2024 |
|---|---|
| Commit: | 029b8eff on dump-egraph |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024270 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 17.1min)
| 48.3s | 108 292× | 1 | valid |
| 43.0s | 294 340× | 0 | valid |
| 31.0s | 14 373× | 5 | exit |
| 16.1s | 23 629× | 2 | valid |
| 7.6s | 3 024× | 3 | valid |
| 6.8s | 35 107× | 0 | exit |
| 3.3s | 20 806× | 0 | invalid |
| 2.4s | 11 112× | 1 | invalid |
| 337.0ms | 3 588× | 1 | exit |
| 322.0ms | 803× | 2 | invalid |
| 171.0ms | 27× | 4 | valid |
| 14.0ms | 6× | 4 | exit |
| 1.0ms | 1× | 3 | exit |
ival-pow: 25.8s (18.9% of total)ival-mult: 15.7s (11.5% of total)ival-cos: 11.0s (8.1% of total)ival-div: 10.7s (7.8% of total)adjust: 9.3s (6.8% of total)ival-sin: 9.1s (6.6% of total)ival-pow2: 7.8s (5.7% of total)ival-sub: 6.3s (4.6% of total)ival-add: 5.9s (4.3% of total)ival-exp: 5.7s (4.2% of total)ival-sinu: 5.3s (3.9% of total)ival-cosu: 5.1s (3.7% of total)ival-log: 4.1s (3% of total)ival-sqrt: 3.8s (2.8% of total)ival-neg: 1.9s (1.4% of total)ival-<: 1.8s (1.3% of total)const: 1.7s (1.2% of total)ival-hypot: 784.0ms (0.6% of total)ival-atan2: 750.0ms (0.5% of total)ival-acos: 675.0ms (0.5% of total)ival-tan: 587.0ms (0.4% of total)exact: 426.0ms (0.3% of total)ival-and: 368.0ms (0.3% of total)ival-true: 317.0ms (0.2% of total)ival-cbrt: 282.0ms (0.2% of total)ival-atan: 275.0ms (0.2% of total)ival-log1p: 252.0ms (0.2% of total)ival-assert: 233.0ms (0.2% of total)ival-pi: 215.0ms (0.2% of total)ival-asin: 192.0ms (0.1% of total)ival-fabs: 138.0ms (0.1% of total)ival-<=: 132.0ms (0.1% of total)ival-==: 6.0ms (0% of total)ival-or: 0.0ms (0% of total)Compiled 14 153 626 to 802 201 computations (94.3% saved)
| 452× | egg-herbie |
| 600× | iter limit |
| 315× | node limit |
| 137× | saturated |
| 21.6s | 14 865× | 1 | valid |
| 10.3s | 27 717× | 0 | valid |
| 10.2s | 4 458× | 2 | valid |
| 5.1s | 620× | 5 | exit |
| 1.3s | 496× | 3 | valid |
| 850.0ms | 117× | 4 | exit |
| 839.0ms | 1 427× | 0 | invalid |
| 827.0ms | 349× | 1 | invalid |
| 719.0ms | 660× | 1 | exit |
| 415.0ms | 226× | 2 | exit |
| 119.0ms | 16× | 4 | valid |
| 61.0ms | 220× | 0 | exit |
| 55.0ms | 15× | 3 | exit |
| 34.0ms | 14× | 2 | invalid |
Compiled 118 152 to 9 591 computations (91.9% saved)
ival-mult: 9.0s (21.2% of total)ival-sin: 6.4s (14.9% of total)ival-cos: 4.4s (10.2% of total)adjust: 3.8s (8.9% of total)ival-div: 3.8s (8.9% of total)ival-add: 2.3s (5.4% of total)ival-pow2: 1.7s (4.1% of total)ival-sub: 1.4s (3.3% of total)const: 1.4s (3.2% of total)ival-pow: 1.3s (3.1% of total)ival-sinu: 1.2s (2.7% of total)ival-sqrt: 1.1s (2.5% of total)ival-cosu: 951.0ms (2.2% of total)ival-exp: 764.0ms (1.8% of total)ival-log: 748.0ms (1.8% of total)ival-neg: 406.0ms (1% of total)ival-atan2: 353.0ms (0.8% of total)ival-log1p: 322.0ms (0.8% of total)ival-hypot: 273.0ms (0.6% of total)ival-cbrt: 198.0ms (0.5% of total)ival-atan: 146.0ms (0.3% of total)ival-tan: 134.0ms (0.3% of total)ival-acos: 121.0ms (0.3% of total)exact: 114.0ms (0.3% of total)ival-pi: 84.0ms (0.2% of total)ival-fabs: 78.0ms (0.2% of total)ival-true: 49.0ms (0.1% of total)ival-expm1: 46.0ms (0.1% of total)ival-asin: 45.0ms (0.1% of total)ival-cosh: 39.0ms (0.1% of total)ival-e: 37.0ms (0.1% of total)ival-assert: 26.0ms (0.1% of total)ival-sinh: 9.0ms (0% of total)ival-tanh: 1.0ms (0% of total)| 415× | iter limit |
| 281× | node limit |
| 43× | fuel |
| 9× | done |
| 1× | saturated |
Compiled 52 241 to 26 138 computations (50% saved)
155 calls:
| 3.1s | phi2 |
| 3.0s | phi1 |
| 3.0s | lambda1 |
| 2.6s | b |
| 2.5s | a |
Compiled 23 191 to 17 762 computations (23.4% saved)
Compiled 592 347 to 298 375 computations (49.6% saved)
| 406× | iter limit |
| 199× | node limit |
| 1× | saturated |
1626 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 355.0ms | b | @ | -inf | ((+ (pow (* (sin (/ (* (PI) angle) 180)) b) 2) (pow (* (cos (/ (* angle (PI)) -180)) a) 2)) (pow (* (sin (/ (* (PI) angle) 180)) b) 2) (* (sin (/ (* (PI) angle) 180)) b) (sin (/ (* (PI) angle) 180)) (+ (pow (pow (E) (log (* (cos (/ (* angle (PI)) -180)) a))) 2) (pow (* b (sin (* (PI) (/ angle 180)))) 2)) (+ (* (* (* (PI) (PI)) (+ (* (* 1/32400 b) b) (* -1/32400 (* a a)))) (* angle angle)) (* a a)) (* (* (PI) (PI)) (+ (* (* 1/32400 b) b) (* -1/32400 (* a a)))) (* (PI) (PI)) (/ (PI) (/ 180 angle)) (+ (pow (* (sin (/ (PI) (/ 180 angle))) b) 2) (pow (* (cos (/ (* angle (PI)) -180)) a) 2)) (pow (* (sin (/ (PI) (/ 180 angle))) b) 2) (* (sin (/ (PI) (/ 180 angle))) b) (/ (sqrt (PI)) (pow angle -1)) (* (/ (sqrt (PI)) 180) (/ (sqrt (PI)) (pow angle -1))) (+ (pow (* a (cos (* (/ (sqrt (PI)) 180) (/ (sqrt (PI)) (pow angle -1))))) 2) (pow (* b (sin (* (PI) (/ angle 180)))) 2)) (pow (* a (cos (* (/ (sqrt (PI)) 180) (/ (sqrt (PI)) (pow angle -1))))) 2) (* (pow (cbrt (PI)) 2) (cbrt (PI))) (+ (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (pow (* (cos (/ (* angle (* (pow (cbrt (PI)) 2) (cbrt (PI)))) -180)) a) 2)) (pow (* (sin (* (* 1/180 angle) (PI))) b) 2) (* (sin (* (* 1/180 angle) (PI))) b) (PI) (cos (/ (* angle (PI)) -180)) (/ (* angle (PI)) -180) (+ (* (* 1/32400 b) b) (* -1/32400 (* a a))) (sin (/ (PI) (/ 180 angle))) (sin (* (PI) (/ angle 180))) (cos (* (/ (sqrt (PI)) 180) (/ (sqrt (PI)) (pow angle -1)))) (sqrt (PI)) (sin (* (* 1/180 angle) (PI))) (cos (/ (* angle (* (pow (cbrt (PI)) 2) (cbrt (PI)))) -180)) (cbrt (PI))) |
| 220.0ms | b | @ | inf | ((exp (* (log (/ 180 angle)) -1)) (* (log (/ 180 angle)) -1) (+ (pow (* a (sin (* (* (PI) angle) 1/180))) 2) (pow (* b (cos (* (exp (* (log (/ 180 angle)) -1)) (* (cbrt (pow (PI) 3/2)) (cbrt (pow (PI) 3/2)))))) 2)) (pow (* a (sin (* (* (PI) angle) 1/180))) 2) (+ (pow (* a (sin (* (/ angle 180) (PI)))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (+ (* (* (* (PI) (PI)) (+ (* 1/32400 (* a a)) (* -1/32400 (* b b)))) (* angle angle)) (* b b)) (* (+ (* (* (* -1/32400 (* angle angle)) (PI)) (PI)) 1) (* b b)) (+ (* (* (* -1/32400 (* angle angle)) (PI)) (PI)) 1) (* (/ angle 180) (PI)) (+ (pow (sqrt (* (sin (* (* (PI) angle) 1/180)) a)) 4) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (pow (sqrt (* (sin (* (* (PI) angle) 1/180)) a)) 4) (sqrt (* (sin (* (* (PI) angle) 1/180)) a)) (+ (* (* -1/7873200000 (pow (PI) 4)) 1/24) (* 1/75582720000 (pow (PI) 4))) (+ (* (* angle (* 1/180 a)) (PI)) (* (* (* (* (* (PI) a) 1/180) angle) (+ (* (* angle angle) (+ (* (* -1/7873200000 (pow (PI) 4)) 1/24) (* 1/75582720000 (pow (PI) 4)))) (* -1/194400 (* (PI) (PI))))) (* angle angle))) (+ (pow (pow (E) (log (* (sin (* (PI) (* 1/180 angle))) a))) 2) (pow (* b (cos (* (/ angle 180) (PI)))) 2)) (+ (pow (* a (sin (* (* (PI) angle) 1/180))) 2) (pow (* b (cos (* (/ angle 180) (* (pow (* (PI) (PI)) 1/4) (cbrt (pow (PI) 3/2)))))) 2)) (* a (sin (* (* (PI) angle) 1/180))) (sin (* (* (PI) angle) 1/180)) (PI) (cos (* (exp (* (log (/ 180 angle)) -1)) (* (cbrt (pow (PI) 3/2)) (cbrt (pow (PI) 3/2))))) (cos (* (/ angle 180) (PI))) (pow (E) (log (* (sin (* (PI) (* 1/180 angle))) a))) (pow (PI) 4) (cos (* (/ angle 180) (* (pow (* (PI) (PI)) 1/4) (cbrt (pow (PI) 3/2))))) (cbrt (pow (PI) 3/2))) |
| 178.0ms | t | @ | -inf | ((- (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (+ (* (neg (log (+ 1 (exp (neg t))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg t))) -1))) c_n))) (+ (* (neg (log (+ 1 (exp (neg s))))) c_p) (* (log (+ 1 (pow (- -1 (exp (neg s))) -1))) c_n)) (neg (log (+ 1 (exp (neg s))))) (log (+ 1 (exp (neg s)))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (+ (exp (neg s)) 1) (/ (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (pow (- 1 (/ 1 (+ (exp (neg t)) 1))) c_n)) (- 1 (/ 1 (+ (exp (neg s)) 1))) (- 1 (/ 1 (+ (exp (neg t)) 1))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (- 1 (/ 1 (+ 1 (exp (neg s))))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t)))))) (+ (* c_p (- (neg (log (+ 1 (exp (neg s))))) (neg (log (+ 1 (exp (neg t))))))) (* c_n (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1)))))) (log (+ 1 (exp (neg t)))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (/ 1 (+ (exp (neg t)) 1)) c_p)) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- (log (+ 1 (pow (- -1 (exp (neg s))) -1))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))))) |
| 175.0ms | R | @ | 0 | ((* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (sqrt (+ (* (* (cos (* (+ phi2 phi1) 1/2)) lambda2) (* (cos (* (+ phi2 phi1) 1/2)) lambda2)) (* (- phi1 phi2) (- phi1 phi2)))) (* (cos (* (+ phi2 phi1) 1/2)) lambda2) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* R phi2) (* (neg phi1) (- 1 (/ phi2 phi1))) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (neg phi1) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (* (neg (* R lambda2)) (cos (* (+ phi2 phi1) 1/2))) (neg (* R lambda2)) (* R lambda2) (- (cos (* (+ phi2 phi1) 1/2)) (* (cos (* (+ phi2 phi1) 1/2)) (/ lambda2 lambda1))) (* (neg lambda1) (- (cos (* (+ phi2 phi1) 1/2)) (* (cos (* (+ phi2 phi1) 1/2)) (/ lambda2 lambda1)))) (* R (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2))))) (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2))) (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2)))) (* (- phi1 phi2) (- phi1 phi2)))) (cos (* (+ phi2 phi1) 1/2)) (* (cos (* (+ phi2 phi1) 1/2)) (/ lambda2 lambda1))) |
| 148.0ms | s | @ | inf | ((* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (/ 1 (+ 1 (exp (neg s)))) (+ 1 (exp (neg s))) (/ (* (pow (/ 1 (+ 1 (exp (neg s)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg s))))) c_n)) (* (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n))) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (- 1 (/ 1 (+ 1 (exp (neg t))))) (- 1 (/ 1 (+ 1 (exp (neg s)))))) |
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
cos.f64 | #f | sensitivity | 1815 | 1 |
+.f64 | #f | cancellation | 1722 | 41 |
sin.f64 | #f | sensitivity | 1551 | 1 |
sqrt.f64 | #f | oflow-rescue | 1402 | 0 |
-.f64 | #f | cancellation | 900 | 11 |
-.f64 | #f | nan-rescue | 655 | 0 |
log.f64 | #f | sensitivity | 600 | 2 |
/.f64 | #f | o/n | 457 | 0 |
/.f64 | #f | o/o | 344 | 0 |
*.f64 | #f | n*o | 279 | 0 |
/.f64 | #f | u/u | 264 | 0 |
exp.f64 | #f | sensitivity | 167 | 29 |
/.f64 | #f | u/n | 166 | 0 |
sqrt.f64 | #f | uflow-rescue | 141 | 0 |
/.f64 | #f | n/o | 117 | 0 |
cbrt.f64 | #f | oflow-rescue | 92 | 0 |
*.f64 | #f | n*u | 85 | 0 |
cbrt.f64 | #f | uflow-rescue | 41 | 0 |
*.f64 | #f | o*u | 39 | 0 |
/.f64 | #f | n/u | 37 | 0 |
*.f64 | #f | u*o | 30 | 0 |
acos.f64 | (acos.f64 (+.f64 (*.f64 (sin.f64 phi1) (sin.f64 phi2)) (*.f64 (*.f64 (cos.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2))))) | sensitivity | 17 | 3 |
pow.f64 | #f | sensitivity | 13 | 1 |
log.f64 | #f | oflow-rescue | 9 | 0 |
pow.f64 | #f | uflow-rescue | 8 | 0 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 5676 | 66 |
| - | 1298 | 6272 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 5676 | 41 | 25 |
| - | 1298 | 35 | 6237 |
| number | freq |
|---|---|
| 0 | 6338 |
| 1 | 4646 |
| 2 | 1538 |
| 3 | 309 |
| 4 | 237 |
| 5 | 153 |
| 6 | 57 |
| 7 | 28 |
| 8 | 3 |
| 9 | 3 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 44 | 0 | 0 |
| - | 2 | 0 | 6 |
| 3.2s | 6 844× | 1 | valid |
| 2.7s | 17 510× | 0 | valid |
| 2.2s | 1 960× | 2 | valid |
| 565.0ms | 310× | 3 | valid |
Compiled 19 935 to 2 554 computations (87.2% saved)
ival-sin: 1.1s (15.9% of total)ival-mult: 941.0ms (13.9% of total)ival-cos: 714.0ms (10.5% of total)adjust: 562.0ms (8.3% of total)ival-div: 545.0ms (8.1% of total)ival-pow2: 482.0ms (7.1% of total)ival-sinu: 368.0ms (5.4% of total)ival-sub: 344.0ms (5.1% of total)ival-add: 312.0ms (4.6% of total)ival-cosu: 307.0ms (4.5% of total)ival-log: 201.0ms (3% of total)ival-exp: 192.0ms (2.8% of total)ival-sqrt: 173.0ms (2.6% of total)ival-neg: 112.0ms (1.7% of total)ival-atan2: 110.0ms (1.6% of total)ival-tan: 63.0ms (0.9% of total)ival-atan: 51.0ms (0.8% of total)ival-hypot: 37.0ms (0.5% of total)ival-cbrt: 33.0ms (0.5% of total)ival-true: 27.0ms (0.4% of total)ival-acos: 24.0ms (0.4% of total)ival-pow: 21.0ms (0.3% of total)exact: 21.0ms (0.3% of total)ival-pi: 19.0ms (0.3% of total)ival-assert: 13.0ms (0.2% of total)ival-fabs: 11.0ms (0.2% of total)ival-asin: 9.0ms (0.1% of total)ival-log1p: 6.0ms (0.1% of total)| 53× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 79.4% | 20.6% | 0% | 0% | 0% | 0 |
| 17.2% | 13.7% | 65.7% | 20.6% | 0% | 0% | 0% | 1 |
| 25% | 19.6% | 58.5% | 20.6% | 0% | 1.3% | 0% | 2 |
| 35.2% | 26.6% | 48.9% | 20.6% | 0% | 3.8% | 0% | 3 |
| 42.3% | 31.7% | 43.1% | 20.6% | 0% | 4.5% | 0% | 4 |
| 47.9% | 35.6% | 38.7% | 20.6% | 0% | 5.1% | 0% | 5 |
| 51% | 37.6% | 36.1% | 20.6% | 0% | 5.7% | 0% | 6 |
| 54.4% | 39.7% | 33.2% | 20.6% | 0% | 6.5% | 0% | 7 |
| 56.2% | 40.7% | 31.8% | 20.6% | 0% | 6.8% | 0% | 8 |
| 59% | 42.5% | 29.5% | 20.6% | 0% | 7.4% | 0% | 9 |
| 60.3% | 43.2% | 28.4% | 20.6% | 0% | 7.7% | 0% | 10 |
| 62.1% | 44.3% | 27% | 20.6% | 0% | 8.1% | 0% | 11 |
| 63.6% | 45.1% | 25.8% | 20.6% | 0% | 8.5% | 0% | 12 |
Compiled 1 826 to 964 computations (47.2% saved)
| 52× | egg-herbie |
| 104× | iter limit |
| 61× | saturated |
| 43× | node limit |
Compiled 73 117 to 27 860 computations (61.9% saved)
| 292× | binary-search |
| 119× | left-value |
| 286× | narrow-enough |
| 4× | predicate-same |
| 2× | predicate-failed |
| 4.7s | 6 498× | 1 | valid |
| 2.4s | 12 802× | 0 | valid |
| 774.0ms | 1 095× | 2 | valid |
| 202.0ms | 1 831× | 0 | invalid |
| 155.0ms | 86× | 3 | valid |
| 3.0ms | 50× | 0 | exit |
Compiled 102 600 to 85 252 computations (16.9% saved)
ival-cos: 1.6s (22% of total)ival-sin: 1.1s (15.9% of total)ival-mult: 924.0ms (13.1% of total)adjust: 722.0ms (10.2% of total)ival-pow2: 476.0ms (6.7% of total)ival-div: 449.0ms (6.3% of total)ival-sub: 385.0ms (5.4% of total)ival-cosu: 267.0ms (3.8% of total)ival-sinu: 260.0ms (3.7% of total)ival-add: 237.0ms (3.3% of total)ival-sqrt: 189.0ms (2.7% of total)ival-atan2: 113.0ms (1.6% of total)ival-acos: 82.0ms (1.2% of total)ival-tan: 55.0ms (0.8% of total)ival-atan: 46.0ms (0.6% of total)ival-neg: 44.0ms (0.6% of total)ival-hypot: 31.0ms (0.4% of total)ival-cbrt: 23.0ms (0.3% of total)ival-true: 19.0ms (0.3% of total)ival-exp: 15.0ms (0.2% of total)exact: 15.0ms (0.2% of total)ival-pi: 13.0ms (0.2% of total)ival-assert: 10.0ms (0.1% of total)ival-asin: 9.0ms (0.1% of total)ival-fabs: 7.0ms (0.1% of total)ival-log: 4.0ms (0.1% of total)ival-log1p: 1.0ms (0% of total)Loading profile data...