Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, I

Time bar (total: 5.3s)

analyze694.0ms (13%)

Memory
-19.1MiB live, 1 471.2MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.7%0.3%0%0%0%0
0%0%99.7%0.3%0%0%0%1
0%0%99.7%0.3%0%0%0%2
0%0%99.7%0.3%0%0%0%3
0%0%99.7%0.3%0%0%0%4
0%0%99.7%0.3%0%0%0%5
6.3%6.2%93.4%0.3%0%0%0%6
6.3%6.2%93.4%0.3%0%0%0%7
6.3%6.2%93.4%0.3%0%0%0%8
9.4%9.3%90.3%0.3%0%0%0%9
9.4%9.3%90.3%0.3%0%0%0%10
9.4%9.3%90.3%0.3%0%0%0%11
11%9.6%77.6%0.3%0%12.5%0%12
Compiler

Compiled 35 to 30 computations (14.3% saved)

sample3.9s (72.3%)

Memory
-39.6MiB live, 4 781.7MiB allocated
Samples
1.5s8 256×0valid
1.3s6 131×0invalid
Precisions
Click to see histograms. Total time spent on operations: 2.1s
ival-div: 536.0ms (26% of total)
ival-mult: 499.0ms (24.2% of total)
ival-sqrt: 368.0ms (17.9% of total)
ival-sub: 258.0ms (12.5% of total)
ival-add: 247.0ms (12% of total)
ival-exp: 113.0ms (5.5% of total)
exact: 24.0ms (1.2% of total)
ival-true: 10.0ms (0.5% of total)
ival-assert: 5.0ms (0.2% of total)
Bogosity

preprocess761.0ms (14.2%)

Memory
-30.0MiB live, 470.6MiB allocated
Algorithm
2×egg-herbie
Rules
9 406×accelerator-lowering-fma.f32
9 406×accelerator-lowering-fma.f64
4 052×--lowering--.f32
4 052×--lowering--.f64
2 724×*-lowering-*.f32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
03321145
17941057
222741049
02931
15429
213629
360729
4331729
0826727
Stop Event
1×iter limit
1×node limit
1×node limit
Calls
Call 1
Inputs
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
Outputs
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/.f64 x (fma.f64 y (exp.f64 (*.f64 #s(literal 2 binary64) (fma.f64 (sqrt.f64 (+.f64 t a)) (/.f64 z t) (fma.f64 (-.f64 b c) (-.f64 (+.f64 (/.f64 #s(literal 2/3 binary64) t) #s(literal -5/6 binary64)) a) #s(literal 0 binary64))))) x))
Call 2
Inputs
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ (neg x) (+ (neg x) (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* (neg y) (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* (neg z) (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ (neg t) a))) (neg t)) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* (neg t) 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t (neg a)))) t) (* (- b c) (- (+ (neg a) (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- (neg b) c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b (neg c)) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(neg (/ (neg x) (+ (neg x) (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(neg (/ x (+ x (* (neg y) (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* (neg z) (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ (neg t) a))) (neg t)) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* (neg t) 3)))))))))))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t (neg a)))) t) (* (- b c) (- (+ (neg a) (/ 5 6)) (/ 2 (* t 3)))))))))))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- (neg b) c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b (neg c)) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(/ y (+ y (* x (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ z (+ z (* y (exp (* 2 (- (/ (* x (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ t (+ t (* y (exp (* 2 (- (/ (* z (sqrt (+ x a))) x) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* x 3))))))))))
(/ a (+ a (* y (exp (* 2 (- (/ (* z (sqrt (+ t x))) t) (* (- b c) (- (+ x (/ 5 6)) (/ 2 (* t 3))))))))))
(/ b (+ b (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- x c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ c (+ c (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b x) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* z (exp (* 2 (- (/ (* y (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* t (exp (* 2 (- (/ (* z (sqrt (+ y a))) y) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* y 3))))))))))
(/ x (+ x (* a (exp (* 2 (- (/ (* z (sqrt (+ t y))) t) (* (- b c) (- (+ y (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* b (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- y c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* c (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b y) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* t (sqrt (+ z a))) z) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* z 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* a (sqrt (+ t z))) t) (* (- b c) (- (+ z (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* b (sqrt (+ t a))) t) (* (- z c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* c (sqrt (+ t a))) t) (* (- b z) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ a t))) a) (* (- b c) (- (+ t (/ 5 6)) (/ 2 (* a 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ b a))) b) (* (- t c) (- (+ a (/ 5 6)) (/ 2 (* b 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ c a))) c) (* (- b t) (- (+ a (/ 5 6)) (/ 2 (* c 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t b))) t) (* (- a c) (- (+ b (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t c))) t) (* (- b a) (- (+ c (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- c b) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
Outputs
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c b)))))))
(/ (neg x) (+ (neg x) (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (- x (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c b)))))))
(/ x (+ x (* (neg y) (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (- x (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c b)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* (neg z) (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (- (* (+ 5/6 (+ a (/ -2/3 t))) (- c b)) (* (sqrt (+ t a)) (/ z t)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ (neg t) a))) (neg t)) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* (neg t) 3))))))))))
(/ x (+ x (* y (pow (exp 2) (- (* (+ a (+ 5/6 (/ 2/3 t))) (- c b)) (* (sqrt (- a t)) (/ z t)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t (neg a)))) t) (* (- b c) (- (+ (neg a) (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (- t a)) (/ z t)) (* (+ (- 5/6 a) (/ -2/3 t)) (- c b)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- (neg b) c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (+ b c)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b (neg c)) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (- (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (+ b c)))))))
(neg (/ (neg x) (+ (neg x) (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(/ x (- (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c b))))) x))
(neg (/ x (+ x (* (neg y) (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(/ x (- (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c b))))) x))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* (neg z) (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(/ x (- (neg x) (* y (pow (exp 2) (- (* (+ 5/6 (+ a (/ -2/3 t))) (- c b)) (* (sqrt (+ t a)) (/ z t)))))))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ (neg t) a))) (neg t)) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* (neg t) 3)))))))))))
(/ x (- (* y (neg (pow (exp 2) (- (* (+ a (+ 5/6 (/ 2/3 t))) (- c b)) (* (sqrt (- a t)) (/ z t)))))) x))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t (neg a)))) t) (* (- b c) (- (+ (neg a) (/ 5 6)) (/ 2 (* t 3)))))))))))
(/ x (- (neg x) (* y (pow (exp 2) (+ (* (sqrt (- t a)) (/ z t)) (* (+ (- 5/6 a) (/ -2/3 t)) (- c b)))))))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- (neg b) c) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(/ x (- (neg x) (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (+ b c)))))))
(neg (/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b (neg c)) (- (+ a (/ 5 6)) (/ 2 (* t 3)))))))))))
(/ x (- (neg x) (* y (pow (exp 2) (- (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (+ b c)))))))
(/ y (+ y (* x (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ y (+ y (* x (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c b)))))))
(/ z (+ z (* y (exp (* 2 (- (/ (* x (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ z (+ z (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ x t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c b)))))))
(/ t (+ t (* y (exp (* 2 (- (/ (* z (sqrt (+ x a))) x) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* x 3))))))))))
(/ t (+ t (* y (pow (exp 2) (+ (* (sqrt (+ x a)) (/ z x)) (* (+ a (+ 5/6 (/ -2/3 x))) (- c b)))))))
(/ a (+ a (* y (exp (* 2 (- (/ (* z (sqrt (+ t x))) t) (* (- b c) (- (+ x (/ 5 6)) (/ 2 (* t 3))))))))))
(/ a (+ a (* y (pow (exp 2) (+ (* (sqrt (+ x t)) (/ z t)) (* (+ 5/6 (+ x (/ -2/3 t))) (- c b)))))))
(/ b (+ b (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- x c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ b (+ b (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c x)))))))
(/ c (+ c (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b x) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ c (+ c (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- x b)))))))
(/ x (+ x (* z (exp (* 2 (- (/ (* y (sqrt (+ t a))) t) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* z (pow (exp 2) (+ (* (sqrt (+ t a)) (/ y t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c b)))))))
(/ x (+ x (* t (exp (* 2 (- (/ (* z (sqrt (+ y a))) y) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* y 3))))))))))
(/ x (+ x (* t (pow (exp 2) (+ (* (sqrt (+ y a)) (/ z y)) (* (+ a (+ 5/6 (/ -2/3 y))) (- c b)))))))
(/ x (+ x (* a (exp (* 2 (- (/ (* z (sqrt (+ t y))) t) (* (- b c) (- (+ y (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* a (pow (exp 2) (+ (* (sqrt (+ y t)) (/ z t)) (* (+ 5/6 (+ y (/ -2/3 t))) (- c b)))))))
(/ x (+ x (* b (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- y c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* b (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c y)))))))
(/ x (+ x (* c (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- b y) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* c (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- y b)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* t (sqrt (+ z a))) z) (* (- b c) (- (+ a (/ 5 6)) (/ 2 (* z 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ z a)) (/ t z)) (* (+ a (+ 5/6 (/ -2/3 z))) (- c b)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* a (sqrt (+ t z))) t) (* (- b c) (- (+ z (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (- (* (sqrt (+ z t)) (/ a t)) (* (- b c) (+ 5/6 (+ z (/ -2/3 t)))))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* b (sqrt (+ t a))) t) (* (- z c) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ b t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- c z)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* c (sqrt (+ t a))) t) (* (- b z) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ c t)) (* (+ 5/6 (+ a (/ -2/3 t))) (- z b)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ a t))) a) (* (- b c) (- (+ t (/ 5 6)) (/ 2 (* a 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z a)) (* (+ (+ t 5/6) (/ -2/3 a)) (- c b)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ b a))) b) (* (- t c) (- (+ a (/ 5 6)) (/ 2 (* b 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ a b)) (/ z b)) (* (+ a (+ 5/6 (/ -2/3 b))) (- c t)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ c a))) c) (* (- b t) (- (+ a (/ 5 6)) (/ 2 (* c 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ a c)) (/ z c)) (* (+ a (+ 5/6 (/ -2/3 c))) (- t b)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t b))) t) (* (- a c) (- (+ b (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ t b)) (/ z t)) (* (+ 5/6 (+ b (/ -2/3 t))) (- c a)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t c))) t) (* (- b a) (- (+ c (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ t c)) (/ z t)) (* (- 5/6 (- (/ 2/3 t) c)) (- a b)))))))
(/ x (+ x (* y (exp (* 2 (- (/ (* z (sqrt (+ t a))) t) (* (- c b) (- (+ a (/ 5 6)) (/ 2 (* t 3))))))))))
(/ x (+ x (* y (pow (exp 2) (+ (* (sqrt (+ t a)) (/ z t)) (* (- b c) (+ 5/6 (+ a (/ -2/3 t)))))))))

explain24.0ms (0.5%)

Memory
5.2MiB live, 43.8MiB allocated
Samples
4.0ms21×0valid
Compiler

Compiled 249 to 30 computations (88% saved)

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

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...