Time bar (total: 3.0s)
| True | Other | False | Iter |
|---|---|---|---|
| 0% | 99.8% | 0.2% | 0 |
| 0% | 99.8% | 0.2% | 1 |
| 0% | 99.8% | 0.2% | 2 |
| 0% | 99.8% | 0.2% | 3 |
| 0% | 99.8% | 0.2% | 4 |
| 0% | 99.8% | 0.2% | 5 |
| 0% | 99.8% | 0.2% | 6 |
| 3.1% | 96.7% | 0.2% | 7 |
| 6.2% | 93.6% | 0.2% | 8 |
| 8.6% | 91.2% | 0.2% | 9 |
| 28.1% | 71.7% | 0.2% | 10 |
| 31% | 68.8% | 0.2% | 11 |
| 40.5% | 59.3% | 0.2% | 12 |
| 49.6% | 50.2% | 0.2% | 13 |
| 59% | 40.8% | 0.2% | 14 |
| 13.0ms | 256× | body | 80 | valid |
| 1.0ms | 14× | body | 80 | invalid |
Useful iterations: 0 (78.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5074 | 25 |
1 alts after pruning (1 fresh and 0 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 1 | 0 | 1 |
| Fresh | 0 | 1 | 1 |
| Picked | 0 | 0 | 0 |
| Done | 0 | 0 | 0 |
| Total | 1 | 1 | 2 |
Merged error: 5.5b
Found 3 expressions with local error:
| 0.0b | (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) |
| 0.2b | (/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1)) |
| 7.5b | (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x)) |
| 43× | *-un-lft-identity_binary64_89732 |
| 25× | times-frac_binary64_89727 |
| 21× | add-cube-cbrt_binary64_89703 add-sqr-sqrt_binary64_89717 |
| 11× | distribute-lft-out_binary64_89776 |
| 7× | add-exp-log_binary64_89696 associate-/r*_binary64_89795 add-cbrt-cube_binary64_89704 associate-/l*_binary64_89796 |
| 5× | add-log-exp_binary64_89697 |
| 4× | associate-/r/_binary64_89797 div-sub_binary64_89726 associate-/l/_binary64_89798 |
| 3× | flip-+_binary64_89757 flip3-+_binary64_89730 pow1_binary64_89674 |
| 2× | clear-num_binary64_89735 div-inv_binary64_89733 associate-+r-_binary64_89785 frac-2neg_binary64_89725 flip--_binary64_89758 div-exp_binary64_89681 cbrt-undiv_binary64_89702 flip3--_binary64_89731 |
| 1× | sum-log_binary64_89642 +-commutative_binary64_89799 |
| 15.0ms | (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) |
| 20.0ms | (/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1)) |
| 12.0ms | (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x)) |
| 398.0ms | (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) |
| 637.0ms | (/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1)) |
| 414.0ms | (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x)) |
Useful iterations: 0 (86.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 481 | 4626 |
| 1 | 481 | 4626 |
| 0 | 4923 | 4536 |
| 1 | 4923 | 4536 |
| 0 | 481 | 4626 |
| 1 | 481 | 4626 |
| 0 | 4923 | 4536 |
| 1 | 4923 | 4536 |
| 0 | 4894 | 4609 |
| 1 | 4894 | 4609 |
| 0 | 490 | 4755 |
| 1 | 490 | 4755 |
| 0 | 4927 | 4653 |
| 1 | 4927 | 4653 |
| 0 | 490 | 4755 |
| 1 | 490 | 4755 |
| 0 | 4927 | 4653 |
| 1 | 4927 | 4653 |
| 0 | 4815 | 4662 |
| 1 | 4815 | 4662 |
| 0 | 81 | 4677 |
| 1 | 81 | 4677 |
| 0 | 5619 | 4581 |
| 0 | 81 | 4677 |
| 1 | 81 | 4677 |
| 0 | 5619 | 4581 |
| 0 | 4991 | 4636 |
| 1 | 4991 | 4636 |
Useful iterations: 0 (95.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 5201 | 16500 |
Loading profile data...