Metrics for Numeric.SpecFunctions:stirlingError from math-functions-0.1.5.2

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze1.0ms (0.1%)

Memory

1.3MiB live, 1.3MiB 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
0%	0%	99.9%	0.1%	0%	0%	0%	2
100%	49.9%	0%	0.1%	0%	49.9%	0%	3

Compiler

Compiled 14 to 12 computations (14.3% saved)

sample845.0ms (54.7%)

Memory

16.0MiB live, 1 215.1MiB allocated

Samples

553.0ms	8 255×	0	valid
0.0ms	1×	2	valid

Precisions

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

ival-log: 117.0ms (32.8% of total)

ival-add: 94.0ms (26.3% of total)

ival-sub: 76.0ms (21.3% of total)

ival-mult: 56.0ms (15.7% of total)

ival-true: 6.0ms (1.7% of total)

exact: 5.0ms (1.4% of total)

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

adjust: 0.0ms (0% of total)

Bogosity

explain119.0ms (7.7%)

Memory

13.0MiB live, 168.0MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(+.f64 y #s(literal 1/2 binary64))`
-	-	`(log.f64 y)`
-	-	`(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))`
-	-	`(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))`
-	-	`z`
-	-	`(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)`
-	-	`y`
-	-	`(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)`
-	-	`#s(literal 1/2 binary64)`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	1

Precision?

0/0

Recall?

0/0

Samples

40.0ms

512×

valid

Compiler

Compiled 151 to 44 computations (70.9% saved)

Precisions

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

ival-add: 8.0ms (34.3% of total)

ival-log: 7.0ms (30% of total)

ival-sub: 5.0ms (21.4% of total)

ival-mult: 3.0ms (12.9% of total)

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

exact: 0.0ms (0% of total)

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

preprocess8.0ms (0.5%)

Memory

-31.0MiB live, 5.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)

Outputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)

Compiler

Compiled 12 to 10 computations (16.7% saved)

eval0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated
Compiler: Compiled 0 to 3 computations (-∞% saved)

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.9%	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)

Compiler

Compiled 12 to 10 computations (16.7% saved)

simplify0.0ms (0%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
cost-diff	0	(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
cost-diff	0	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
cost-diff	0	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
z

Outputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
z

localize25.0ms (1.6%)

Memory

35.3MiB live, 35.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(log.f64 y)
accuracy	0.0078125	(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
accuracy	0.09375	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
accuracy	0.166347509768442	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))

Samples

18.0ms

256×

valid

Compiler

Compiled 92 to 22 computations (76.1% saved)

Precisions

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

ival-log: 3.0ms (29.8% of total)

ival-add: 3.0ms (29.8% of total)

ival-sub: 2.0ms (19.9% of total)

ival-mult: 2.0ms (19.9% of total)

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

exact: 0.0ms (0% of total)

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

series65.0ms (4.2%)

Memory

8.1MiB live, 81.0MiB allocated

Counts

5 → 41

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(log.f64 y)

Outputs
(- y (+ z (* (log y) (+ 1/2 y))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(- y (* (log y) (+ 1/2 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(* -1 (* (log y) (+ 1/2 y)))
(- x (* (log y) (+ 1/2 y)))
x
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(- x (+ z (* 1/2 (log y))))
(- (+ x (* y (- 1 (log y)))) (+ z (* 1/2 (log y))))
(- x (* 1/2 (log y)))
(- (+ x (* y (- 1 (log y)))) (* 1/2 (log y)))
(- (+ x (* -1 (* y (log y)))) (* 1/2 (log y)))
(* 1/2 (log y))
(+ (* 1/2 (log y)) (* y (log y)))
(log y)
(* y (- 1 (* -1 (log (/ 1 y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (+ (* -1/2 (/ (log (/ 1 y)) y)) (/ z y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (log (/ 1 y)))
(* y (- (/ x y) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* -1 (* y (log (/ 1 y))))
(* y (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y))))
(* -1 (log (/ 1 y)))
(* y (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))
(* -1 (* y (- (* -1 (/ (- x (+ z (* 1/2 (+ (log -1) (* -1 (log (/ -1 y))))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (+ (log -1) (* -1 (log (/ -1 y))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (* -1 (+ (log -1) (* -1 (log (/ -1 y))))))))
(* y (+ (log -1) (* -1 (log (/ -1 y)))))
(* -1 (* y (+ (* -1 (+ (log -1) (* -1 (log (/ -1 y))))) (* -1/2 (/ (+ (log -1) (* -1 (log (/ -1 y)))) y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (+ x (+ y (* -1 z))) (* (log y) (+ 1/2 y)))
(* -1 z)
(* z (- (+ (/ x z) (/ y z)) (+ 1 (/ (* (log y) (+ 1/2 y)) z))))
(* -1 (* z (+ 1 (* -1 (/ (- (+ x y) (* (log y) (+ 1/2 y))) z)))))

Calls

9 calls:

Time	Variable		Point	Expression
21.0ms	y	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (log y))
17.0ms	y	@	-inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (log y))
11.0ms	y	@	inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (log y))
10.0ms	x	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (log y))
1.0ms	z	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (log y))

simplify6.0ms (0.4%)

Memory

-40.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Counts

41 → 5

Calls

Call 1

Inputs
(- y (+ z (* (log y) (+ 1/2 y))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(- y (* (log y) (+ 1/2 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(* -1 (* (log y) (+ 1/2 y)))
(- x (* (log y) (+ 1/2 y)))
x
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(- x (+ z (* 1/2 (log y))))
(- (+ x (* y (- 1 (log y)))) (+ z (* 1/2 (log y))))
(- x (* 1/2 (log y)))
(- (+ x (* y (- 1 (log y)))) (* 1/2 (log y)))
(- (+ x (* -1 (* y (log y)))) (* 1/2 (log y)))
(* 1/2 (log y))
(+ (* 1/2 (log y)) (* y (log y)))
(log y)
(* y (- 1 (* -1 (log (/ 1 y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (+ (* -1/2 (/ (log (/ 1 y)) y)) (/ z y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (log (/ 1 y)))
(* y (- (/ x y) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* -1 (* y (log (/ 1 y))))
(* y (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y))))
(* -1 (log (/ 1 y)))
(* y (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))
(* -1 (* y (- (* -1 (/ (- x (+ z (* 1/2 (+ (log -1) (* -1 (log (/ -1 y))))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (+ (log -1) (* -1 (log (/ -1 y))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (* -1 (+ (log -1) (* -1 (log (/ -1 y))))))))
(* y (+ (log -1) (* -1 (log (/ -1 y)))))
(* -1 (* y (+ (* -1 (+ (log -1) (* -1 (log (/ -1 y))))) (* -1/2 (/ (+ (log -1) (* -1 (log (/ -1 y)))) y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (+ x (+ y (* -1 z))) (* (log y) (+ 1/2 y)))
(* -1 z)
(* z (- (+ (/ x z) (/ y z)) (+ 1 (/ (* (log y) (+ 1/2 y)) z))))
(* -1 (* z (+ 1 (* -1 (/ (- (+ x y) (* (log y) (+ 1/2 y))) z)))))

Outputs
(- y (+ z (* (log y) (+ 1/2 y))))
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(- y (* (log y) (+ 1/2 y)))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(* -1 (* (log y) (+ 1/2 y)))
(log.f64 y)

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(log.f64 y)

Outputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(log.f64 y)

eval1.0ms (0.1%)

Memory: 2.2MiB live, 2.2MiB allocated
Compiler: Compiled 163 to 26 computations (84% saved)

prune2.0ms (0.1%)

Memory

3.2MiB live, 3.3MiB allocated

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	6	4	10
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	6	5	11

Accuracy

99.9%

Counts

11 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
▶	29.1%	(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
▶	80.9%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
▶	29.1%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
▶	71.4%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))

Compiler

Compiled 90 to 70 computations (22.2% saved)

simplify1.0ms (0.1%)

Memory

1.6MiB live, 1.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(log.f64 y)
cost-diff	0	#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
cost-diff	0	(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
cost-diff	0	(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
cost-diff	0	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
cost-diff	0	(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
cost-diff	0	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
cost-diff	0	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
cost-diff	0	(+.f64 y #s(literal 1/2 binary64))
cost-diff	0	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
cost-diff	0	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
cost-diff	0	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
cost-diff	0	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
cost-diff	0	(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
cost-diff	0	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
cost-diff	0	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
z
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
z
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
y
z

Outputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
z
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
z
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
y
z

localize38.0ms (2.5%)

Memory

14.1MiB live, 51.2MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
accuracy	0.0	(log.f64 y)
accuracy	0.09375	(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
accuracy	62.79802488903361	#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
accuracy	0.0	(log.f64 y)
accuracy	0.0078125	(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
accuracy	0.166347509768442	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
accuracy	16.261114921861317	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
accuracy	0.0	(+.f64 y #s(literal 1/2 binary64))
accuracy	0.0	(log.f64 y)
accuracy	0.166347509768442	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
accuracy	62.76392439748608	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
accuracy	0.0078125	(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
accuracy	0.09375	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
accuracy	0.166347509768442	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
accuracy	18.246136824558803	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))

Samples

26.0ms

256×

valid

Compiler

Compiled 372 to 36 computations (90.3% saved)

Precisions

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

ival-log: 3.0ms (29.3% of total)

ival-add: 3.0ms (29.3% of total)

ival-sub: 2.0ms (19.6% of total)

ival-mult: 2.0ms (19.6% of total)

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

exact: 0.0ms (0% of total)

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

series32.0ms (2.1%)

Memory

12.9MiB live, 50.8MiB allocated

Counts

13 → 45

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(+.f64 y #s(literal 1/2 binary64))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)

Outputs
(- y (+ z (* (log y) (+ 1/2 y))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(- y (* (log y) (+ 1/2 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(* -1 (* (log y) (+ 1/2 y)))
(- x (* (log y) (+ 1/2 y)))
x
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(- x (+ z (* 1/2 (log y))))
(- (+ x (* y (- 1 (log y)))) (+ z (* 1/2 (log y))))
(- x (* 1/2 (log y)))
(- (+ x (* y (- 1 (log y)))) (* 1/2 (log y)))
(- (+ x (* -1 (* y (log y)))) (* 1/2 (log y)))
(* 1/2 (log y))
(+ (* 1/2 (log y)) (* y (log y)))
1/2
(+ 1/2 y)
(log y)
(* y (- 1 (* -1 (log (/ 1 y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (+ (* -1/2 (/ (log (/ 1 y)) y)) (/ z y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (log (/ 1 y)))
(* y (- (/ x y) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* -1 (* y (log (/ 1 y))))
(* y (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y))))
y
(* y (+ 1 (* 1/2 (/ 1 y))))
(* -1 (log (/ 1 y)))
(* y (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))
(* -1 (* y (- (* -1 (/ (- x (+ z (* 1/2 (+ (log -1) (* -1 (log (/ -1 y))))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (+ (log -1) (* -1 (log (/ -1 y))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (* -1 (+ (log -1) (* -1 (log (/ -1 y))))))))
(* y (+ (log -1) (* -1 (log (/ -1 y)))))
(* -1 (* y (+ (* -1 (+ (log -1) (* -1 (log (/ -1 y))))) (* -1/2 (/ (+ (log -1) (* -1 (log (/ -1 y)))) y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (+ x (+ y (* -1 z))) (* (log y) (+ 1/2 y)))
(* -1 z)
(* z (- (+ (/ x z) (/ y z)) (+ 1 (/ (* (log y) (+ 1/2 y)) z))))
(* -1 (* z (+ 1 (* -1 (/ (- (+ x y) (* (log y) (+ 1/2 y))) z)))))

Calls

9 calls:

Time	Variable		Point	Expression
10.0ms	y	@	inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y))
7.0ms	y	@	-inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y))
6.0ms	y	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y))
2.0ms	x	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y))
2.0ms	z	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y))

simplify1.0ms (0.1%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Counts

45 → 13

Calls

Call 1

Inputs
(- y (+ z (* (log y) (+ 1/2 y))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(- y (* (log y) (+ 1/2 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(* -1 (* (log y) (+ 1/2 y)))
(- x (* (log y) (+ 1/2 y)))
x
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(- x (+ z (* 1/2 (log y))))
(- (+ x (* y (- 1 (log y)))) (+ z (* 1/2 (log y))))
(- x (* 1/2 (log y)))
(- (+ x (* y (- 1 (log y)))) (* 1/2 (log y)))
(- (+ x (* -1 (* y (log y)))) (* 1/2 (log y)))
(* 1/2 (log y))
(+ (* 1/2 (log y)) (* y (log y)))
1/2
(+ 1/2 y)
(log y)
(* y (- 1 (* -1 (log (/ 1 y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (+ (* -1/2 (/ (log (/ 1 y)) y)) (/ z y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (log (/ 1 y)))
(* y (- (/ x y) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* -1 (* y (log (/ 1 y))))
(* y (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y))))
y
(* y (+ 1 (* 1/2 (/ 1 y))))
(* -1 (log (/ 1 y)))
(* y (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))
(* -1 (* y (- (* -1 (/ (- x (+ z (* 1/2 (+ (log -1) (* -1 (log (/ -1 y))))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (+ (log -1) (* -1 (log (/ -1 y))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (* -1 (+ (log -1) (* -1 (log (/ -1 y))))))))
(* y (+ (log -1) (* -1 (log (/ -1 y)))))
(* -1 (* y (+ (* -1 (+ (log -1) (* -1 (log (/ -1 y))))) (* -1/2 (/ (+ (log -1) (* -1 (log (/ -1 y)))) y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (+ x (+ y (* -1 z))) (* (log y) (+ 1/2 y)))
(* -1 z)
(* z (- (+ (/ x z) (/ y z)) (+ 1 (/ (* (log y) (+ 1/2 y)) z))))
(* -1 (* z (+ 1 (* -1 (/ (- (+ x y) (* (log y) (+ 1/2 y))) z)))))

Outputs
(- y (+ z (* (log y) (+ 1/2 y))))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(- y (* (log y) (+ 1/2 y)))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(* -1 (* (log y) (+ 1/2 y)))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
(- x (* (log y) (+ 1/2 y)))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(+.f64 y #s(literal 1/2 binary64))
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(log.f64 y)

rewrite1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Counts

13 → 13

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(+.f64 y #s(literal 1/2 binary64))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)

Outputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(+.f64 y #s(literal 1/2 binary64))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)

eval3.0ms (0.2%)

Memory: 6.0MiB live, 6.0MiB allocated
Compiler: Compiled 906 to 50 computations (94.5% saved)

prune8.0ms (0.5%)

Memory

-27.8MiB live, 10.2MiB allocated

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	28	6	34
Fresh	0	0	0
Picked	2	2	4
Done	0	1	1
Total	30	9	39

Accuracy

99.9%

Counts

39 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
✓	80.9%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
	6.6%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
▶	29.4%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
✓	71.4%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
▶	3.8%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
▶	53.1%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
▶	2.2%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
▶	2.0%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))

Compiler

Compiled 404 to 221 computations (45.3% saved)

simplify1.0ms (0.1%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 18 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(+.f64 y #s(literal 1/2 binary64))
cost-diff	0	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
cost-diff	0	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
cost-diff	0	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
cost-diff	0	(log.f64 y)
cost-diff	0	#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
cost-diff	0	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
cost-diff	0	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
cost-diff	0	(log.f64 y)
cost-diff	0	#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
cost-diff	0	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
cost-diff	0	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
cost-diff	0	(+.f64 y #s(literal 1/2 binary64))
cost-diff	0	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
cost-diff	0	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
cost-diff	0	(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
cost-diff	0	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
cost-diff	0	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
y
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
y
z
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)

Outputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
x
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
y
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
y
z
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(+.f64 y #s(literal 1/2 binary64))
y
#s(literal 1/2 binary64)
(log.f64 y)

localize39.0ms (2.5%)

Memory

7.7MiB live, 49.3MiB allocated

Localize:

Found 18 expressions of interest:

New	Metric	Score
accuracy	0.0	(log.f64 y)
accuracy	0.166347509768442	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
accuracy	18.246136824558803	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
accuracy	62.76392439748608	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
accuracy	0.0	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
accuracy	0.0	(log.f64 y)
accuracy	16.261114921861317	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
accuracy	62.79802488903361	#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
accuracy	0.0	(log.f64 y)
accuracy	16.261114921861317	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
accuracy	18.246136824558803	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
accuracy	62.79802488903361	#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
accuracy	0.0	(+.f64 y #s(literal 1/2 binary64))
accuracy	61.542074099361	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
accuracy	0.0078125	(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
accuracy	0.166347509768442	(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
accuracy	16.261114921861317	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
accuracy	18.246136824558803	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))

Samples

27.0ms

256×

valid

Compiler

Compiled 451 to 36 computations (92% saved)

Precisions

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

ival-log: 3.0ms (29.5% of total)

ival-add: 3.0ms (29.5% of total)

ival-sub: 2.0ms (19.7% of total)

ival-mult: 2.0ms (19.7% of total)

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

exact: 0.0ms (0% of total)

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

series34.0ms (2.2%)

Memory

-15.4MiB live, 61.3MiB allocated

Counts

13 → 45

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
(+.f64 y #s(literal 1/2 binary64))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))

Outputs
(- y (+ z (* (log y) (+ 1/2 y))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(- y (* (log y) (+ 1/2 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(* -1 (* (log y) (+ 1/2 y)))
(- x (* (log y) (+ 1/2 y)))
x
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(- x (+ z (* 1/2 (log y))))
(- (+ x (* y (- 1 (log y)))) (+ z (* 1/2 (log y))))
(- x (* 1/2 (log y)))
(- (+ x (* y (- 1 (log y)))) (* 1/2 (log y)))
(- (+ x (* -1 (* y (log y)))) (* 1/2 (log y)))
(* 1/2 (log y))
(+ (* 1/2 (log y)) (* y (log y)))
1/2
(+ 1/2 y)
(log y)
(* y (- 1 (* -1 (log (/ 1 y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (+ (* -1/2 (/ (log (/ 1 y)) y)) (/ z y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (log (/ 1 y)))
(* y (- (/ x y) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* -1 (* y (log (/ 1 y))))
(* y (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y))))
y
(* y (+ 1 (* 1/2 (/ 1 y))))
(* -1 (log (/ 1 y)))
(* y (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))
(* -1 (* y (- (* -1 (/ (- x (+ z (* 1/2 (+ (log -1) (* -1 (log (/ -1 y))))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (+ (log -1) (* -1 (log (/ -1 y))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (* -1 (+ (log -1) (* -1 (log (/ -1 y))))))))
(* y (+ (log -1) (* -1 (log (/ -1 y)))))
(* -1 (* y (+ (* -1 (+ (log -1) (* -1 (log (/ -1 y))))) (* -1/2 (/ (+ (log -1) (* -1 (log (/ -1 y)))) y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (+ x (+ y (* -1 z))) (* (log y) (+ 1/2 y)))
(* -1 z)
(* z (- (+ (/ x z) (/ y z)) (+ 1 (/ (* (log y) (+ 1/2 y)) z))))
(* -1 (* z (+ 1 (* -1 (/ (- (+ x y) (* (log y) (+ 1/2 y))) z)))))

Calls

9 calls:

Time	Variable		Point	Expression
10.0ms	y	@	inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y))
7.0ms	y	@	-inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y))
6.0ms	y	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y))
2.0ms	z	@	-inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y))
2.0ms	x	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (* (+ y 1/2) (log y)) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ y 1/2) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (log y) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y))

simplify1.0ms (0.1%)

Memory

1.7MiB live, 1.7MiB allocated

Algorithm

1×	egg-herbie

Counts

45 → 13

Calls

Call 1

Inputs
(- y (+ z (* (log y) (+ 1/2 y))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(- y (* (log y) (+ 1/2 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(* -1 (* (log y) (+ 1/2 y)))
(- x (* (log y) (+ 1/2 y)))
x
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(- x (+ z (* 1/2 (log y))))
(- (+ x (* y (- 1 (log y)))) (+ z (* 1/2 (log y))))
(- x (* 1/2 (log y)))
(- (+ x (* y (- 1 (log y)))) (* 1/2 (log y)))
(- (+ x (* -1 (* y (log y)))) (* 1/2 (log y)))
(* 1/2 (log y))
(+ (* 1/2 (log y)) (* y (log y)))
1/2
(+ 1/2 y)
(log y)
(* y (- 1 (* -1 (log (/ 1 y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (+ (* -1/2 (/ (log (/ 1 y)) y)) (/ z y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (log (/ 1 y)))
(* y (- (/ x y) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* -1 (* y (log (/ 1 y))))
(* y (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y))))
y
(* y (+ 1 (* 1/2 (/ 1 y))))
(* -1 (log (/ 1 y)))
(* y (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))
(* -1 (* y (- (* -1 (/ (- x (+ z (* 1/2 (+ (log -1) (* -1 (log (/ -1 y))))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (+ (log -1) (* -1 (log (/ -1 y))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (* -1 (+ (log -1) (* -1 (log (/ -1 y))))))))
(* y (+ (log -1) (* -1 (log (/ -1 y)))))
(* -1 (* y (+ (* -1 (+ (log -1) (* -1 (log (/ -1 y))))) (* -1/2 (/ (+ (log -1) (* -1 (log (/ -1 y)))) y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (+ x (+ y (* -1 z))) (* (log y) (+ 1/2 y)))
(* -1 z)
(* z (- (+ (/ x z) (/ y z)) (+ 1 (/ (* (log y) (+ 1/2 y)) z))))
(* -1 (* z (+ 1 (* -1 (/ (- (+ x y) (* (log y) (+ 1/2 y))) z)))))

Outputs
(- y (+ z (* (log y) (+ 1/2 y))))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(- y (* (log y) (+ 1/2 y)))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
(* -1 (* (log y) (+ 1/2 y)))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
(- x (* (log y) (+ 1/2 y)))
(+.f64 y #s(literal 1/2 binary64))
x
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(log.f64 y)
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))

rewrite1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Counts

13 → 13

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
(+.f64 y #s(literal 1/2 binary64))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))

Outputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))
(*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
(+.f64 y #s(literal 1/2 binary64))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))

eval3.0ms (0.2%)

Memory: 8.8MiB live, 8.8MiB allocated
Compiler: Compiled 881 to 38 computations (95.7% saved)

prune7.0ms (0.4%)

Memory

17.8MiB live, 17.8MiB allocated

Pruning

9 alts after pruning (1 fresh and 8 done)

	Pruned	Kept	Total
New	26	0	26
Fresh	0	1	1
Picked	0	5	5
Done	0	3	3
Total	26	9	35

Accuracy

99.9%

Counts

35 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
✓	80.9%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
▶	6.6%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
✓	29.4%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
✓	71.4%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
✓	3.8%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
✓	53.1%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
✓	2.2%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
✓	2.0%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))

Compiler

Compiled 230 to 132 computations (42.6% saved)

simplify1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
cost-diff	0	#s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))
cost-diff	0	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)))
cost-diff	0	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)

Calls

Call 1

Inputs
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)))
#s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
y
z

Outputs
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)))
#s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(log.f64 y)
y
z

localize32.0ms (2.1%)

Memory

-30.3MiB live, 56.4MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.09375	(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)
accuracy	16.261114921861317	#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)))
accuracy	30.033411161489546	#s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))
accuracy	62.79802488903361	#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))

Samples

19.0ms

256×

valid

Compiler

Compiled 205 to 28 computations (86.3% saved)

Precisions

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

ival-log: 3.0ms (29.7% of total)

ival-add: 3.0ms (29.7% of total)

ival-sub: 2.0ms (19.8% of total)

ival-mult: 2.0ms (19.8% of total)

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

exact: 0.0ms (0% of total)

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

series13.0ms (0.9%)

Memory

28.8MiB live, 28.8MiB allocated

Counts

6 → 32

Calls

Call 1

Inputs
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)))
#s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)

Outputs
(- y (+ z (* (log y) (+ 1/2 y))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(- y (* (log y) (+ 1/2 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(* -1 (* (log y) (+ 1/2 y)))
(- x (* (log y) (+ 1/2 y)))
x
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(- x (+ z (* 1/2 (log y))))
(- (+ x (* y (- 1 (log y)))) (+ z (* 1/2 (log y))))
(- x (* 1/2 (log y)))
(- (+ x (* y (- 1 (log y)))) (* 1/2 (log y)))
(- (+ x (* -1 (* y (log y)))) (* 1/2 (log y)))
(* y (- 1 (* -1 (log (/ 1 y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (+ (* -1/2 (/ (log (/ 1 y)) y)) (/ z y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (log (/ 1 y)))
(* y (- (/ x y) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))
(* -1 (* y (- (* -1 (/ (- x (+ z (* 1/2 (+ (log -1) (* -1 (log (/ -1 y))))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (+ (log -1) (* -1 (log (/ -1 y))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (* -1 (+ (log -1) (* -1 (log (/ -1 y))))))))
(- (+ x (+ y (* -1 z))) (* (log y) (+ 1/2 y)))
(* -1 z)
(* z (- (+ (/ x z) (/ y z)) (+ 1 (/ (* (log y) (+ 1/2 y)) z))))
(* -1 (* z (+ 1 (* -1 (/ (- (+ x y) (* (log y) (+ 1/2 y))) z)))))

Calls

9 calls:

Time	Variable		Point	Expression
2.0ms	y	@	-inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- x (* (+ y 1/2) (log y))) (+ (- x (* (+ y 1/2) (log y))) y))
2.0ms	y	@	inf	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- x (* (+ y 1/2) (log y))) (+ (- x (* (+ y 1/2) (log y))) y))
2.0ms	x	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- x (* (+ y 1/2) (log y))) (+ (- x (* (+ y 1/2) (log y))) y))
2.0ms	y	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- x (* (+ y 1/2) (log y))) (+ (- x (* (+ y 1/2) (log y))) y))
1.0ms	z	@	0	((- (+ (- x (* (+ y 1/2) (log y))) y) z) (+ (- x (* (+ y 1/2) (log y))) y) (- x (* (+ y 1/2) (log y))) (- (+ (- x (* (+ y 1/2) (log y))) y) z) (- x (* (+ y 1/2) (log y))) (+ (- x (* (+ y 1/2) (log y))) y))

simplify1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

1×	egg-herbie

Counts

32 → 6

Calls

Call 1

Inputs
(- y (+ z (* (log y) (+ 1/2 y))))
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
(- y (* (log y) (+ 1/2 y)))
(- (+ x y) (* (log y) (+ 1/2 y)))
(* -1 (* (log y) (+ 1/2 y)))
(- x (* (log y) (+ 1/2 y)))
x
(* x (- (+ 1 (/ y x)) (+ (/ z x) (/ (* (log y) (+ 1/2 y)) x))))
(* x (- (+ 1 (/ y x)) (/ (* (log y) (+ 1/2 y)) x)))
(* x (+ 1 (* -1 (/ (* (log y) (+ 1/2 y)) x))))
(* -1 (* x (- (* -1 (/ (- y (+ z (* (log y) (+ 1/2 y)))) x)) 1)))
(* -1 (* x (- (* -1 (/ (- y (* (log y) (+ 1/2 y))) x)) 1)))
(* -1 (* x (- (/ (* (log y) (+ 1/2 y)) x) 1)))
(- x (+ z (* 1/2 (log y))))
(- (+ x (* y (- 1 (log y)))) (+ z (* 1/2 (log y))))
(- x (* 1/2 (log y)))
(- (+ x (* y (- 1 (log y)))) (* 1/2 (log y)))
(- (+ x (* -1 (* y (log y)))) (* 1/2 (log y)))
(* y (- 1 (* -1 (log (/ 1 y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (+ (* -1/2 (/ (log (/ 1 y)) y)) (/ z y)))))
(* y (- (+ 1 (/ x y)) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (log (/ 1 y)))
(* y (- (/ x y) (+ (* -1 (log (/ 1 y))) (* -1/2 (/ (log (/ 1 y)) y)))))
(* y (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))
(* -1 (* y (- (* -1 (/ (- x (+ z (* 1/2 (+ (log -1) (* -1 (log (/ -1 y))))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (+ 1 (* -1 (+ (log -1) (* -1 (log (/ -1 y)))))))))
(* -1 (* y (+ (log -1) (* -1 (log (/ -1 y))))))
(* -1 (* y (- (* -1 (/ (- x (* 1/2 (+ (log -1) (* -1 (log (/ -1 y)))))) y)) (* -1 (+ (log -1) (* -1 (log (/ -1 y))))))))
(- (+ x (+ y (* -1 z))) (* (log y) (+ 1/2 y)))
(* -1 z)
(* z (- (+ (/ x z) (/ y z)) (+ 1 (/ (* (log y) (+ 1/2 y)) z))))
(* -1 (* z (+ 1 (* -1 (/ (- (+ x y) (* (log y) (+ 1/2 y))) z)))))

Outputs
(- y (+ z (* (log y) (+ 1/2 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
(- (+ x y) (+ z (* (log y) (+ 1/2 y))))
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)))
(- y (* (log y) (+ 1/2 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))
(- (+ x y) (* (log y) (+ 1/2 y)))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
(* -1 (* (log y) (+ 1/2 y)))
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(- x (* (log y) (+ 1/2 y)))
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)

rewrite0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

6 → 6

Calls

Call 1

Inputs
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)))
#s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)

Outputs
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)))
#s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
#s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))
(+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y)

eval2.0ms (0.1%)

Memory: -35.4MiB live, 3.7MiB allocated
Compiler: Compiled 416 to 27 computations (93.5% saved)

prune5.0ms (0.3%)

Memory

11.4MiB live, 11.4MiB allocated

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	11	0	11
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	11	9	20

Accuracy

99.9%

Counts

20 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.9%	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
✓	80.9%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
✓	6.6%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
✓	29.4%	(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
✓	71.4%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
✓	3.8%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
✓	53.1%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
✓	2.2%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
✓	2.0%	#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))

Compiler

Compiled 494 to 166 computations (66.4% saved)

regimes21.0ms (1.4%)

Memory

-2.7MiB live, 35.9MiB allocated

Counts

11 → 1

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)

Outputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)

Calls

5 calls:

5.0ms	x
4.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
4.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
4.0ms	y
4.0ms	z

Results

Accuracy	Segments	Branch
99.9%	1	`x`
99.9%	1	`y`
99.9%	1	`z`
99.9%	1	`(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)`
99.9%	1	`(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)`

Compiler

Compiled 25 to 28 computations (-12% saved)

regimes22.0ms (1.5%)

Memory

-3.5MiB live, 33.7MiB allocated

Counts

10 → 3

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)

Outputs

(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)

#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))

(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)

Calls

5 calls:

7.0ms	x
4.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
4.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
3.0ms	y
3.0ms	z

Results

Accuracy	Segments	Branch
80.9%	1	`x`
90.3%	2	`y`
94.9%	3	`z`
86.0%	2	`(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)`
89.6%	2	`(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)`

Compiler

Compiled 25 to 28 computations (-12% saved)

regimes11.0ms (0.7%)

Memory

19.6MiB live, 19.6MiB allocated

Counts

9 → 3

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))

Outputs

(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)

#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y))

(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)

Calls

3 calls:

3.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
3.0ms	z
3.0ms	y

Results

Accuracy	Segments	Branch
76.3%	3	`(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)`
71.4%	1	`y`
89.1%	3	`z`

Compiler

Compiled 12 to 15 computations (-25% saved)

regimes21.0ms (1.3%)

Memory

-11.3MiB live, 29.4MiB allocated

Counts

8 → 3

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) z)

Outputs

(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)

#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))))

(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)

Calls

5 calls:

8.0ms	x
3.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
3.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
3.0ms	y
3.0ms	z

Results

Accuracy	Segments	Branch
53.1%	1	`y`
59.3%	3	`(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)`
56.3%	3	`x`
55.3%	2	`(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)`
72.9%	3	`z`

Compiler

Compiled 25 to 28 computations (-12% saved)

regimes13.0ms (0.8%)

Memory

26.0MiB live, 26.0MiB allocated

Counts

6 → 1

Calls

Call 1

Inputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
(-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (-.f64 (+.f64 #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y)) y) z))) z)

Outputs
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)

Calls

5 calls:

2.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
2.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
2.0ms	x
2.0ms	z
2.0ms	y

Results

Accuracy	Segments	Branch
29.4%	1	`y`
29.4%	1	`x`
29.4%	1	`(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)`
29.4%	1	`(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)`
29.4%	1	`z`

Compiler

Compiled 25 to 28 computations (-12% saved)

regimes11.0ms (0.7%)

Memory

-21.1MiB live, 17.1MiB allocated

Accuracy

Total -1.7b remaining (-2.7%)

Threshold costs -1.7b (-2.7%)

Counts

2 → 1

Calls

Call 1

Inputs

#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))

#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))))

Outputs
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))

Calls

5 calls:

5.0ms	(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)
1.0ms	(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
1.0ms	x
1.0ms	y
1.0ms	z

Results

Accuracy	Segments	Branch
3.8%	1	`z`
3.8%	1	`y`
3.8%	1	`x`
3.8%	1	`(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)`
3.8%	1	`(+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)`

Compiler

Compiled 25 to 28 computations (-12% saved)

bsearch32.0ms (2.1%)

Memory

9.1MiB live, 48.3MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
10.0ms	1.1201469226201697e+64	1.0011051813972206e+65
19.0ms	-9.462369100800479e+98	-7.894856058038876e+78

Samples

18.0ms

272×

valid

Compiler

Compiled 763 to 611 computations (19.9% saved)

Precisions

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

ival-add: 4.0ms (34.5% of total)

ival-log: 3.0ms (25.9% of total)

ival-sub: 2.0ms (17.2% of total)

ival-mult: 2.0ms (17.2% of total)

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

exact: 0.0ms (0% of total)

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

bsearch33.0ms (2.1%)

Memory

13.2MiB live, 51.5MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
12.0ms	5.241058726757517e+123	5.718251950340995e+125
18.0ms	-4.655130475061304e+120	-3.047321324746212e+110

Samples

17.0ms

272×

valid

Compiler

Compiled 814 to 560 computations (31.2% saved)

Precisions

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

ival-log: 3.0ms (27.8% of total)

ival-add: 3.0ms (27.8% of total)

ival-sub: 2.0ms (18.5% of total)

ival-mult: 2.0ms (18.5% of total)

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

exact: 0.0ms (0% of total)

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

bsearch26.0ms (1.7%)

Memory

-6.6MiB live, 34.7MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
5.0ms	5.241058726757517e+123	5.718251950340995e+125
18.0ms	-1.4573505157043363e+110	-3.530990341753743e+105

Samples

16.0ms	175×	0	valid
0.0ms	1×	1	valid

Compiler

Compiled 855 to 496 computations (42% saved)

Precisions

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

ival-add: 2.0ms (28.6% of total)

ival-sub: 2.0ms (28.6% of total)

ival-log: 2.0ms (28.6% of total)

ival-mult: 1.0ms (14.3% of total)

adjust: 0.0ms (0% of total)

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

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

exact: 0.0ms (0% of total)

simplify10.0ms (0.7%)

Memory

-25.7MiB live, 12.0MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
(if (<=.f64 z #s(literal -95000000000000005862247679634398272199875882602654723819786638747541142349174777533431808 binary64)) (-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z) (if (<=.f64 z #s(literal 60000000000000004202228415229069648745445137708643936118325116928 binary64)) #s(approx (- (+ (- x ( (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)) (-.f64 #s(approx (+ (- x ( (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)))
(if (<=.f64 z #s(literal -12200000000000000644773027534361965165552520282902193480570442707044358906770305713103045590433770892140457447382843392 binary64)) (-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z) (if (<=.f64 z #s(literal 165000000000000002633853196886358195512546512974505321341840598430420715522668067195659737204358951036676049300772862231052288 binary64)) #s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)) (-.f64 #s(approx (+ (- x ( (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)))
(if (<=.f64 z #s(literal -51999999999999996553135469659862498089865723097062606189339309386772712501086892984006436657656171358410768384 binary64)) (-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z) (if (<=.f64 z #s(literal 109999999999999995493121910527350189303082750544771474559406935198094155129002787377882424497283451454586703841132033402208256 binary64)) #s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))) (-.f64 #s(approx (+ (- x ( (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))

Outputs
(-.f64 (+.f64 (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y) z)
(if (<=.f64 z #s(literal -95000000000000005862247679634398272199875882602654723819786638747541142349174777533431808 binary64)) (-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z) (if (<=.f64 z #s(literal 60000000000000004202228415229069648745445137708643936118325116928 binary64)) #s(approx (- (+ (- x ( (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)) (-.f64 #s(approx (+ (- x ( (+ y 1/2) (log y))) y) (-.f64 x (*.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y)))) z)))
(if (<=.f64 z #s(literal -12200000000000000644773027534361965165552520282902193480570442707044358906770305713103045590433770892140457447382843392 binary64)) (-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z) (if (<=.f64 z #s(literal 165000000000000002633853196886358195512546512974505321341840598430420715522668067195659737204358951036676049300772862231052288 binary64)) #s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 (-.f64 x (.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))) y)) (-.f64 #s(approx (+ (- x ( (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)))
(if (<=.f64 z #s(literal -51999999999999996553135469659862498089865723097062606189339309386772712501086892984006436657656171358410768384 binary64)) (-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z) (if (<=.f64 z #s(literal 109999999999999995493121910527350189303082750544771474559406935198094155129002787377882424497283451454586703841132033402208256 binary64)) #s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) #s(approx (+ (- x (* (+ y 1/2) (log y))) y) (-.f64 x (.f64 (+.f64 y #s(literal 1/2 binary64)) (log.f64 y))))) (-.f64 #s(approx (+ (- x ( (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)))
(-.f64 #s(approx (+ (- x (* (+ y 1/2) (log y))) y) #s(approx (- x (* (+ y 1/2) (log y))) (log.f64 y))) z)
#s(approx (- (+ (- x (* (+ y 1/2) (log y))) y) z) (+.f64 y #s(literal 1/2 binary64)))

soundness2.0ms (0.1%)

Memory

3.3MiB live, 3.3MiB allocated

Stop Event

1×

done

Compiler

Compiled 292 to 43 computations (85.3% saved)

preprocess46.0ms (3%)

Memory: 12.0MiB live, 87.7MiB allocated
Compiler: Compiled 632 to 126 computations (80.1% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze1.0ms (0.1%)

sample845.0ms (54.7%)

explain119.0ms (7.7%)

preprocess8.0ms (0.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize25.0ms (1.6%)

series65.0ms (4.2%)

simplify6.0ms (0.4%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0.1%)

localize38.0ms (2.5%)

series32.0ms (2.1%)

simplify1.0ms (0.1%)

rewrite1.0ms (0%)

eval3.0ms (0.2%)

prune8.0ms (0.5%)

simplify1.0ms (0.1%)

localize39.0ms (2.5%)

series34.0ms (2.2%)

simplify1.0ms (0.1%)

rewrite1.0ms (0%)

eval3.0ms (0.2%)

prune7.0ms (0.4%)

simplify1.0ms (0%)

localize32.0ms (2.1%)

series13.0ms (0.9%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval2.0ms (0.1%)

prune5.0ms (0.3%)

regimes21.0ms (1.4%)

regimes22.0ms (1.5%)

regimes11.0ms (0.7%)

regimes21.0ms (1.3%)

regimes13.0ms (0.8%)

regimes11.0ms (0.7%)

bsearch32.0ms (2.1%)

bsearch33.0ms (2.1%)

bsearch26.0ms (1.7%)

simplify10.0ms (0.7%)

soundness2.0ms (0.1%)

preprocess46.0ms (3%)

end0.0ms (0%)

Profiling