Linear.Projection:inversePerspective from linear-1.19.1.3, B

Time bar (total: 1.6s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze121.0ms (7.8%)

Memory
-14.4MiB live, 86.1MiB allocated; 32ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
25%25%74.9%0.1%0%0%0%3
37.5%37.5%62.4%0.1%0%0%0%4
56.3%56.2%43.7%0.1%0%0%0%5
65.6%65.6%34.3%0.1%0%0%0%6
76.6%76.5%23.4%0.1%0%0%0%7
82%82%18%0.1%0%0%0%8
87.9%87.8%12.1%0.1%0%0%0%9
90.8%90.7%9.2%0.1%0%0%0%10
93.8%93.8%6.1%0.1%0%0%0%11
95.4%95.3%4.6%0.1%0%0%0%12
Compiler

Compiled 11 to 9 computations (18.2% saved)

sample1.2s (74.1%)

Memory
-45.3MiB live, 1 719.5MiB allocated; 364ms collecting garbage
Samples
888.0ms8 255×0valid
0.0ms1×1valid
Precisions
Click to see histograms. Total time spent on operations: 344.0ms
ival-mult!: 171.0ms (49.8% of total)
ival-sub!: 94.0ms (27.4% of total)
ival-div!: 78.0ms (22.7% of total)
adjust: 2.0ms (0.6% of total)
Bogosity

preprocess46.0ms (2.9%)

Memory
2.0MiB live, 45.4MiB allocated; 8ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02260
110154
250742
3401442
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶75.3%
(/.f64 (-.f64 x y) (*.f64 (*.f64 x #s(literal 2 binary64)) y))
Compiler

Compiled 14 to 14 computations (0% saved)

series14.0ms (0.9%)

Memory
3.5MiB live, 45.9MiB allocated; 8ms collecting garbage
Counts
7 → 16
Calls
Call 1
Inputs
(/.f64 (-.f64 x y) (*.f64 (*.f64 x #s(literal 2 binary64)) y))
(-.f64 x y)
x
y
(*.f64 (*.f64 x #s(literal 2 binary64)) y)
(*.f64 x #s(literal 2 binary64))
#s(literal 2 binary64)
Outputs
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (/ -1/2 x)))
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (/ (- (* 1/2 (/ x y)) 1/2) x)))
#s(approx (- x y) #s(hole binary64 (* -1 y)))
#s(approx (- x y) #s(hole binary64 (- x y)))
#s(approx x #s(hole binary64 x))
#s(approx (* (* x 2) y) #s(hole binary64 (* 2 (* x y))))
#s(approx (* x 2) #s(hole binary64 (* 2 x)))
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (/ 1/2 y)))
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x)))))
#s(approx (- x y) #s(hole binary64 (* x (+ 1 (* -1 (/ y x))))))
#s(approx (- x y) #s(hole binary64 (* -1 (* x (- (/ y x) 1)))))
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (/ (+ 1/2 (* -1/2 (/ y x))) y)))
#s(approx (- x y) #s(hole binary64 (+ x (* -1 y))))
#s(approx y #s(hole binary64 y))
#s(approx (- x y) #s(hole binary64 (* y (- (/ x y) 1))))
#s(approx (- x y) #s(hole binary64 (* -1 (* y (+ 1 (* -1 (/ x y)))))))
Calls

6 calls:

TimeVariablePointExpression
3.0ms
y
@-inf
((/ (- x y) (* (* x 2) y)) (- x y) x y (* (* x 2) y) (* x 2) 2)
2.0ms
x
@-inf
((/ (- x y) (* (* x 2) y)) (- x y) x y (* (* x 2) y) (* x 2) 2)
2.0ms
x
@inf
((/ (- x y) (* (* x 2) y)) (- x y) x y (* (* x 2) y) (* x 2) 2)
2.0ms
x
@0
((/ (- x y) (* (* x 2) y)) (- x y) x y (* (* x 2) y) (* x 2) 2)
1.0ms
y
@inf
((/ (- x y) (* (* x 2) y)) (- x y) x y (* (* x 2) y) (* x 2) 2)

rewrite212.0ms (13.6%)

Memory
27.6MiB live, 326.8MiB allocated; 53ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
063207
068194
1339192
22058180
Stop Event
1×iter-limit
1×unsound
1×node-limit
1×iter-limit
Counts
23 → 14
Calls
Call 1
Inputs
(/.f64 (-.f64 x y) (*.f64 (*.f64 x #s(literal 2 binary64)) y))
(-.f64 x y)
x
y
(*.f64 (*.f64 x #s(literal 2 binary64)) y)
(*.f64 x #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (/ -1/2 x)))
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (/ (- (* 1/2 (/ x y)) 1/2) x)))
#s(approx (- x y) #s(hole binary64 (* -1 y)))
#s(approx (- x y) #s(hole binary64 (- x y)))
#s(approx x #s(hole binary64 x))
#s(approx (* (* x 2) y) #s(hole binary64 (* 2 (* x y))))
#s(approx (* x 2) #s(hole binary64 (* 2 x)))
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (/ 1/2 y)))
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (- (* 1/2 (/ 1 y)) (* 1/2 (/ 1 x)))))
#s(approx (- x y) #s(hole binary64 (* x (+ 1 (* -1 (/ y x))))))
#s(approx (- x y) #s(hole binary64 (* -1 (* x (- (/ y x) 1)))))
#s(approx (/ (- x y) (* (* x 2) y)) #s(hole binary64 (/ (+ 1/2 (* -1/2 (/ y x))) y)))
#s(approx (- x y) #s(hole binary64 (+ x (* -1 y))))
#s(approx y #s(hole binary64 y))
#s(approx (- x y) #s(hole binary64 (* y (- (/ x y) 1))))
#s(approx (- x y) #s(hole binary64 (* -1 (* y (+ 1 (* -1 (/ x y)))))))
Outputs
(/.f64 (-.f64 x y) (*.f64 (*.f64 x #s(literal 2 binary64)) y))
(-.f64 x y)
x
y
(*.f64 (*.f64 x #s(literal 2 binary64)) y)
(*.f64 x #s(literal 2 binary64))
#s(literal 2 binary64)
#s(approx (- x y) (-.f64 x y))
#s(approx x x)
#s(approx (* (* x 2) y) (*.f64 (*.f64 x #s(literal 2 binary64)) y))
#s(approx (* x 2) (*.f64 x #s(literal 2 binary64)))
#s(approx (/ (- x y) (* (* x 2) y)) (/.f64 (-.f64 x y) (*.f64 (*.f64 x #s(literal 2 binary64)) y)))
#s(approx (- x y) (-.f64 x y))
#s(approx y y)

eval1.0ms (0%)

Memory
2.4MiB live, 2.4MiB allocated; 0ms collecting garbage
Compiler

Compiled 42 to 29 computations (31% saved)

prune1.0ms (0.1%)

Memory
3.6MiB live, 3.6MiB allocated; 0ms collecting garbage
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New606
Fresh000
Picked011
Done000
Total617
Accuracy
75.3%
Counts
7 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓75.3%
(/.f64 (-.f64 x y) (*.f64 (*.f64 x #s(literal 2 binary64)) y))
Compiler

Compiled 14 to 14 computations (0% saved)

derivations0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Stop Event
1×done
Compiler

Compiled 7 to 7 computations (0% saved)

preprocess10.0ms (0.7%)

Memory
-6.5MiB live, 37.8MiB allocated; 4ms collecting garbage
Compiler

Compiled 14 to 14 computations (0% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...