| Date: | Saturday, May 9th, 2020 |
|---|---|
| Commit: | e0473403 on bug-fix |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020130 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifyreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| 78× | intervals |
| 35.9s | 43497× | body | 1280 | valid |
| 12.4s | 30646× | body | 640 | valid |
| 11.7s | 1747× | body | 5120 | exit |
| 8.6s | 203560× | body | 80 | valid |
| 6.8s | 153214× | body | 80 | nan |
| 5.4s | 27794× | body | 320 | valid |
| 4.4s | 181053× | pre | 80 | true |
| 4.1s | 36600× | body | 80 | overflowed |
| 3.8s | 36189× | body | 160 | valid |
| 967.0ms | 3015× | body | 2560 | valid |
| 588.0ms | 3133× | body | 2560 | nan |
| 395.0ms | 2634× | body | 1280 | nan |
| 346.0ms | 16372× | pre | 80 | false |
| 165.0ms | 1351× | body | 640 | nan |
| 138.0ms | 238× | body | 5120 | valid |
| 67.0ms | 674× | body | 320 | nan |
| 22.0ms | 342× | body | 160 | nan |
| 2.0ms | 1× | body | 1280 | overflowed |
| 1.0ms | 1× | body | 640 | overflowed |
| 0.0ms | 1× | body | 160 | overflowed |
501 calls:
| 1.6s | (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))) |
| 1.5s | (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))) |
| 1.4s | (log (exp (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))))) |
| 757.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))) |
| 617.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))) |
| 223× | egg-herbie |
Total 18.2b remaining (16.7%)
Threshold costs 6.8b (6.3%)
| 3.4b | 75% | Equirectangular approximation to distance on a great circle |
| 3.1b | 88.3% | Cubic critical |
| 2.6b | 77% | Quotient of products |
| 1.2b | 95.1% | Quadratic roots, full range |
| 1.1b | 0% | 2-ancestry mixing, zero discriminant |
| 145× | rewrite-expression-head |
501 calls:
| 119.0ms | (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))) |
| 116.0ms | (* (+ (sqrt (/ x0 (- 1.0 x1))) (sqrt x0)) (/ (- (pow (sqrt (/ x0 (- 1.0 x1))) 3) (pow (sqrt x0) 3)) (+ (+ (/ x0 (- 1.0 x1)) x0) (* (sqrt (/ x0 (- 1.0 x1))) (sqrt x0))))) |
| 83.0ms | (- (- (/ (neg 1.0) (pow x 2)) (/ 3.0 x)) (/ 3.0 (pow x 3))) |
| 64.0ms | (- (/ (/ 2.0 (sqrt (+ 1.0 (exp (* -2.0 x))))) (sqrt (+ 1.0 (exp (* -2.0 x))))) 1.0) |
| 58.0ms | (* (/ 3.0 (/ 3.0 (* a c))) (/ (/ 1 (- (neg b) (sqrt (- (* b b) (* (* 3.0 a) c))))) a)) |
| 6001× | add-sqr-sqrt |
| 5664× | times-frac |
| 5340× | *-un-lft-identity |
| 3282× | add-cube-cbrt |
| 2840× | add-exp-log |
| 1789× | add-cbrt-cube |
| 1518× | associate-*r* |
| 1172× | sqrt-prod |
| 1073× | difference-of-squares |
| 1037× | pow1 |
| 1028× | flip-- |
| 1027× | flip3-- |
| 988× | associate-*l/ |
| 909× | div-exp |
| 895× | prod-exp |
| 810× | add-log-exp |
| 778× | associate-/l* |
| 747× | distribute-lft-out-- |
| 711× | unpow-prod-down |
| 678× | frac-times |
| 541× | cube-prod |
| 536× | sqrt-div |
| 516× | associate-*l* |
| 493× | associate-/r* |
| 441× | frac-add |
| 427× | cbrt-undiv |
| 405× | cbrt-unprod |
| 399× | associate-*r/ |
| 351× | pow-exp |
| 342× | cbrt-prod |
| 310× | div-inv |
| 287× | distribute-lft-out |
| 280× | distribute-rgt-neg-in |
| 256× | pow-to-exp |
| 251× | associate-/r/ |
| 238× | cbrt-div |
| 228× | sqr-pow |
| 213× | unswap-sqr |
| 209× | pow-prod-down |
| 208× | log-prod |
| 197× | flip-+ |
| 196× | flip3-+ |
| 132× | associate-/l/ |
| 122× | sub-neg |
| 120× | clear-num frac-2neg |
| 114× | diff-log |
| 113× | *-commutative log-div |
| 112× | swap-sqr |
| 87× | log-pow |
| 73× | exp-diff |
| 62× | exp-prod |
| 60× | distribute-lft-neg-in |
| 59× | pow1/3 |
| 53× | sum-log |
| 51× | unpow3 cube-mult |
| 46× | div-sub |
| 45× | 1-exp |
| 42× | pow1/2 sqrt-pow1 |
| 39× | distribute-rgt-in pow-unpow distribute-lft-in |
| 38× | associate-+r+ |
| 37× | unpow2 |
| 34× | rec-exp tan-quot |
| 33× | rem-log-exp |
| 31× | +-commutative |
| 29× | rem-sqrt-square |
| 28× | neg-sub0 |
| 26× | associate-+l- |
| 25× | sin-mult frac-sub |
| 23× | pow-prod-up |
| 21× | pow-pow pow-sqr |
| 20× | neg-mul-1 |
| 19× | sin-diff |
| 17× | neg-log |
| 16× | cos-diff |
| 15× | pow2 pow-plus acos-asin exp-sum associate--l+ |
| 13× | sin-cos-mult associate--l- |
| 12× | cube-div associate-+l+ |
| 11× | rem-cube-cbrt rem-exp-log distribute-rgt-out |
| 10× | associate--r+ |
| 9× | cos-sum |
| 8× | difference-cubes distribute-frac-neg |
| 7× | acos-neg sin-sum |
| 6× | associate-+r- cos-mult |
| 5× | un-div-inv inv-pow distribute-rgt-out-- pow-flip associate--r- exp-to-pow |
| 4× | tanh-def log-rec |
| 3× | mul-1-neg |
| 2× | rem-cbrt-cube distribute-lft1-in sqrt-unprod distribute-rgt-neg-out |
| 1× | sqr-sin unsub-neg rem-square-sqrt sub-div tanh-undef asin-acos sqr-cos sum-cubes |
Loading profile data...