| Date: | Wednesday, March 18th, 2020 |
|---|---|
| Commit: | 7c9a4fcd on better-rr |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020078 |
| Parameters: | 256 points for 4 iterations |
| Flags: | setup:simplifyrules:arithmeticrules:polynomialsrules:fractionsrules:exponentsrules:trigonometryrules:hyperbolicrules:complexrules:specialrules:boolsrules:branchesgenerate:rrgenerate:taylorgenerate:simplifygenerate:better-rrreduce:regimesreduce:avg-errorreduce:binary-searchreduce:branch-expressionsprecision:doubleprecision:fallback default |
| 78× | intervals |
| 3.5m | 30879× | body | 10240 | exit |
| 34.3s | 44431× | body | 1280 | valid |
| 11.4s | 29982× | body | 640 | valid |
| 7.2s | 203682× | body | 80 | valid |
| 5.0s | 152974× | body | 80 | nan |
| 4.7s | 27316× | body | 320 | valid |
| 3.2s | 35961× | body | 160 | valid |
| 3.0s | 172733× | pre | 80 | true |
| 832.0ms | 3154× | body | 2560 | valid |
| 375.0ms | 7735× | body | 160 | nan |
| 227.0ms | 16647× | pre | 80 | false |
| 154.0ms | 218× | body | 5120 | valid |
519 calls:
| 2.4s | (sqrt (+ (- (+ (* (pow lambda2 2) (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* phi2 0.5)) (sin (* phi1 0.5)))) 2)) (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) (pow lambda1 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 1.1s | (+ (pow (cos phi1) 3) (pow (* (cos phi2) (- (* (cos lambda1) (cos lambda2)) (* (sin lambda1) (sin (- lambda2))))) 3)) |
| 730.0ms | (- (pow (cos delta) 3) (pow (* (sin phi1) (sin (asin (+ (* (sin phi1) (cos delta)) (* (* (cos phi1) (sin delta)) (cos theta)))))) 3)) |
| 698.0ms | (- 1.0 (+ (pow (sin (/ (- phi1 phi2) 2.0)) 2.0) (* (* (* (cos phi1) (cos phi2)) (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))) (- (* (sin (/ lambda1 2.0)) (cos (/ lambda2 2.0))) (* (cos (/ lambda1 2.0)) (sin (/ lambda2 2.0))))))) |
| 581.0ms | (/ (* (pow (/ 1.0 (+ 1.0 (exp (- s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (- t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (- t))))) c_n))) |
| 226× | egg-herbie |
Total 22.2b remaining (20.5%)
Threshold costs 6.4b (6%)
| 8.6b | 54% | Equirectangular approximation to distance on a great circle |
| 3.5b | 87.9% | Cubic critical |
| 2.1b | 81.9% | Quotient of products |
| 1.6b | 93.7% | Quadratic roots, full range |
| 1.0b | 0% | 2-ancestry mixing, zero discriminant |
| 148× | rewrite-expression-head |
519 calls:
| 83.0ms | (- (* (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x))))) (* (/ 2.0 (+ 1.0 (exp (* -2.0 x)))) (/ 2.0 (+ 1.0 (exp (* -2.0 x)))))) (* (* 1.0 1.0) (* 1.0 1.0))) |
| 25.0ms | (sqrt (+ (- (+ (* (pow lambda2 2) (pow (- (* (cos (* phi2 0.5)) (cos (* phi1 0.5))) (* (sin (* phi2 0.5)) (sin (* phi1 0.5)))) 2)) (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) (pow lambda1 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 24.0ms | (sqrt (+ (- (+ (* (pow lambda2 2) (pow (cos (* 0.5 (+ phi2 phi1))) 2)) (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) (pow lambda1 2))) (* 2 (* lambda2 (* (pow (cos (* 0.5 (+ phi2 phi1))) 2) lambda1)))) (* (- phi1 phi2) (- phi1 phi2)))) |
| 24.0ms | (- (log (+ (pow (* 1/2 (pow x 2)) 3) (pow (+ x 2.0) 3))) (+ (log (+ (* (* 1/2 (pow x 2)) (* 1/2 (pow x 2))) (- (* (+ x 2.0) (+ x 2.0)) (* (* 1/2 (pow x 2)) (+ x 2.0))))) (* x y))) |
| 22.0ms | (* (- (/ (* m (- (pow 1.0 3) (pow m 3))) (* (+ (* m (+ m 1.0)) (* 1.0 1.0)) v)) 1.0) (- 1.0 m)) |
| 1139× | associate-*r/ |
| 936× | frac-add |
| 913× | clear-num |
| 797× | *-commutative |
| 706× | frac-2neg |
| 608× | associate-/r* |
| 564× | associate-/r/ |
| 534× | flip-- |
| 533× | flip3-- |
| 519× | frac-sub |
| 505× | frac-times |
| 416× | un-div-inv |
| 391× | associate-*l/ |
| 390× | sqr-pow |
| 320× | div-inv |
| 299× | flip-+ |
| 298× | flip3-+ |
| 292× | associate-/l/ |
| 280× | times-frac |
| 258× | associate-/l* |
| 235× | difference-of-squares |
| 207× | associate-*l* |
| 166× | sqrt-div log-div |
| 159× | sub-neg |
| 152× | associate-*r* |
| 128× | tan-quot |
| 111× | unswap-sqr |
| 110× | neg-sub0 |
| 106× | swap-sqr |
| 101× | +-commutative |
| 95× | distribute-rgt-in distribute-lft-in |
| 87× | cbrt-prod |
| 79× | neg-mul-1 |
| 75× | unpow-prod-down |
| 72× | pow-neg |
| 68× | unpow3 |
| 62× | associate--l+ |
| 61× | exp-neg |
| 59× | div-sub |
| 56× | cbrt-div associate-+r+ |
| 43× | distribute-rgt-neg-in distribute-lft-neg-in unpow2 |
| 39× | exp-diff |
| 37× | associate--r+ |
| 36× | pow-sub pow2 |
| 34× | pow-to-exp |
| 32× | sqrt-prod cos-sum |
| 31× | pow1/2 |
| 27× | sum-cubes |
| 26× | associate--l- |
| 25× | log-prod |
| 24× | associate-+l- |
| 20× | sin-mult |
| 19× | sub-div |
| 17× | sin-diff cos-diff cos-mult |
| 15× | inv-pow |
| 11× | associate-+r- pow1/3 |
| 10× | distribute-lft-out sin-cos-mult difference-cubes |
| 9× | distribute-rgt-out log-rec |
| 7× | distribute-lft-out-- remove-double-div acos-asin associate--r- pow-exp |
| 6× | distribute-lft-neg-out exp-prod pow-flip distribute-frac-neg sin-sum |
| 5× | rec-exp prod-exp distribute-neg-frac |
| 4× | pow-prod-down distribute-rgt-out-- |
| 3× | acos-neg pow-pow sin-neg pow-sqr sum-log pow-prod-up distribute-rgt-neg-out |
| 2× | cbrt-undiv unsub-neg exp-sum exp-lft-cube |
| 1× | div-exp associate-+l+ rem-exp-log log-pow rgt-mult-inverse tanh-undef asin-acos tanh-def |