Metrics for exp neg sub

analyze0.0ms (0%)

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 9 to 7 computations (22.2% saved)

Precisions

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

ival-sub: 0.0ms (0% of total)

ival-exp: 0.0ms (0% of total)

ival-mult: 0.0ms (0% of total)

const: 0.0ms (0% of total)

ival-neg: 0.0ms (0% of total)

sample594.0ms (69.4%)

Results

416.0ms

8256×

256

valid

Precisions

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

ival-exp: 76.0ms (30.3% of total)

ival-mult: 74.0ms (29.5% of total)

ival-neg: 47.0ms (18.7% of total)

ival-sub: 45.0ms (17.9% of total)

const: 9.0ms (3.6% of total)

Bogosity

preprocess145.0ms (17%)

Algorithm

1×	egg-herbie

Rules

949×	`exp-sum`
778×	`fma-neg`
470×	`fma-define`
411×	`associate-+r+`
341×	`distribute-lft-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	112
1	46	96
2	92	96
3	178	80
4	325	80
5	500	80
6	750	80
7	1167	80
8	2054	80
9	3725	80
10	7422	80

Stop Event

1×	node limit

Calls

Call 1

Inputs
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (neg.f64 x)))))
(neg.f64 (exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 (neg.f64 x) (neg.f64 x))))))

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

Symmetry

(abs x)

explain80.0ms (9.3%)

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x)))`
-	-	`x`
-	-	`(-.f64 #s(literal 1 binary64) (*.f64 x x))`
-	-	`(*.f64 x x)`
-	-	`(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))`
-	-	`#s(literal 1 binary64)`

Results

46.0ms

512×

256

valid

Compiler

Compiled 58 to 20 computations (65.5% saved)

Precisions

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

ival-exp: 14.0ms (58.2% of total)

ival-mult: 4.0ms (16.6% of total)

ival-sub: 3.0ms (12.5% of total)

ival-neg: 3.0ms (12.5% of total)

const: 1.0ms (4.2% of total)

eval0.0ms (0%)

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

prune1.0ms (0.1%)

Alt Table

Click to see full alt table

Status	Accuracy	Program
	100.0%	(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))

Compiler

Compiled 16 to 12 computations (25% saved)

simplify15.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

21×	`unsub-neg`
19×	`distribute-lft-neg-in`
16×	`cancel-sign-sub`
15×	`neg-mul-1`
13×	`distribute-neg-in`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	11	27
1	24	27
2	35	27
3	53	23
4	84	23
5	137	23
6	156	23
7	167	23
8	176	23

Stop Event

1×

saturated

Calls

Call 1

Inputs
(exp.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (*.f64 x x))))

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

soundness0.0ms (0%)

Stop Event

1×

fuel

Compiler

Compiled 7 to 5 computations (28.6% saved)

preprocess20.0ms (2.4%)

Remove: (abs x)
Compiler: Compiled 58 to 42 computations (27.6% saved)

exp neg sub

analyze0.0ms (0%)

sample594.0ms (69.4%)

preprocess145.0ms (17%)

explain80.0ms (9.3%)

eval0.0ms (0%)

prune1.0ms (0.1%)

simplify15.0ms (1.8%)

soundness0.0ms (0%)

preprocess20.0ms (2.4%)

end0.0ms (0%)

Profiling