Metrics for NMSE Section 6.1 mentioned, A

analyze55.0ms (0.2%)

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
0%	0%	99.9%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
50%	50%	50%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	7
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	8
93.7%	92.5%	6.2%	0.1%	0%	0%	1.2%	9
93.7%	92.5%	6.2%	0.1%	0%	0%	1.2%	10
96.8%	94.9%	3.1%	0.1%	0%	0%	1.9%	11
96.8%	94.9%	3.1%	0.1%	0%	0%	1.9%	12

Compiler

Compiled 32 to 20 computations (37.5% saved)

sample24.5s (98.7%)

Results

1.9s	5938×	0	valid-rival
9.1s	4313×	0	invalid-sollya
2.2s	2470×	0	valid-sollya
1.0s	1423×	1	valid-rival
299.0ms	1422×	1	valid-sollya
272.0ms	923×	0	unsamplable-rival
1.2s	895×	2	valid-rival
390.0ms	890×	2	valid-sollya
390.0ms	78×	0	exit-sollya
25.0ms	5×	2	exit-sollya
5.0ms	1×	1	exit-sollya

Bogosity

preprocess159.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

788×	`div-sub`
516×	`fma-define`
441×	`distribute-lft-neg-in`
399×	`distribute-rgt-neg-in`
365×	`sub-neg`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	69	777
1	211	693
2	630	658
3	2123	658
4	5703	658

Stop Event

1×	node limit

Calls

Call 1

Inputs
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) eps) x))))) #s(literal 2 binary64))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) eps) x))))) #s(literal 2 binary64))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) (neg.f64 x))))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) eps) (neg.f64 x)))))) #s(literal 2 binary64))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (neg.f64 eps))) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (neg.f64 eps)) x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 eps)) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) (neg.f64 eps)) x))))) #s(literal 2 binary64))
(neg.f64 (/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) (neg.f64 x))))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) eps) (neg.f64 x)))))) #s(literal 2 binary64)))
(neg.f64 (/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (neg.f64 eps))) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (neg.f64 eps)) x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) (neg.f64 eps)) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) (neg.f64 eps)) x))))) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) x)) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) x) eps)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) x) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) x) eps))))) #s(literal 2 binary64))

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

Symmetry

(abs eps)

Compiler

Compiled 31 to 19 computations (38.7% saved)

eval0.0ms (0%)

Compiler: Compiled 2 to 2 computations (0% saved)

prune2.0ms (0%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	73.1%	(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) eps) x))))) #s(literal 2 binary64))

Status

Accuracy

Program

73.1%

(/.f64 (-.f64 (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) eps) x)))) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (neg.f64 (*.f64 (+.f64 #s(literal 1 binary64) eps) x))))) #s(literal 2 binary64))

Compiler

Compiled 62 to 38 computations (38.7% saved)

simplify29.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

80×	`unsub-neg`
52×	`neg-mul-1`
27×	`distribute-lft-neg-in`
21×	`distribute-rgt-neg-in`
20×	`distribute-neg-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	25	107
1	57	107
2	96	99
3	149	99
4	209	99
5	287	99
6	314	99
7	372	99
8	417	99

Stop Event

1×

saturated

Calls

Call 1

Inputs

(/.f64 (-.f64 (*.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 #s(literal 1 binary64) eps) x)))) (*.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (neg.f64 (*.f64 (+.f64 #s(literal 1 binary64) eps) x))))) #s(literal 2 binary64))

Outputs
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (neg.f64 (.f64 (+.f64 #s(literal 1 binary64) eps) x))))) #s(literal 2 binary64))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) (neg.f64 x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (.f64 (+.f64 #s(literal 1 binary64) eps) (neg.f64 x))))) #s(literal 2 binary64))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (.f64 (-.f64 #s(literal 1 binary64) eps) (neg.f64 x)))) (.f64 (-.f64 (/.f64 #s(literal 1 binary64) eps) #s(literal 1 binary64)) (exp.f64 (.f64 x (neg.f64 (+.f64 #s(literal 1 binary64) eps)))))) #s(literal 2 binary64))
(/.f64 (+.f64 (.f64 (+.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) eps)) (exp.f64 (.f64 x (+.f64 eps #s(literal -1 binary64))))) (.f64 (exp.f64 (.f64 x (-.f64 #s(literal -1 binary64) eps))) (+.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) eps)))) #s(literal 2 binary64))

soundness1.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 29 to 19 computations (34.5% saved)

preprocess65.0ms (0.3%)

Remove: (abs eps)
Compiler: Compiled 236 to 152 computations (35.6% saved)

NMSE Section 6.1 mentioned, A

analyze55.0ms (0.2%)

sample24.5s (98.7%)

preprocess159.0ms (0.6%)

eval0.0ms (0%)

prune2.0ms (0%)

simplify29.0ms (0.1%)

soundness1.0ms (0%)

preprocess65.0ms (0.3%)

end0.0ms (0%)

Profiling