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 |
| 12.0ms | 256× | body | 80 | valid |
| 0.0ms | 7× | 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: 6.3b
Found 3 expressions with local error:
| 0.0b | (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) |
| 0.0b | (/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1)) |
| 10.0b | (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x)) |
| 43× | *-un-lft-identity_binary64_87937 |
| 25× | times-frac_binary64_87932 |
| 21× | add-cube-cbrt_binary64_87908 add-sqr-sqrt_binary64_87922 |
| 11× | distribute-lft-out_binary64_87981 |
| 7× | associate-/r*_binary64_88000 add-cbrt-cube_binary64_87909 associate-/l*_binary64_88001 add-exp-log_binary64_87901 |
| 5× | add-log-exp_binary64_87902 |
| 4× | associate-/r/_binary64_88002 div-sub_binary64_87931 associate-/l/_binary64_88003 |
| 3× | flip-+_binary64_87962 pow1_binary64_87879 flip3-+_binary64_87935 |
| 2× | flip--_binary64_87963 div-inv_binary64_87938 clear-num_binary64_87940 associate-+r-_binary64_87990 frac-2neg_binary64_87930 flip3--_binary64_87936 cbrt-undiv_binary64_87907 div-exp_binary64_87886 |
| 1× | +-commutative_binary64_88004 sum-log_binary64_87847 |
| 16.0ms | (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) |
| 30.0ms | (/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1)) |
| 13.0ms | (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x)) |
| 392.0ms | (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) |
| 636.0ms | (/.f64 (+.f64 x (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x))) (+.f64 x 1)) |
| 422.0ms | (/.f64 (-.f64 (*.f64 y z) x) (-.f64 (*.f64 t z) x)) |
Useful iterations: 0 (87.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...