Metrics for Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, B

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze75.0ms (2.2%)

Memory

-3.2MiB live, 121.6MiB 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 15 to 14 computations (6.7% saved)

sample2.0s (56.5%)

Memory

-96.3MiB live, 2 857.4MiB allocated

Samples

919.0ms	2 428×	1	valid
522.0ms	5 828×	0	valid
0.0ms	4×	0	invalid

Precisions

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

ival-log: 754.0ms (65.3% of total)

ival-mult: 146.0ms (12.6% of total)

ival-sub: 116.0ms (10% of total)

adjust: 75.0ms (6.5% of total)

ival-add: 50.0ms (4.3% of total)

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

exact: 5.0ms (0.4% of total)

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

Bogosity

explain281.0ms (8.1%)

Memory

-8.5MiB live, 433.0MiB 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 x (log.f64 y))`
0	0	-	-	`(-.f64 #s(literal 1 binary64) y)`
0	0	-	-	`(log.f64 y)`
0	0	-	-	`(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))`
0	0	-	-	`t`
0	0	-	-	`#s(literal 1 binary64)`
0	0	-	-	`z`
0	0	-	-	`(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))`
0	0	-	-	`(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
0	0	-	-	`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 -
+	45	0
-	211	0

Precision

0.17578125

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	45	0	0
-	211	0	0

Precision?

0.17578125

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

125.0ms	380×	1	valid
51.0ms	104×	2	valid
3.0ms	28×	0	valid

Compiler

Compiled 161 to 52 computations (67.7% saved)

Precisions

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

ival-log: 83.0ms (58.2% of total)

ival-mult: 18.0ms (12.6% of total)

ival-sub: 15.0ms (10.5% of total)

adjust: 15.0ms (10.5% of total)

ival-add: 11.0ms (7.7% of total)

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

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

exact: 0.0ms (0% of total)

preprocess4.0ms (0.1%)

Memory

6.8MiB live, 6.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 13 to 12 computations (7.7% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

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

Compiler

Compiled 13 to 12 computations (7.7% saved)

simplify0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize106.0ms (3.1%)

Memory

2.6MiB live, 111.3MiB allocated

Localize:

Found 4 expressions of interest:

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

Samples

67.0ms	190×	1	valid
27.0ms	52×	2	valid
1.0ms	14×	0	valid

Compiler

Compiled 98 to 26 computations (73.5% saved)

Precisions

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

ival-log: 50.0ms (68.9% of total)

adjust: 8.0ms (11% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series172.0ms (4.9%)

Memory

29.7MiB live, 226.6MiB allocated

Counts

6 → 69

Calls

Call 1

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

Outputs
(- (* z (log (- 1 y))) t)
(- (+ (* x (log y)) (* z (log (- 1 y)))) t)
(* z (log (- 1 y)))
(+ (* x (log y)) (* z (log (- 1 y))))
(* x (log y))
(* x (- (+ (log y) (/ (* z (log (- 1 y))) x)) (/ t x)))
(* x (+ (log y) (/ (* z (log (- 1 y))) x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
(- (* x (log y)) t)
(- (+ (* -1 (* y z)) (* x (log y))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) t)
(+ (* -1 (* y z)) (* x (log y)))
(+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z)))))
(+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z)))))))
(log y)
(* -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))
(* y (+ (* -1 z) (* -1/2 (* y z))))
(* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))
(* y (+ (* -1 z) (* y (+ (* -1/2 z) (* y (+ (* -1/3 z) (* -1/4 (* y z))))))))
(- (+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))) t)
(+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))))
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(+ (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))
(* z (+ (log -1) (* -1 (log (/ 1 y)))))
(+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(- (+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y)))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -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 (* z (log (/ -1 y))))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ z y)))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ (+ z (* 1/2 (/ z y))) y)))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)))
(* z (- (+ (log (- 1 y)) (/ (* x (log y)) z)) (/ t z)))
(* z (+ (log (- 1 y)) (/ (* x (log y)) z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (* x (log y)) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (* x (log y)) z)))))
(+ (* -1 t) (+ (* x (log y)) (* z (log (- 1 y)))))
(* -1 t)
(* t (- (+ (/ (* x (log y)) t) (/ (* z (log (- 1 y))) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* x (log y)) (* z (log (- 1 y)))) t)))))

Calls

12 calls:

Time	Variable		Point	Expression
47.0ms	x	@	0	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (* x (log y)) (log y) (log (- 1 y)) (* z (log (- 1 y))))
35.0ms	z	@	0	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (* x (log y)) (log y) (log (- 1 y)) (* z (log (- 1 y))))
20.0ms	z	@	inf	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (* x (log y)) (log y) (log (- 1 y)) (* z (log (- 1 y))))
12.0ms	y	@	-inf	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (* x (log y)) (log y) (log (- 1 y)) (* z (log (- 1 y))))
12.0ms	x	@	inf	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (* x (log y)) (log y) (log (- 1 y)) (* z (log (- 1 y))))

simplify1.0ms (0%)

Memory

2.1MiB live, 2.1MiB allocated

Algorithm

1×	egg-herbie

Counts

69 → 6

Calls

Call 1

Inputs
(- (* z (log (- 1 y))) t)
(- (+ (* x (log y)) (* z (log (- 1 y)))) t)
(* z (log (- 1 y)))
(+ (* x (log y)) (* z (log (- 1 y))))
(* x (log y))
(* x (- (+ (log y) (/ (* z (log (- 1 y))) x)) (/ t x)))
(* x (+ (log y) (/ (* z (log (- 1 y))) x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
(- (* x (log y)) t)
(- (+ (* -1 (* y z)) (* x (log y))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) t)
(+ (* -1 (* y z)) (* x (log y)))
(+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z)))))
(+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z)))))))
(log y)
(* -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))
(* y (+ (* -1 z) (* -1/2 (* y z))))
(* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))
(* y (+ (* -1 z) (* y (+ (* -1/2 z) (* y (+ (* -1/3 z) (* -1/4 (* y z))))))))
(- (+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))) t)
(+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))))
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(+ (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))
(* z (+ (log -1) (* -1 (log (/ 1 y)))))
(+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(- (+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y)))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -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 (* z (log (/ -1 y))))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ z y)))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ (+ z (* 1/2 (/ z y))) y)))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)))
(* z (- (+ (log (- 1 y)) (/ (* x (log y)) z)) (/ t z)))
(* z (+ (log (- 1 y)) (/ (* x (log y)) z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (* x (log y)) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (* x (log y)) z)))))
(+ (* -1 t) (+ (* x (log y)) (* z (log (- 1 y)))))
(* -1 t)
(* t (- (+ (/ (* x (log y)) t) (/ (* z (log (- 1 y))) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* x (log y)) (* z (log (- 1 y)))) t)))))

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

rewrite4.0ms (0.1%)

Memory

-37.7MiB live, 0.8MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0%)

Memory: 2.6MiB live, 2.6MiB allocated
Compiler: Compiled 202 to 30 computations (85.1% saved)

prune3.0ms (0.1%)

Memory

6.2MiB live, 6.2MiB allocated

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	7	5	12
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	8	5	13

Accuracy

84.8%

Counts

13 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	44.3%	(-.f64 (+.f64 #s(approx (* x (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
▶	83.1%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
▶	35.6%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
▶	44.5%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))))
▶	4.1%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))

Compiler

Compiled 194 to 158 computations (18.6% saved)

simplify1.0ms (0%)

Memory

2.3MiB live, 2.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 19 expressions of interest:

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

Calls

Call 1

Inputs
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
t
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
(log.f64 y)
y
t
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
z
(log.f64 (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
y
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))))
(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
z
(log.f64 (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
(-.f64 (+.f64 #s(approx (* x (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(+.f64 #s(approx (* x (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
#s(approx (* x (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 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
z
t

Outputs
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
t
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
(log.f64 y)
y
t
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
z
(log.f64 (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
y
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))))
(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
z
(log.f64 (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
(-.f64 (+.f64 #s(approx (* x (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(+.f64 #s(approx (* x (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
#s(approx (* x (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 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
z
t

localize129.0ms (3.7%)

Memory

13.3MiB live, 172.1MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	0.00390625	(+.f64 #s(approx (* x (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y))) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	0.015625	(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	61.66563662700492	#s(approx (* x (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.015625	(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.27734375	(*.f64 x (log.f64 y))
accuracy	25.951136716198718	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.015625	(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	51.91719530020898	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	0.0	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
accuracy	0.0	(log.f64 y)
accuracy	61.620624529737164	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
accuracy	0.0	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
accuracy	0.0	(log.f64 y)
accuracy	0.27734375	(*.f64 x (log.f64 y))
accuracy	18.751138492819884	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))

Samples

82.0ms	190×	1	valid
27.0ms	52×	2	valid
2.0ms	14×	0	valid

Compiler

Compiled 416 to 42 computations (89.9% saved)

Precisions

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

ival-log: 46.0ms (67.3% of total)

adjust: 8.0ms (11.7% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series94.0ms (2.7%)

Memory

7.0MiB live, 166.0MiB allocated

Counts

15 → 73

Calls

Call 1

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

Outputs
(- (* z (log (- 1 y))) t)
(- (+ (* x (log y)) (* z (log (- 1 y)))) t)
(* z (log (- 1 y)))
(+ (* x (log y)) (* z (log (- 1 y))))
(* x (log y))
(* x (- (+ (log y) (/ (* z (log (- 1 y))) x)) (/ t x)))
(* x (+ (log y) (/ (* z (log (- 1 y))) x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
(- (* x (log y)) t)
(- (+ (* -1 (* y z)) (* x (log y))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) t)
(+ (* -1 (* y z)) (* x (log y)))
(+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z)))))
(+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z)))))))
(log y)
(* -1 (* y z))
(* y (+ (* -1 z) (* -1/2 (* y z))))
(* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))
(* y (+ (* -1 z) (* y (+ (* -1/2 z) (* y (+ (* -1/3 z) (* -1/4 (* y z))))))))
(* -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
(+ 1 (* -1 y))
(- (+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))) t)
(+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))))
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(* z (+ (log -1) (* -1 (log (/ 1 y)))))
(+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (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))
(* y (- (/ 1 y) 1))
(- (+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y)))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(* -1 (* z (log (/ -1 y))))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ z y)))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ (+ z (* 1/2 (/ z y))) y)))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) 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 (* y (- 1 (/ 1 y))))
(* z (- (+ (log (- 1 y)) (/ (* x (log y)) z)) (/ t z)))
(* z (+ (log (- 1 y)) (/ (* x (log y)) z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (* x (log y)) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (* x (log y)) z)))))
(+ (* -1 t) (+ (* x (log y)) (* z (log (- 1 y)))))
(* -1 t)
(* t (- (+ (/ (* x (log y)) t) (/ (* z (log (- 1 y))) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* x (log y)) (* z (log (- 1 y)))) t)))))

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

1.9MiB live, 1.9MiB allocated

Algorithm

1×	egg-herbie

Counts

73 → 15

Calls

Call 1

Inputs
(- (* z (log (- 1 y))) t)
(- (+ (* x (log y)) (* z (log (- 1 y)))) t)
(* z (log (- 1 y)))
(+ (* x (log y)) (* z (log (- 1 y))))
(* x (log y))
(* x (- (+ (log y) (/ (* z (log (- 1 y))) x)) (/ t x)))
(* x (+ (log y) (/ (* z (log (- 1 y))) x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
(- (* x (log y)) t)
(- (+ (* -1 (* y z)) (* x (log y))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) t)
(+ (* -1 (* y z)) (* x (log y)))
(+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z)))))
(+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z)))))))
(log y)
(* -1 (* y z))
(* y (+ (* -1 z) (* -1/2 (* y z))))
(* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))
(* y (+ (* -1 z) (* y (+ (* -1/2 z) (* y (+ (* -1/3 z) (* -1/4 (* y z))))))))
(* -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
(+ 1 (* -1 y))
(- (+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))) t)
(+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))))
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(* z (+ (log -1) (* -1 (log (/ 1 y)))))
(+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (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))
(* y (- (/ 1 y) 1))
(- (+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y)))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(* -1 (* z (log (/ -1 y))))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ z y)))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ (+ z (* 1/2 (/ z y))) y)))
(+ (* -1 (* z (log (/ -1 y)))) (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) 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 (* y (- 1 (/ 1 y))))
(* z (- (+ (log (- 1 y)) (/ (* x (log y)) z)) (/ t z)))
(* z (+ (log (- 1 y)) (/ (* x (log y)) z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (* x (log y)) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (* x (log y)) z)))))
(+ (* -1 t) (+ (* x (log y)) (* z (log (- 1 y)))))
(* -1 t)
(* t (- (+ (/ (* x (log y)) t) (/ (* z (log (- 1 y))) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* x (log y)) (* z (log (- 1 y)))) t)))))

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

rewrite1.0ms (0%)

Memory

1.7MiB live, 1.7MiB allocated

Counts

15 → 15

Calls

Call 1

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

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

eval6.0ms (0.2%)

Memory: -30.5MiB live, 7.6MiB allocated
Compiler: Compiled 879 to 47 computations (94.7% saved)

prune5.0ms (0.1%)

Memory

10.8MiB live, 10.8MiB allocated

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	33	5	38
Fresh	0	0	0
Picked	2	3	5
Done	0	0	0
Total	35	8	43

Accuracy

85.0%

Counts

43 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	83.1%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
▶	43.0%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
✓	35.6%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
▶	8.8%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) #s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))) t)
▶	3.1%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
✓	4.1%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
▶	43.0%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))
▶	3.3%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))

Compiler

Compiled 310 to 204 computations (34.2% saved)

simplify1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 17 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
y
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
(log.f64 y)
y
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) #s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) #s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)))
#s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
(log.f64 y)
y
t
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 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

Outputs
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))
(*.f64 x (log.f64 y))
x
(log.f64 y)
y
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
y
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
(log.f64 y)
y
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) #s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) #s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)))
#s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
(log.f64 y)
y
t
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 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

localize113.0ms (3.3%)

Memory

16.6MiB live, 213.2MiB allocated

Localize:

Found 17 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	61.825208007603024	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.0	(log.f64 y)
accuracy	18.751138492819884	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) #s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)))
accuracy	36.38084903032027	#s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))
accuracy	61.620624529737164	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
accuracy	0.0	(log.f64 y)
accuracy	25.951136716198718	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))
accuracy	61.620624529737164	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	62.01355622606939	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
accuracy	0.0	(log.f64 y)
accuracy	0.27734375	(*.f64 x (log.f64 y))
accuracy	18.751138492819884	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))
accuracy	25.951136716198718	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))

Samples

72.0ms	190×	1	valid
24.0ms	52×	2	valid
2.0ms	14×	0	valid

Compiler

Compiled 457 to 42 computations (90.8% saved)

Precisions

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

ival-log: 43.0ms (61.7% of total)

ival-mult: 11.0ms (15.8% of total)

adjust: 8.0ms (11.5% of total)

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

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

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

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

exact: 0.0ms (0% of total)

series85.0ms (2.5%)

Memory

8.0MiB live, 163.2MiB allocated

Counts

15 → 61

Calls

Call 1

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

Outputs
(- (* z (log (- 1 y))) t)
(- (+ (* x (log y)) (* z (log (- 1 y)))) t)
(* z (log (- 1 y)))
(+ (* x (log y)) (* z (log (- 1 y))))
(* x (log y))
(* x (- (+ (log y) (/ (* z (log (- 1 y))) x)) (/ t x)))
(* x (+ (log y) (/ (* z (log (- 1 y))) x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
(- (* x (log y)) t)
(- (+ (* -1 (* y z)) (* x (log y))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) t)
(+ (* -1 (* y z)) (* x (log y)))
(+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z)))))
(+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z)))))))
(log y)
1
(+ 1 (* -1 y))
(* -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 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))) t)
(+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))))
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(* y (- (/ 1 y) 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 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y)))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(* -1 (* y (- 1 (/ 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)))
(* z (- (+ (log (- 1 y)) (/ (* x (log y)) z)) (/ t z)))
(* z (+ (log (- 1 y)) (/ (* x (log y)) z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (* x (log y)) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (* x (log y)) z)))))
(+ (* -1 t) (+ (* x (log y)) (* z (log (- 1 y)))))
(* -1 t)
(* t (- (+ (/ (* x (log y)) t) (/ (* z (log (- 1 y))) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* x (log y)) (* z (log (- 1 y)))) t)))))

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

2.2MiB live, 2.2MiB allocated

Algorithm

1×	egg-herbie

Counts

61 → 15

Calls

Call 1

Inputs
(- (* z (log (- 1 y))) t)
(- (+ (* x (log y)) (* z (log (- 1 y)))) t)
(* z (log (- 1 y)))
(+ (* x (log y)) (* z (log (- 1 y))))
(* x (log y))
(* x (- (+ (log y) (/ (* z (log (- 1 y))) x)) (/ t x)))
(* x (+ (log y) (/ (* z (log (- 1 y))) x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
(- (* x (log y)) t)
(- (+ (* -1 (* y z)) (* x (log y))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) t)
(+ (* -1 (* y z)) (* x (log y)))
(+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z)))))
(+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z)))))))
(log y)
1
(+ 1 (* -1 y))
(* -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 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))) t)
(+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))))
(* -1 (* x (log (/ 1 y))))
(* -1 (log (/ 1 y)))
(* y (- (/ 1 y) 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 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y)))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(* x (+ (log -1) (* -1 (log (/ -1 y)))))
(+ (log -1) (* -1 (log (/ -1 y))))
(* -1 (* y (- 1 (/ 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)))
(* z (- (+ (log (- 1 y)) (/ (* x (log y)) z)) (/ t z)))
(* z (+ (log (- 1 y)) (/ (* x (log y)) z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (* x (log y)) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (* x (log y)) z)))))
(+ (* -1 t) (+ (* x (log y)) (* z (log (- 1 y)))))
(* -1 t)
(* t (- (+ (/ (* x (log y)) t) (/ (* z (log (- 1 y))) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* x (log y)) (* z (log (- 1 y)))) t)))))

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

rewrite1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Counts

15 → 15

Calls

Call 1

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

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

eval9.0ms (0.2%)

Memory: -46.3MiB live, 7.7MiB allocated
Compiler: Compiled 890 to 43 computations (95.2% saved)

prune5.0ms (0.2%)

Memory

15.9MiB live, 15.9MiB allocated

Pruning

9 alts after pruning (1 fresh and 8 done)

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

Accuracy

85.0%

Counts

35 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	83.1%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
✓	43.0%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
✓	35.6%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
✓	8.8%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) #s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))) t)
✓	3.1%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
✓	4.1%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
✓	43.0%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))
▶	2.5%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))))
✓	3.3%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))

Compiler

Compiled 212 to 142 computations (33% saved)

simplify0.0ms (0%)

Memory

1.3MiB live, 1.3MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

Inputs
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))))
#s(approx (+ (* x (log y)) (* z (log (- 1 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

Outputs
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))))
#s(approx (+ (* x (log y)) (* z (log (- 1 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

localize92.0ms (2.6%)

Memory

-1.9MiB live, 157.6MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	25.951136716198718	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	58.64552756942685	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	61.825208007603024	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y)))

Samples

58.0ms	190×	1	valid
23.0ms	52×	2	valid
1.0ms	14×	0	valid

Compiler

Compiled 90 to 31 computations (65.6% saved)

Precisions

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

ival-log: 45.0ms (65.7% of total)

adjust: 8.0ms (11.7% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series24.0ms (0.7%)

Memory

2.2MiB live, 40.6MiB allocated

Counts

4 → 56

Calls

Call 1

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

Outputs
(- (* z (log (- 1 y))) t)
(- (+ (* x (log y)) (* z (log (- 1 y)))) t)
(* z (log (- 1 y)))
(+ (* x (log y)) (* z (log (- 1 y))))
(* x (log y))
(* x (- (+ (log y) (/ (* z (log (- 1 y))) x)) (/ t x)))
(* x (+ (log y) (/ (* z (log (- 1 y))) x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
(- (* x (log y)) t)
(- (+ (* -1 (* y z)) (* x (log y))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) t)
(+ (* -1 (* y z)) (* x (log y)))
(+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z)))))
(+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z)))))))
(* -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
(+ 1 (* -1 y))
(- (+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))) t)
(+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))))
(+ (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))
(* y (- (/ 1 y) 1))
(- (+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y)))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -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 (* y (- 1 (/ 1 y))))
(* z (- (+ (log (- 1 y)) (/ (* x (log y)) z)) (/ t z)))
(* z (+ (log (- 1 y)) (/ (* x (log y)) z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (* x (log y)) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (* x (log y)) z)))))
(+ (* -1 t) (+ (* x (log y)) (* z (log (- 1 y)))))
(* -1 t)
(* t (- (+ (/ (* x (log y)) t) (/ (* z (log (- 1 y))) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* x (log y)) (* z (log (- 1 y)))) t)))))

Calls

12 calls:

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

simplify1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Counts

56 → 4

Calls

Call 1

Inputs
(- (* z (log (- 1 y))) t)
(- (+ (* x (log y)) (* z (log (- 1 y)))) t)
(* z (log (- 1 y)))
(+ (* x (log y)) (* z (log (- 1 y))))
(* x (log y))
(* x (- (+ (log y) (/ (* z (log (- 1 y))) x)) (/ t x)))
(* x (+ (log y) (/ (* z (log (- 1 y))) x)))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
(- (* x (log y)) t)
(- (+ (* -1 (* y z)) (* x (log y))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(- (+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) t)
(+ (* -1 (* y z)) (* x (log y)))
(+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z)))))
(+ (* x (log y)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z)))))))
(* -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
(+ 1 (* -1 y))
(- (+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))) t)
(- (+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))) t)
(+ (* -1 (* x (log (/ 1 y)))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (* z (+ (log -1) (* -1 (log (/ 1 y))))))))
(+ (* -1 (* x (log (/ 1 y)))) (+ (* -1 (/ z y)) (+ (* -1/2 (/ z (pow y 2))) (+ (* -1/3 (/ z (pow y 3))) (* z (+ (log -1) (* -1 (log (/ 1 y)))))))))
(+ (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))
(* y (- (/ 1 y) 1))
(- (+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y)))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(- (+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y))))))) t)
(+ (* -1 (* z (log (/ -1 y)))) (* x (+ (log -1) (* -1 (log (/ -1 y))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ z y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* 1/2 (/ z y))) y)) (* x (+ (log -1) (* -1 (log (/ -1 y)))))))
(+ (* -1 (* z (log (/ -1 y)))) (+ (* -1 (/ (+ z (* -1 (/ (+ (* -1/2 z) (* -1/3 (/ z y))) y))) y)) (* x (+ (log -1) (* -1 (log (/ -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 (* y (- 1 (/ 1 y))))
(* z (- (+ (log (- 1 y)) (/ (* x (log y)) z)) (/ t z)))
(* z (+ (log (- 1 y)) (/ (* x (log y)) z)))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (- (* x (log y)) t) z)))))
(* -1 (* z (+ (* -1 (log (- 1 y))) (* -1 (/ (* x (log y)) z)))))
(+ (* -1 t) (+ (* x (log y)) (* z (log (- 1 y)))))
(* -1 t)
(* t (- (+ (/ (* x (log y)) t) (/ (* z (log (- 1 y))) t)) 1))
(* -1 (* t (+ 1 (* -1 (/ (+ (* x (log y)) (* z (log (- 1 y)))) t)))))

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

rewrite0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Counts

4 → 4

Calls

Call 1

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

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

eval1.0ms (0%)

Memory: 1.3MiB live, 1.3MiB allocated
Compiler: Compiled 193 to 20 computations (89.6% saved)

prune5.0ms (0.1%)

Memory

9.5MiB live, 9.5MiB allocated

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	6	0	6
Fresh	0	0	0
Picked	0	1	1
Done	0	8	8
Total	6	9	15

Accuracy

85.0%

Counts

15 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	83.1%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
✓	43.0%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
✓	35.6%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
✓	8.8%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) #s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))) t)
✓	3.1%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
✓	4.1%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
✓	43.0%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))
✓	2.5%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))))
✓	3.3%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))

Compiler

Compiled 480 to 180 computations (62.5% saved)

regimes29.0ms (0.8%)

Memory

6.1MiB live, 44.4MiB allocated

Counts

12 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 28 to 39 computations (-39.3% saved)

regimes27.0ms (0.8%)

Memory

4.7MiB live, 43.1MiB allocated

Counts

11 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 28 to 39 computations (-39.3% saved)

regimes23.0ms (0.7%)

Memory

-6.7MiB live, 34.0MiB allocated

Counts

8 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
65.8%	3	`(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))`
66.2%	3	`x`
54.5%	6	`y`
49.6%	4	`(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
65.8%	3	`t`
49.9%	3	`z`

Compiler

Compiled 28 to 39 computations (-39.3% saved)

regimes7.0ms (0.2%)

Memory

-28.4MiB live, 10.1MiB allocated

Counts

6 → 3

Calls

Call 1

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

Outputs

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

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

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

Calls

2 calls:

3.0ms	x
3.0ms	t

Results

Accuracy	Segments	Branch
65.8%	3	`t`
58.8%	3	`x`

Compiler

Compiled 2 to 8 computations (-300% saved)

regimes13.0ms (0.4%)

Memory

26.8MiB live, 26.8MiB allocated

Counts

4 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 28 to 39 computations (-39.3% saved)

regimes12.0ms (0.4%)

Memory

-13.6MiB live, 25.1MiB allocated

Counts

3 → 2

Calls

Call 1

Inputs

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

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

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

Outputs

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 28 to 39 computations (-39.3% saved)

regimes7.0ms (0.2%)

Memory

16.3MiB live, 16.3MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

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

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

Calls

6 calls:

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

Results

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

Compiler

Compiled 28 to 39 computations (-39.3% saved)

bsearch60.0ms (1.7%)

Memory

6.8MiB live, 85.8MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
24.0ms	6.6136522475588255e+125	2.6869593712606185e+129
31.0ms	-76957829.91702305	-4.474911506546906e-7

Samples

25.0ms	82×	1	valid
19.0ms	206×	0	valid

Compiler

Compiled 880 to 631 computations (28.3% saved)

Precisions

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

ival-log: 20.0ms (60.6% of total)

ival-mult: 5.0ms (15.1% of total)

ival-sub: 4.0ms (12.1% of total)

adjust: 2.0ms (6.1% of total)

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

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

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

exact: 0.0ms (0% of total)

bsearch47.0ms (1.4%)

Memory

-0.3MiB live, 77.2MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
13.0ms	7.01028620670947e+68	1.1900765381802332e+69
30.0ms	-3.9986563651738543e+67	-7.764029762608258e+52

Samples

21.0ms	58×	1	valid
14.0ms	166×	0	valid

Compiler

Compiled 660 to 467 computations (29.2% saved)

Precisions

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

ival-log: 18.0ms (64.5% of total)

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

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

adjust: 2.0ms (7.2% of total)

ival-add: 1.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)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	-2.1319762936191492e-190	-2.3495713708703854e-211

Compiler

Compiled 16 to 19 computations (-18.8% saved)

simplify7.0ms (0.2%)

Memory

-25.7MiB live, 12.0MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
(if (<=.f64 x #s(literal -64000000 binary64)) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (.f64 x (log.f64 y)))) (if (<=.f64 x #s(literal 670000000000000032330099198364160590214646489774005132788307122963806562880423525757877224855305037935729882281007553353613312 binary64)) (-.f64 #s(approx (+ ( x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))))
(if (<=.f64 t #s(literal -1360000000000000056764300962145135192199722526533809701075812352 binary64)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t) (if (<=.f64 t #s(literal 900000000000000065278292743376311613542536968681869759966389139931136 binary64)) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (.f64 x (log.f64 y)))) (-.f64 #s(approx (+ ( x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)))
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
(if (<=.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t) #s(literal -4013165208090495/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704 binary64)) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y)))
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))

Outputs
(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
(if (<=.f64 x #s(literal -64000000 binary64)) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (.f64 x (log.f64 y)))) (if (<=.f64 x #s(literal 670000000000000032330099198364160590214646489774005132788307122963806562880423525757877224855305037935729882281007553353613312 binary64)) (-.f64 #s(approx (+ ( x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))))
(if (<=.f64 t #s(literal -1360000000000000056764300962145135192199722526533809701075812352 binary64)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t) (if (<=.f64 t #s(literal 900000000000000065278292743376311613542536968681869759966389139931136 binary64)) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (.f64 x (log.f64 y)))) (-.f64 #s(approx (+ ( x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)))
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
(if (<=.f64 (-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t) #s(literal -4013165208090495/20065826040452474621738395244141115820123061381619162977212070095324448220432589806036630768881181530864650607514107580997541169167266097500334986765487216377087492641938951866881041556870737904629872328704 binary64)) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))) #s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y)))
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))

soundness2.0ms (0%)

Memory

3.3MiB live, 3.3MiB allocated

Stop Event

1×

done

Compiler

Compiled 281 to 44 computations (84.3% saved)

preprocess51.0ms (1.5%)

Memory: 14.8MiB live, 95.3MiB allocated
Compiler: Compiled 650 to 156 computations (76% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze75.0ms (2.2%)

sample2.0s (56.5%)

explain281.0ms (8.1%)

preprocess4.0ms (0.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify0.0ms (0%)

localize106.0ms (3.1%)

series172.0ms (4.9%)

simplify1.0ms (0%)

rewrite4.0ms (0.1%)

eval1.0ms (0%)

prune3.0ms (0.1%)

simplify1.0ms (0%)

localize129.0ms (3.7%)

series94.0ms (2.7%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval6.0ms (0.2%)

prune5.0ms (0.1%)

simplify1.0ms (0%)

localize113.0ms (3.3%)

series85.0ms (2.5%)

simplify1.0ms (0%)

rewrite1.0ms (0%)

eval9.0ms (0.2%)

prune5.0ms (0.2%)

simplify0.0ms (0%)

localize92.0ms (2.6%)

series24.0ms (0.7%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune5.0ms (0.1%)

regimes29.0ms (0.8%)

regimes27.0ms (0.8%)

regimes23.0ms (0.7%)

regimes7.0ms (0.2%)

regimes13.0ms (0.4%)

regimes12.0ms (0.4%)

regimes7.0ms (0.2%)

bsearch60.0ms (1.7%)

bsearch47.0ms (1.4%)

bsearch0.0ms (0%)

simplify7.0ms (0.2%)

soundness2.0ms (0%)

preprocess51.0ms (1.5%)

end0.0ms (0%)

Profiling