| Date: | Thursday, June 4th, 2020 |
|---|---|
| Commit: | db2a7555 on ival-find-range |
| Hostname: | warfa with Racket 7.5 |
| Seed: | 2020156 |
| 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 | 10836× | body | 1280 | valid |
| 2.8s | 72216× | body | 80 | valid |
| 1.9s | 6804× | body | 640 | valid |
| 865.0ms | 24768× | pre | 80 | true |
| 588.0ms | 2825× | body | 320 | valid |
| 206.0ms | 1343× | body | 160 | valid |
| 60× | egg-herbie |
106 calls:
| 842.0ms | (/ (- (* (* (- (* (tan y) (tan y)) (* (tan z) (tan z))) (cos a)) (+ (* 1 1) (+ (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* 1 (* (tan y) (tan z)))))) (* (- (tan y) (tan z)) (* (- (pow 1 3) (pow (* (tan y) (tan z)) 3)) (sin a)))) (* (* (+ (* (* (tan y) (tan z)) (+ (* (tan y) (tan z)) 1)) 1) (- (tan y) (tan z))) (* (- 1 (* (tan y) (tan z))) (cos a)))) |
| 156.0ms | (* (* (+ (* (* (tan y) (tan z)) (+ (* (tan y) (tan z)) 1)) 1) (- (tan y) (tan z))) (* (- 1 (* (tan y) (tan z))) (cos a))) |
| 150.0ms | (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (* (tan y) (tan z))) (cos a))) |
| 148.0ms | (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (cbrt (pow (* (tan y) (tan z)) 3))) (cos a))) |
| 83.0ms | (* (pow c 2.0) (* (* x (pow s 2.0)) x)) |
| 38× | rewrite-expression-head |
106 calls:
| 95.0ms | (/ (- (* (* (- (* (tan y) (tan y)) (* (tan z) (tan z))) (cos a)) (+ (* 1 1) (+ (* (* (tan y) (tan z)) (* (tan y) (tan z))) (* 1 (* (tan y) (tan z)))))) (* (- (tan y) (tan z)) (* (- (pow 1 3) (pow (* (tan y) (tan z)) 3)) (sin a)))) (* (* (+ (* (* (tan y) (tan z)) (+ (* (tan y) (tan z)) 1)) 1) (- (tan y) (tan z))) (* (- 1 (* (tan y) (tan z))) (cos a)))) |
| 25.0ms | (* (* (+ (* (* (tan y) (tan z)) (+ (* (tan y) (tan z)) 1)) 1) (- (tan y) (tan z))) (* (- 1 (* (tan y) (tan z))) (cos a))) |
| 24.0ms | (/ (cos (* 2.0 x)) (* (pow c (/ 2.0 2)) (* (pow c (/ 2.0 2)) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x)))) |
| 17.0ms | (/ (- (* (+ (tan y) (tan z)) (cos a)) (* (- 1 (* (tan y) (tan z))) (sin a))) (* (- 1 (cbrt (pow (* (tan y) (tan z)) 3))) (cos a))) |
| 17.0ms | (* (pow c (/ 2.0 2)) (* (pow c (/ 2.0 2)) (* (* (* x (pow s (/ 2.0 2))) (pow s (/ 2.0 2))) x))) |
| 2192× | add-exp-log |
| 1777× | prod-exp |
| 1203× | associate-*l/ |
| 1096× | tan-quot |
| 838× | frac-sub |
| 737× | frac-times |
| 612× | add-sqr-sqrt |
| 487× | *-un-lft-identity |
| 464× | add-cbrt-cube |
| 438× | pow-exp |
| 436× | pow-to-exp add-cube-cbrt |
| 417× | associate-/l/ |
| 347× | flip-- flip3-- |
| 325× | associate-*r/ |
| 277× | pow1 |
| 276× | associate-*l* |
| 261× | times-frac |
| 226× | sqrt-prod |
| 193× | cbrt-unprod |
| 178× | div-exp |
| 175× | associate-*r* |
| 167× | flip-+ flip3-+ |
| 129× | add-log-exp |
| 93× | unpow-prod-down |
| 84× | pow-prod-down |
| 79× | unswap-sqr |
| 61× | associate-/r* associate-/r/ |
| 57× | cbrt-prod |
| 53× | *-commutative |
| 45× | associate-/l* |
| 42× | cbrt-undiv |
| 41× | sqr-pow |
| 28× | sin-mult |
| 27× | div-inv |
| 25× | distribute-rgt-out |
| 24× | cos-mult distribute-lft-out |
| 17× | clear-num frac-2neg |
| 16× | sqrt-pow1 |
| 15× | sub-div |
| 14× | distribute-lft-out-- |
| 13× | difference-of-squares |
| 12× | pow1/3 |
| 9× | cube-div |
| 8× | sub-neg diff-log |
| 7× | pow1/2 |
| 6× | pow-unpow log-prod sqrt-div div-sub |
| 5× | frac-add distribute-lft1-in count-2 distribute-rgt1-in |
| 4× | rem-sqrt-square sum-log swap-sqr pow-pow rem-cube-cbrt |
| 3× | pow2 +-commutative cbrt-div pow-plus cube-prod cube-mult pow-sqr log-pow pow-prod-up associate--r+ unpow3 |
| 2× | tan-sum cos-sum associate-+r+ |
| 1× | rem-log-exp associate-+r- exp-to-pow exp-prod rem-cbrt-cube |
Loading profile data...