
Time bar (total: 3.9s)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 0 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 1 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 2 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 3 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 4 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 5 |
| 0.0% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 6 |
| 6.2% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 7 |
| 9.4% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 8 |
| 14.1% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 9 |
| 21.1% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 10 |
| 31.6% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 11 |
| 36.9% | 0.0% | 0.0% | 100.0% | 0.0% | 0.0% | 0.0% | 12 |
Compiled 120 to 50 computations (58.3% saved)
| 2.6s | 8 253× | 0 | valid |
| 2.0ms | 3× | 1 | valid |
ival-sin: 361.0ms (18.6% of total, 339.1 MiB)ival-tan: 343.0ms (17.7% of total, 363.8 MiB)ival-cos: 333.0ms (17.2% of total, 333.1 MiB)ival-div!: 305.0ms (15.8% of total, 285.4 MiB)ival-mult!: 289.0ms (14.9% of total, 320.2 MiB)ival-atan!: 80.0ms (4.1% of total, 77.3 MiB)ival-add!: 80.0ms (4.1% of total, 95.5 MiB)ival-sqrt!: 42.0ms (2.2% of total, 48.3 MiB)ival-and: 30.0ms (1.5% of total, 33.6 MiB)ival-sub!: 27.0ms (1.4% of total, 31.5 MiB)ival-<=: 26.0ms (1.3% of total, 20.4 MiB)adjust: 14.0ms (0.7% of total, 8.3 MiB)ival-assert: 7.0ms (0.4% of total, 6.7 MiB)ival-pi: 0.0ms (0.0% of total, 0.0 MiB)Useful iterations: 1 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 207 | 884 |
| 1 | 1468 | 813 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 99.3% | (/.f32 #s(literal 1 binary32) (sqrt.f32 (+.f32 #s(literal 1 binary32) (/.f32 (*.f32 (/.f32 #s(literal 1 binary32) (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (+.f32 (*.f32 (*.f32 #s(literal 2 binary32) (PI.f32)) u1) (*.f32 #s(literal 1/2 binary32) (PI.f32)))))))) (*.f32 alphay alphay)))) u0) (-.f32 #s(literal 1 binary32) u0))))) |
Compiled 176 to 64 computations (63.6% saved)
| 0.0ms | 1× | 0 | valid |
Compiled 12 to 8 computations (33.3% saved)
adjust: 0.0ms (0.0% of total, 0.0 MiB)Loading profile data...