Metrics for Bouland and Aaronson, Equation (26)

analyze15.0ms (0.6%)

Memory

4.5MiB live, 4.5MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 39 to 27 computations (30.8% saved)

sample2.5s (94.5%)

Memory

7.7MiB live, 787.7MiB allocated

Samples

603.0ms	8 256×	73	valid-baseline
511.0ms	8 256×	73	valid-rival
468.0ms	8 256×	73	valid-sollya

Precisions

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

ival-mult: 160.0ms (44.8% of total)

ival-add: 73.0ms (20.5% of total)

ival-pow: 71.0ms (19.9% of total)

ival-sub: 35.0ms (9.8% of total)

...in/eval/compile.rkt:110:19: 8.0ms (2.2% of total)

ival-true: 8.0ms (2.2% of total)

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

Precisions

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

ival-mult: 155.0ms (44.4% of total)

ival-add: 72.0ms (20.6% of total)

ival-pow: 68.0ms (19.5% of total)

ival-sub: 37.0ms (10.6% of total)

const: 17.0ms (4.9% of total)

Bogosity

preprocess99.0ms (3.7%)

Memory

5.3MiB live, 21.1MiB allocated

Algorithm

1×	egg-herbie

Rules

800×	`fmm-def`
781×	`unsub-neg`
589×	`sub-neg`
437×	`fma-define`
365×	`distribute-lft-in`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	38	449
1	99	421
2	233	413
3	706	413
4	2751	413
5	7161	413

Stop Event

1×	node limit

Calls

Call 1

Inputs
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 (neg.f64 a) (neg.f64 a)) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 (neg.f64 b) (neg.f64 b))) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 b) (neg.f64 b)))) #s(literal 1 binary64))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (.f64 (neg.f64 a) (neg.f64 a)) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64)))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 (neg.f64 b) (neg.f64 b))) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 b) (neg.f64 b)))) #s(literal 1 binary64)))
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 a a))) #s(literal 1 binary64))

Outputs
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (-.f64 (.f64 (*.f64 b b) #s(literal 4 binary64)) #s(literal 1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 (.f64 b b) #s(literal 4 binary64) #s(literal -1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 b (.f64 b #s(literal 4 binary64)) #s(literal -1 binary64)))
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (-.f64 (.f64 (*.f64 b b) #s(literal 4 binary64)) #s(literal 1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 (.f64 b b) #s(literal 4 binary64) #s(literal -1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 b (.f64 b #s(literal 4 binary64)) #s(literal -1 binary64)))
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 (neg.f64 a) (neg.f64 a)) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (-.f64 (.f64 (*.f64 b b) #s(literal 4 binary64)) #s(literal 1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 (.f64 b b) #s(literal 4 binary64) #s(literal -1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 b (.f64 b #s(literal 4 binary64)) #s(literal -1 binary64)))
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 (neg.f64 b) (neg.f64 b))) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 b) (neg.f64 b)))) #s(literal 1 binary64))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (-.f64 (.f64 (*.f64 b b) #s(literal 4 binary64)) #s(literal 1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 (.f64 b b) #s(literal 4 binary64) #s(literal -1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 b (.f64 b #s(literal 4 binary64)) #s(literal -1 binary64)))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (.f64 (neg.f64 a) (neg.f64 a)) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64)))
(neg.f64 (+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (-.f64 (.f64 (*.f64 b b) #s(literal 4 binary64)) #s(literal 1 binary64))))
(+.f64 (neg.f64 (fma.f64 (.f64 b b) #s(literal 4 binary64) (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (fma.f64 b (.f64 b #s(literal 4 binary64)) (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64))))
(-.f64 (fma.f64 b (.f64 b #s(literal -4 binary64)) #s(literal 1 binary64)) (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)))
(neg.f64 (-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 (neg.f64 b) (neg.f64 b))) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 (neg.f64 b) (neg.f64 b)))) #s(literal 1 binary64)))
(neg.f64 (+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (-.f64 (.f64 (*.f64 b b) #s(literal 4 binary64)) #s(literal 1 binary64))))
(+.f64 (neg.f64 (fma.f64 (.f64 b b) #s(literal 4 binary64) (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)))) #s(literal 1 binary64))
(-.f64 #s(literal 1 binary64) (fma.f64 b (.f64 b #s(literal 4 binary64)) (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64))))
(-.f64 (fma.f64 b (.f64 b #s(literal -4 binary64)) #s(literal 1 binary64)) (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)))
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 b b) (.f64 a a)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 a a))) #s(literal 1 binary64))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (-.f64 (.f64 (*.f64 a a) #s(literal 4 binary64)) #s(literal 1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 (.f64 a a) #s(literal 4 binary64) #s(literal -1 binary64)))
(+.f64 (pow.f64 (fma.f64 a a (.f64 b b)) #s(literal 2 binary64)) (fma.f64 a (.f64 a #s(literal 4 binary64)) #s(literal -1 binary64)))

Symmetry

(abs a)

(abs b)

Compiler

Compiled 19 to 12 computations (36.8% saved)

eval0.0ms (0%)

Memory: 0.3MiB live, 0.3MiB 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
	99.9%	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))

Compiler

Compiled 38 to 24 computations (36.8% saved)

simplify3.0ms (0.1%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Rules

4×	`+-commutative`
3×	`1-exp`
2×	`unsub-neg`
2×	`sub-neg`
2×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	67
1	28	67
2	32	67
3	35	67
4	38	67
5	41	67

Stop Event

1×

saturated

Calls

Call 1

Inputs
(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) #s(literal 2 binary64)) (.f64 #s(literal 4 binary64) (.f64 b b))) #s(literal 1 binary64))

Outputs

(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 #s(literal 4 binary64) (*.f64 b b))) #s(literal 1 binary64))

(-.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 (*.f64 b b) #s(literal 4 binary64))) #s(literal 1 binary64))

(+.f64 (+.f64 (pow.f64 (+.f64 (*.f64 a a) (*.f64 b b)) #s(literal 2 binary64)) (*.f64 (*.f64 b b) #s(literal 4 binary64))) #s(literal -1 binary64))

soundness0.0ms (0%)

Memory

0.3MiB live, 0.3MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 19 to 12 computations (36.8% saved)

preprocess29.0ms (1.1%)

Memory

-9.0MiB live, 25.4MiB allocated

Remove

(abs b)

(abs a)

Compiler

Compiled 228 to 144 computations (36.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze15.0ms (0.6%)

sample2.5s (94.5%)

preprocess99.0ms (3.7%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify3.0ms (0.1%)

soundness0.0ms (0%)

preprocess29.0ms (1.1%)

end0.0ms (0%)

Profiling