Metrics for Statistics.Distribution.Beta:$cdensity from math-functions-0.1.5.2

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze85.0ms (2.4%)

Memory

-10.9MiB live, 101.7MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.8%	0.2%	0%	0%	0%	0
0%	0%	99.8%	0.2%	0%	0%	0%	1
0%	0%	99.8%	0.2%	0%	0%	0%	2
0%	0%	49.9%	0.2%	0%	49.9%	0%	3
0%	0%	49.9%	0.2%	0%	49.9%	0%	4
0%	0%	49.9%	0.2%	0%	49.9%	0%	5
0%	0%	49.9%	0.2%	0%	49.9%	0%	6
0%	0%	25%	0.2%	0%	74.9%	0%	7
0%	0%	25%	0.2%	0%	74.9%	0%	8
0%	0%	25%	0.2%	0%	74.9%	0%	9
0%	0%	25%	0.2%	0%	74.9%	0%	10
50%	12.5%	12.5%	0.2%	0%	74.9%	0%	11
50%	12.5%	12.5%	0.2%	0%	74.9%	0%	12

Compiler

Compiled 19 to 16 computations (15.8% saved)

sample2.0s (55.2%)

Memory

-23.7MiB live, 2 729.2MiB allocated

Samples

831.0ms	2 123×	1	valid
616.0ms	6 133×	0	valid
0.0ms	4×	0	invalid

Precisions

Click to see histograms. Total time spent on operations: 1.2s

ival-log: 635.0ms (54.9% of total)

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

ival-mult: 140.0ms (12.1% of total)

adjust: 75.0ms (6.5% of total)

ival-add: 62.0ms (5.4% of total)

ival-true: 7.0ms (0.6% of total)

exact: 5.0ms (0.4% of total)

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

Bogosity

explain300.0ms (8.5%)

Memory

1.2MiB live, 434.6MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
255	1	(-6.328717111408599e-119 0.002409427282263238 -4.3462739766335564e+260 -4.873577065896625e+117)	-	`(log.f64 (-.f64 #s(literal 1 binary64) y))`
0	0	-	-	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
0	0	-	-	`(-.f64 #s(literal 1 binary64) y)`
0	0	-	-	`(log.f64 y)`
0	0	-	-	`t`
0	0	-	-	`#s(literal 1 binary64)`
0	0	-	-	`z`
0	0	-	-	`(*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))`
0	0	-	-	`(-.f64 z #s(literal 1 binary64))`
0	0	-	-	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
0	0	-	-	`(-.f64 x #s(literal 1 binary64))`
0	0	-	-	`y`
0	0	-	-	`(*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))`
0	0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`(log.f64 (-.f64 #s(literal 1 binary64) y))`	sensitivity	256	0

Confusion

	Predicted +	Predicted -
+	33	0
-	223	0

Precision

0.12890625

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	33	0	0
-	223	0	0

Precision?

0.12890625

Recall?

1.0

Freqs

test

number	freq
1	256

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

116.0ms	356×	1	valid
62.0ms	128×	2	valid
3.0ms	28×	0	valid

Compiler

Compiled 219 to 60 computations (72.6% saved)

Precisions

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

ival-log: 79.0ms (54.8% of total)

adjust: 22.0ms (15.2% of total)

ival-sub: 20.0ms (13.9% of total)

ival-mult: 13.0ms (9% of total)

ival-add: 9.0ms (6.2% of total)

ival-true: 1.0ms (0.7% of total)

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

exact: 0.0ms (0% of total)

preprocess4.0ms (0.1%)

Memory

9.8MiB live, 9.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 17 to 14 computations (17.6% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	88.9%	(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)

Compiler

Compiled 17 to 14 computations (17.6% saved)

simplify1.0ms (0%)

Memory

1.2MiB live, 1.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize112.0ms (3.2%)

Memory

-11.6MiB live, 157.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.015625	(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	0.01953125	(*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.14453125	(*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))

Samples

58.0ms	178×	1	valid
36.0ms	64×	2	valid
2.0ms	14×	0	valid

Compiler

Compiled 134 to 30 computations (77.6% saved)

Precisions

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

ival-log: 37.0ms (50.2% of total)

ival-sub: 17.0ms (23.1% of total)

adjust: 11.0ms (14.9% of total)

ival-mult: 7.0ms (9.5% of total)

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

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

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

exact: 0.0ms (0% of total)

series90.0ms (2.5%)

Memory

1.1MiB live, 155.8MiB allocated

Counts

6 → 86

Calls

Call 1

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

Outputs
(- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t)
(- (+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1)))) t)
(+ (* -1 (log y)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1))))
(* -1 (log y))
(+ (* -1 (log y)) (* x (log y)))
-1
(- x 1)
(* x (log y))
(* x (- (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))) (/ t x)))
(* x (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))))
(* x (+ (log y) (* -1 (/ (log y) x))))
x
(* x (- 1 (/ 1 x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) x)))))
(* -1 (* x (+ (* -1 (log y)) (/ (log y) x))))
(* -1 (* x (- (/ 1 x) 1)))
(- (* (log y) (- x 1)) t)
(- (+ (* -1 (* y (- z 1))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1))) t)
(* (log y) (- x 1))
(+ (* -1 (* y (- z 1))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1)))
(* -1 y)
(* y (- (* -1/2 y) 1))
(* y (- (* y (- (* -1/3 y) 1/2)) 1))
(* y (- (* y (- (* y (- (* -1/4 y) 1/3)) 1/2)) 1))
(* -1 (* y (- z 1)))
(* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1)))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1)))))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* y (+ (* -1/3 (- z 1)) (* -1/4 (* y (- z 1)))))))))
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))) t)
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))))
(* -1 (* (log (/ 1 y)) (- x 1)))
(+ (log -1) (* -1 (log (/ 1 y))))
(- (+ (log -1) (* -1 (log (/ 1 y)))) (/ 1 y))
(+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y))))
(- (+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 y))) (pow y 2))))) (/ 1 y))
(* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))
(+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))
(* -1 (log (/ -1 y)))
(- (* -1 (log (/ -1 y))) (/ 1 y))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y)))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow y 2)) (* 1/2 (/ 1 y)))) y)))
(* -1 (* (log (/ -1 y)) (- z 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- z 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)))
(- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t)
(- (+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1)))) t)
(+ (* -1 (log (- 1 y))) (* (log y) (- x 1)))
(+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1))))
(* -1 (log (- 1 y)))
(+ (* -1 (log (- 1 y))) (* z (log (- 1 y))))
(* z (log (- 1 y)))
(* z (- (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))) (/ t z)))
(* z (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))))
(* z (+ (log (- 1 y)) (* -1 (/ (log (- 1 y)) z))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (/ (log (- 1 y)) z))))
(+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 t) (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))))
(* -1 t)
(* t (- (+ (/ (* (log y) (- x 1)) t) (/ (* (log (- 1 y)) (- z 1)) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))) t)))))

Calls

12 calls:

Time	Variable		Point	Expression
29.0ms	y	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (log (- 1 y)) (* (- z 1) (log (- 1 y))))
15.0ms	y	@	-inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (log (- 1 y)) (* (- z 1) (log (- 1 y))))
13.0ms	y	@	inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (log (- 1 y)) (* (- z 1) (log (- 1 y))))
10.0ms	x	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (log (- 1 y)) (* (- z 1) (log (- 1 y))))
4.0ms	t	@	inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (log (- 1 y)) (* (- z 1) (log (- 1 y))))

simplify1.0ms (0%)

Memory

2.0MiB live, 2.0MiB allocated

Algorithm

1×	egg-herbie

Counts

86 → 6

Calls

Call 1

Inputs
(- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t)
(- (+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1)))) t)
(+ (* -1 (log y)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1))))
(* -1 (log y))
(+ (* -1 (log y)) (* x (log y)))
-1
(- x 1)
(* x (log y))
(* x (- (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))) (/ t x)))
(* x (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))))
(* x (+ (log y) (* -1 (/ (log y) x))))
x
(* x (- 1 (/ 1 x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) x)))))
(* -1 (* x (+ (* -1 (log y)) (/ (log y) x))))
(* -1 (* x (- (/ 1 x) 1)))
(- (* (log y) (- x 1)) t)
(- (+ (* -1 (* y (- z 1))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1))) t)
(* (log y) (- x 1))
(+ (* -1 (* y (- z 1))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1)))
(* -1 y)
(* y (- (* -1/2 y) 1))
(* y (- (* y (- (* -1/3 y) 1/2)) 1))
(* y (- (* y (- (* y (- (* -1/4 y) 1/3)) 1/2)) 1))
(* -1 (* y (- z 1)))
(* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1)))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1)))))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* y (+ (* -1/3 (- z 1)) (* -1/4 (* y (- z 1)))))))))
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))) t)
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))))
(* -1 (* (log (/ 1 y)) (- x 1)))
(+ (log -1) (* -1 (log (/ 1 y))))
(- (+ (log -1) (* -1 (log (/ 1 y)))) (/ 1 y))
(+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y))))
(- (+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 y))) (pow y 2))))) (/ 1 y))
(* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))
(+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))
(* -1 (log (/ -1 y)))
(- (* -1 (log (/ -1 y))) (/ 1 y))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y)))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow y 2)) (* 1/2 (/ 1 y)))) y)))
(* -1 (* (log (/ -1 y)) (- z 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- z 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)))
(- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t)
(- (+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1)))) t)
(+ (* -1 (log (- 1 y))) (* (log y) (- x 1)))
(+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1))))
(* -1 (log (- 1 y)))
(+ (* -1 (log (- 1 y))) (* z (log (- 1 y))))
(* z (log (- 1 y)))
(* z (- (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))) (/ t z)))
(* z (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))))
(* z (+ (log (- 1 y)) (* -1 (/ (log (- 1 y)) z))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (/ (log (- 1 y)) z))))
(+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 t) (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))))
(* -1 t)
(* t (- (+ (/ (* (log y) (- x 1)) t) (/ (* (log (- 1 y)) (- z 1)) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))) t)))))

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

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0%)

Memory: 2.7MiB live, 2.7MiB allocated
Compiler: Compiled 263 to 36 computations (86.3% saved)

prune2.0ms (0%)

Memory

4.0MiB live, 4.0MiB allocated

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	8	4	12
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	9	4	13

Accuracy

89.1%

Counts

13 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	36.5%	(-.f64 (+.f64 #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
▶	34.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)
▶	87.5%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t)
▶	55.9%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))

Compiler

Compiled 100 to 76 computations (24% saved)

simplify1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 15 expressions of interest:

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

Calls

Call 1

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

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

localize135.0ms (3.8%)

Memory

7.0MiB live, 197.4MiB allocated

Localize:

Found 15 expressions of interest:

New	Metric	Score
accuracy	0.015625	(+.f64 #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	0.01953125	(*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	62.46150356798389	#s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.0	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)
accuracy	0.0	(-.f64 x #s(literal 1 binary64))
accuracy	62.95085942621508	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64)))
accuracy	0.0	(-.f64 x #s(literal 1 binary64))
accuracy	0.0	(log.f64 y)
accuracy	0.14453125	(*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))
accuracy	10.547256255651936	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)))
accuracy	0.01953125	(*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.14453125	(*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))
accuracy	21.24886715935764	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))

Samples

82.0ms	178×	1	valid
33.0ms	64×	2	valid
2.0ms	14×	0	valid

Compiler

Compiled 475 to 47 computations (90.1% saved)

Precisions

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

ival-log: 37.0ms (50.6% of total)

ival-sub: 12.0ms (16.4% of total)

adjust: 11.0ms (15% of total)

ival-mult: 10.0ms (13.7% of total)

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

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

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

exact: 0.0ms (0% of total)

series60.0ms (1.7%)

Memory

12.9MiB live, 94.1MiB allocated

Counts

14 → 89

Calls

Call 1

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

Outputs
(- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t)
(- (+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1)))) t)
(+ (* -1 (log y)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1))))
(* -1 (log y))
(+ (* -1 (log y)) (* x (log y)))
-1
(- x 1)
(* x (log y))
(* x (- (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))) (/ t x)))
(* x (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))))
(* x (+ (log y) (* -1 (/ (log y) x))))
x
(* x (- 1 (/ 1 x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) x)))))
(* -1 (* x (+ (* -1 (log y)) (/ (log y) x))))
(* -1 (* x (- (/ 1 x) 1)))
(- (* (log y) (- x 1)) t)
(- (+ (* -1 (* y (- z 1))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1))) t)
(* (log y) (- x 1))
(+ (* -1 (* y (- z 1))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1)))
(* -1 y)
(* y (- (* -1/2 y) 1))
(* y (- (* y (- (* -1/3 y) 1/2)) 1))
(* y (- (* y (- (* y (- (* -1/4 y) 1/3)) 1/2)) 1))
(* -1 (* y (- z 1)))
(* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1)))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1)))))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* y (+ (* -1/3 (- z 1)) (* -1/4 (* y (- z 1)))))))))
(log y)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))) t)
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))))
(* -1 (* (log (/ 1 y)) (- x 1)))
(+ (log -1) (* -1 (log (/ 1 y))))
(- (+ (log -1) (* -1 (log (/ 1 y)))) (/ 1 y))
(+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y))))
(- (+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 y))) (pow y 2))))) (/ 1 y))
(* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))
(+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(* -1 (log (/ 1 y)))
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))
(* -1 (log (/ -1 y)))
(- (* -1 (log (/ -1 y))) (/ 1 y))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y)))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow y 2)) (* 1/2 (/ 1 y)))) y)))
(* -1 (* (log (/ -1 y)) (- z 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- z 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t)
(- (+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1)))) t)
(+ (* -1 (log (- 1 y))) (* (log y) (- x 1)))
(+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1))))
(* -1 (log (- 1 y)))
(+ (* -1 (log (- 1 y))) (* z (log (- 1 y))))
(* z (log (- 1 y)))
(* z (- (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))) (/ t z)))
(* z (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))))
(* z (+ (log (- 1 y)) (* -1 (/ (log (- 1 y)) z))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (/ (log (- 1 y)) z))))
(+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 t) (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))))
(* -1 t)
(* t (- (+ (/ (* (log y) (- x 1)) t) (/ (* (log (- 1 y)) (- z 1)) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))) t)))))

Calls

12 calls:

Time	Variable		Point	Expression
15.0ms	y	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (* (- z 1) (log (- 1 y))) (log y))
8.0ms	z	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (* (- z 1) (log (- 1 y))) (log y))
7.0ms	y	@	inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (* (- z 1) (log (- 1 y))) (log y))
7.0ms	y	@	-inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (* (- z 1) (log (- 1 y))) (log y))
3.0ms	x	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (* (- z 1) (log (- 1 y))) (log y))

simplify1.0ms (0%)

Memory

2.5MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Counts

89 → 14

Calls

Call 1

Inputs
(- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t)
(- (+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1)))) t)
(+ (* -1 (log y)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1))))
(* -1 (log y))
(+ (* -1 (log y)) (* x (log y)))
-1
(- x 1)
(* x (log y))
(* x (- (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))) (/ t x)))
(* x (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))))
(* x (+ (log y) (* -1 (/ (log y) x))))
x
(* x (- 1 (/ 1 x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) x)))))
(* -1 (* x (+ (* -1 (log y)) (/ (log y) x))))
(* -1 (* x (- (/ 1 x) 1)))
(- (* (log y) (- x 1)) t)
(- (+ (* -1 (* y (- z 1))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1))) t)
(* (log y) (- x 1))
(+ (* -1 (* y (- z 1))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1)))
(* -1 y)
(* y (- (* -1/2 y) 1))
(* y (- (* y (- (* -1/3 y) 1/2)) 1))
(* y (- (* y (- (* y (- (* -1/4 y) 1/3)) 1/2)) 1))
(* -1 (* y (- z 1)))
(* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1)))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1)))))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* y (+ (* -1/3 (- z 1)) (* -1/4 (* y (- z 1)))))))))
(log y)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))) t)
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))))
(* -1 (* (log (/ 1 y)) (- x 1)))
(+ (log -1) (* -1 (log (/ 1 y))))
(- (+ (log -1) (* -1 (log (/ 1 y)))) (/ 1 y))
(+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y))))
(- (+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 y))) (pow y 2))))) (/ 1 y))
(* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))
(+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(* -1 (log (/ 1 y)))
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))
(* -1 (log (/ -1 y)))
(- (* -1 (log (/ -1 y))) (/ 1 y))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y)))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow y 2)) (* 1/2 (/ 1 y)))) y)))
(* -1 (* (log (/ -1 y)) (- z 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- z 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)))
(+ (log -1) (* -1 (log (/ -1 y))))
(- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t)
(- (+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1)))) t)
(+ (* -1 (log (- 1 y))) (* (log y) (- x 1)))
(+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1))))
(* -1 (log (- 1 y)))
(+ (* -1 (log (- 1 y))) (* z (log (- 1 y))))
(* z (log (- 1 y)))
(* z (- (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))) (/ t z)))
(* z (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))))
(* z (+ (log (- 1 y)) (* -1 (/ (log (- 1 y)) z))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (/ (log (- 1 y)) z))))
(+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 t) (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))))
(* -1 t)
(* t (- (+ (/ (* (log y) (- x 1)) t) (/ (* (log (- 1 y)) (- z 1)) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))) t)))))

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

rewrite1.0ms (0%)

Memory

1.9MiB live, 1.9MiB allocated

Counts

14 → 14

Calls

Call 1

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

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

eval6.0ms (0.2%)

Memory: -29.6MiB live, 9.2MiB allocated
Compiler: Compiled 1 481 to 81 computations (94.5% saved)

prune8.0ms (0.2%)

Memory

17.7MiB live, 17.7MiB allocated

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	31	11	42
Fresh	0	0	0
Picked	1	3	4
Done	0	0	0
Total	32	14	46

Accuracy

89.2%

Counts

46 → 14

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	34.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)
✓	87.5%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t)
	53.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (.f64 #s(approx (- x 1) (-.f64 #s(approx (+ ( (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)) (log.f64 y))) t)
	37.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 #s(approx (- x 1) (log.f64 y)) (log.f64 y))) t)
	7.4%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t))) t)
▶	36.6%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))) t)
	35.0%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y))) t)
▶	59.8%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t))) t)
▶	35.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
✓	55.9%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
	54.6%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+.f64 (.f64 #s(approx (- x 1) (-.f64 #s(approx (+ ( (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)) (log.f64 y)) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
▶	2.0%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))))
	54.5%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))))
▶	2.3%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))

Compiler

Compiled 928 to 508 computations (45.3% saved)

simplify2.0ms (0%)

Memory

2.8MiB live, 2.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

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

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

localize140.0ms (3.9%)

Memory

-53.1MiB live, 225.0MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	0.01953125	(*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	61.9044446485941	#s(approx (- x 1) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	62.95085942621508	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	10.547256255651936	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	62.46150356798389	#s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	10.547256255651936	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	21.24886715935764	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	62.46150356798389	#s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.0	(-.f64 x #s(literal 1 binary64))
accuracy	21.24886715935764	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))))
accuracy	62.95085942621508	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64)))
accuracy	0.14453125	(*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))
accuracy	10.547256255651936	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)))
accuracy	10.547256255651936	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t)))
accuracy	29.032328331229408	#s(approx (* (- x 1) (log y)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t))

Samples

79.0ms	178×	1	valid
33.0ms	64×	2	valid
2.0ms	14×	0	valid

Compiler

Compiled 786 to 52 computations (93.4% saved)

Precisions

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

ival-log: 52.0ms (62.5% of total)

adjust: 11.0ms (13.2% of total)

ival-sub: 10.0ms (12% of total)

ival-mult: 8.0ms (9.6% of total)

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

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

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

exact: 0.0ms (0% of total)

series51.0ms (1.4%)

Memory

33.4MiB live, 111.8MiB allocated

Counts

19 → 90

Calls

Call 1

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

Outputs
(- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t)
(- (+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1)))) t)
(+ (* -1 (log y)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1))))
(* -1 (log y))
(+ (* -1 (log y)) (* x (log y)))
-1
(- x 1)
(* x (log y))
(* x (- (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))) (/ t x)))
(* x (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))))
(* x (+ (log y) (* -1 (/ (log y) x))))
x
(* x (- 1 (/ 1 x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) x)))))
(* -1 (* x (+ (* -1 (log y)) (/ (log y) x))))
(* -1 (* x (- (/ 1 x) 1)))
(- (* (log y) (- x 1)) t)
(- (+ (* -1 (* y (- z 1))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1))) t)
(* (log y) (- x 1))
(+ (* -1 (* y (- z 1))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1)))
(* -1 y)
(* y (- (* -1/2 y) 1))
(* y (- (* y (- (* -1/3 y) 1/2)) 1))
(* y (- (* y (- (* y (- (* -1/4 y) 1/3)) 1/2)) 1))
(* -1 (* y (- z 1)))
(* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1)))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1)))))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* y (+ (* -1/3 (- z 1)) (* -1/4 (* y (- z 1)))))))))
1
(+ 1 (* -1 y))
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))) t)
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))))
(* -1 (* (log (/ 1 y)) (- x 1)))
(+ (log -1) (* -1 (log (/ 1 y))))
(- (+ (log -1) (* -1 (log (/ 1 y)))) (/ 1 y))
(+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y))))
(- (+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 y))) (pow y 2))))) (/ 1 y))
(* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))
(+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(* y (- (/ 1 y) 1))
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))
(* -1 (log (/ -1 y)))
(- (* -1 (log (/ -1 y))) (/ 1 y))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y)))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow y 2)) (* 1/2 (/ 1 y)))) y)))
(* -1 (* (log (/ -1 y)) (- z 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- z 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)))
(* -1 (* y (- 1 (/ 1 y))))
(- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t)
(- (+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1)))) t)
(+ (* -1 (log (- 1 y))) (* (log y) (- x 1)))
(+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1))))
(* -1 (log (- 1 y)))
(+ (* -1 (log (- 1 y))) (* z (log (- 1 y))))
(* z (log (- 1 y)))
(* z (- (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))) (/ t z)))
(* z (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))))
(* z (+ (log (- 1 y)) (* -1 (/ (log (- 1 y)) z))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (/ (log (- 1 y)) z))))
(+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 t) (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))))
(* -1 t)
(* t (- (+ (/ (* (log y) (- x 1)) t) (/ (* (log (- 1 y)) (- z 1)) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))) t)))))

Calls

12 calls:

Time	Variable		Point	Expression
9.0ms	y	@	-inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (* (- z 1) (log (- 1 y))) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- 1 y))
8.0ms	y	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (* (- z 1) (log (- 1 y))) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- 1 y))
8.0ms	y	@	inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (* (- z 1) (log (- 1 y))) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- 1 y))
3.0ms	x	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (* (- z 1) (log (- 1 y))) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- 1 y))
3.0ms	z	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (log (- 1 y)) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (* (- z 1) (log (- 1 y))) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- 1 y))

simplify4.0ms (0.1%)

Memory

-35.0MiB live, 2.6MiB allocated

Algorithm

1×	egg-herbie

Counts

90 → 19

Calls

Call 1

Inputs
(- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t)
(- (+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1)))) t)
(+ (* -1 (log y)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1))))
(* -1 (log y))
(+ (* -1 (log y)) (* x (log y)))
-1
(- x 1)
(* x (log y))
(* x (- (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))) (/ t x)))
(* x (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))))
(* x (+ (log y) (* -1 (/ (log y) x))))
x
(* x (- 1 (/ 1 x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) x)))))
(* -1 (* x (+ (* -1 (log y)) (/ (log y) x))))
(* -1 (* x (- (/ 1 x) 1)))
(- (* (log y) (- x 1)) t)
(- (+ (* -1 (* y (- z 1))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1))) t)
(* (log y) (- x 1))
(+ (* -1 (* y (- z 1))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1)))
(* -1 y)
(* y (- (* -1/2 y) 1))
(* y (- (* y (- (* -1/3 y) 1/2)) 1))
(* y (- (* y (- (* y (- (* -1/4 y) 1/3)) 1/2)) 1))
(* -1 (* y (- z 1)))
(* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1)))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1)))))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* y (+ (* -1/3 (- z 1)) (* -1/4 (* y (- z 1)))))))))
1
(+ 1 (* -1 y))
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))) t)
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))))
(* -1 (* (log (/ 1 y)) (- x 1)))
(+ (log -1) (* -1 (log (/ 1 y))))
(- (+ (log -1) (* -1 (log (/ 1 y)))) (/ 1 y))
(+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y))))
(- (+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 y))) (pow y 2))))) (/ 1 y))
(* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))
(+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(* y (- (/ 1 y) 1))
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))
(* -1 (log (/ -1 y)))
(- (* -1 (log (/ -1 y))) (/ 1 y))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y)))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow y 2)) (* 1/2 (/ 1 y)))) y)))
(* -1 (* (log (/ -1 y)) (- z 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- z 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)))
(* -1 (* y (- 1 (/ 1 y))))
(- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t)
(- (+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1)))) t)
(+ (* -1 (log (- 1 y))) (* (log y) (- x 1)))
(+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1))))
(* -1 (log (- 1 y)))
(+ (* -1 (log (- 1 y))) (* z (log (- 1 y))))
(* z (log (- 1 y)))
(* z (- (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))) (/ t z)))
(* z (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))))
(* z (+ (log (- 1 y)) (* -1 (/ (log (- 1 y)) z))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (/ (log (- 1 y)) z))))
(+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 t) (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))))
(* -1 t)
(* t (- (+ (/ (* (log y) (- x 1)) t) (/ (* (log (- 1 y)) (- z 1)) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))) t)))))

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

rewrite1.0ms (0%)

Memory

2.0MiB live, 2.0MiB allocated

Counts

19 → 19

Calls

Call 1

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

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

eval5.0ms (0.1%)

Memory: 9.0MiB live, 9.0MiB allocated
Compiler: Compiled 2 177 to 104 computations (95.2% saved)

prune10.0ms (0.3%)

Memory

18.8MiB live, 18.8MiB allocated

Pruning

16 alts after pruning (9 fresh and 7 done)

	Pruned	Kept	Total
New	45	3	48
Fresh	0	6	6
Picked	1	4	5
Done	0	3	3
Total	46	16	62

Accuracy

89.2%

Counts

62 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	34.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)
✓	87.5%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t)
	53.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (.f64 #s(approx (- x 1) (-.f64 #s(approx (+ ( (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)) (log.f64 y))) t)
▶	37.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 #s(approx (- x 1) (log.f64 y)) (log.f64 y))) t)
	7.4%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t))) t)
▶	35.0%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y))) t)
✓	59.8%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t))) t)
	7.4%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (.f64 #s(approx (- x 1) (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) (log.f64 y))) t))) t)
✓	35.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
▶	5.0%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
✓	55.9%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
▶	54.6%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+.f64 (.f64 #s(approx (- x 1) (-.f64 #s(approx (+ ( (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)) (log.f64 y)) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
▶	3.8%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (- x 1) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
✓	2.0%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))))
	54.5%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))))
✓	2.3%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))

Compiler

Compiled 922 to 511 computations (44.6% saved)

simplify1.0ms (0%)

Memory

2.2MiB live, 2.2MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 18 expressions of interest:

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

Calls

Call 1

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

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

localize132.0ms (3.7%)

Memory

4.0MiB live, 154.7MiB allocated

Localize:

Found 18 expressions of interest:

New	Metric	Score
accuracy	0.0	(log.f64 y)
accuracy	0.14453125	(*.f64 #s(approx (- x 1) (log.f64 y)) (log.f64 y))
accuracy	10.547256255651936	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 #s(approx (- x 1) (log.f64 y)) (log.f64 y)))
accuracy	58.48664936532801	#s(approx (- x 1) (log.f64 y))
accuracy	0.01953125	(*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	61.9044446485941	#s(approx (- x 1) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	62.69828236682643	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (- x 1) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
accuracy	0.0	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y))) t)
accuracy	0.0	(log.f64 y)
accuracy	58.48664936532801	#s(approx (- x 1) (log.f64 y))
accuracy	62.95085942621508	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y)))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	60.82007456861631	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
accuracy	21.24886715935764	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+.f64 (.f64 #s(approx (- x 1) (-.f64 #s(approx (+ ( (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)) (log.f64 y)) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	62.69828236682643	#s(approx (- x 1) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t))
accuracy	62.95085942621508	#s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64)))

Samples

67.0ms	178×	1	valid
40.0ms	64×	2	valid
2.0ms	14×	0	valid

Compiler

Compiled 679 to 52 computations (92.3% saved)

Precisions

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

ival-log: 44.0ms (56.7% of total)

adjust: 14.0ms (18% of total)

ival-sub: 10.0ms (12.9% of total)

ival-mult: 7.0ms (9% of total)

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

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

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

exact: 0.0ms (0% of total)

series56.0ms (1.6%)

Memory

1.1MiB live, 82.4MiB allocated

Counts

19 → 97

Calls

Call 1

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

Outputs
(- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t)
(- (+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1)))) t)
(+ (* -1 (log y)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1))))
(* -1 (log y))
(+ (* -1 (log y)) (* x (log y)))
-1
(- x 1)
(* x (log y))
(* x (- (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))) (/ t x)))
(* x (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))))
(* x (+ (log y) (* -1 (/ (log y) x))))
x
(* x (- 1 (/ 1 x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) x)))))
(* -1 (* x (+ (* -1 (log y)) (/ (log y) x))))
(* -1 (* x (- (/ 1 x) 1)))
(- (* (log y) (- x 1)) t)
(- (+ (* -1 (* y (- z 1))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1))) t)
(* (log y) (- x 1))
(+ (* -1 (* y (- z 1))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1)))
1
(+ 1 (* -1 y))
(log y)
(* -1 (* y (- z 1)))
(* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1)))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1)))))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* y (+ (* -1/3 (- z 1)) (* -1/4 (* y (- z 1)))))))))
(* -1 y)
(* y (- (* -1/2 y) 1))
(* y (- (* y (- (* -1/3 y) 1/2)) 1))
(* y (- (* y (- (* y (- (* -1/4 y) 1/3)) 1/2)) 1))
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))) t)
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))))
(* -1 (* (log (/ 1 y)) (- x 1)))
(* y (- (/ 1 y) 1))
(* -1 (log (/ 1 y)))
(* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))
(+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (log -1) (* -1 (log (/ 1 y))))
(- (+ (log -1) (* -1 (log (/ 1 y)))) (/ 1 y))
(+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y))))
(- (+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 y))) (pow y 2))))) (/ 1 y))
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))
(* -1 (* y (- 1 (/ 1 y))))
(+ (log -1) (* -1 (log (/ -1 y))))
(* -1 (* (log (/ -1 y)) (- z 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- z 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)))
(* -1 (log (/ -1 y)))
(- (* -1 (log (/ -1 y))) (/ 1 y))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y)))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow y 2)) (* 1/2 (/ 1 y)))) y)))
(- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t)
(- (+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1)))) t)
(+ (* -1 (log (- 1 y))) (* (log y) (- x 1)))
(+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1))))
(* -1 (log (- 1 y)))
(+ (* -1 (log (- 1 y))) (* z (log (- 1 y))))
(- z 1)
(* z (log (- 1 y)))
(* z (- (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))) (/ t z)))
(* z (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))))
(* z (+ (log (- 1 y)) (* -1 (/ (log (- 1 y)) z))))
z
(* z (- 1 (/ 1 z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (/ (log (- 1 y)) z))))
(* -1 (* z (- (/ 1 z) 1)))
(+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 t) (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))))
(* -1 t)
(* t (- (+ (/ (* (log y) (- x 1)) t) (/ (* (log (- 1 y)) (- z 1)) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))) t)))))

Calls

12 calls:

Time	Variable		Point	Expression
10.0ms	y	@	-inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- 1 y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (log y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- x 1) (* (- z 1) (log (- 1 y))) (- z 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (log (- 1 y)))
7.0ms	y	@	inf	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- 1 y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (log y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- x 1) (* (- z 1) (log (- 1 y))) (- z 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (log (- 1 y)))
7.0ms	y	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- 1 y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (log y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- x 1) (* (- z 1) (log (- 1 y))) (- z 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (log (- 1 y)))
3.0ms	x	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- 1 y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (log y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- x 1) (* (- z 1) (log (- 1 y))) (- z 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (log (- 1 y)))
3.0ms	z	@	0	((- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (- x 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- 1 y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (- x 1) (log y) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (- x 1) (* (- z 1) (log (- 1 y))) (- z 1) (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (* (- x 1) (log y)) (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (log (- 1 y)))

simplify1.0ms (0%)

Memory

2.3MiB live, 2.3MiB allocated

Algorithm

1×	egg-herbie

Counts

97 → 19

Calls

Call 1

Inputs
(- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t)
(- (+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1)))) t)
(+ (* -1 (log y)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 (log y)) (+ (* x (log y)) (* (log (- 1 y)) (- z 1))))
(* -1 (log y))
(+ (* -1 (log y)) (* x (log y)))
-1
(- x 1)
(* x (log y))
(* x (- (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))) (/ t x)))
(* x (+ (log y) (+ (* -1 (/ (log y) x)) (/ (* (log (- 1 y)) (- z 1)) x))))
(* x (+ (log y) (* -1 (/ (log y) x))))
x
(* x (- 1 (/ 1 x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (+ (* -1 (log y)) (* (log (- 1 y)) (- z 1))) x)))))
(* -1 (* x (+ (* -1 (log y)) (/ (log y) x))))
(* -1 (* x (- (/ 1 x) 1)))
(- (* (log y) (- x 1)) t)
(- (+ (* -1 (* y (- z 1))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1))) t)
(- (+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1))) t)
(* (log y) (- x 1))
(+ (* -1 (* y (- z 1))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1))))) (* (log y) (- x 1)))
(+ (* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1))))))) (* (log y) (- x 1)))
1
(+ 1 (* -1 y))
(log y)
(* -1 (* y (- z 1)))
(* y (+ (* -1 (- z 1)) (* -1/2 (* y (- z 1)))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* -1/3 (* y (- z 1)))))))
(* y (+ (* -1 (- z 1)) (* y (+ (* -1/2 (- z 1)) (* y (+ (* -1/3 (- z 1)) (* -1/4 (* y (- z 1)))))))))
(* -1 y)
(* y (- (* -1/2 y) 1))
(* y (- (* y (- (* -1/3 y) 1/2)) 1))
(* y (- (* y (- (* y (- (* -1/4 y) 1/3)) 1/2)) 1))
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))) t)
(- (+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))) t)
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (* -1 (* (log (/ 1 y)) (- x 1))) (+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))))
(* -1 (* (log (/ 1 y)) (- x 1)))
(* y (- (/ 1 y) 1))
(* -1 (log (/ 1 y)))
(* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))
(+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1))))
(+ (* -1 (/ (- z 1) y)) (+ (* -1/2 (/ (- z 1) (pow y 2))) (+ (* -1/3 (/ (- z 1) (pow y 3))) (* (+ (log -1) (* -1 (log (/ 1 y)))) (- z 1)))))
(+ (log -1) (* -1 (log (/ 1 y))))
(- (+ (log -1) (* -1 (log (/ 1 y)))) (/ 1 y))
(+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y))))
(- (+ (log -1) (+ (* -1 (log (/ 1 y))) (* -1 (/ (+ 1/2 (* 1/3 (/ 1 y))) (pow y 2))))) (/ 1 y))
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(- (+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))) t)
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- z 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (+ (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)) (* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))))
(* (+ (log -1) (* -1 (log (/ -1 y)))) (- x 1))
(* -1 (* y (- 1 (/ 1 y))))
(+ (log -1) (* -1 (log (/ -1 y))))
(* -1 (* (log (/ -1 y)) (- z 1)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- z 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* 1/2 (/ (- z 1) y))) 1) y)))
(+ (* -1 (* (log (/ -1 y)) (- z 1))) (* -1 (/ (- (+ z (* -1 (/ (+ (* -1/2 (- z 1)) (* -1/3 (/ (- z 1) y))) y))) 1) y)))
(* -1 (log (/ -1 y)))
(- (* -1 (log (/ -1 y))) (/ 1 y))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (* 1/2 (/ 1 y))) y)))
(+ (* -1 (log (/ -1 y))) (* -1 (/ (+ 1 (+ (/ 1/3 (pow y 2)) (* 1/2 (/ 1 y)))) y)))
(- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t)
(- (+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1)))) t)
(+ (* -1 (log (- 1 y))) (* (log y) (- x 1)))
(+ (* -1 (log (- 1 y))) (+ (* z (log (- 1 y))) (* (log y) (- x 1))))
(* -1 (log (- 1 y)))
(+ (* -1 (log (- 1 y))) (* z (log (- 1 y))))
(- z 1)
(* z (log (- 1 y)))
(* z (- (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))) (/ t z)))
(* z (+ (log (- 1 y)) (+ (* -1 (/ (log (- 1 y)) z)) (/ (* (log y) (- x 1)) z))))
(* z (+ (log (- 1 y)) (* -1 (/ (log (- 1 y)) z))))
z
(* z (- 1 (/ 1 z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (+ (* -1 (log (- 1 y))) (* (log y) (- x 1))) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (/ (log (- 1 y)) z))))
(* -1 (* z (- (/ 1 z) 1)))
(+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1)))
(+ (* -1 t) (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))))
(* -1 t)
(* t (- (+ (/ (* (log y) (- x 1)) t) (/ (* (log (- 1 y)) (- z 1)) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* (log y) (- x 1)) (* (log (- 1 y)) (- z 1))) t)))))

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

rewrite1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Counts

19 → 19

Calls

Call 1

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

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

eval8.0ms (0.2%)

Memory: -28.8MiB live, 8.5MiB allocated
Compiler: Compiled 1 855 to 80 computations (95.7% saved)

prune10.0ms (0.3%)

Memory

17.0MiB live, 17.0MiB allocated

Pruning

16 alts after pruning (7 fresh and 9 done)

	Pruned	Kept	Total
New	41	4	45
Fresh	1	3	4
Picked	1	4	5
Done	2	5	7
Total	45	16	61

Accuracy

89.3%

Counts

61 → 16

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	34.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)
✓	87.5%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t)
✓	37.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 #s(approx (- x 1) (log.f64 y)) (log.f64 y))) t)
	7.4%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t))) t)
✓	35.0%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y))) t)
✓	59.8%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t))) t)
	7.4%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (.f64 #s(approx (- x 1) (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) (log.f64 y))) t))) t)
✓	35.2%	(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
✓	5.0%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
	13.7%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (+.f64 (.f64 #s(approx (- x 1) (-.f64 z #s(literal 1 binary64))) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
	2.8%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (log.f64 y))
✓	3.8%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (- x 1) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))))
✓	2.0%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))))
	54.5%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))))
	53.2%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (.f64 #s(approx (- x 1) (-.f64 #s(approx (+ ( (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)) (log.f64 y))))
	5.0%	#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 #s(approx (- x 1) (log.f64 y)) (log.f64 y)))))

Compiler

Compiled 1 406 to 389 computations (72.3% saved)

regimes71.0ms (2%)

Memory

-3.9MiB live, 118.3MiB allocated

Counts

23 → 1

Calls

Call 1

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

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

Calls

8 calls:

17.0ms	t
9.0ms	(-.f64 x #s(literal 1 binary64))
9.0ms	x
7.0ms	(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
7.0ms	(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)

Results

Accuracy	Segments	Branch
88.9%	1	`x`
88.9%	1	`y`
88.9%	1	`z`
88.9%	1	`t`
88.9%	1	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
88.9%	1	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
88.9%	1	`(-.f64 x #s(literal 1 binary64))`
88.9%	1	`(-.f64 z #s(literal 1 binary64))`

Compiler

Compiled 42 to 55 computations (-31% saved)

regimes56.0ms (1.6%)

Memory

-10.8MiB live, 111.2MiB allocated

Counts

22 → 1

Calls

Call 1

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

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

Calls

8 calls:

8.0ms	(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
8.0ms	x
7.0ms	(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
6.0ms	z
6.0ms	y

Results

Accuracy	Segments	Branch
87.5%	1	`x`
87.5%	1	`y`
87.5%	1	`z`
87.5%	1	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
87.5%	1	`(-.f64 x #s(literal 1 binary64))`
87.5%	1	`(-.f64 z #s(literal 1 binary64))`
87.5%	1	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
87.5%	1	`t`

Compiler

Compiled 42 to 55 computations (-31% saved)

regimes33.0ms (0.9%)

Memory

19.9MiB live, 58.4MiB allocated

Counts

11 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

8 calls:

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

Results

Accuracy	Segments	Branch
54.5%	1	`y`
59.7%	3	`x`
54.5%	1	`z`
77.3%	3	`t`
60.0%	4	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
60.2%	3	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
58.4%	3	`(-.f64 x #s(literal 1 binary64))`
54.5%	1	`(-.f64 z #s(literal 1 binary64))`

Compiler

Compiled 42 to 55 computations (-31% saved)

regimes27.0ms (0.8%)

Memory

-24.5MiB live, 53.5MiB allocated

Counts

8 → 1

Calls

Call 1

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

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

Calls

8 calls:

4.0ms	y
3.0ms	(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
3.0ms	(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
3.0ms	x
3.0ms	z

Results

Accuracy	Segments	Branch
35.2%	1	`y`
35.2%	1	`(-.f64 z #s(literal 1 binary64))`
35.2%	1	`z`
35.2%	1	`(-.f64 x #s(literal 1 binary64))`
35.2%	1	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
35.2%	1	`x`
35.2%	1	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
35.2%	1	`t`

Compiler

Compiled 42 to 55 computations (-31% saved)

regimes25.0ms (0.7%)

Memory

14.4MiB live, 55.8MiB allocated

Counts

7 → 1

Calls

Call 1

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

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

Calls

8 calls:

5.0ms	z
3.0ms	(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
3.0ms	(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
3.0ms	y
3.0ms	x

Results

Accuracy	Segments	Branch
35.0%	1	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
35.0%	1	`y`
35.0%	1	`z`
35.0%	1	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
35.0%	1	`(-.f64 z #s(literal 1 binary64))`
35.0%	1	`t`
35.0%	1	`x`
35.0%	1	`(-.f64 x #s(literal 1 binary64))`

Compiler

Compiled 42 to 55 computations (-31% saved)

regimes21.0ms (0.6%)

Memory

5.3MiB live, 44.0MiB allocated

Counts

6 → 1

Calls

Call 1

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

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

Calls

8 calls:

3.0ms	t
3.0ms	(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
3.0ms	(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
2.0ms	z
2.0ms	y

Results

Accuracy	Segments	Branch
34.2%	1	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
34.2%	1	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
34.2%	1	`z`
34.2%	1	`t`
34.2%	1	`(-.f64 z #s(literal 1 binary64))`
34.2%	1	`y`
34.2%	1	`x`
34.2%	1	`(-.f64 x #s(literal 1 binary64))`

Compiler

Compiled 42 to 55 computations (-31% saved)

regimes13.0ms (0.4%)

Memory

-5.2MiB live, 33.9MiB allocated

Counts

2 → 1

Calls

Call 1

Inputs

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

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

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

Calls

8 calls:

2.0ms	y
2.0ms	(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
2.0ms	(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
1.0ms	t
1.0ms	x

Results

Accuracy	Segments	Branch
5.0%	1	`x`
5.0%	1	`t`
5.0%	1	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
5.0%	1	`y`
5.0%	1	`z`
5.0%	1	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
5.0%	1	`(-.f64 x #s(literal 1 binary64))`
5.0%	1	`(-.f64 z #s(literal 1 binary64))`

Compiler

Compiled 42 to 55 computations (-31% saved)

regimes11.0ms (0.3%)

Memory

-14.9MiB live, 24.4MiB allocated

Accuracy

Total -0.0b remaining (-0%)

Threshold costs -0b (-0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

8 calls:

1.0ms	(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
1.0ms	(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))
1.0ms	z
1.0ms	y
1.0ms	x

Results

Accuracy	Segments	Branch
2.0%	1	`t`
2.0%	1	`y`
2.0%	1	`z`
2.0%	1	`(-.f64 x #s(literal 1 binary64))`
2.0%	1	`(-.f64 z #s(literal 1 binary64))`
2.0%	1	`x`
2.0%	1	`(+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y))))`
2.0%	1	`(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`

Compiler

Compiled 42 to 55 computations (-31% saved)

bsearch47.0ms (1.3%)

Memory

16.0MiB live, 54.7MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
15.0ms	7.01028620670947e+68	1.1900765381802332e+69
28.0ms	-1.7693268185013575e+83	-2.1875326751260878e+76

Samples

17.0ms	54×	1	valid
17.0ms	154×	0	valid

Compiler

Compiled 872 to 536 computations (38.5% saved)

Precisions

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

ival-log: 13.0ms (52.4% of total)

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

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

adjust: 2.0ms (8.1% of total)

ival-add: 1.0ms (4% of total)

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

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

exact: 0.0ms (0% of total)

simplify5.0ms (0.1%)

Memory

9.4MiB live, 9.4MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t)
(if (<=.f64 t #s(literal -23000000000000000401041362640013923720795156085440307288426962566361811754418176 binary64)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y))) t) (if (<=.f64 t #s(literal 799999999999999962244177801105334453530010330822893588243372987908096 binary64)) #s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)))) (-.f64 #s(approx (+ ( (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)))
(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y))) t)
(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)
#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))))

Outputs
(-.f64 (+.f64 (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y))) t)
(if (<=.f64 t #s(literal -23000000000000000401041362640013923720795156085440307288426962566361811754418176 binary64)) (-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y))) t) (if (<=.f64 t #s(literal 799999999999999962244177801105334453530010330822893588243372987908096 binary64)) #s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)))) (-.f64 #s(approx (+ ( (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)))
(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (* (- x 1) (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) #s(approx (- x 1) (log.f64 y))) t)
(-.f64 #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))) t)
#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
#s(approx (- (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) t) #s(approx (+ (* (- x 1) (log y)) (* (- z 1) (log (- 1 y)))) (-.f64 x #s(literal 1 binary64))))

soundness2.0ms (0%)

Memory

2.8MiB live, 2.8MiB allocated

Stop Event

1×

fuel

Compiler

Compiled 274 to 43 computations (84.3% saved)

preprocess47.0ms (1.3%)

Memory: -3.7MiB live, 69.8MiB allocated
Compiler: Compiled 582 to 114 computations (80.4% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze85.0ms (2.4%)

sample2.0s (55.2%)

explain300.0ms (8.5%)

preprocess4.0ms (0.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify1.0ms (0%)

localize112.0ms (3.2%)

series90.0ms (2.5%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune2.0ms (0%)

simplify1.0ms (0%)

localize135.0ms (3.8%)

series60.0ms (1.7%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval6.0ms (0.2%)

prune8.0ms (0.2%)

simplify2.0ms (0%)

localize140.0ms (3.9%)

series51.0ms (1.4%)

simplify4.0ms (0.1%)

rewrite1.0ms (0%)

eval5.0ms (0.1%)

prune10.0ms (0.3%)

simplify1.0ms (0%)

localize132.0ms (3.7%)

series56.0ms (1.6%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval8.0ms (0.2%)

prune10.0ms (0.3%)

regimes71.0ms (2%)

regimes56.0ms (1.6%)

regimes33.0ms (0.9%)

regimes27.0ms (0.8%)

regimes25.0ms (0.7%)

regimes21.0ms (0.6%)

regimes13.0ms (0.4%)

regimes11.0ms (0.3%)

bsearch47.0ms (1.3%)

simplify5.0ms (0.1%)

soundness2.0ms (0%)

preprocess47.0ms (1.3%)

end0.0ms (0%)

Profiling