350 calls:
| 2.3m | (- (* (+ (+ (* x y) (* z t)) (* a b)) (+ (+ (* x y) (* z t)) (* a b))) (* (* c i) (* c i))) |
| 1.7s | (cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x))) |
| 1.4s | (cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x))) |
| 1.4s | (cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x))) |
| 1.4s | (cbrt (* (/ (- y z) (- (+ t 1.0) z)) (- a x))) |
| 60× | intervals |
| 1.3m | 335755× | body | 80 | valid |
| 25.3s | 208169× | body | 80 | nan |
| 21.1s | 21255× | body | 1280 | valid |
| 9.5s | 11110× | body | 640 | valid |
| 5.7s | 5314× | body | 2560 | valid |
| 2.9s | 5236× | body | 320 | valid |
| 1.8s | 16512× | pre | 80 | true |
| 865.0ms | 2496× | body | 160 | valid |
| 120.0ms | 225× | body | 5120 | valid |
Total 48.0b remaining (29.5%)
Threshold costs 3.9b (2.4%)
| 12.0b | -10.4% | Linear.Matrix:det44 from linear-1.19.1.3 |
| 6.2b | 21.5% | Linear.Matrix:det33 from linear-1.19.1.3 |
| 5.0b | 0% | cos(2*x)/(cos^2(x)*sin^2(x)) |
| 4.8b | 82.1% | The quadratic formula (r1) |
| 4.0b | 85.8% | NMSE problem 3.2.1 |
| 103× | rewrite-expression-head |
350 calls:
| 1.0s | (* (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (sin a) (cos a))) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (sin a) (cos a)))) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (sin a) (cos a)))) |
| 689.0ms | (* (* (/ (* (cbrt x) (cbrt x)) (cbrt (* (cbrt z) (cbrt z)))) (* (/ (cbrt x) (cbrt (cbrt z))) (/ y (cbrt z)))) (/ 1 (cbrt z))) |
| 661.0ms | (cbrt (* (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (sin a) (cos a))) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (sin a) (cos a)))) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (sin a) (cos a))))) |
| 567.0ms | (* (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (sin a) (cos a))) (- (/ (+ (tan y) (tan z)) (- 1 (* (tan z) (tan y)))) (/ (sin a) (cos a)))) |
| 556.0ms | (* (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i))) (cbrt (+ (+ (+ (* x y) (* z t)) (* a b)) (* c i)))) |
| 5765× | add-exp-log |
| 4156× | prod-exp |
| 3102× | add-sqr-sqrt |
| 3091× | times-frac |
| 3027× | *-un-lft-identity |
| 2229× | add-cube-cbrt |
| 1682× | pow1 |
| 1460× | add-cbrt-cube |
| 930× | pow-exp |
| 900× | pow-to-exp |
| 838× | div-exp |
| 641× | cbrt-unprod |
| 610× | associate-*r* |
| 597× | cbrt-prod |
| 581× | associate-*l* |
| 577× | add-log-exp |
| 433× | flip3-- flip-- |
| 416× | frac-times |
| 397× | pow-prod-up |
| 378× | pow-prod-down |
| 328× | distribute-rgt-neg-in |
| 327× | frac-sub |
| 297× | distribute-lft-neg-in |
| 290× | associate-*r/ |
| 277× | cbrt-undiv |
| 265× | associate-/r* |
| 261× | associate-*l/ |
| 252× | distribute-lft-out-- |
| 240× | associate-/l* |
| 225× | difference-of-squares |
| 211× | cbrt-div |
| 189× | sqrt-prod |
| 173× | pow-plus |
| 168× | pow-sqr |
| 161× | div-inv |
| 159× | distribute-lft-out |
| 158× | unswap-sqr |
| 137× | sub-neg |
| 135× | flip-+ flip3-+ |
| 120× | *-commutative |
| 115× | distribute-rgt-in distribute-lft-in |
| 108× | pow2 |
| 107× | associate-/r/ |
| 90× | sqrt-div neg-mul-1 |
| 77× | log-prod |
| 69× | diff-log |
| 63× | pow1/3 |
| 58× | frac-2neg clear-num |
| 54× | sum-log |
| 50× | exp-prod |
| 49× | associate-/l/ |
| 46× | 1-exp rec-exp |
| 43× | sqrt-pow1 |
| 42× | pow1/2 |
| 38× | exp-sum unpow-prod-down |
| 34× | sin-mult |
| 32× | associate-+r+ |
| 31× | rem-sqrt-square |
| 30× | swap-sqr rem-exp-log |
| 28× | cos-mult associate--l+ log-pow |
| 27× | associate-+l+ tan-quot |
| 25× | +-commutative |
| 24× | associate--r+ |
| 21× | frac-add |
| 19× | associate-+l- |
| 18× | neg-sub0 |
| 17× | sub-div |
| 14× | sqr-pow neg-log |
| 13× | pow-unpow |
| 12× | pow-pow div-sub log-div |
| 11× | exp-diff |
| 10× | associate--l- |
| 7× | pow3 |
| 6× | cube-unmult un-div-inv |
| 5× | pow-flip |
| 4× | distribute-frac-neg difference-cubes inv-pow distribute-neg-frac |
| 2× | distribute-lft-neg-out sqrt-unprod tan-sum exp-to-pow unpow1/3 cos-sum rem-cbrt-cube rem-log-exp |
| 1× | associate-+r- distribute-rgt-neg-out sub0-neg rem-square-sqrt distribute-rgt-out |