| Date: | Tuesday, June 9th, 2020 |
|---|---|
| Commit: | 8ccfdff1 on master |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020161 |
| 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 |
| 22× | intervals |
| 4.8s | 10986× | body | 1280 | valid |
| 2.6s | 72822× | body | 80 | valid |
| 1.8s | 6761× | body | 640 | valid |
| 819.0ms | 24768× | pre | 80 | true |
| 572.0ms | 2839× | body | 320 | valid |
| 202.0ms | 1375× | body | 160 | valid |
| 61× | egg-herbie |
100 calls:
| 124.0ms | (+ x (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a))) |
| 118.0ms | (- (/ (+ (tan y) (tan z)) (- 1 (* (tan y) (tan z)))) (tan a)) |
| 117.0ms | (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a)) |
| 117.0ms | (- (/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (- 1 (* (tan y) (tan z))) (* (cos y) (cos z)))) (tan a)) |
| 89.0ms | (sqrt (* 2.0 (pow x 2.0))) |
| 39× | rewrite-expression-head |
100 calls:
| 19.0ms | (- (/ (+ (tan y) (tan z)) (- 1 (/ (* (sin y) (sin z)) (* (cos y) (cos z))))) (tan a)) |
| 16.0ms | (- (/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (- 1 (* (tan y) (tan z))) (* (cos y) (cos z)))) (tan a)) |
| 15.0ms | (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt (sqrt 2.0))) (* (sqrt (sqrt 2.0)) x))) |
| 14.0ms | (/ (cos (* 2.0 x)) (* (pow c 2.0) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))) |
| 13.0ms | (/ (+ (* (sin y) (cos z)) (* (cos y) (sin z))) (* (- 1 (* (tan y) (tan z))) (* (cos y) (cos z)))) |
| 957× | add-exp-log |
| 610× | prod-exp |
| 576× | add-sqr-sqrt |
| 479× | *-un-lft-identity |
| 392× | add-cube-cbrt |
| 379× | add-cbrt-cube |
| 244× | pow1 |
| 240× | associate-*l* |
| 232× | times-frac |
| 186× | associate-*r* |
| 176× | sqrt-prod |
| 146× | cbrt-unprod |
| 135× | pow-to-exp pow-exp |
| 128× | add-log-exp |
| 91× | div-exp |
| 76× | pow-prod-down |
| 74× | unpow-prod-down |
| 73× | cbrt-prod |
| 64× | unswap-sqr |
| 56× | associate-/l* |
| 49× | associate-/r* *-commutative |
| 41× | cbrt-undiv |
| 40× | associate-/r/ |
| 28× | sin-mult difference-of-squares |
| 25× | div-inv sqr-pow |
| 24× | cos-mult |
| 23× | distribute-lft-out distribute-lft-out-- |
| 22× | flip-- flip3-- |
| 19× | tan-quot |
| 18× | clear-num frac-2neg |
| 15× | frac-sub |
| 12× | associate-/l/ |
| 11× | sqrt-pow1 pow1/3 |
| 10× | sub-neg distribute-rgt-out sub-div diff-log |
| 9× | pow1/2 |
| 8× | rem-sqrt-square |
| 7× | flip-+ flip3-+ |
| 6× | associate-*r/ log-prod log-pow |
| 4× | associate-+r+ sum-log sqrt-div associate-*l/ frac-times |
| 3× | pow-unpow swap-sqr |
| 2× | rem-log-exp frac-add +-commutative tan-sum cos-sum associate-+r- distribute-lft1-in exp-to-pow count-2 distribute-rgt1-in exp-prod pow-pow |
| 1× | pow2 pow-plus sin-cos-mult sqrt-unprod div-sub pow-sqr pow-prod-up |
Loading profile data...