Herbie run
| Date: | Wednesday, November 27th, 2024 |
|---|---|
| Commit: | a25f782f on bhargav-double-double |
| Hostname: | nightly with Racket 8.10 |
| Seed: | 2024332 |
| Parameters: | 256 points for 4 iterations |
| Flags: | localize:costslocalize:errorsreduce:regimesreduce:binary-searchreduce:branch-expressionssetup:simplifysetup:searchrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:numericsrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:proofs default |
Time bar (total: 23.7min)
| 3.0min | 103 506× | 1 | valid |
| 2.9min | 21 458× | 2 | valid |
| 1.3min | 292 382× | 0 | valid |
| 35.2s | 2 087× | 3 | valid |
| 26.0s | 14 086× | 5 | exit |
| 5.2s | 35 383× | 0 | exit |
| 2.4s | 20 664× | 0 | invalid |
| 1.8s | 11 434× | 1 | invalid |
| 343.0ms | 3 505× | 1 | exit |
| 305.0ms | 854× | 2 | invalid |
| 176.0ms | 27× | 4 | valid |
| 8.0ms | 4× | 4 | exit |
ival-hypot: 1.5min (21% of total)ival-mult: 1.3min (18.3% of total)ival-pow2: 57.8s (13.6% of total)adjust: 42.2s (9.9% of total)ival-sqrt: 29.1s (6.8% of total)ival-pow: 21.3s (5% of total)ival-add: 17.5s (4.1% of total)ival-log: 16.8s (3.9% of total)ival-sub: 15.3s (3.6% of total)ival-sinu: 13.8s (3.2% of total)ival-neg: 8.9s (2.1% of total)ival-div: 7.8s (1.8% of total)ival-cos: 7.7s (1.8% of total)ival-sin: 5.8s (1.4% of total)ival-exp: 4.3s (1% of total)ival-cosu: 4.3s (1% of total)const: 1.3s (0.3% of total)ival-<: 1.1s (0.3% of total)ival-atan2: 627.0ms (0.1% of total)ival-tan: 470.0ms (0.1% of total)exact: 425.0ms (0.1% of total)ival-and: 368.0ms (0.1% of total)ival-acos: 342.0ms (0.1% of total)ival-true: 335.0ms (0.1% of total)ival-atan: 264.0ms (0.1% of total)ival-assert: 242.0ms (0.1% of total)ival-cbrt: 232.0ms (0.1% of total)ival-asin: 139.0ms (0% of total)ival-fabs: 114.0ms (0% of total)ival-log1p: 108.0ms (0% of total)ival-<=: 102.0ms (0% of total)ival-pi: 100.0ms (0% of total)ival-==: 1.0ms (0% of total)ival-or: 0.0ms (0% 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)
| 393× | iter limit |
| 263× | node limit |
| 40× | fuel |
| 8× | done |
| 1× | saturated |
Compiled 73 368 to 27 034 computations (63.2% saved)
| 48× | egg-herbie |
| 96× | iter limit |
| 58× | saturated |
| 38× | node limit |
Compiled 118 859 to 28 475 computations (76% saved)
| 418× | egg-herbie |
| 555× | iter limit |
| 296× | node limit |
| 122× | saturated |
| 14.6s | 13 450× | 1 | valid |
| 7.8s | 26 565× | 0 | valid |
| 5.6s | 3 600× | 2 | valid |
| 1.0s | 2 254× | 0 | invalid |
| 765.0ms | 307× | 3 | valid |
| 680.0ms | 330× | 1 | invalid |
| 504.0ms | 363× | 2 | exit |
| 247.0ms | 17× | 4 | exit |
| 237.0ms | 22× | 5 | exit |
| 216.0ms | 35× | 2 | invalid |
| 171.0ms | 248× | 1 | exit |
| 100.0ms | 5× | 3 | invalid |
| 39.0ms | 156× | 0 | exit |
| 28.0ms | 5× | 4 | valid |
| 7.0ms | 3× | 3 | exit |
Compiled 186 666 to 17 287 computations (90.7% saved)
ival-mult: 5.5s (21.3% of total)ival-sin: 3.8s (14.9% of total)ival-cos: 2.6s (10.1% of total)ival-div: 2.3s (9% of total)adjust: 1.9s (7.4% of total)ival-add: 1.8s (7% of total)ival-pow: 1.3s (4.9% of total)ival-pow2: 849.0ms (3.3% of total)ival-sub: 838.0ms (3.3% of total)const: 721.0ms (2.8% of total)ival-exp: 619.0ms (2.4% of total)ival-sqrt: 593.0ms (2.3% of total)ival-sinu: 492.0ms (1.9% of total)ival-log: 423.0ms (1.6% of total)ival-neg: 288.0ms (1.1% of total)ival-cosu: 284.0ms (1.1% of total)ival-atan2: 261.0ms (1% of total)ival-log1p: 191.0ms (0.7% of total)exact: 132.0ms (0.5% of total)ival-cbrt: 128.0ms (0.5% of total)ival-hypot: 125.0ms (0.5% of total)ival-tan: 112.0ms (0.4% of total)ival-acos: 106.0ms (0.4% of total)ival-atan: 83.0ms (0.3% of total)ival-fabs: 75.0ms (0.3% of total)ival-true: 56.0ms (0.2% of total)ival-pi: 46.0ms (0.2% of total)ival-asin: 41.0ms (0.2% of total)ival-assert: 32.0ms (0.1% of total)ival-cosh: 12.0ms (0% of total)ival-copysign: 5.0ms (0% of total)ival-expm1: 4.0ms (0% of total)ival-sinh: 3.0ms (0% of total)ival-tanh: 2.0ms (0% of total)| 373× | iter limit |
| 184× | node limit |
| 1× | saturated |
144 calls:
| 1.8s | b |
| 1.6s | phi1 |
| 1.5s | a |
| 1.5s | phi2 |
| 1.3s | lambda1 |
Compiled 15 087 to 13 581 computations (10% saved)
Compiled 8 358 531 to 642 480 computations (92.3% saved)
| Operator | Subexpression | Explanation | Count | |
|---|---|---|---|---|
+.f64 | #f | cancellation | 1717 | 45 |
cos.f64 | #f | sensitivity | 1409 | 1 |
sin.f64 | #f | sensitivity | 1399 | 0 |
sqrt.f64 | #f | oflow-rescue | 1072 | 0 |
-.f64 | #f | cancellation | 931 | 16 |
log.f64 | #f | sensitivity | 465 | 1 |
/.f64 | #f | o/n | 253 | 0 |
-.f64 | #f | nan-rescue | 245 | 0 |
/.f64 | #f | o/o | 212 | 0 |
*.f64 | #f | n*o | 186 | 0 |
exp.f64 | #f | sensitivity | 160 | 37 |
/.f64 | #f | u/u | 156 | 0 |
cbrt.f64 | #f | oflow-rescue | 116 | 0 |
cos.f64 | #f | cancelation | 104 | 0 |
sqrt.f64 | #f | uflow-rescue | 97 | 0 |
/.f64 | #f | n/o | 78 | 0 |
/.f64 | #f | u/n | 61 | 0 |
*.f64 | #f | n*u | 60 | 0 |
cbrt.f64 | #f | uflow-rescue | 44 | 0 |
/.f64 | #f | n/u | 30 | 0 |
*.f64 | #f | u*o | 20 | 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 | 1 |
*.f64 | #f | o*u | 14 | 0 |
pow.f64 | #f | sensitivity | 13 | 0 |
pow.f64 | #f | uflow-rescue | 13 | 0 |
log.f64 | #f | oflow-rescue | 5 | 0 |
log.f64 | (log.f64 (+.f64 (exp.f64 a) (exp.f64 b))) | uflow-rescue | 1 | 0 |
| ↳ | (+.f64 (exp.f64 a) (exp.f64 b)) | underflow | 1 | |
| ↳ | (exp.f64 a) | underflow | 63 | |
| ↳ | (exp.f64 b) | underflow | 70 |
| Predicted + | Predicted - | |
|---|---|---|
| + | 4902 | 83 |
| - | 1232 | 6071 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 4902 | 62 | 21 |
| - | 1232 | 31 | 6040 |
| number | freq |
|---|---|
| 0 | 6154 |
| 1 | 4182 |
| 2 | 1492 |
| 3 | 244 |
| 4 | 142 |
| 5 | 44 |
| 6 | 21 |
| 7 | 7 |
| 8 | 1 |
| 9 | 1 |
| Predicted + | Predicted Maybe | Predicted - | |
|---|---|---|---|
| + | 39 | 0 | 0 |
| - | 2 | 1 | 6 |
| 2.4s | 6 280× | 1 | valid |
| 2.0s | 16 695× | 0 | valid |
| 1.2s | 1 542× | 2 | valid |
| 74.0ms | 154× | 3 | valid |
| 2.0ms | 2× | 4 | valid |
Compiled 27 875 to 7 455 computations (73.3% saved)
ival-sin: 922.0ms (20.8% of total)ival-cos: 622.0ms (14% of total)ival-mult: 603.0ms (13.6% of total)ival-div: 307.0ms (6.9% of total)adjust: 261.0ms (5.9% of total)ival-exp: 244.0ms (5.5% of total)ival-sub: 217.0ms (4.9% of total)ival-add: 198.0ms (4.5% of total)ival-pow2: 174.0ms (3.9% of total)ival-log: 165.0ms (3.7% of total)ival-sinu: 127.0ms (2.9% of total)ival-sqrt: 123.0ms (2.8% of total)ival-cosu: 114.0ms (2.6% of total)ival-neg: 56.0ms (1.3% of total)ival-tan: 50.0ms (1.1% of total)ival-atan2: 43.0ms (1% of total)ival-true: 30.0ms (0.7% of total)ival-atan: 25.0ms (0.6% of total)ival-pow: 23.0ms (0.5% of total)ival-acos: 22.0ms (0.5% of total)ival-cbrt: 21.0ms (0.5% of total)exact: 21.0ms (0.5% of total)ival-assert: 15.0ms (0.3% of total)ival-hypot: 14.0ms (0.3% of total)ival-pi: 14.0ms (0.3% of total)ival-fabs: 12.0ms (0.3% of total)ival-asin: 9.0ms (0.2% of total)ival-log1p: 5.0ms (0.1% of total)Compiled 867 710 to 372 308 computations (57.1% saved)
1476 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 158.0ms | s | @ | 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))) (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (+ (exp (neg s)) 1) (- 1 (/ 1 (+ 1 (exp (neg s))))) (- 1 (/ 1 (+ 1 (exp (neg t))))) (/ (* (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 (exp (neg s))) (+ (* (neg (* t (/ (* (* (pow 1/2 c_p) (pow 1/2 c_n)) (+ (* 1/2 c_p) (* -1/2 c_n))) (pow (pow 1/2 c_n) 2)))) (* (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (pow 1/2 c_p) 2)))) (* (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (pow (- 1 (/ 1 (+ (exp (neg s)) 1))) c_n))) (/ (* (* (pow 1/2 c_p) (pow 1/2 c_n)) (+ (* 1/2 c_p) (* -1/2 c_n))) (pow (pow 1/2 c_n) 2)) (- 1 (/ 1 (+ (exp (neg s)) 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))) (log (+ 1 (exp (neg t)))) (log (+ 1 (pow (- -1 (exp (neg t))) -1))) (pow (/ 1 (+ (exp (neg t)) 1)) c_p) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n) (pow (/ 1 (+ 1 (exp (neg t)))) c_p) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (* (pow 1/2 c_p) (pow 1/2 c_n))) (/ (pow (/ 1 (+ (exp (neg s)) 1)) c_p) (pow (pow 1/2 c_p) 2))) |
| 101.0ms | a | @ | 0 | ((+ (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (cbrt (* (/ 1 (* 2 a)) (+ (neg g) (sqrt (- (* g g) (* h h)))))) (/ (cbrt (* (* (/ h g) h) -1/4)) (cbrt a)) (cbrt (* (* (/ h g) h) -1/4)) (+ (* (cbrt (/ 1/2 a)) (cbrt (- (sqrt (* (- g h) (+ h g))) g))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (+ (* (cbrt (/ 1/2 a)) (cbrt (- (sqrt (* (- g h) (+ h g))) g))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))))) (* (* (cbrt (/ g a)) (cbrt -1/2)) (cbrt 2)) (* (cbrt (/ g a)) (cbrt -1/2)) (cbrt (/ g a)) (+ (* (cbrt 1/2) (cbrt (/ (- (neg g) (sqrt (* (+ h g) (- g h)))) a))) (cbrt (* (- (sqrt (* (+ h g) (- g h))) g) (/ 1/2 a)))) (cbrt 1/2) (cbrt (/ (- (neg g) (sqrt (* (+ h g) (- g h)))) a)) (/ (- (neg g) (sqrt (* (+ h g) (- g h)))) a) (pow (/ 1/2 a) 1/2) (+ (* (pow (* a 2) -1/6) (cbrt (* (pow (/ 1/2 a) 1/2) (- (neg g) (sqrt (* (+ h g) (- g h))))))) (cbrt (* (- (sqrt (* (+ h g) (- g h))) g) (/ 1/2 a)))) (pow (* a 2) -1/6) (* a 2) (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h))))) (cbrt (* (/ 1 (* 2 a)) (- (neg g) (sqrt (- (* g g) (* h h)))))) (cbrt 2) (sqrt (* (+ h g) (- g h))) (cbrt (* (- (sqrt (* (+ h g) (- g h))) g) (/ 1/2 a))) (- (neg g) (sqrt (* (+ h g) (- g h)))) (cbrt (* (pow (/ 1/2 a) 1/2) (- (neg g) (sqrt (* (+ h g) (- g h))))))) |
| 92.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) (pow (- 1 (/ 1 (+ 1 (exp (neg t))))) c_n)) |
| 73.0ms | phi2 | @ | -inf | ((/ (cos (+ lambda2 lambda1)) (* (cos (- lambda2 lambda1)) (cos (+ lambda2 lambda1)))) (/ 1 (/ (cos (+ lambda2 lambda1)) (* (cos (- lambda2 lambda1)) (cos (+ lambda2 lambda1))))) (+ (cos phi1) (* (cos phi2) (/ 1 (/ (cos (+ lambda2 lambda1)) (* (cos (- lambda2 lambda1)) (cos (+ lambda2 lambda1))))))) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (/ 1 (/ (cos (+ lambda2 lambda1)) (* (cos (- lambda2 lambda1)) (cos (+ lambda2 lambda1))))))))) (/ 1 (/ 1 (+ (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))) lambda1))) (/ 1 (+ (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))) lambda1)) (pow (* lambda1 lambda1) -1/2) (* lambda1 lambda1) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2))))) (* (cos phi2) (sin (- lambda1 lambda2))) (cos phi2) (exp (log (+ (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))) lambda1))) (log (+ (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))) lambda1)) (+ (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))) lambda1) (atan2 (* (sin (- lambda1 lambda2)) (cos phi2)) (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))) (* (- (- (pow (* (cos (- lambda2 lambda1)) (cos phi2)) 2) 1/2) (* (cos (* 2 phi1)) 1/2)) (/ 1 (- (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1)))) (- (- (pow (* (cos (- lambda2 lambda1)) (cos phi2)) 2) 1/2) (* (cos (* 2 phi1)) 1/2)) (+ lambda1 (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (* (- (- (pow (* (cos (- lambda2 lambda1)) (cos phi2)) 2) 1/2) (* (cos (* 2 phi1)) 1/2)) (/ 1 (- (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1)))))) (atan2 (* (cos phi2) (sin (- lambda1 lambda2))) (* (- (- (pow (* (cos (- lambda2 lambda1)) (cos phi2)) 2) 1/2) (* (cos (* 2 phi1)) 1/2)) (/ 1 (- (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))))) (cos (- lambda2 lambda1)) (cos (+ lambda2 lambda1)) (sin (- lambda1 lambda2)) (+ (cos phi1) (* (cos phi2) (cos (- lambda1 lambda2)))) (cos (- lambda2 lambda1)) (+ (cos (- lambda2 lambda1)) (cos phi1)) (+ (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1)) (- (* (cos (- lambda2 lambda1)) (cos phi2)) (cos phi1))) |
| 71.0ms | a | @ | inf | ((exp (* (log (/ (+ 1 (exp a)) b)) -1)) (* (log (/ (+ 1 (exp a)) b)) -1) (log (+ (exp a) (exp b))) (+ (exp (* (log (/ (+ 1 (exp a)) b)) -1)) (log (+ 1 (exp a)))) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (+ (* 1/2 a) (log 2)) (* 1/2 a) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (exp a) (+ 1 a) (log (+ (exp a) (exp b))) (log (+ 1 (exp a))) (+ (* (+ (* 1/8 a) 1/2) a) (log 2)) (+ (* 1/8 a) 1/2) (log (+ (exp a) (exp b))) (+ (/ b (+ (exp a) 1)) (log (+ 1 (exp a)))) (/ b (+ (exp a) 1)) (+ (exp a) 1) (+ 1 (exp a)) (/ (+ 1 (exp a)) b) (log 2) (exp a) (exp a)) |
| 215× | binary-search |
| 110× | left-value |
| 209× | narrow-enough |
| 6× | predicate-same |
| 2.3s | 4 136× | 1 | valid |
| 1.6s | 10 190× | 0 | valid |
| 108.0ms | 219× | 2 | valid |
| 34.0ms | 377× | 0 | invalid |
| 4.0ms | 15× | 3 | valid |
| 1.0ms | 15× | 0 | exit |
Compiled 163 425 to 97 205 computations (40.5% saved)
ival-cos: 816.0ms (23.1% of total)ival-sin: 802.0ms (22.7% of total)ival-mult: 563.0ms (15.9% of total)ival-pow2: 177.0ms (5% of total)adjust: 175.0ms (5% of total)ival-div: 159.0ms (4.5% of total)ival-sub: 154.0ms (4.4% of total)ival-sinu: 133.0ms (3.8% of total)ival-cosu: 115.0ms (3.3% of total)ival-add: 101.0ms (2.9% of total)ival-atan2: 70.0ms (2% of total)ival-acos: 56.0ms (1.6% of total)ival-sqrt: 51.0ms (1.4% of total)ival-tan: 28.0ms (0.8% of total)ival-exp: 23.0ms (0.7% of total)ival-neg: 22.0ms (0.6% of total)ival-true: 17.0ms (0.5% of total)ival-hypot: 16.0ms (0.5% of total)ival-asin: 15.0ms (0.4% of total)ival-assert: 10.0ms (0.3% of total)ival-atan: 9.0ms (0.3% of total)ival-fabs: 8.0ms (0.2% of total)exact: 8.0ms (0.2% of total)ival-log1p: 3.0ms (0.1% of total)Loading profile data...