rsin B (should all be same)
Time bar (total: 2.4s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 1 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 2 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 3 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 4 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 5 |
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 6 |
| 12.5% | 12.5% | 87.4% | 0.1% | 0% | 0% | 0% | 7 |
| 12.5% | 12.5% | 87.4% | 0.1% | 0% | 0% | 0% | 8 |
| 18.8% | 18.7% | 81.1% | 0.1% | 0% | 0% | 0% | 9 |
| 21.9% | 21.8% | 78% | 0.1% | 0% | 0% | 0% | 10 |
| 21.9% | 21.8% | 78% | 0.1% | 0% | 0% | 0% | 11 |
| 23.4% | 23.4% | 76.5% | 0.1% | 0% | 0% | 0% | 12 |
Compiled 11 to 10 computations (9.1% saved)
| 1.4s | 5 855× | 1 | valid |
| 240.0ms | 2 401× | 0 | valid |
ival-cos: 376.0ms (36.7% of total)ival-sin: 243.0ms (23.7% of total)ival-div: 138.0ms (13.5% of total)ival-mult: 95.0ms (9.3% of total)ival-add: 89.0ms (8.7% of total)adjust: 73.0ms (7.1% of total)ival-true: 6.0ms (0.6% of total)ival-assert: 3.0ms (0.3% of total)| 2× | egg-herbie |
| 658× | times-frac |
| 528× | associate-*r* |
| 518× | unsub-neg |
| 474× | associate-*l* |
| 466× | distribute-rgt-in |
Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 38 | 95 |
| 1 | 91 | 93 |
| 2 | 180 | 93 |
| 3 | 433 | 93 |
| 4 | 1081 | 93 |
| 5 | 2510 | 93 |
| 6 | 3273 | 93 |
| 7 | 3669 | 93 |
| 8 | 4249 | 93 |
| 9 | 4625 | 93 |
| 10 | 4637 | 93 |
| 11 | 4641 | 93 |
| 12 | 4641 | 93 |
| 13 | 4681 | 93 |
| 14 | 4697 | 93 |
| 15 | 4697 | 93 |
| 0 | 8 | 9 |
| 1 | 12 | 9 |
| 2 | 14 | 9 |
| 3 | 16 | 9 |
| 4 | 17 | 9 |
| 0 | 17 | 9 |
| 1× | iter limit |
| 1× | saturated |
| 1× | saturated |
| Inputs |
|---|
(* r (/ (sin b) (cos (+ a b)))) |
| Outputs |
|---|
(* r (/ (sin b) (cos (+ a b)))) |
(/.f64 (*.f64 r (sin.f64 b)) (cos.f64 (+.f64 b a))) |
| Inputs |
|---|
(* r (/ (sin b) (cos (+ a b)))) |
(* (neg r) (/ (sin b) (cos (+ a b)))) |
(* r (/ (sin b) (cos (+ (neg a) b)))) |
(* r (/ (sin (neg b)) (cos (+ a (neg b))))) |
(neg (* (neg r) (/ (sin b) (cos (+ a b))))) |
(neg (* r (/ (sin b) (cos (+ (neg a) b))))) |
(neg (* r (/ (sin (neg b)) (cos (+ a (neg b)))))) |
(* a (/ (sin b) (cos (+ r b)))) |
(* b (/ (sin r) (cos (+ a r)))) |
(* r (/ (sin a) (cos (+ b a)))) |
| Outputs |
|---|
(* r (/ (sin b) (cos (+ a b)))) |
(/ (* r (sin b)) (cos (+ b a))) |
(* (neg r) (/ (sin b) (cos (+ a b)))) |
(/ (* r (neg (sin b))) (cos (+ b a))) |
(* r (/ (sin b) (cos (+ (neg a) b)))) |
(/ (* r (sin b)) (cos (- b a))) |
(* r (/ (sin (neg b)) (cos (+ a (neg b))))) |
(/ (* r (neg (sin b))) (cos (- b a))) |
(neg (* (neg r) (/ (sin b) (cos (+ a b))))) |
(/ (* r (sin b)) (cos (+ b a))) |
(neg (* r (/ (sin b) (cos (+ (neg a) b))))) |
(/ (* r (neg (sin b))) (cos (- b a))) |
(neg (* r (/ (sin (neg b)) (cos (+ a (neg b)))))) |
(/ (* r (sin b)) (cos (- b a))) |
(* a (/ (sin b) (cos (+ r b)))) |
(/ (* (sin b) a) (cos (+ r b))) |
(* b (/ (sin r) (cos (+ a r)))) |
(/ (* b (sin r)) (cos (+ r a))) |
(* r (/ (sin a) (cos (+ b a)))) |
(/ (* r (sin a)) (cos (+ b a))) |
(negabs r)
Compiled 30 to 10 computations (66.7% saved)
Loading profile data...