Metrics for Jmat.Real.lambertw, newton loop step

analyze84.0ms (0.8%)

Memory

-5.7MiB live, 31.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
50%	50%	50%	0.1%	0%	0%	0%	5
62.5%	62.4%	37.5%	0.1%	0%	0%	0%	6
62.5%	62.4%	37.5%	0.1%	0%	0%	0%	7
68.8%	68.7%	31.2%	0.1%	0%	0%	0%	8
68.8%	68.7%	31.2%	0.1%	0%	0%	0%	9
71.9%	71.8%	28.1%	0.1%	0%	0%	0%	10
71.9%	71.8%	28.1%	0.1%	0%	0%	0%	11
73.4%	73.4%	26.5%	0.1%	0%	0%	0%	12

Compiler

Compiled 37 to 19 computations (48.6% saved)

sample10.5s (97.9%)

Memory

49.8MiB live, 2 458.4MiB allocated

Samples

469.0ms	6 379×	73	valid-sollya
416.0ms	6 379×	73	valid-baseline
356.0ms	6 379×	73	valid-rival
160.0ms	589×	584	valid-baseline
144.0ms	772×	292	valid-baseline
101.0ms	772×	292	valid-rival
94.0ms	589×	584	valid-sollya
84.0ms	589×	584	valid-rival
62.0ms	772×	292	valid-sollya
62.0ms	487×	146	valid-baseline
54.0ms	487×	146	valid-rival
35.0ms	487×	146	valid-sollya
2.0ms	29×	73	valid-rival+baseline-inf

Precisions

Click to see Rival histograms. Total time spent on operations: 655.0ms

ival-exp: 180.0ms (27.5% of total)

ival-sub: 149.0ms (22.8% of total)

ival-mult: 114.0ms (17.4% of total)

ival-div: 96.0ms (14.7% of total)

ival-add: 69.0ms (10.5% of total)

adjust: 27.0ms (4.1% of total)

ival-true: 14.0ms (2.1% of total)

ival-assert: 6.0ms (0.9% of total)

Precisions

Click to see Base histograms. Total time spent on operations: 695.0ms

ival-sub: 177.0ms (25.5% of total)

ival-exp: 173.0ms (24.9% of total)

ival-mult: 129.0ms (18.6% of total)

ival-div: 111.0ms (16% of total)

ival-add: 87.0ms (12.5% of total)

const: 17.0ms (2.4% of total)

Bogosity

preprocess98.0ms (0.9%)

Memory

-11.1MiB live, 21.0MiB allocated

Algorithm

1×	egg-herbie

Rules

598×	`div-sub`
435×	`times-frac`
262×	`distribute-lft-neg-out`
254×	`sub-neg`
250×	`fma-define`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	33	497
1	88	477
2	291	433
3	1165	366
4	4844	350

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
(-.f64 (neg.f64 wj) (/.f64 (-.f64 (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj))) x) (+.f64 (exp.f64 (neg.f64 wj)) (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj))))))
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) (neg.f64 x)) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
(neg.f64 (-.f64 (neg.f64 wj) (/.f64 (-.f64 (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj))) x) (+.f64 (exp.f64 (neg.f64 wj)) (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj)))))))
(neg.f64 (-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) (neg.f64 x)) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj))))))
(-.f64 x (/.f64 (-.f64 (.f64 x (exp.f64 x)) wj) (+.f64 (exp.f64 x) (.f64 x (exp.f64 x)))))

Outputs
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
(-.f64 wj (/.f64 (fma.f64 wj (exp.f64 wj) (neg.f64 x)) (*.f64 (+.f64 wj #s(literal 1 binary64)) (exp.f64 wj))))
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (.f64 (exp.f64 wj) (+.f64 wj #s(literal 1 binary64)))))
(-.f64 wj (/.f64 (fma.f64 wj (exp.f64 wj) (neg.f64 x)) (*.f64 (exp.f64 wj) (+.f64 wj #s(literal 1 binary64)))))
(-.f64 wj (/.f64 (-.f64 wj (/.f64 x (exp.f64 wj))) (+.f64 wj #s(literal 1 binary64))))
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
(-.f64 wj (/.f64 (fma.f64 wj (exp.f64 wj) (neg.f64 x)) (*.f64 (+.f64 wj #s(literal 1 binary64)) (exp.f64 wj))))
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (.f64 (exp.f64 wj) (+.f64 wj #s(literal 1 binary64)))))
(-.f64 wj (/.f64 (fma.f64 wj (exp.f64 wj) (neg.f64 x)) (*.f64 (exp.f64 wj) (+.f64 wj #s(literal 1 binary64)))))
(-.f64 wj (/.f64 (-.f64 wj (/.f64 x (exp.f64 wj))) (+.f64 wj #s(literal 1 binary64))))
(-.f64 (neg.f64 wj) (/.f64 (-.f64 (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj))) x) (+.f64 (exp.f64 (neg.f64 wj)) (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj))))))
(-.f64 (neg.f64 wj) (/.f64 (-.f64 (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj))) x) (.f64 (+.f64 (neg.f64 wj) #s(literal 1 binary64)) (exp.f64 (neg.f64 wj)))))
(-.f64 (neg.f64 wj) (/.f64 (fma.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj)) (neg.f64 x)) (*.f64 (exp.f64 (neg.f64 wj)) (fma.f64 #s(literal -1 binary64) wj #s(literal 1 binary64)))))
(-.f64 (*.f64 (/.f64 (+.f64 x (/.f64 wj (exp.f64 wj))) (-.f64 #s(literal 1 binary64) wj)) (exp.f64 wj)) wj)
(-.f64 (/.f64 (-.f64 wj (neg.f64 (*.f64 x (exp.f64 wj)))) (-.f64 #s(literal 1 binary64) wj)) wj)
(-.f64 (/.f64 (+.f64 wj (*.f64 x (exp.f64 wj))) (-.f64 #s(literal 1 binary64) wj)) wj)
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) (neg.f64 x)) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
(-.f64 wj (/.f64 (fma.f64 wj (exp.f64 wj) (neg.f64 (neg.f64 x))) (*.f64 (+.f64 wj #s(literal 1 binary64)) (exp.f64 wj))))
(-.f64 wj (/.f64 (fma.f64 wj (exp.f64 wj) x) (*.f64 (exp.f64 wj) (+.f64 wj #s(literal 1 binary64)))))
(-.f64 wj (/.f64 (-.f64 wj (/.f64 (neg.f64 x) (exp.f64 wj))) (+.f64 wj #s(literal 1 binary64))))
(+.f64 wj (/.f64 (+.f64 wj (/.f64 x (exp.f64 wj))) (-.f64 #s(literal -1 binary64) wj)))
(neg.f64 (-.f64 (neg.f64 wj) (/.f64 (-.f64 (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj))) x) (+.f64 (exp.f64 (neg.f64 wj)) (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj)))))))
(neg.f64 (-.f64 (neg.f64 wj) (/.f64 (-.f64 (.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj))) x) (.f64 (+.f64 (neg.f64 wj) #s(literal 1 binary64)) (exp.f64 (neg.f64 wj))))))
(neg.f64 (-.f64 (neg.f64 wj) (/.f64 (fma.f64 (neg.f64 wj) (exp.f64 (neg.f64 wj)) (neg.f64 x)) (*.f64 (exp.f64 (neg.f64 wj)) (fma.f64 #s(literal -1 binary64) wj #s(literal 1 binary64))))))
(-.f64 wj (*.f64 (/.f64 (+.f64 x (/.f64 wj (exp.f64 wj))) (-.f64 #s(literal 1 binary64) wj)) (exp.f64 wj)))
(+.f64 wj (/.f64 (-.f64 (neg.f64 wj) (*.f64 x (exp.f64 wj))) (-.f64 #s(literal 1 binary64) wj)))
(+.f64 wj (/.f64 (+.f64 wj (*.f64 x (exp.f64 wj))) (+.f64 wj #s(literal -1 binary64))))
(neg.f64 (-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) (neg.f64 x)) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj))))))
(neg.f64 (-.f64 wj (/.f64 (fma.f64 wj (exp.f64 wj) (neg.f64 (neg.f64 x))) (*.f64 (+.f64 wj #s(literal 1 binary64)) (exp.f64 wj)))))
(+.f64 (neg.f64 wj) (/.f64 (fma.f64 wj (exp.f64 wj) x) (*.f64 (exp.f64 wj) (+.f64 wj #s(literal 1 binary64)))))
(-.f64 (/.f64 (fma.f64 wj (exp.f64 wj) x) (*.f64 (exp.f64 wj) (+.f64 wj #s(literal 1 binary64)))) wj)
(-.f64 (/.f64 (-.f64 wj (/.f64 (neg.f64 x) (exp.f64 wj))) (+.f64 wj #s(literal 1 binary64))) wj)
(-.f64 (/.f64 (+.f64 wj (/.f64 x (exp.f64 wj))) (+.f64 wj #s(literal 1 binary64))) wj)
(-.f64 x (/.f64 (-.f64 (.f64 x (exp.f64 x)) wj) (+.f64 (exp.f64 x) (.f64 x (exp.f64 x)))))
(-.f64 x (/.f64 (-.f64 (.f64 x (exp.f64 x)) wj) (.f64 (+.f64 x #s(literal 1 binary64)) (exp.f64 x))))
(-.f64 x (/.f64 (-.f64 (.f64 x (exp.f64 x)) wj) (.f64 (exp.f64 x) (+.f64 x #s(literal 1 binary64)))))
(-.f64 x (/.f64 (-.f64 x (/.f64 wj (exp.f64 x))) (+.f64 x #s(literal 1 binary64))))
(+.f64 x (/.f64 (-.f64 x (/.f64 wj (exp.f64 x))) (-.f64 #s(literal -1 binary64) x)))

Compiler

Compiled 18 to 8 computations (55.6% saved)

eval0.0ms (0%)

Memory: 0.2MiB live, 0.2MiB allocated
Compiler: Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
	77.8%	(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))

Compiler

Compiled 36 to 16 computations (55.6% saved)

simplify15.0ms (0.1%)

Memory

1.4MiB live, 1.4MiB allocated

Algorithm

1×	egg-herbie

Rules

128×	`unsub-neg`
64×	`neg-mul-1`
36×	`distribute-neg-out`
31×	`distribute-lft-neg-in`
23×	`remove-double-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	70
1	20	70
2	32	70
3	47	70
4	77	70
5	105	70
6	123	70
7	180	70
8	326	70
9	435	70
10	440	70
11	447	70
12	452	70
13	459	70
14	463	70
15	464	70

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))

Outputs
(-.f64 wj (/.f64 (-.f64 (.f64 wj (exp.f64 wj)) x) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))
(+.f64 wj (/.f64 (-.f64 x (.f64 wj (exp.f64 wj))) (+.f64 (exp.f64 wj) (.f64 wj (exp.f64 wj)))))

soundness0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 18 to 8 computations (55.6% saved)

preprocess27.0ms (0.2%)

Memory: 6.0MiB live, 37.0MiB allocated
Compiler: Compiled 110 to 54 computations (50.9% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	14	70
1	20	70
2	32	70
3	47	70
4	77	70
5	105	70
6	123	70
7	180	70
8	326	70
9	435	70
10	440	70
11	447	70
12	452	70
13	459	70
14	463	70
15	464	70

Iter	Nodes	Cost
0	14	70
1	20	70
2	32	70
3	47	70
4	77	70
5	105	70
6	123	70
7	180	70
8	326	70
9	435	70
10	440	70
11	447	70
12	452	70
13	459	70
14	463	70
15	464	70

analyze84.0ms (0.8%)

sample10.5s (97.9%)

preprocess98.0ms (0.9%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify15.0ms (0.1%)

soundness0.0ms (0%)

preprocess27.0ms (0.2%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	14	70
1	20	70
2	32	70
3	47	70
4	77	70
5	105	70
6	123	70
7	180	70
8	326	70
9	435	70
10	440	70
11	447	70
12	452	70
13	459	70
14	463	70
15	464	70