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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze72.0ms (2.2%)

Memory

6.8MiB live, 166.7MiB allocated

Algorithm

1×

Search

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

Compiler

Compiled 15 to 14 computations (6.7% saved)

sample1.8s (55.8%)

Memory

51.5MiB live, 2 679.4MiB allocated

Samples

874.0ms	2 372×	1	valid
551.0ms	5 884×	0	valid
0.0ms	3×	0	invalid

Precisions

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

ival-log: 756.0ms (66.4% of total)

ival-mult: 136.0ms (11.9% of total)

ival-sub: 103.0ms (9% of total)

adjust: 66.0ms (5.8% of total)

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

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

exact: 5.0ms (0.4% of total)

ival-assert: 4.0ms (0.4% of total)

Bogosity

explain305.0ms (9.3%)

Memory

-20.3MiB live, 383.9MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
256	-	-	`(log.f64 (-.f64 #s(literal 1 binary64) y))`
0	-	-	`(*.f64 x (log.f64 y))`
0	-	-	`(-.f64 #s(literal 1 binary64) y)`
0	-	-	`(log.f64 y)`
0	-	-	`(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))`
0	-	-	`t`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`z`
0	-	-	`(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))`
0	-	-	`(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
0	-	-	`y`
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 -
+	36	0
-	220	0

Precision

0.140625

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	36	0	0
-	220	0	0

Precision?

0.140625

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

149.0ms	402×	1	valid
41.0ms	90×	2	valid
2.0ms	20×	0	valid

Compiler

Compiled 161 to 52 computations (67.7% saved)

Precisions

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

ival-log: 93.0ms (63.7% of total)

ival-sub: 19.0ms (13% of total)

adjust: 15.0ms (10.3% of total)

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

ival-add: 5.0ms (3.4% of total)

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

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

exact: 0.0ms (0% of total)

preprocess4.0ms (0.1%)

Memory

7.7MiB live, 7.7MiB 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)

prune0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	86.4%	(-.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.9MiB live, 0.9MiB 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

localize101.0ms (3.1%)

Memory

-22.9MiB live, 219.2MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.01171875	(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.0234375	(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	0.30078125	(*.f64 x (log.f64 y))
accuracy	59.19005472140615	(log.f64 (-.f64 #s(literal 1 binary64) y))

Samples

70.0ms	201×	1	valid
19.0ms	45×	2	valid
1.0ms	10×	0	valid

Compiler

Compiled 98 to 26 computations (73.5% saved)

Precisions

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

ival-log: 42.0ms (60% of total)

adjust: 13.0ms (18.6% of total)

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

ival-sub: 5.0ms (7.1% 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)

series158.0ms (4.8%)

Memory

-3.4MiB live, 316.1MiB 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
44.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))))
32.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))))
19.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))))
13.0ms	y	@	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))))
10.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))))

simplify1.0ms (0%)

Memory

2.0MiB live, 2.0MiB 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)))

rewrite0.0ms (0%)

Memory

0.9MiB live, 0.9MiB 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: 3.0MiB live, 3.0MiB allocated
Compiler: Compiled 202 to 30 computations (85.1% saved)

prune3.0ms (0.1%)

Memory

8.3MiB live, 8.3MiB 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

86.6%

Counts

13 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	47.2%	(-.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)
▶	86.4%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
▶	41.2%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
▶	41.3%	#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)))))
▶	2.5%	#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.4MiB live, 2.4MiB 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

localize127.0ms (3.9%)

Memory

7.6MiB live, 202.1MiB allocated

Localize:

Found 19 expressions of interest:

New	Metric	Score
accuracy	0.01171875	(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.0234375	(+.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	59.19005472140615	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	61.503697473405204	#s(approx (* x (log y)) (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	0.0234375	(+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	0.30078125	(*.f64 x (log.f64 y))
accuracy	29.303669691157797	#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	59.19005472140615	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.01171875	(*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))
accuracy	54.209267010733626	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
accuracy	59.19005472140615	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	0.0	(log.f64 y)
accuracy	0.0078125	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
accuracy	61.880277916814336	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
accuracy	0.0	(log.f64 y)
accuracy	0.0078125	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
accuracy	0.30078125	(*.f64 x (log.f64 y))
accuracy	20.11538838029794	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))

Samples

80.0ms	201×	1	valid
28.0ms	45×	2	valid
1.0ms	10×	0	valid

Compiler

Compiled 416 to 42 computations (89.9% saved)

Precisions

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

ival-log: 42.0ms (57.9% of total)

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

adjust: 10.0ms (13.8% 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)

series88.0ms (2.7%)

Memory

15.0MiB live, 213.6MiB 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
13.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)))
12.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)))
9.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)))
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) (+ (* 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	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) (+ (* 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

3.4MiB live, 3.4MiB 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)))

rewrite2.0ms (0%)

Memory

-36.3MiB live, 2.6MiB 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)))

eval4.0ms (0.1%)

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

prune5.0ms (0.1%)

Memory

9.7MiB live, 9.7MiB 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

86.8%

Counts

43 → 8

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	86.4%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
▶	47.2%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
✓	41.2%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
▶	9.4%	(-.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)
▶	2.9%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
✓	2.5%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y))))
▶	41.3%	#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.2%	#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

2.0MiB live, 2.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 17 expressions of interest:

New	Metric	Score	Program
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	(*.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))))
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	(-.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)

Calls

Call 1

Inputs
(-.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
#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
#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
(-.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

Outputs
(-.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
#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
#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
(-.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

localize120.0ms (3.6%)

Memory

-45.9MiB live, 143.5MiB allocated

Localize:

Found 17 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(-.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)
accuracy	20.11538838029794	#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	37.432597883071196	#s(approx (* x (log y)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t))
accuracy	61.880277916814336	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
accuracy	0.0	(log.f64 y)
accuracy	0.30078125	(*.f64 x (log.f64 y))
accuracy	20.11538838029794	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))
accuracy	29.303669691157797	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))))
accuracy	0.0	(log.f64 y)
accuracy	29.303669691157797	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))
accuracy	61.880277916814336	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	62.11419124203142	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.0078125	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
accuracy	59.19005472140615	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	61.839598101755904	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y)))

Samples

68.0ms	201×	1	valid
31.0ms	45×	2	valid
1.0ms	10×	0	valid

Compiler

Compiled 457 to 42 computations (90.8% saved)

Precisions

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

ival-log: 40.0ms (62.7% of total)

adjust: 9.0ms (14.1% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series71.0ms (2.2%)

Memory

31.9MiB live, 110.9MiB allocated

Counts

15 → 61

Calls

Call 1

Inputs
(-.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(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)))) (log.f64 y))
(log.f64 y)
#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))
(-.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)

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))
(log 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 (log (/ 1 y)))
(* -1 (* x (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)))))))
(* -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))))
(+ (log -1) (* -1 (log (/ -1 y))))
(* x (+ (log -1) (* -1 (log (/ -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
12.0ms	x	@	inf	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (log (- 1 y)) (- 1 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 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)))) (* x (log y)) (- (+ (* x (log y)) (* z (log (- 1 y)))) t))
11.0ms	y	@	-inf	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (log (- 1 y)) (- 1 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 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)))) (* x (log y)) (- (+ (* x (log y)) (* z (log (- 1 y)))) t))
10.0ms	x	@	0	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (log (- 1 y)) (- 1 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 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)))) (* x (log y)) (- (+ (* x (log y)) (* z (log (- 1 y)))) t))
8.0ms	x	@	-inf	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (log (- 1 y)) (- 1 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 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)))) (* x (log y)) (- (+ (* x (log y)) (* z (log (- 1 y)))) t))
7.0ms	y	@	inf	((- (+ (* x (log y)) (* z (log (- 1 y)))) t) (+ (* x (log y)) (* z (log (- 1 y)))) (log (- 1 y)) (- 1 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 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)))) (* x (log y)) (- (+ (* x (log y)) (* z (log (- 1 y)))) t))

simplify3.0ms (0.1%)

Memory

-36.1MiB live, 1.6MiB 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)))))))
(* -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))
(log 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 (log (/ 1 y)))
(* -1 (* x (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)))))))
(* -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))))
(+ (log -1) (* -1 (log (/ -1 y))))
(* x (+ (log -1) (* -1 (log (/ -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)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
(- (+ (* 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)
(* 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)))
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #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)))) (log.f64 y))
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (- (* z (log (- 1 y))) t) x)))))
(log.f64 y)
(* -1 (* x (+ (* -1 (log y)) (* -1 (/ (* z (log (- 1 y))) x)))))
#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)) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y)))
(- (+ (* -1 (* y z)) (* x (log y))) t)
(*.f64 x (log.f64 y))
(- (+ (* x (log y)) (* y (+ (* -1 z) (* -1/2 (* y z))))) t)
(-.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)) (* y (+ (* -1 z) (* y (+ (* -1/2 z) (* -1/3 (* y z))))))) 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)))
#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)))))
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)

rewrite1.0ms (0%)

Memory

1.6MiB live, 1.6MiB allocated

Counts

15 → 15

Calls

Call 1

Inputs
(-.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(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)))) (log.f64 y))
(log.f64 y)
#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))
(-.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)

Outputs
(-.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(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)))) (log.f64 y))
(log.f64 y)
#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))
(-.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)

eval3.0ms (0.1%)

Memory: 6.0MiB live, 6.0MiB allocated
Compiler: Compiled 921 to 46 computations (95% saved)

prune5.0ms (0.1%)

Memory

8.0MiB live, 8.0MiB allocated

Pruning

9 alts after pruning (2 fresh and 7 done)

	Pruned	Kept	Total
New	29	2	31
Fresh	0	0	0
Picked	0	5	5
Done	1	2	3
Total	30	9	39

Accuracy

86.8%

Counts

39 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	41.3%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t)
✓	86.4%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
✓	47.2%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
✓	41.2%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
✓	9.4%	(-.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)
✓	2.9%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
✓	41.3%	#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.2%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))

Compiler

Compiled 209 to 140 computations (33% saved)

simplify1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(-.f64 #s(literal 1 binary64) y)
cost-diff	0	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y))
cost-diff	0	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t)
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
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.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)))) (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
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t)
#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)
#s(literal 1 binary64)
y
t

localize101.0ms (3.1%)

Memory

-12.0MiB live, 103.5MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.0078125	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t)
accuracy	61.66549288649851	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	29.303669691157797	#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	59.19005472140615	(log.f64 (-.f64 #s(literal 1 binary64) y))
accuracy	61.839598101755904	#s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y)))

Samples

65.0ms	201×	1	valid
18.0ms	45×	2	valid
1.0ms	10×	0	valid

Compiler

Compiled 158 to 33 computations (79.1% saved)

Precisions

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

ival-log: 39.0ms (61% of total)

adjust: 10.0ms (15.6% of total)

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

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

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

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

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

exact: 0.0ms (0% of total)

series26.0ms (0.8%)

Memory

3.2MiB live, 41.4MiB allocated

Counts

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

simplify1.0ms (0%)

Memory

1.8MiB live, 1.8MiB allocated

Algorithm

1×	egg-herbie

Counts

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

rewrite0.0ms (0%)

Memory

1.0MiB live, 1.0MiB allocated

Counts

6 → 6

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

eval1.0ms (0%)

Memory: 2.8MiB live, 2.8MiB allocated
Compiler: Compiled 287 to 22 computations (92.3% saved)

prune6.0ms (0.2%)

Memory

12.9MiB live, 12.9MiB allocated

Pruning

9 alts after pruning (0 fresh and 9 done)

	Pruned	Kept	Total
New	10	0	10
Fresh	0	0	0
Picked	0	2	2
Done	0	7	7
Total	10	9	19

Accuracy

86.8%

Counts

19 → 9

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	41.3%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t)
✓	86.4%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
✓	47.2%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 (-.f64 #s(literal 1 binary64) y))) t)
✓	41.2%	(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)) t)
✓	9.4%	(-.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)
✓	2.9%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))
✓	41.3%	#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.2%	#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (log.f64 y)))

Compiler

Compiled 494 to 180 computations (63.6% saved)

regimes28.0ms (0.9%)

Memory

-11.8MiB live, 65.6MiB allocated

Counts

13 → 1

Calls

Call 1

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

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
86.4%	1	`x`
86.4%	1	`y`
86.4%	1	`z`
86.4%	1	`t`
86.4%	1	`(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
86.4%	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)

regimes23.0ms (0.7%)

Memory

7.1MiB live, 50.3MiB allocated

Counts

9 → 3

Calls

Call 1

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

Results

Accuracy	Segments	Branch
69.8%	3	`x`
55.1%	4	`y`
56.4%	6	`z`
69.0%	3	`t`
53.5%	4	`(-.f64 (+.f64 (.f64 x (log.f64 y)) (.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)`
69.8%	3	`(+.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)

regimes9.0ms (0.3%)

Memory

18.9MiB live, 18.9MiB allocated

Counts

7 → 3

Calls

Call 1

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

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

Calls

3 calls:

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

Results

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

Compiler

Compiled 13 to 19 computations (-46.2% saved)

regimes15.0ms (0.5%)

Memory

-6.6MiB live, 32.4MiB allocated

Counts

5 → 1

Calls

Call 1

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

Calls

6 calls:

3.0ms	t
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	z

Results

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

Compiler

Compiled 28 to 39 computations (-39.3% saved)

regimes8.0ms (0.2%)

Memory

-22.6MiB live, 16.5MiB 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:

2.0ms	y
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	z
1.0ms	x

Results

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

Compiler

Compiled 28 to 39 computations (-39.3% saved)

bsearch45.0ms (1.4%)

Memory

29.9MiB live, 65.4MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
23.0ms	2.3549562116776627e-9	1.0887067564277624e-7
19.0ms	-2.1962766469716426e+142	-4.57793759170855e+140

Samples

17.0ms	178×	0	valid
16.0ms	46×	1	valid

Compiler

Compiled 688 to 495 computations (28.1% saved)

Precisions

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

ival-log: 15.0ms (63.8% of total)

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

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

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

adjust: 1.0ms (4.3% of total)

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

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

exact: 0.0ms (0% of total)

bsearch48.0ms (1.5%)

Memory

3.5MiB live, 49.3MiB allocated

Algorithm

2×	binary-search

Stop Event

1×	narrow-enough
1×	narrow-enough

Steps

Time	Left	Right
6.0ms	4.953621373734122e+86	6.068168314888126e+86
40.0ms	-3.692592013938737e+97	-2.276174384038315e+88

Samples

28.0ms	49×	1	valid
11.0ms	127×	0	valid

Compiler

Compiled 533 to 382 computations (28.3% saved)

Precisions

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

ival-log: 25.0ms (76.8% of total)

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

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

adjust: 1.0ms (3.1% of total)

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

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

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

exact: 0.0ms (0% of total)

simplify10.0ms (0.3%)

Memory

-27.0MiB live, 10.3MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
(if (<=.f64 x #s(literal -459999999999999980732208367941338850834429762821327308858620661936400220371705123681139460900564626924777829335593508291435280390522654425088 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 4911261142184431/75557863725914323419136 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 -23000000000000001716855259663634837199262161176292156853629842538982627410281253725798400 binary64)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t) (if (<=.f64 t #s(literal 499999999999999979708362228175181365745998044824225719834869504903351961475477212758016 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)))) (-.f64 #s(literal 1 binary64) y)) t)))
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t)
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))

Outputs
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (*.f64 x (log.f64 y))) t)
(if (<=.f64 x #s(literal -459999999999999980732208367941338850834429762821327308858620661936400220371705123681139460900564626924777829335593508291435280390522654425088 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 4911261142184431/75557863725914323419136 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 -23000000000000001716855259663634837199262161176292156853629842538982627410281253725798400 binary64)) (-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t) (if (<=.f64 t #s(literal 499999999999999979708362228175181365745998044824225719834869504903351961475477212758016 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)))) (-.f64 #s(literal 1 binary64) y)) t)))
(-.f64 #s(approx (+ (* x (log y)) (* z (log (- 1 y)))) (-.f64 #s(literal 1 binary64) y)) t)
#s(approx (- (+ (* x (log y)) (* z (log (- 1 y)))) t) (-.f64 #s(literal 1 binary64) y))

soundness1.0ms (0%)

Memory

2.3MiB live, 2.3MiB allocated

Stop Event

1×

done

Compiler

Compiled 210 to 37 computations (82.4% saved)

preprocess48.0ms (1.5%)

Memory: -1.0MiB live, 74.0MiB allocated
Compiler: Compiled 508 to 142 computations (72% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze72.0ms (2.2%)

sample1.8s (55.8%)

explain305.0ms (9.3%)

preprocess4.0ms (0.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize101.0ms (3.1%)

series158.0ms (4.8%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune3.0ms (0.1%)

simplify1.0ms (0%)

localize127.0ms (3.9%)

series88.0ms (2.7%)

simplify1.0ms (0%)

rewrite2.0ms (0%)

eval4.0ms (0.1%)

prune5.0ms (0.1%)

simplify1.0ms (0%)

localize120.0ms (3.6%)

series71.0ms (2.2%)

simplify3.0ms (0.1%)

rewrite1.0ms (0%)

eval3.0ms (0.1%)

prune5.0ms (0.1%)

simplify1.0ms (0%)

localize101.0ms (3.1%)

series26.0ms (0.8%)

simplify1.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0%)

prune6.0ms (0.2%)

regimes28.0ms (0.9%)

regimes23.0ms (0.7%)

regimes9.0ms (0.3%)

regimes15.0ms (0.5%)

regimes8.0ms (0.2%)

bsearch45.0ms (1.4%)

bsearch48.0ms (1.5%)

simplify10.0ms (0.3%)

soundness1.0ms (0%)

preprocess48.0ms (1.5%)

end0.0ms (0%)

Profiling