Statistics.Distribution.Poisson:$clogProbability from math-functions-0.1.5.2

Time bar (total: 1.3s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze1.0ms (0.1%)

Memory
0.9MiB live, 0.9MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
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
100%49.9%0%0.1%0%49.9%0%3
Compiler

Compiled 10 to 9 computations (10% saved)

sample735.0ms (56.4%)

Memory
22.5MiB live, 998.0MiB allocated
Samples
463.0ms8 255×0valid
0.0ms1×3valid
Precisions
Click to see histograms. Total time spent on operations: 265.0ms
ival-log: 123.0ms (46.4% of total)
ival-sub: 76.0ms (28.7% of total)
ival-mult: 57.0ms (21.5% of total)
ival-true: 6.0ms (2.3% of total)
ival-assert: 3.0ms (1.1% of total)
adjust: 0.0ms (0% of total)
Bogosity

explain87.0ms (6.7%)

Memory
-4.3MiB live, 157.3MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
00-0-(*.f64 x (log.f64 y))
00-0-(-.f64 (*.f64 x (log.f64 y)) z)
00-0-(log.f64 y)
00-0-y
00-0-z
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Samples
31.0ms512×0valid
Compiler

Compiled 81 to 32 computations (60.5% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.0ms
ival-log: 8.0ms (49.7% of total)
ival-sub: 4.0ms (24.8% of total)
ival-mult: 4.0ms (24.8% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess3.0ms (0.2%)

Memory
5.2MiB live, 5.2MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
Outputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
Compiler

Compiled 8 to 7 computations (12.5% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.9%
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
Compiler

Compiled 8 to 7 computations (12.5% saved)

simplify0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
cost-diff0
(log.f64 y)
cost-diff0
(*.f64 x (log.f64 y))
cost-diff0
(-.f64 (*.f64 x (log.f64 y)) z)
cost-diff0
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
Calls
Call 1
Inputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
z
Outputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
z

localize22.0ms (1.7%)

Memory
-14.2MiB live, 24.2MiB allocated
Localize:

Found 4 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
accuracy0.0
(log.f64 y)
accuracy0.00390625
(-.f64 (*.f64 x (log.f64 y)) z)
accuracy0.25390625
(*.f64 x (log.f64 y))
Samples
16.0ms256×0valid
Compiler

Compiled 48 to 16 computations (66.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-sub: 4.0ms (44.3% of total)
ival-log: 3.0ms (33.3% of total)
ival-mult: 2.0ms (22.2% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series110.0ms (8.4%)

Memory
-32.6MiB live, 157.0MiB allocated
Counts
4 → 27
Calls
Call 1
Inputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
(log.f64 y)
Outputs
(* -1 (+ y z))
(- (* x (log y)) (+ y z))
(* -1 z)
(- (* x (log y)) z)
(* x (log y))
(* x (+ (log y) (* -1 (/ (+ y z) x))))
(* x (+ (log y) (* -1 (/ z x))))
(* -1 (* x (+ (* -1 (log y)) (+ (/ y x) (/ z x)))))
(* -1 (* x (+ (* -1 (log y)) (/ z x))))
(- (+ (* -1 y) (* x (log y))) z)
(log y)
(* -1 y)
(* y (- (* -1 (/ (* x (log (/ 1 y))) y)) (+ 1 (/ z y))))
(- (* -1 (* x (log (/ 1 y)))) z)
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(* -1 (* y (+ 1 (* -1 (/ (- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z) y)))))
(- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z)
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (* x (log y)) y)
(- (+ (* -1 z) (* x (log y))) y)
(+ (* -1 z) (* x (log y)))
(* z (- (/ (* x (log y)) z) (+ 1 (/ y z))))
(* z (- (/ (* x (log y)) z) 1))
(* -1 (* z (+ 1 (* -1 (/ (- (* x (log y)) y) z)))))
(* -1 (* z (+ 1 (* -1 (/ (* x (log y)) z)))))
Calls

9 calls:

TimeVariablePointExpression
32.0ms
x
@0
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y))
28.0ms
x
@-inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y))
13.0ms
y
@inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y))
12.0ms
y
@-inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y))
11.0ms
y
@0
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y))

simplify0.0ms (0%)

Memory
1.1MiB live, 1.1MiB allocated
Algorithm
1×egg-herbie
Counts
27 → 4
Calls
Call 1
Inputs
(* -1 (+ y z))
(- (* x (log y)) (+ y z))
(* -1 z)
(- (* x (log y)) z)
(* x (log y))
(* x (+ (log y) (* -1 (/ (+ y z) x))))
(* x (+ (log y) (* -1 (/ z x))))
(* -1 (* x (+ (* -1 (log y)) (+ (/ y x) (/ z x)))))
(* -1 (* x (+ (* -1 (log y)) (/ z x))))
(- (+ (* -1 y) (* x (log y))) z)
(log y)
(* -1 y)
(* y (- (* -1 (/ (* x (log (/ 1 y))) y)) (+ 1 (/ z y))))
(- (* -1 (* x (log (/ 1 y)))) z)
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(* -1 (* y (+ 1 (* -1 (/ (- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z) y)))))
(- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z)
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (* x (log y)) y)
(- (+ (* -1 z) (* x (log y))) y)
(+ (* -1 z) (* x (log y)))
(* z (- (/ (* x (log y)) z) (+ 1 (/ y z))))
(* z (- (/ (* x (log y)) z) 1))
(* -1 (* z (+ 1 (* -1 (/ (- (* x (log y)) y) z)))))
(* -1 (* z (+ 1 (* -1 (/ (* x (log y)) z)))))
Outputs
(* -1 (+ y z))
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
(- (* x (log y)) (+ y z))
(-.f64 (*.f64 x (log.f64 y)) z)
(* -1 z)
(*.f64 x (log.f64 y))
(- (* x (log y)) z)
(log.f64 y)

rewrite0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Counts
4 → 4
Calls
Call 1
Inputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
(log.f64 y)
Outputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
(log.f64 y)

eval1.0ms (0.1%)

Memory
2.2MiB live, 2.2MiB allocated
Compiler

Compiled 88 to 17 computations (80.7% saved)

prune1.0ms (0.1%)

Memory
3.4MiB live, 3.4MiB allocated
Pruning

4 alts after pruning (3 fresh and 1 done)

PrunedKeptTotal
New538
Fresh000
Picked011
Done000
Total549
Accuracy
99.9%
Counts
9 → 4
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
▶67.0%
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
▶28.9%
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
▶67.0%
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
Compiler

Compiled 47 to 37 computations (21.3% saved)

simplify1.0ms (0%)

Memory
1.4MiB live, 1.4MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 11 expressions of interest:

NewMetricScoreProgram
cost-diff0
(log.f64 y)
cost-diff0
(*.f64 x (log.f64 y))
cost-diff0
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
cost-diff0
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
cost-diff0
(log.f64 y)
cost-diff0
#s(approx (- (* x (log y)) z) (log.f64 y))
cost-diff0
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
cost-diff0
(log.f64 y)
cost-diff0
(*.f64 x (log.f64 y))
cost-diff0
(-.f64 (*.f64 x (log.f64 y)) z)
cost-diff0
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
z
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
y
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
Outputs
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
z
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
y
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y

localize29.0ms (2.2%)

Memory
4.2MiB live, 41.9MiB allocated
Localize:

Found 11 expressions of interest:

NewMetricScoreProgram
accuracy0.0
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
accuracy0.0
(log.f64 y)
accuracy0.25390625
(*.f64 x (log.f64 y))
accuracy31.304164801291726
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
accuracy0.0
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
accuracy0.0
(log.f64 y)
accuracy61.764265330085614
#s(approx (- (* x (log y)) z) (log.f64 y))
accuracy0.0
(log.f64 y)
accuracy0.00390625
(-.f64 (*.f64 x (log.f64 y)) z)
accuracy0.25390625
(*.f64 x (log.f64 y))
accuracy21.02400276442962
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
Samples
21.0ms256×0valid
Compiler

Compiled 149 to 24 computations (83.9% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-log: 3.0ms (39.6% of total)
ival-sub: 2.0ms (26.4% of total)
ival-mult: 2.0ms (26.4% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series52.0ms (4%)

Memory
1.2MiB live, 84.7MiB allocated
Counts
8 → 27
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
(log.f64 y)
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (* x (log y)) z) (log.f64 y))
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
Outputs
(* -1 (+ y z))
(- (* x (log y)) (+ y z))
(* -1 z)
(- (* x (log y)) z)
(* x (log y))
(* x (+ (log y) (* -1 (/ (+ y z) x))))
(* x (+ (log y) (* -1 (/ z x))))
(* -1 (* x (+ (* -1 (log y)) (+ (/ y x) (/ z x)))))
(* -1 (* x (+ (* -1 (log y)) (/ z x))))
(- (+ (* -1 y) (* x (log y))) z)
(log y)
(* -1 y)
(* y (- (* -1 (/ (* x (log (/ 1 y))) y)) (+ 1 (/ z y))))
(- (* -1 (* x (log (/ 1 y)))) z)
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(* -1 (* y (+ 1 (* -1 (/ (- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z) y)))))
(- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z)
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (* x (log y)) y)
(- (+ (* -1 z) (* x (log y))) y)
(+ (* -1 z) (* x (log y)))
(* z (- (/ (* x (log y)) z) (+ 1 (/ y z))))
(* z (- (/ (* x (log y)) z) 1))
(* -1 (* z (+ 1 (* -1 (/ (- (* x (log y)) y) z)))))
(* -1 (* z (+ 1 (* -1 (/ (* x (log y)) z)))))
Calls

9 calls:

TimeVariablePointExpression
11.0ms
x
@inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (- (- (* x (log y)) z) y) (- (* x (log y)) z))
10.0ms
y
@inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (- (- (* x (log y)) z) y) (- (* x (log y)) z))
8.0ms
x
@0
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (- (- (* x (log y)) z) y) (- (* x (log y)) z))
7.0ms
y
@-inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (- (- (* x (log y)) z) y) (- (* x (log y)) z))
6.0ms
y
@0
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (- (- (* x (log y)) z) y) (- (* x (log y)) z))

simplify0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Algorithm
1×egg-herbie
Counts
27 → 8
Calls
Call 1
Inputs
(* -1 (+ y z))
(- (* x (log y)) (+ y z))
(* -1 z)
(- (* x (log y)) z)
(* x (log y))
(* x (+ (log y) (* -1 (/ (+ y z) x))))
(* x (+ (log y) (* -1 (/ z x))))
(* -1 (* x (+ (* -1 (log y)) (+ (/ y x) (/ z x)))))
(* -1 (* x (+ (* -1 (log y)) (/ z x))))
(- (+ (* -1 y) (* x (log y))) z)
(log y)
(* -1 y)
(* y (- (* -1 (/ (* x (log (/ 1 y))) y)) (+ 1 (/ z y))))
(- (* -1 (* x (log (/ 1 y)))) z)
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(* -1 (* y (+ 1 (* -1 (/ (- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z) y)))))
(- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z)
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (* x (log y)) y)
(- (+ (* -1 z) (* x (log y))) y)
(+ (* -1 z) (* x (log y)))
(* z (- (/ (* x (log y)) z) (+ 1 (/ y z))))
(* z (- (/ (* x (log y)) z) 1))
(* -1 (* z (+ 1 (* -1 (/ (- (* x (log y)) y) z)))))
(* -1 (* z (+ 1 (* -1 (/ (* x (log y)) z)))))
Outputs
(* -1 (+ y z))
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
(- (* x (log y)) (+ y z))
(-.f64 (*.f64 x (log.f64 y)) z)
(* -1 z)
(*.f64 x (log.f64 y))
(- (* x (log y)) z)
(log.f64 y)
(* x (log y))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
(* x (+ (log y) (* -1 (/ (+ y z) x))))
#s(approx (- (* x (log y)) z) (log.f64 y))
(* x (+ (log y) (* -1 (/ z x))))
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
(* -1 (* x (+ (* -1 (log y)) (+ (/ y x) (/ z x)))))
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))

rewrite0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Counts
8 → 8
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
(log.f64 y)
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (* x (log y)) z) (log.f64 y))
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
Outputs
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
(-.f64 (*.f64 x (log.f64 y)) z)
(*.f64 x (log.f64 y))
(log.f64 y)
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (* x (log y)) z) (log.f64 y))
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))

eval2.0ms (0.1%)

Memory
3.6MiB live, 3.6MiB allocated
Compiler

Compiled 302 to 25 computations (91.7% saved)

prune3.0ms (0.2%)

Memory
5.9MiB live, 5.9MiB allocated
Pruning

7 alts after pruning (3 fresh and 4 done)

PrunedKeptTotal
New14317
Fresh000
Picked033
Done011
Total14721
Accuracy
99.9%
Counts
21 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓67.0%
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
✓28.9%
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
✓67.0%
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
▶55.8%
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
▶35.0%
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
▶2.8%
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
Compiler

Compiled 112 to 71 computations (36.6% saved)

simplify1.0ms (0%)

Memory
1.3MiB live, 1.3MiB allocated
Algorithm
1×egg-herbie
Localize:

Found 11 expressions of interest:

NewMetricScoreProgram
cost-diff0
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
cost-diff0
#s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
cost-diff0
(-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)
cost-diff0
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
cost-diff0
(log.f64 y)
cost-diff0
(*.f64 x (log.f64 y))
cost-diff0
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
cost-diff0
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
cost-diff0
(log.f64 y)
cost-diff0
#s(approx (- (* x (log y)) z) (log.f64 y))
cost-diff0
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
y
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
(-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)
#s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
y
z
Outputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
y
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
(-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)
#s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
y
z

localize29.0ms (2.2%)

Memory
-21.9MiB live, 55.5MiB allocated
Localize:

Found 11 expressions of interest:

NewMetricScoreProgram
accuracy0.00390625
(-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)
accuracy21.02400276442962
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
accuracy41.56193347765873
#s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
accuracy61.764265330085614
#s(approx (- (* x (log y)) z) (log.f64 y))
accuracy0.0
(log.f64 y)
accuracy0.25390625
(*.f64 x (log.f64 y))
accuracy21.02400276442962
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
accuracy31.304164801291726
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
accuracy0.0
(log.f64 y)
accuracy21.02400276442962
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
accuracy61.764265330085614
#s(approx (- (* x (log y)) z) (log.f64 y))
Samples
21.0ms256×0valid
Compiler

Compiled 231 to 26 computations (88.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
ival-log: 3.0ms (38.9% of total)
ival-sub: 2.0ms (25.9% of total)
ival-mult: 2.0ms (25.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

series47.0ms (3.6%)

Memory
21.0MiB live, 104.3MiB allocated
Counts
10 → 27
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
(-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)
#s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
Outputs
(* -1 (+ y z))
(- (* x (log y)) (+ y z))
(* -1 z)
(- (* x (log y)) z)
(* x (log y))
(* x (+ (log y) (* -1 (/ (+ y z) x))))
(* x (+ (log y) (* -1 (/ z x))))
(* -1 (* x (+ (* -1 (log y)) (+ (/ y x) (/ z x)))))
(* -1 (* x (+ (* -1 (log y)) (/ z x))))
(- (+ (* -1 y) (* x (log y))) z)
(log y)
(* -1 y)
(* y (- (* -1 (/ (* x (log (/ 1 y))) y)) (+ 1 (/ z y))))
(- (* -1 (* x (log (/ 1 y)))) z)
(* -1 (log (/ 1 y)))
(* -1 (* x (log (/ 1 y))))
(* -1 (* y (+ 1 (* -1 (/ (- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z) y)))))
(- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z)
(+ (log -1) (* -1 (log (/ -1 y))))
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(- (* x (log y)) y)
(- (+ (* -1 z) (* x (log y))) y)
(+ (* -1 z) (* x (log y)))
(* z (- (/ (* x (log y)) z) (+ 1 (/ y z))))
(* z (- (/ (* x (log y)) z) 1))
(* -1 (* z (+ 1 (* -1 (/ (- (* x (log y)) y) z)))))
(* -1 (* z (+ 1 (* -1 (/ (* x (log y)) z)))))
Calls

9 calls:

TimeVariablePointExpression
8.0ms
x
@0
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y))
8.0ms
x
@inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y))
7.0ms
y
@inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y))
7.0ms
y
@-inf
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y))
6.0ms
y
@0
((- (- (* x (log y)) z) y) (- (* x (log y)) z) (log y) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y) (- (* x (log y)) z) (* x (log y)) (- (- (* x (log y)) z) y))

simplify1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Algorithm
1×egg-herbie
Counts
27 → 10
Calls
Call 1
Inputs
(* -1 (+ y z))
(- (* x (log y)) (+ y z))
(* -1 z)
(- (* x (log y)) z)
(* x (log y))
(* x (+ (log y) (* -1 (/ (+ y z) x))))
(* x (+ (log y) (* -1 (/ z x))))
(* -1 (* x (+ (* -1 (log y)) (+ (/ y x) (/ z x)))))
(* -1 (* x (+ (* -1 (log y)) (/ z x))))
(- (+ (* -1 y) (* x (log y))) z)
(log y)
(* -1 y)
(* y (- (* -1 (/ (* x (log (/ 1 y))) y)) (+ 1 (/ z y))))
(- (* -1 (* x (log (/ 1 y)))) z)
(* -1 (log (/ 1 y)))
(* -1 (* x (log (/ 1 y))))
(* -1 (* y (+ 1 (* -1 (/ (- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z) y)))))
(- (* x (+ (log -1) (* -1 (log (/ -1 y))))) z)
(+ (log -1) (* -1 (log (/ -1 y))))
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(- (* x (log y)) y)
(- (+ (* -1 z) (* x (log y))) y)
(+ (* -1 z) (* x (log y)))
(* z (- (/ (* x (log y)) z) (+ 1 (/ y z))))
(* z (- (/ (* x (log y)) z) 1))
(* -1 (* z (+ 1 (* -1 (/ (- (* x (log y)) y) z)))))
(* -1 (* z (+ 1 (* -1 (/ (* x (log y)) z)))))
Outputs
(* -1 (+ y z))
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
(- (* x (log y)) (+ y z))
#s(approx (- (* x (log y)) z) (log.f64 y))
(* -1 z)
(log.f64 y)
(- (* x (log y)) z)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
(* x (log y))
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
(* x (+ (log y) (* -1 (/ (+ y z) x))))
(*.f64 x (log.f64 y))
(* x (+ (log y) (* -1 (/ z x))))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
(* -1 (* x (+ (* -1 (log y)) (+ (/ y x) (/ z x)))))
(-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)
(* -1 (* x (+ (* -1 (log y)) (/ z x))))
#s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
(- (+ (* -1 y) (* x (log y))) z)
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)

rewrite1.0ms (0%)

Memory
1.2MiB live, 1.2MiB allocated
Counts
10 → 10
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
(-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)
#s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
Outputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
#s(approx (- (* x (log y)) z) (log.f64 y))
(log.f64 y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
(-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)
#s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)

eval3.0ms (0.2%)

Memory
-33.3MiB live, 6.0MiB allocated
Compiler

Compiled 637 to 41 computations (93.6% saved)

prune5.0ms (0.4%)

Memory
13.1MiB live, 13.1MiB allocated
Pruning

7 alts after pruning (0 fresh and 7 done)

PrunedKeptTotal
New23023
Fresh000
Picked033
Done044
Total23730
Accuracy
99.9%
Counts
30 → 7
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓99.9%
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
✓67.0%
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
✓28.9%
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
✓67.0%
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
✓55.8%
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
✓35.0%
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
✓2.8%
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
Compiler

Compiled 224 to 92 computations (58.9% saved)

regimes14.0ms (1.1%)

Memory
-10.0MiB live, 28.4MiB allocated
Counts
7 → 1
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
Outputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
Calls

4 calls:

5.0ms
x
3.0ms
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
3.0ms
z
3.0ms
y
Results
AccuracySegmentsBranch
99.9%1x
99.9%1y
99.9%1z
99.9%1(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
Compiler

Compiled 11 to 16 computations (-45.5% saved)

regimes11.0ms (0.9%)

Memory
22.6MiB live, 22.6MiB allocated
Counts
6 → 3
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
Outputs
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
(-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y)
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
Calls

4 calls:

3.0ms
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
3.0ms
z
3.0ms
x
3.0ms
y
Results
AccuracySegmentsBranch
79.7%4x
87.7%2y
90.1%3z
82.5%2(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
Compiler

Compiled 11 to 16 computations (-45.5% saved)

regimes5.0ms (0.4%)

Memory
11.0MiB live, 11.0MiB allocated
Counts
5 → 2
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
Outputs
#s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
Calls

2 calls:

2.0ms
z
2.0ms
y
Results
AccuracySegmentsBranch
83.7%2y
69.8%2z
Compiler

Compiled 2 to 6 computations (-200% saved)

regimes10.0ms (0.8%)

Memory
-20.0MiB live, 21.4MiB allocated
Counts
4 → 3
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
Outputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
#s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z))
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
Calls

4 calls:

4.0ms
y
2.0ms
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
2.0ms
z
2.0ms
x
Results
AccuracySegmentsBranch
63.4%3z
70.3%3x
61.9%3(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
62.9%4y
Compiler

Compiled 11 to 16 computations (-45.5% saved)

regimes9.0ms (0.7%)

Memory
-18.6MiB live, 19.9MiB allocated
Counts
3 → 2
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
Outputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
Calls

4 calls:

3.0ms
y
2.0ms
z
2.0ms
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
2.0ms
x
Results
AccuracySegmentsBranch
51.5%2y
44.4%2(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
37.4%2z
49.8%3x
Compiler

Compiled 11 to 16 computations (-45.5% saved)

regimes6.0ms (0.5%)

Memory
14.0MiB live, 14.0MiB allocated
Counts
2 → 1
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
Outputs
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
Calls

4 calls:

1.0ms
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
1.0ms
z
1.0ms
x
1.0ms
y
Results
AccuracySegmentsBranch
28.9%1z
28.9%1(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
28.9%1x
28.9%1y
Compiler

Compiled 11 to 16 computations (-45.5% saved)

regimes5.0ms (0.4%)

Memory
13.2MiB live, 13.2MiB allocated
Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts
1 → 1
Calls
Call 1
Inputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
Outputs
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
Calls

4 calls:

1.0ms
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
1.0ms
x
1.0ms
z
1.0ms
y
Results
AccuracySegmentsBranch
2.8%1z
2.8%1(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
2.8%1y
2.8%1x
Compiler

Compiled 11 to 16 computations (-45.5% saved)

bsearch22.0ms (1.7%)

Memory
-3.2MiB live, 35.4MiB allocated
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
7.0ms
2.1873129536972924e+47
8.281017378003171e+47
13.0ms
-2.2644619786552317e+106
-7.104132782556067e+103
Samples
12.0ms208×0valid
Compiler

Compiled 471 to 328 computations (30.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 7.0ms
ival-log: 4.0ms (54.3% of total)
ival-sub: 2.0ms (27.2% of total)
ival-mult: 1.0ms (13.6% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

bsearch14.0ms (1.1%)

Memory
-13.0MiB live, 25.5MiB allocated
Algorithm
1×binary-search
Stop Event
1×narrow-enough
Steps
TimeLeftRight
13.0ms
1.8170981960957363e+23
2.629515154259217e+27
Samples
8.0ms128×0valid
Compiler

Compiled 347 to 221 computations (36.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 4.0ms
ival-log: 2.0ms (55% of total)
ival-sub: 1.0ms (27.5% of total)
ival-mult: 1.0ms (27.5% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

bsearch29.0ms (2.2%)

Memory
-5.1MiB live, 38.9MiB allocated
Algorithm
2×binary-search
Stop Event
1×narrow-enough
1×narrow-enough
Steps
TimeLeftRight
17.0ms
7.915086306723516e+129
1.567336923711296e+131
10.0ms
-5.295094457695029e+153
-3.686089683419581e+151
Samples
19.0ms224×0valid
Compiler

Compiled 669 to 377 computations (43.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 13.0ms
ival-sub: 9.0ms (67.1% of total)
ival-log: 3.0ms (22.4% of total)
ival-mult: 2.0ms (14.9% of total)
ival-true: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

bsearch1.0ms (0.1%)

Memory
2.1MiB live, 2.1MiB allocated
Algorithm
1×binary-search
Stop Event
1×narrow-enough
Steps
TimeLeftRight
1.0ms
1.8170981960957363e+23
2.629515154259217e+27
Compiler

Compiled 259 to 189 computations (27% saved)

simplify5.0ms (0.4%)

Memory
11.6MiB live, 11.6MiB allocated
Algorithm
1×egg-herbie
Calls
Call 1
Inputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
(if (<=.f64 z #s(literal -75999999999999993779853880470565804363519813392847839561774336903502045401564241220612385267794497765376 binary64)) #s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)) (if (<=.f64 z #s(literal 240000000000000018635966172278955534691071950848 binary64)) (-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y) #s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))))
(if (<=.f64 y #s(literal 1059999999999999937118994432 binary64)) #s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z)) #s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)))
(if (<=.f64 x #s(literal -80000000000000001374202590977417529443144832674443640861858627561600250102255083360661013942889385461780367676348342678295449011561384049997076395720704 binary64)) #s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))) (if (<=.f64 x #s(literal 111999999999999994875102904639437137055880020783102474413925445241572491519924645212961744370782752294311761847661731421309508780032 binary64)) #s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)) #s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))))
(if (<=.f64 y #s(literal 1059999999999999937118994432 binary64)) #s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))
Outputs
(-.f64 (-.f64 (*.f64 x (log.f64 y)) z) y)
(if (<=.f64 z #s(literal -75999999999999993779853880470565804363519813392847839561774336903502045401564241220612385267794497765376 binary64)) #s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)) (if (<=.f64 z #s(literal 240000000000000018635966172278955534691071950848 binary64)) (-.f64 #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))) y) #s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z))))
(if (<=.f64 y #s(literal 1059999999999999937118994432 binary64)) #s(approx (- (- (* x (log y)) z) y) (-.f64 (*.f64 x (log.f64 y)) z)) #s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)))
(if (<=.f64 x #s(literal -80000000000000001374202590977417529443144832674443640861858627561600250102255083360661013942889385461780367676348342678295449011561384049997076395720704 binary64)) #s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))) (if (<=.f64 x #s(literal 111999999999999994875102904639437137055880020783102474413925445241572491519924645212961744370782752294311761847661731421309508780032 binary64)) #s(approx (- (- (* x (log y)) z) y) (-.f64 #s(approx (* x (log y)) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)) z)) #s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y))))))
(if (<=.f64 y #s(literal 1059999999999999937118994432 binary64)) #s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (*.f64 x (log.f64 y)))) (-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y))
(-.f64 #s(approx (- (* x (log y)) z) (log.f64 y)) y)
#s(approx (- (- (* x (log y)) z) y) #s(approx (- (* x (log y)) z) (log.f64 y)))

soundness2.0ms (0.2%)

Memory
4.6MiB live, 4.6MiB allocated
Stop Event
1×done
Compiler

Compiled 256 to 37 computations (85.5% saved)

preprocess37.0ms (2.8%)

Memory
-9.8MiB live, 66.6MiB allocated
Compiler

Compiled 528 to 88 computations (83.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...