Graphics.Rendering.Chart.Axis.Types:invLinMap from Chart-1.5.3

Time bar (total: 1.8s)

analyze203.0ms (11.2%)

Memory
12.4MiB live, 211.1MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%99.8%0.2%0%0%0%3
0%0%99.8%0.2%0%0%0%4
0%0%99.8%0.2%0%0%0%5
50%49.9%49.9%0.2%0%0%0%6
50%49.9%49.9%0.2%0%0%0%7
50%49.9%49.9%0.2%0%0%0%8
50%49.9%49.9%0.2%0%0%0%9
50%49.9%49.9%0.2%0%0%0%10
75%74.8%24.9%0.2%0%0%0%11
75%74.8%24.9%0.2%0%0%0%12
Compiler

Compiled 15 to 13 computations (13.3% saved)

sample1.2s (65.3%)

Memory
-30.8MiB live, 1 448.8MiB allocated
Samples
605.0ms6 960×0valid
280.0ms1 235×1valid
14.0ms61×2valid
Precisions
Click to see histograms. Total time spent on operations: 509.0ms
ival-sub: 188.0ms (36.9% of total)
ival-div: 117.0ms (23% of total)
adjust: 89.0ms (17.5% of total)
ival-mult: 60.0ms (11.8% of total)
ival-add: 47.0ms (9.2% of total)
ival-true: 6.0ms (1.2% of total)
ival-assert: 3.0ms (0.6% of total)
Bogosity

preprocess425.0ms (23.5%)

Memory
31.5MiB live, 577.7MiB allocated
Algorithm
2×egg-herbie
Rules
10 292×accelerator-lowering-fma.f32
10 292×accelerator-lowering-fma.f64
1 756×unsub-neg
1 702×*-lowering-*.f32
1 702×*-lowering-*.f64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
085290
1203282
2641273
32228273
46476273
01113
12013
24713
311913
440113
5121413
6303813
7686013
0810812
Stop Event
1×iter limit
1×node limit
1×node limit
Calls
Call 1
Inputs
(+ x (/ (* (- y z) (- t x)) (- a z)))
Outputs
(+ x (/ (* (- y z) (- t x)) (- a z)))
(fma.f64 (-.f64 y z) (/.f64 (-.f64 t x) (-.f64 a z)) x)
Call 2
Inputs
(+ x (/ (* (- y z) (- t x)) (- a z)))
(+ (neg x) (/ (* (- y z) (- t (neg x))) (- a z)))
(+ x (/ (* (- (neg y) z) (- t x)) (- a z)))
(+ x (/ (* (- y (neg z)) (- t x)) (- a (neg z))))
(+ x (/ (* (- y z) (- (neg t) x)) (- a z)))
(+ x (/ (* (- y z) (- t x)) (- (neg a) z)))
(neg (+ (neg x) (/ (* (- y z) (- t (neg x))) (- a z))))
(neg (+ x (/ (* (- (neg y) z) (- t x)) (- a z))))
(neg (+ x (/ (* (- y (neg z)) (- t x)) (- a (neg z)))))
(neg (+ x (/ (* (- y z) (- (neg t) x)) (- a z))))
(neg (+ x (/ (* (- y z) (- t x)) (- (neg a) z))))
(+ y (/ (* (- x z) (- t y)) (- a z)))
(+ z (/ (* (- y x) (- t z)) (- a x)))
(+ t (/ (* (- y z) (- x t)) (- a z)))
(+ a (/ (* (- y z) (- t a)) (- x z)))
(+ x (/ (* (- z y) (- t x)) (- a y)))
(+ x (/ (* (- t z) (- y x)) (- a z)))
(+ x (/ (* (- a z) (- t x)) (- y z)))
(+ x (/ (* (- y t) (- z x)) (- a t)))
(+ x (/ (* (- y a) (- t x)) (- z a)))
(+ x (/ (* (- y z) (- a x)) (- t z)))
Outputs
(+ x (/ (* (- y z) (- t x)) (- a z)))
(+ x (* (- y z) (/ (- t x) (- a z))))
(+ (neg x) (/ (* (- y z) (- t (neg x))) (- a z)))
(- (* (- y z) (/ (+ x t) (- a z))) x)
(+ x (/ (* (- (neg y) z) (- t x)) (- a z)))
(+ x (/ (* (+ y z) (- x t)) (- a z)))
(+ x (/ (* (- y (neg z)) (- t x)) (- a (neg z))))
(+ x (/ (* (- t x) (+ y z)) (+ z a)))
(+ x (/ (* (- y z) (- (neg t) x)) (- a z)))
(+ x (* (- y z) (/ (+ x t) (- z a))))
(+ x (/ (* (- y z) (- t x)) (- (neg a) z)))
(+ x (* (- y z) (/ (- x t) (+ z a))))
(neg (+ (neg x) (/ (* (- y z) (- t (neg x))) (- a z))))
(+ x (* (- y z) (/ (+ x t) (- z a))))
(neg (+ x (/ (* (- (neg y) z) (- t x)) (- a z))))
(- (/ (* (+ y z) (- x t)) (- z a)) x)
(neg (+ x (/ (* (- y (neg z)) (- t x)) (- a (neg z)))))
(- (* (+ y z) (/ (- x t) (+ z a))) x)
(neg (+ x (/ (* (- y z) (- (neg t) x)) (- a z))))
(- (* (- y z) (/ (+ x t) (- a z))) x)
(neg (+ x (/ (* (- y z) (- t x)) (- (neg a) z))))
(- (* (- y z) (/ (- t x) (+ z a))) x)
(+ y (/ (* (- x z) (- t y)) (- a z)))
(+ y (* (- x z) (/ (- t y) (- a z))))
(+ z (/ (* (- y x) (- t z)) (- a x)))
(+ z (* (- t z) (/ (- y x) (- a x))))
(+ t (/ (* (- y z) (- x t)) (- a z)))
(+ t (* (- y z) (/ (- t x) (- z a))))
(+ a (/ (* (- y z) (- t a)) (- x z)))
(+ a (* (- y z) (/ (- t a) (- x z))))
(+ x (/ (* (- z y) (- t x)) (- a y)))
(+ x (* (- y z) (/ (- x t) (- a y))))
(+ x (/ (* (- t z) (- y x)) (- a z)))
(+ x (* (- y x) (/ (- t z) (- a z))))
(+ x (/ (* (- a z) (- t x)) (- y z)))
(+ x (* (- a z) (/ (- t x) (- y z))))
(+ x (/ (* (- y t) (- z x)) (- a t)))
(+ x (* (- t y) (/ (- x z) (- a t))))
(+ x (/ (* (- y a) (- t x)) (- z a)))
(+ x (* (- t x) (/ (- y a) (- z a))))
(+ x (/ (* (- y z) (- a x)) (- t z)))
(+ x (* (- y z) (/ (- a x) (- t z))))

explain1.0ms (0%)

Memory
1.4MiB live, 1.4MiB allocated
Samples
0.0ms2×0valid
Compiler

Compiled 47 to 13 computations (72.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-sub: 0.0ms (0% of total)
ival-div: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...