Metrics for Jmat.Real.erf

analyze0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
100%	100%	0%	0%	0%	0%	0%	1

Compiler

Compiled 66 to 28 computations (57.6% saved)

sample3.4s (86.7%)

Memory

-57.8MiB live, 4 435.3MiB allocated

Samples

1.8s	3 998×	1	valid
925.0ms	4 258×	0	valid

Precisions

Click to see histograms. Total time spent on operations: 2.5s

const: 950.0ms (38.6% of total)

ival-mult: 589.0ms (23.9% of total)

ival-add: 392.0ms (15.9% of total)

ival-div: 129.0ms (5.2% of total)

adjust: 114.0ms (4.6% of total)

ival-exp: 102.0ms (4.1% of total)

ival-sub: 85.0ms (3.5% of total)

ival-fabs: 50.0ms (2% of total)

ival-neg: 37.0ms (1.5% of total)

ival-true: 6.0ms (0.2% of total)

exact: 5.0ms (0.2% of total)

ival-assert: 3.0ms (0.1% of total)

Bogosity

preprocess518.0ms (13.2%)

Memory

7.7MiB live, 739.1MiB allocated

Algorithm

2×	egg-herbie

Rules

14 110×	`accelerator-lowering-fma.f32`
14 110×	`accelerator-lowering-fma.f64`
2 912×	`+-lowering-+.f64`
2 912×	`+-lowering-+.f32`
2 496×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	46	181
1	199	153
2	474	153
3	1198	153
4	4218	153
5	7207	153
0	26	60
1	90	51
2	333	51
3	956	51
4	3561	51
5	7073	51
0	8410	46

Stop Event

1×	iter limit
1×	node limit
1×	node limit

Calls

Call 1

Inputs

(- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x))))))

Outputs

(- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x))))))

(+.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 31853699/125000000 binary64) (/.f64 (+.f64 #s(literal -8890523/31250000 binary64) (/.f64 (+.f64 #s(literal 1421413741/1000000000 binary64) (/.f64 (+.f64 #s(literal -1453152027/1000000000 binary64) (/.f64 #s(literal 1061405429/1000000000 binary64) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (fma.f64 #s(literal 3275911/10000000 binary64) (fabs.f64 x) #s(literal 1 binary64)))) (*.f64 (exp.f64 (fma.f64 x x #s(literal 0 binary64))) (fma.f64 (fabs.f64 x) #s(literal -3275911/10000000 binary64) #s(literal -1 binary64)))))

Call 2

Inputs

(- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x))))))

(- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) 1061405429/1000000000))))))))) (exp (neg (* (fabs (neg x)) (fabs (neg x)))))))

(neg (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) 1061405429/1000000000))))))))) (exp (neg (* (fabs (neg x)) (fabs (neg x))))))))

Outputs
(- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs x)))) 1061405429/1000000000))))))))) (exp (neg (* (fabs x) (fabs x))))))
(+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (pow (exp x) x) (+ -1 (* (fabs x) -3275911/10000000)))))
(- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) 1061405429/1000000000))))))))) (exp (neg (* (fabs (neg x)) (fabs (neg x)))))))
(+ 1 (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (pow (exp x) x) (+ -1 (* (fabs x) -3275911/10000000)))))
(neg (- 1 (* (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ 31853699/125000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ -8890523/31250000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ 1421413741/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) (+ -1453152027/1000000000 (* (/ 1 (+ 1 (* 3275911/10000000 (fabs (neg x))))) 1061405429/1000000000))))))))) (exp (neg (* (fabs (neg x)) (fabs (neg x))))))))
(+ (/ (+ 31853699/125000000 (/ (+ -8890523/31250000 (/ (+ 1421413741/1000000000 (/ (+ -1453152027/1000000000 (/ 1061405429/1000000000 (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (+ 1 (* 3275911/10000000 (fabs x))))) (* (+ 1 (* 3275911/10000000 (fabs x))) (pow (exp x) x))) -1)

Symmetry

(abs x)

explain1.0ms (0%)

Memory: 1.0MiB live, 0.9MiB allocated
Compiler: Compiled 448 to 28 computations (93.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

sample3.4s (86.7%)

preprocess518.0ms (13.2%)

explain1.0ms (0%)

end0.0ms (0%)

Profiling