math.square on complex, real part
Time bar (total: 955.0ms)
| 1× | search |
| Probability | Valid | Unknown | Precondition | Infinite | Domain | Can't | Iter |
|---|---|---|---|---|---|---|---|
| 0% | 0% | 99.9% | 0.1% | 0% | 0% | 0% | 0 |
| 100% | 99.9% | 0% | 0.1% | 0% | 0% | 0% | 1 |
Compiled 9 to 7 computations (22.2% saved)
| 395.0ms | 8 256× | 0 | valid |
ival-mult!: 153.0ms (89.4% of total)ival-sub!: 17.0ms (9.9% of total)adjust: 2.0ms (1.2% of total)Useful iterations: 0 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 14 | 42 |
| 1 | 62 | 42 |
| 2 | 273 | 42 |
| 3 | 477 | 42 |
| 4 | 1202 | 42 |
| 5 | 4632 | 42 |
| 1× | node-limit |
| Status | Accuracy | Program |
|---|---|---|
| ▶ | 93.7% | (-.f64 (*.f64 re re) (*.f64 im im)) |
(abs re)
(abs im)
Compiled 10 to 10 computations (0% saved)
| Inputs |
|---|
(-.f64 (*.f64 re re) (*.f64 im im)) |
(*.f64 re re) |
re |
(*.f64 im im) |
im |
| Outputs |
|---|
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* -1 (pow im 2)))) |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (- (pow re 2) (pow im 2)))) |
#s(approx (* re re) #s(hole binary64 (pow re 2))) |
#s(approx re #s(hole binary64 re)) |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2))))))) |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (+ (* -1 (pow im 2)) (pow re 2)))) |
#s(approx (* im im) #s(hole binary64 (pow im 2))) |
#s(approx im #s(hole binary64 im)) |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1)))) |
6 calls:
| Time | Variable | Point | Expression | |
|---|---|---|---|---|
| 1.0ms | re | @ | inf | ((- (* re re) (* im im)) (* re re) re (* im im) im) |
| 1.0ms | re | @ | -inf | ((- (* re re) (* im im)) (* re re) re (* im im) im) |
| 1.0ms | im | @ | inf | ((- (* re re) (* im im)) (* re re) re (* im im) im) |
| 1.0ms | im | @ | -inf | ((- (* re re) (* im im)) (* re re) re (* im im) im) |
| 1.0ms | re | @ | 0 | ((- (* re re) (* im im)) (* re re) re (* im im) im) |
Useful iterations: 2 (0.0ms)
| Iter | Nodes | Cost |
|---|---|---|
| 0 | 32 | 124 |
| 0 | 33 | 120 |
| 1 | 163 | 119 |
| 2 | 1182 | 115 |
| 1× | iter-limit |
| 1× | unsound |
| 1× | node-limit |
| 1× | iter-limit |
| Inputs |
|---|
(-.f64 (*.f64 re re) (*.f64 im im)) |
(*.f64 re re) |
re |
(*.f64 im im) |
im |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* -1 (pow im 2)))) |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (- (pow re 2) (pow im 2)))) |
#s(approx (* re re) #s(hole binary64 (pow re 2))) |
#s(approx re #s(hole binary64 re)) |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow re 2) (+ 1 (* -1 (/ (pow im 2) (pow re 2))))))) |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (+ (* -1 (pow im 2)) (pow re 2)))) |
#s(approx (* im im) #s(hole binary64 (pow im 2))) |
#s(approx im #s(hole binary64 im)) |
#s(approx (- (* re re) (* im im)) #s(hole binary64 (* (pow im 2) (- (/ (pow re 2) (pow im 2)) 1)))) |
| Outputs |
|---|
(-.f64 (*.f64 re re) (*.f64 im im)) |
(*.f64 re re) |
re |
(*.f64 im im) |
im |
#s(approx (- (* re re) (* im im)) (-.f64 (*.f64 re re) (*.f64 im im))) |
#s(approx (* re re) (*.f64 re re)) |
#s(approx re re) |
#s(approx (- (* re re) (* im im)) (-.f64 (*.f64 re re) (*.f64 im im))) |
#s(approx (* im im) (*.f64 im im)) |
#s(approx im im) |
Compiled 27 to 19 computations (29.6% saved)
1 alts after pruning (0 fresh and 1 done)
| Pruned | Kept | Total | |
|---|---|---|---|
| New | 5 | 0 | 5 |
| Fresh | 0 | 0 | 0 |
| Picked | 0 | 1 | 1 |
| Done | 0 | 0 | 0 |
| Total | 5 | 1 | 6 |
| Status | Accuracy | Program |
|---|---|---|
| ✓ | 93.7% | (-.f64 (*.f64 re re) (*.f64 im im)) |
Compiled 10 to 10 computations (0% saved)
| 1× | done |
Compiled 5 to 5 computations (0% saved)
(abs im)
(abs re)
Compiled 30 to 30 computations (0% saved)
Loading profile data...