| Date: | Wednesday, June 3rd, 2020 |
|---|---|
| Commit: | ad17e535 on web-tweaks |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020155 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| 78× | intervals |
| 40.9s | 43636× | body | 1280 | valid |
| 13.7s | 30620× | body | 640 | valid |
| 8.9s | 203087× | body | 80 | valid |
| 6.8s | 977× | body | 5120 | exit |
| 6.7s | 152443× | body | 80 | nan |
| 5.9s | 27730× | body | 320 | valid |
| 4.0s | 36237× | body | 160 | valid |
| 4.0s | 168389× | pre | 80 | true |
| 2.6s | 26359× | body | 80 | overflowed |
| 944.0ms | 2914× | body | 2560 | valid |
| 579.0ms | 3008× | body | 2560 | nan |
| 408.0ms | 2562× | body | 1280 | nan |
| 352.0ms | 16689× | pre | 80 | false |
| 159.0ms | 1259× | body | 640 | nan |
| 131.0ms | 256× | body | 5120 | valid |
| 68.0ms | 670× | body | 320 | nan |
| 20.0ms | 310× | body | 160 | nan |
| 5.0ms | 2× | body | 1280 | overflowed |
| 2.0ms | 4× | body | 160 | overflowed |
| 1.0ms | 1× | body | 640 | overflowed |
Total 28.0b remaining (22.3%)
Threshold costs 8.0b (6.3%)
| 7.1b | 59% | Equirectangular approximation to distance on a great circle |
| 4.8b | 82.5% | Cubic critical |
| 4.8b | 82.6% | Quadratic roots, full range |
| 2.3b | 59.8% | Quotient of products |
| 1.1b | 0% | 2-ancestry mixing, zero discriminant |
| 221× | egg-herbie |
493 calls:
| 1.2s | (pow (exp (* (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2)))))) (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2)))))))) (cbrt (log (sqrt (+ (* (* (- lambda1 lambda2) (cos (/ (+ phi1 phi2) 2.0))) (- lambda1 lambda2)) (* (- phi1 phi2) (- phi1 phi2))))))) |
| 212.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (+ (* c_p (+ (log 0.5) (* 0.5 t))) 1) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))) |
| 185.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))) |
| 184.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))) |
| 183.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n))) |
| 143× | rewrite-expression-head |
493 calls:
| 78.0ms | (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5)))) |
| 77.0ms | (log (- (/ 0.125 (pow x 3)) (- (/ 0.5 x) (/ (neg 0.0625) (pow x 5))))) |
| 58.0ms | (* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a)) |
| 54.0ms | (* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a)) |
| 54.0ms | (* 1/6 (/ (pow x 3) (pow (sqrt 1.0) 3))) |
| 6635× | times-frac |
| 5779× | *-un-lft-identity |
| 5763× | add-sqr-sqrt |
| 4615× | add-exp-log |
| 3913× | add-cube-cbrt |
| 1895× | prod-exp |
| 1891× | add-cbrt-cube |
| 1714× | div-exp |
| 1258× | sqrt-prod |
| 1156× | flip-- |
| 1155× | flip3-- |
| 1150× | pow-exp |
| 1127× | associate-*r* |
| 913× | pow1 |
| 874× | associate-*l/ |
| 810× | pow-to-exp |
| 797× | add-log-exp |
| 750× | difference-of-squares |
| 710× | associate-/l* |
| 700× | frac-times |
| 619× | unpow-prod-down |
| 604× | frac-add |
| 583× | distribute-lft-out-- |
| 571× | cbrt-prod |
| 563× | associate-/r* |
| 530× | sqrt-div |
| 496× | cbrt-undiv |
| 459× | associate-*r/ |
| 457× | associate-*l* |
| 451× | cbrt-unprod |
| 428× | cube-prod |
| 370× | div-inv |
| 339× | distribute-lft-out |
| 295× | associate-/r/ |
| 276× | log-prod |
| 263× | distribute-rgt-neg-in |
| 229× | flip-+ |
| 228× | flip3-+ |
| 181× | unswap-sqr |
| 157× | sqr-pow |
| 154× | pow-prod-down |
| 126× | associate-/l/ |
| 123× | clear-num frac-2neg |
| 113× | sub-neg |
| 101× | *-commutative |
| 91× | log-div |
| 90× | diff-log |
| 75× | cbrt-div |
| 67× | sum-log |
| 66× | pow-unpow log-pow exp-diff |
| 65× | pow1/3 |
| 63× | distribute-lft-neg-in |
| 61× | cube-mult unpow3 |
| 60× | frac-sub |
| 57× | 1-exp |
| 52× | distribute-rgt-in distribute-lft-in |
| 46× | div-sub |
| 42× | +-commutative |
| 35× | rec-exp |
| 34× | neg-sub0 |
| 33× | sqrt-pow1 pow1/2 |
| 29× | rem-log-exp |
| 28× | rem-sqrt-square unpow2 |
| 27× | swap-sqr |
| 25× | cube-div pow-pow |
| 24× | exp-prod |
| 22× | associate-+r+ neg-log rem-cube-cbrt |
| 21× | neg-mul-1 |
| 20× | tan-quot |
| 19× | sin-mult |
| 18× | sin-cos-mult associate-+l- |
| 17× | cos-diff associate-+l+ sin-diff pow-prod-up |
| 14× | associate--l- associate--l+ |
| 13× | pow-plus |
| 12× | cos-sum distribute-rgt-out distribute-frac-neg |
| 11× | exp-sum exp-to-pow pow-sqr |
| 10× | pow-flip |
| 9× | pow2 acos-asin associate-+r- |
| 8× | rem-cbrt-cube |
| 7× | inv-pow associate--r+ |
| 6× | distribute-rgt-neg-out |
| 5× | acos-neg sin-sum |
| 4× | cos-mult rem-exp-log |
| 3× | un-div-inv |
| 2× | difference-cubes distribute-lft1-in associate--r- unsub-neg asin-acos distribute-neg-frac |
| 1× | tanh-undef sqrt-unprod unpow1/3 log-rec pow3 tanh-def |
Loading profile data...