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

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze157.0ms (7.3%)

Memory

2.8MiB live, 192.5MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
0%	0%	99.9%	0.1%	0%	0%	0%	2
0%	0%	99.9%	0.1%	0%	0%	0%	3
0%	0%	99.9%	0.1%	0%	0%	0%	4
0%	0%	99.9%	0.1%	0%	0%	0%	5
3.2%	3.1%	93.7%	0.1%	0%	3.1%	0%	6
15.8%	14%	74.9%	0.1%	0%	10.9%	0%	7
22.1%	19.5%	68.7%	0.1%	0%	11.7%	0%	8
31.8%	26.9%	57.8%	0.1%	0%	15.2%	0%	9
36.3%	30.6%	53.9%	0.1%	0%	15.4%	0%	10
42%	34.8%	48%	0.1%	0%	17.1%	0%	11
44.6%	36.9%	45.9%	0.1%	0%	17.1%	0%	12

Compiler

Compiled 14 to 11 computations (21.4% saved)

sample1.5s (70.5%)

Memory

11.6MiB live, 2 129.0MiB allocated

Samples

424.0ms	5 904×	0	valid
351.0ms	2 352×	1	valid
215.0ms	1 147×	1	invalid
117.0ms	1 603×	0	invalid

Precisions

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

ival-sub: 331.0ms (43% of total)

ival-log: 197.0ms (25.6% of total)

ival-div: 117.0ms (15.2% of total)

adjust: 105.0ms (13.6% of total)

ival-true: 8.0ms (1% of total)

exact: 6.0ms (0.8% of total)

ival-assert: 5.0ms (0.6% of total)

Bogosity

explain169.0ms (7.9%)

Memory

-5.4MiB live, 264.5MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
110	-	-	`(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))`
73	-	-	`(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))`
0	-	-	`(-.f64 #s(literal 1 binary64) y)`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))`
0	-	-	`(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))`
0	-	-	`y`
0	-	-	`(-.f64 x y)`
0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))`	sensitivity	110	0
`-.f64`	`(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))`	cancellation	73	0

Confusion

	Predicted +	Predicted -
+	73	0
-	110	73

Precision

0.3989071038251366

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	73	0	0
-	110	0	73

Precision?

0.3989071038251366

Recall?

1.0

Freqs

test

number	freq
0	73
1	183

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

61.0ms	324×	1	valid
12.0ms	158×	0	valid
12.0ms	30×	2	valid

Compiler

Compiled 157 to 40 computations (74.5% saved)

Precisions

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

ival-log: 23.0ms (38.2% of total)

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

adjust: 10.0ms (16.6% of total)

ival-div: 9.0ms (15% of total)

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

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

exact: 0.0ms (0% of total)

preprocess3.0ms (0.1%)

Memory

5.0MiB live, 5.0MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs
(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))

Outputs
(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))

Compiler

Compiled 12 to 9 computations (25% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	73.1%	(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))

Compiler

Compiled 12 to 9 computations (25% saved)

simplify0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

Inputs
(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))
#s(literal 1 binary64)
(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
(-.f64 x y)
x
y
(-.f64 #s(literal 1 binary64) y)

Outputs
(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))
#s(literal 1 binary64)
(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
(-.f64 x y)
x
y
(-.f64 #s(literal 1 binary64) y)

localize51.0ms (2.4%)

Memory

-15.7MiB live, 65.1MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.01171875	(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
accuracy	16.874248737494156	(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
accuracy	25.812999521878204	(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))

Samples

32.0ms	162×	1	valid
6.0ms	79×	0	valid
5.0ms	15×	2	valid

Compiler

Compiled 96 to 20 computations (79.2% saved)

Precisions

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

ival-sub: 11.0ms (35% of total)

ival-log: 11.0ms (35% of total)

adjust: 6.0ms (19.1% of total)

ival-div: 3.0ms (9.6% of total)

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

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

exact: 0.0ms (0% of total)

series15.0ms (0.7%)

Memory

20.8MiB live, 20.8MiB allocated

Counts

5 → 85

Calls

Call 1

Inputs
(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))
(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)

Outputs
(- 1 (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* 1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* x (+ (* 1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(log (+ 1 (/ y (- 1 y))))
(+ (log (+ 1 (/ y (- 1 y)))) (* -1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* -1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* x (- (* -1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(+ 1 (/ y (- 1 y)))
(+ 1 (+ (* -1 (/ x (- 1 y))) (/ y (- 1 y))))
(* -1 (/ y (- 1 y)))
(+ (* -1 (/ y (- 1 y))) (/ x (- 1 y)))
(- 1 (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (* 1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)))))
(- (+ 1 (* 1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))))))
(+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))) (* -1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))))))
(* -1 (/ x (- 1 y)))
(* x (- (+ (/ 1 x) (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
(/ x (- 1 y))
(* x (+ (* -1 (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
(- 1 (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x)) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1 (/ (- (* 1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x)) (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* 1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* -1 (/ (+ (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2))) (* -1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(* -1 (* x (+ (* -1 (/ (- 1 (* -1 (/ y (- 1 y)))) x)) (/ 1 (- 1 y)))))
(* -1 (* x (- (/ y (* x (- 1 y))) (/ 1 (- 1 y)))))
(- 1 (log (- 1 x)))
(- (+ 1 (* -1 (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* -1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* y (- (* -1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(log (- 1 x))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* 1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (/ 1 (- 1 x))))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* y (+ (* 1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (/ 1 (- 1 x))))))
(- 1 x)
(- (+ 1 (* y (+ 1 (* -1 x)))) x)
(- (+ 1 (* y (+ 1 (+ (* -1 x) (* y (+ 1 (* -1 x))))))) x)
(- (+ 1 (* y (+ 1 (+ (* -1 x) (* y (+ 1 (+ (* -1 x) (* y (+ 1 (* -1 x)))))))))) x)
x
(+ x (* -1 (* y (+ 1 (* -1 x)))))
(+ x (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(+ x (* y (- (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
1
(+ 1 (* -1 y))
(- 1 (+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y))))
(- (+ 1 (/ x (* y (+ 1 (* -1 x))))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (/ 1 (* y (+ 1 (* -1 x)))))))
(- (+ 1 (* -1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))))))
(- (+ 1 (* -1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y)))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x)))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (+ (* 1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(* -1 (/ (+ 1 (* -1 x)) y))
(/ (- (/ x y) (+ 1 (+ (* -1 x) (/ 1 y)))) y)
(/ (- (+ (/ x y) (/ x (pow y 2))) (+ 1 (+ (* -1 x) (+ (/ 1 y) (/ 1 (pow y 2)))))) y)
(/ (- (+ (/ x y) (+ (/ x (pow y 2)) (/ x (pow y 3)))) (+ 1 (+ (* -1 x) (+ (/ 1 y) (+ (/ 1 (pow y 2)) (/ 1 (pow y 3))))))) y)
(+ 1 (+ (* -1 (/ x y)) (/ 1 y)))
(+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 2))) (+ (/ 1 y) (/ 1 (pow y 2))))))
(- (+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 3))) (+ (/ 1 y) (/ 1 (pow y 3)))))) (* -1 (/ (+ 1 (* -1 x)) (pow y 2))))
(* -1 y)
(* y (- (/ 1 y) 1))
(- 1 (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (/ 1 (- 1 x)) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* 1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* -1 (/ (- (* 1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(+ (log (- 1 x)) (log (/ -1 y)))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (/ x (- 1 x)) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1 (/ (+ (* -1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(* -1 (/ (- 1 x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- (+ x (* -1 (/ (+ 1 (* -1 x)) y))) 1) y))) x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- (+ x (* -1 (/ (+ 1 (+ (* -1 x) (* -1 (/ (- x 1) y)))) y))) 1) y))) x) y))
(+ 1 (* -1 (/ (- x 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- 1 x) y))) 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))) 1) y)))
(* -1 (* y (- 1 (/ 1 y))))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	y	@	-inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- 1 y))
3.0ms	y	@	inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- 1 y))
2.0ms	x	@	-inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- 1 y))
2.0ms	x	@	inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- 1 y))
2.0ms	x	@	0	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- 1 y))

simplify2.0ms (0.1%)

Memory

2.6MiB live, 2.6MiB allocated

Algorithm

1×	egg-herbie

Counts

85 → 5

Calls

Call 1

Inputs
(- 1 (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* 1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* x (+ (* 1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(log (+ 1 (/ y (- 1 y))))
(+ (log (+ 1 (/ y (- 1 y)))) (* -1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* -1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* x (- (* -1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(+ 1 (/ y (- 1 y)))
(+ 1 (+ (* -1 (/ x (- 1 y))) (/ y (- 1 y))))
(* -1 (/ y (- 1 y)))
(+ (* -1 (/ y (- 1 y))) (/ x (- 1 y)))
(- 1 (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (* 1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)))))
(- (+ 1 (* 1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))))))
(+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))) (* -1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))))))
(* -1 (/ x (- 1 y)))
(* x (- (+ (/ 1 x) (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
(/ x (- 1 y))
(* x (+ (* -1 (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
(- 1 (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x)) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1 (/ (- (* 1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x)) (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* 1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* -1 (/ (+ (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2))) (* -1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(* -1 (* x (+ (* -1 (/ (- 1 (* -1 (/ y (- 1 y)))) x)) (/ 1 (- 1 y)))))
(* -1 (* x (- (/ y (* x (- 1 y))) (/ 1 (- 1 y)))))
(- 1 (log (- 1 x)))
(- (+ 1 (* -1 (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* -1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* y (- (* -1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(log (- 1 x))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* 1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (/ 1 (- 1 x))))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* y (+ (* 1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (/ 1 (- 1 x))))))
(- 1 x)
(- (+ 1 (* y (+ 1 (* -1 x)))) x)
(- (+ 1 (* y (+ 1 (+ (* -1 x) (* y (+ 1 (* -1 x))))))) x)
(- (+ 1 (* y (+ 1 (+ (* -1 x) (* y (+ 1 (+ (* -1 x) (* y (+ 1 (* -1 x)))))))))) x)
x
(+ x (* -1 (* y (+ 1 (* -1 x)))))
(+ x (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(+ x (* y (- (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
1
(+ 1 (* -1 y))
(- 1 (+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y))))
(- (+ 1 (/ x (* y (+ 1 (* -1 x))))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (/ 1 (* y (+ 1 (* -1 x)))))))
(- (+ 1 (* -1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))))))
(- (+ 1 (* -1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y)))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x)))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (+ (* 1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(* -1 (/ (+ 1 (* -1 x)) y))
(/ (- (/ x y) (+ 1 (+ (* -1 x) (/ 1 y)))) y)
(/ (- (+ (/ x y) (/ x (pow y 2))) (+ 1 (+ (* -1 x) (+ (/ 1 y) (/ 1 (pow y 2)))))) y)
(/ (- (+ (/ x y) (+ (/ x (pow y 2)) (/ x (pow y 3)))) (+ 1 (+ (* -1 x) (+ (/ 1 y) (+ (/ 1 (pow y 2)) (/ 1 (pow y 3))))))) y)
(+ 1 (+ (* -1 (/ x y)) (/ 1 y)))
(+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 2))) (+ (/ 1 y) (/ 1 (pow y 2))))))
(- (+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 3))) (+ (/ 1 y) (/ 1 (pow y 3)))))) (* -1 (/ (+ 1 (* -1 x)) (pow y 2))))
(* -1 y)
(* y (- (/ 1 y) 1))
(- 1 (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (/ 1 (- 1 x)) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* 1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* -1 (/ (- (* 1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(+ (log (- 1 x)) (log (/ -1 y)))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (/ x (- 1 x)) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1 (/ (+ (* -1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(* -1 (/ (- 1 x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- (+ x (* -1 (/ (+ 1 (* -1 x)) y))) 1) y))) x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- (+ x (* -1 (/ (+ 1 (+ (* -1 x) (* -1 (/ (- x 1) y)))) y))) 1) y))) x) y))
(+ 1 (* -1 (/ (- x 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- 1 x) y))) 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))) 1) y)))
(* -1 (* y (- 1 (/ 1 y))))

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

rewrite0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Counts

5 → 5

Calls

Call 1

Inputs
(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))
(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)

Outputs
(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))
(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))
(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
(-.f64 #s(literal 1 binary64) y)

eval1.0ms (0.1%)

Memory: 2.2MiB live, 2.2MiB allocated
Compiler: Compiled 166 to 22 computations (86.7% saved)

prune3.0ms (0.2%)

Memory

-34.8MiB live, 3.1MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	7	3	10
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	7	4	11

Accuracy

76.1%

Counts

11 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.1%	(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))
▶	2.8%	(-.f64 #s(literal 1 binary64) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y)))
▶	7.4%	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
▶	43.7%	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))

Compiler

Compiled 70 to 50 computations (28.6% saved)

simplify1.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 11 expressions of interest:

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

Calls

Call 1

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

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

localize55.0ms (2.6%)

Memory

37.5MiB live, 75.6MiB allocated

Localize:

Found 11 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 #s(literal 1 binary64) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y)))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	60.906257523965884	#s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))
accuracy	0.0	(-.f64 x y)
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.01171875	(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
accuracy	59.234144544017106	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	0.01171875	(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
accuracy	16.874248737494156	(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
accuracy	35.60329427499078	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))

Samples

32.0ms	162×	1	valid
8.0ms	79×	0	valid
6.0ms	15×	2	valid

Compiler

Compiled 212 to 29 computations (86.3% saved)

Precisions

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

ival-log: 12.0ms (41.2% of total)

ival-sub: 8.0ms (27.5% of total)

adjust: 5.0ms (17.2% of total)

ival-div: 3.0ms (10.3% of total)

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

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

exact: 0.0ms (0% of total)

series8.0ms (0.4%)

Memory

-31.9MiB live, 8.7MiB allocated

Counts

8 → 91

Calls

Call 1

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

Outputs
(- 1 (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* 1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* x (+ (* 1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(+ 1 (/ y (- 1 y)))
(+ 1 (+ (* -1 (/ x (- 1 y))) (/ y (- 1 y))))
(* -1 (/ y (- 1 y)))
(+ (* -1 (/ y (- 1 y))) (/ x (- 1 y)))
(* -1 y)
(- x y)
(log (+ 1 (/ y (- 1 y))))
(+ (log (+ 1 (/ y (- 1 y)))) (* -1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* -1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* x (- (* -1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(- 1 (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (* 1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)))))
(- (+ 1 (* 1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))))))
(* -1 (/ x (- 1 y)))
(* x (- (+ (/ 1 x) (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
(/ x (- 1 y))
(* x (+ (* -1 (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
x
(* x (+ 1 (* -1 (/ y x))))
(+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))) (* -1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))))))
(- 1 (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x)) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1 (/ (- (* 1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x)) (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(* -1 (* x (+ (* -1 (/ (- 1 (* -1 (/ y (- 1 y)))) x)) (/ 1 (- 1 y)))))
(* -1 (* x (- (/ y (* x (- 1 y))) (/ 1 (- 1 y)))))
(* -1 (* x (- (/ y x) 1)))
(+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* 1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* -1 (/ (+ (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2))) (* -1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(- 1 (log (- 1 x)))
(- (+ 1 (* -1 (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* -1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* y (- (* -1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- 1 x)
(- (+ 1 (* y (+ 1 (* -1 x)))) x)
(- (+ 1 (* y (+ 1 (+ (* -1 x) (* y (+ 1 (* -1 x))))))) x)
(- (+ 1 (* y (+ 1 (+ (* -1 x) (* y (+ 1 (+ (* -1 x) (* y (+ 1 (* -1 x)))))))))) x)
(+ x (* -1 (* y (+ 1 (* -1 x)))))
(+ x (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(+ x (* y (- (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(+ x (* -1 y))
1
(+ 1 (* -1 y))
(log (- 1 x))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* 1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (/ 1 (- 1 x))))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* y (+ (* 1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (/ 1 (- 1 x))))))
(- 1 (+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y))))
(- (+ 1 (/ x (* y (+ 1 (* -1 x))))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (/ 1 (* y (+ 1 (* -1 x)))))))
(- (+ 1 (* -1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))))))
(- (+ 1 (* -1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(* -1 (/ (+ 1 (* -1 x)) y))
(/ (- (/ x y) (+ 1 (+ (* -1 x) (/ 1 y)))) y)
(/ (- (+ (/ x y) (/ x (pow y 2))) (+ 1 (+ (* -1 x) (+ (/ 1 y) (/ 1 (pow y 2)))))) y)
(/ (- (+ (/ x y) (+ (/ x (pow y 2)) (/ x (pow y 3)))) (+ 1 (+ (* -1 x) (+ (/ 1 y) (+ (/ 1 (pow y 2)) (/ 1 (pow y 3))))))) y)
(+ 1 (+ (* -1 (/ x y)) (/ 1 y)))
(+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 2))) (+ (/ 1 y) (/ 1 (pow y 2))))))
(- (+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 3))) (+ (/ 1 y) (/ 1 (pow y 3)))))) (* -1 (/ (+ 1 (* -1 x)) (pow y 2))))
(* y (- (/ x y) 1))
(* y (- (/ 1 y) 1))
(+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y)))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x)))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (+ (* 1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(- 1 (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (/ 1 (- 1 x)) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* 1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* -1 (/ (- (* 1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(* -1 (/ (- 1 x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- (+ x (* -1 (/ (+ 1 (* -1 x)) y))) 1) y))) x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- (+ x (* -1 (/ (+ 1 (+ (* -1 x) (* -1 (/ (- x 1) y)))) y))) 1) y))) x) y))
(+ 1 (* -1 (/ (- x 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- 1 x) y))) 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))) 1) y)))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (- 1 (/ 1 y))))
(+ (log (- 1 x)) (log (/ -1 y)))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (/ x (- 1 x)) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1 (/ (+ (* -1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	x	@	0	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- x y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))))
1.0ms	x	@	inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- x y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))))
1.0ms	x	@	-inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- x y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))))
1.0ms	y	@	inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- x y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))))
1.0ms	y	@	-inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 (/ (- x y) (- 1 y))) (/ (- x y) (- 1 y)) (- x y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (log (- 1 (/ (- x y) (- 1 y)))))

simplify2.0ms (0.1%)

Memory

2.8MiB live, 2.8MiB allocated

Algorithm

1×	egg-herbie

Counts

91 → 8

Calls

Call 1

Inputs
(- 1 (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* 1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* x (+ (* 1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(+ 1 (/ y (- 1 y)))
(+ 1 (+ (* -1 (/ x (- 1 y))) (/ y (- 1 y))))
(* -1 (/ y (- 1 y)))
(+ (* -1 (/ y (- 1 y))) (/ x (- 1 y)))
(* -1 y)
(- x y)
(log (+ 1 (/ y (- 1 y))))
(+ (log (+ 1 (/ y (- 1 y)))) (* -1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* -1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* x (- (* -1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(- 1 (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (* 1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)))))
(- (+ 1 (* 1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))))))
(* -1 (/ x (- 1 y)))
(* x (- (+ (/ 1 x) (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
(/ x (- 1 y))
(* x (+ (* -1 (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
x
(* x (+ 1 (* -1 (/ y x))))
(+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))) (* -1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))))))
(- 1 (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x)) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1 (/ (- (* 1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x)) (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(* -1 (* x (+ (* -1 (/ (- 1 (* -1 (/ y (- 1 y)))) x)) (/ 1 (- 1 y)))))
(* -1 (* x (- (/ y (* x (- 1 y))) (/ 1 (- 1 y)))))
(* -1 (* x (- (/ y x) 1)))
(+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* 1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* -1 (/ (+ (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2))) (* -1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(- 1 (log (- 1 x)))
(- (+ 1 (* -1 (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* -1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* y (- (* -1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- 1 x)
(- (+ 1 (* y (+ 1 (* -1 x)))) x)
(- (+ 1 (* y (+ 1 (+ (* -1 x) (* y (+ 1 (* -1 x))))))) x)
(- (+ 1 (* y (+ 1 (+ (* -1 x) (* y (+ 1 (+ (* -1 x) (* y (+ 1 (* -1 x)))))))))) x)
(+ x (* -1 (* y (+ 1 (* -1 x)))))
(+ x (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(+ x (* y (- (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(+ x (* -1 y))
1
(+ 1 (* -1 y))
(log (- 1 x))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* 1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (/ 1 (- 1 x))))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* y (+ (* 1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (/ 1 (- 1 x))))))
(- 1 (+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y))))
(- (+ 1 (/ x (* y (+ 1 (* -1 x))))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (/ 1 (* y (+ 1 (* -1 x)))))))
(- (+ 1 (* -1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))))))
(- (+ 1 (* -1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(* -1 (/ (+ 1 (* -1 x)) y))
(/ (- (/ x y) (+ 1 (+ (* -1 x) (/ 1 y)))) y)
(/ (- (+ (/ x y) (/ x (pow y 2))) (+ 1 (+ (* -1 x) (+ (/ 1 y) (/ 1 (pow y 2)))))) y)
(/ (- (+ (/ x y) (+ (/ x (pow y 2)) (/ x (pow y 3)))) (+ 1 (+ (* -1 x) (+ (/ 1 y) (+ (/ 1 (pow y 2)) (/ 1 (pow y 3))))))) y)
(+ 1 (+ (* -1 (/ x y)) (/ 1 y)))
(+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 2))) (+ (/ 1 y) (/ 1 (pow y 2))))))
(- (+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 3))) (+ (/ 1 y) (/ 1 (pow y 3)))))) (* -1 (/ (+ 1 (* -1 x)) (pow y 2))))
(* y (- (/ x y) 1))
(* y (- (/ 1 y) 1))
(+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y)))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x)))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (+ (* 1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(- 1 (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (/ 1 (- 1 x)) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* 1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* -1 (/ (- (* 1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(* -1 (/ (- 1 x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- (+ x (* -1 (/ (+ 1 (* -1 x)) y))) 1) y))) x) y))
(* -1 (/ (- (+ 1 (* -1 (/ (- (+ x (* -1 (/ (+ 1 (+ (* -1 x) (* -1 (/ (- x 1) y)))) y))) 1) y))) x) y))
(+ 1 (* -1 (/ (- x 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- 1 x) y))) 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))) 1) y)))
(* -1 (* y (+ 1 (* -1 (/ x y)))))
(* -1 (* y (- 1 (/ 1 y))))
(+ (log (- 1 x)) (log (/ -1 y)))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (/ x (- 1 x)) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1 (/ (+ (* -1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))

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

rewrite1.0ms (0%)

Memory

1.5MiB live, 1.5MiB allocated

Counts

8 → 8

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 4.7MiB live, 4.7MiB allocated
Compiler: Compiled 506 to 32 computations (93.7% saved)

prune3.0ms (0.1%)

Memory

5.7MiB live, 5.7MiB allocated

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	18	2	20
Fresh	0	0	0
Picked	1	2	3
Done	0	1	1
Total	19	5	24

Accuracy

76.1%

Counts

24 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.1%	(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))
✓	2.8%	(-.f64 #s(literal 1 binary64) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y)))
✓	7.4%	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
▶	4.4%	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (-.f64 x y))
▶	44.9%	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))))

Compiler

Compiled 99 to 60 computations (39.4% saved)

simplify0.0ms (0%)

Memory

1.1MiB live, 1.1MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 6 expressions of interest:

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

Calls

Call 1

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

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

localize53.0ms (2.5%)

Memory

6.0MiB live, 80.7MiB allocated

Localize:

Found 6 expressions of interest:

New	Metric	Score
accuracy	0.0	(-.f64 x y)
accuracy	61.20900407604637	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (-.f64 x y))
accuracy	0.0	(-.f64 #s(literal 1 binary64) y)
accuracy	59.234144544017106	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))))
accuracy	60.906257523965884	#s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))
accuracy	62.76258895713644	#s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y)))

Samples

34.0ms	162×	1	valid
6.0ms	79×	0	valid
5.0ms	15×	2	valid

Compiler

Compiled 150 to 27 computations (82% saved)

Precisions

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

ival-log: 11.0ms (39.6% of total)

ival-sub: 8.0ms (28.8% of total)

adjust: 5.0ms (18% of total)

ival-div: 3.0ms (10.8% of total)

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

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

exact: 0.0ms (0% of total)

series4.0ms (0.2%)

Memory

7.0MiB live, 7.0MiB allocated

Counts

6 → 74

Calls

Call 1

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

Outputs
(- 1 (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* 1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* x (+ (* 1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(* -1 (/ y (- 1 y)))
(+ (* -1 (/ y (- 1 y))) (/ x (- 1 y)))
(log (+ 1 (/ y (- 1 y))))
(+ (log (+ 1 (/ y (- 1 y)))) (* -1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* -1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* x (- (* -1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(* -1 y)
(- x y)
(- 1 (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (* 1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)))))
(- (+ 1 (* 1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))))))
(/ x (- 1 y))
(* x (+ (* -1 (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
(+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))) (* -1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))))))
x
(* x (+ 1 (* -1 (/ y x))))
(- 1 (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x)) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1 (/ (- (* 1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x)) (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(* -1 (* x (- (/ y (* x (- 1 y))) (/ 1 (- 1 y)))))
(+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* 1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* -1 (/ (+ (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2))) (* -1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(* -1 (* x (- (/ y x) 1)))
(- 1 (log (- 1 x)))
(- (+ 1 (* -1 (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* -1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* y (- (* -1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(+ x (* -1 (* y (+ 1 (* -1 x)))))
(+ x (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(+ x (* y (- (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(log (- 1 x))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* 1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (/ 1 (- 1 x))))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* y (+ (* 1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (/ 1 (- 1 x))))))
1
(+ 1 (* -1 y))
(+ x (* -1 y))
(- 1 (+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y))))
(- (+ 1 (/ x (* y (+ 1 (* -1 x))))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (/ 1 (* y (+ 1 (* -1 x)))))))
(- (+ 1 (* -1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))))))
(- (+ 1 (* -1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(+ 1 (+ (* -1 (/ x y)) (/ 1 y)))
(+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 2))) (+ (/ 1 y) (/ 1 (pow y 2))))))
(- (+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 3))) (+ (/ 1 y) (/ 1 (pow y 3)))))) (* -1 (/ (+ 1 (* -1 x)) (pow y 2))))
(+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y)))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x)))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (+ (* 1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(* y (- (/ 1 y) 1))
(* y (- (/ x y) 1))
(- 1 (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (/ 1 (- 1 x)) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* 1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* -1 (/ (- (* 1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(+ 1 (* -1 (/ (- x 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- 1 x) y))) 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))) 1) y)))
(+ (log (- 1 x)) (log (/ -1 y)))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (/ x (- 1 x)) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1 (/ (+ (* -1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	x	@	-inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/ (- x y) (- 1 y)) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- x y))
1.0ms	x	@	inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/ (- x y) (- 1 y)) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- x y))
0.0ms	y	@	inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/ (- x y) (- 1 y)) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- x y))
0.0ms	y	@	-inf	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/ (- x y) (- 1 y)) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- x y))
0.0ms	x	@	0	((- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/ (- x y) (- 1 y)) (log (- 1 (/ (- x y) (- 1 y)))) (- 1 y) (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (- x y))

simplify1.0ms (0.1%)

Memory

2.5MiB live, 2.5MiB allocated

Algorithm

1×	egg-herbie

Counts

74 → 6

Calls

Call 1

Inputs
(- 1 (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* 1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(- (+ 1 (* x (+ (* x (+ (* 1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y)))))) (log (+ 1 (/ y (- 1 y)))))
(* -1 (/ y (- 1 y)))
(+ (* -1 (/ y (- 1 y))) (/ x (- 1 y)))
(log (+ 1 (/ y (- 1 y))))
(+ (log (+ 1 (/ y (- 1 y)))) (* -1 (/ x (* (+ 1 (/ y (- 1 y))) (- 1 y)))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* -1/2 (/ x (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(+ (log (+ 1 (/ y (- 1 y)))) (* x (- (* x (- (* -1/3 (/ x (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)))) (* 1/2 (/ 1 (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)))))) (/ 1 (* (+ 1 (/ y (- 1 y))) (- 1 y))))))
(* -1 y)
(- x y)
(- 1 (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x)))))
(- (+ 1 (* 1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)))))
(- (+ 1 (* 1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))) (+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2)))))))
(/ x (- 1 y))
(* x (+ (* -1 (/ y (* x (- 1 y)))) (/ 1 (- 1 y))))
(+ (log (neg (/ 1 (- 1 y)))) (* -1 (log (/ 1 x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))))))
(+ (log (neg (/ 1 (- 1 y)))) (+ (* -1 (log (/ 1 x))) (+ (* -1 (/ (* (+ 1 (/ y (- 1 y))) (- 1 y)) x)) (+ (* -1/2 (/ (* (pow (+ 1 (/ y (- 1 y))) 2) (pow (- 1 y) 2)) (pow x 2))) (* -1/3 (/ (* (pow (+ 1 (/ y (- 1 y))) 3) (pow (- 1 y) 3)) (pow x 3)))))))
x
(* x (+ 1 (* -1 (/ y x))))
(- 1 (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x)) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(- (+ 1 (* -1 (/ (- (* -1 (/ (- (* 1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x)) (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))) (+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x)))))
(* -1 (* x (- (/ y (* x (- 1 y))) (/ 1 (- 1 y)))))
(+ (log (/ 1 (- 1 y))) (* -1 (log (/ -1 x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (* (- 1 y) (- 1 (* -1 (/ y (- 1 y))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* 1/2 (/ (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2)) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(+ (log (/ 1 (- 1 y))) (+ (* -1 (log (/ -1 x))) (* -1 (/ (+ (* -1 (/ (+ (* -1/2 (* (pow (- 1 y) 2) (pow (- 1 (* -1 (/ y (- 1 y)))) 2))) (* -1/3 (/ (* (pow (- 1 y) 3) (pow (- 1 (* -1 (/ y (- 1 y)))) 3)) x))) x)) (* (- 1 y) (- 1 (* -1 (/ y (- 1 y)))))) x))))
(* -1 (* x (- (/ y x) 1)))
(- 1 (log (- 1 x)))
(- (+ 1 (* -1 (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* -1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(- (+ 1 (* y (- (* y (- (* -1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))) (log (- 1 x)))
(+ x (* -1 (* y (+ 1 (* -1 x)))))
(+ x (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(+ x (* y (- (* y (- (* -1 (* y (+ 1 (* -1 x)))) (+ 1 (* -1 x)))) (+ 1 (* -1 x)))))
(log (- 1 x))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (/ 1 (- 1 x)))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* 1/2 (* y (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) (/ 1 (- 1 x))))))
(+ (log (- 1 x)) (* y (+ (* -1 (/ x (- 1 x))) (+ (* y (+ (* 1/6 (* y (+ (* -6 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (+ 1 (* -1 x)) 3) (pow (- 1 x) 3))) (* 6 (/ (+ 1 (* -1 x)) (- 1 x))))))) (* 1/2 (+ (* -1 (/ (pow (+ 1 (* -1 x)) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x))))))) (/ 1 (- 1 x))))))
1
(+ 1 (* -1 y))
(+ x (* -1 y))
(- 1 (+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y))))
(- (+ 1 (/ x (* y (+ 1 (* -1 x))))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (/ 1 (* y (+ 1 (* -1 x)))))))
(- (+ 1 (* -1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))))))
(- (+ 1 (* -1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3)))) (+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(+ 1 (+ (* -1 (/ x y)) (/ 1 y)))
(+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 2))) (+ (/ 1 y) (/ 1 (pow y 2))))))
(- (+ 1 (+ (* -1 (/ x y)) (+ (* -1 (/ x (pow y 3))) (+ (/ 1 y) (/ 1 (pow y 3)))))) (* -1 (/ (+ 1 (* -1 x)) (pow y 2))))
(+ (log (neg (+ 1 (* -1 x)))) (log (/ 1 y)))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (* -1 (/ (- x 1) (* y (+ 1 (* -1 x)))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2))))))
(+ (log (neg (+ 1 (* -1 x)))) (+ (log (/ 1 y)) (+ (* -1 (/ (- x 1) (* y (+ 1 (* -1 x))))) (+ (* 1/6 (/ (+ (* -6 (/ (- x 1) (+ 1 (* -1 x)))) (+ (* -6 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2))) (* -2 (/ (pow (- x 1) 3) (pow (+ 1 (* -1 x)) 3))))) (pow y 3))) (* 1/2 (/ (+ (* -2 (/ (- x 1) (+ 1 (* -1 x)))) (* -1 (/ (pow (- x 1) 2) (pow (+ 1 (* -1 x)) 2)))) (pow y 2)))))))
(* y (- (/ 1 y) 1))
(* y (- (/ x y) 1))
(- 1 (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (/ 1 (- 1 x)) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* 1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(- (+ 1 (* -1 (/ (- (+ (* -1 (/ (- (* 1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ 1 (- 1 x))) (/ x (- 1 x))) y))) (+ (log (- 1 x)) (log (/ -1 y))))
(+ 1 (* -1 (/ (- x 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- 1 x) y))) 1) y)))
(+ 1 (* -1 (/ (- (+ x (* -1 (/ (- (+ 1 (* -1 (/ (- x 1) y))) x) y))) 1) y)))
(+ (log (- 1 x)) (log (/ -1 y)))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (/ x (- 1 x)) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1/2 (/ (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(+ (log (- 1 x)) (+ (log (/ -1 y)) (* -1 (/ (- (+ (* -1 (/ (+ (* -1/6 (/ (+ (* -6 (/ (* (+ 1 (* -1 x)) (- x 1)) (pow (- 1 x) 2))) (+ (* 2 (/ (pow (- x 1) 3) (pow (- 1 x) 3))) (* 6 (/ (- x 1) (- 1 x))))) y)) (* 1/2 (+ (* -1 (/ (pow (- x 1) 2) (pow (- 1 x) 2))) (* 2 (/ (+ 1 (* -1 x)) (- 1 x)))))) y)) (/ x (- 1 x))) (/ 1 (- 1 x))) y))))
(* -1 (* y (- 1 (/ 1 y))))
(* -1 (* y (+ 1 (* -1 (/ x y)))))

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

rewrite0.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 2.3MiB live, 2.3MiB allocated
Compiler: Compiled 324 to 23 computations (92.9% saved)

prune11.0ms (0.5%)

Memory

-27.4MiB live, 9.9MiB allocated

Pruning

5 alts after pruning (0 fresh and 5 done)

	Pruned	Kept	Total
New	11	0	11
Fresh	0	0	0
Picked	0	2	2
Done	0	3	3
Total	11	5	16

Accuracy

76.1%

Counts

16 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	73.1%	(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))
✓	2.8%	(-.f64 #s(literal 1 binary64) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y)))
✓	7.4%	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
✓	4.4%	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (-.f64 x y))
✓	44.9%	#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))))

Compiler

Compiled 220 to 83 computations (62.3% saved)

regimes14.0ms (0.6%)

Memory

26.8MiB live, 26.8MiB allocated

Counts

6 → 2

Calls

Call 1

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

Outputs

(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))

#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))

Calls

6 calls:

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

Results

Accuracy	Segments	Branch
73.1%	1	`x`
73.1%	1	`y`
76.1%	2	`(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))`
76.1%	2	`(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))`
76.1%	2	`(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))`
76.1%	2	`(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))`

Compiler

Compiled 40 to 34 computations (15% saved)

regimes20.0ms (0.9%)

Memory

-29.5MiB live, 24.5MiB allocated

Counts

5 → 2

Calls

Call 1

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

Outputs

#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))

#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))))

Calls

6 calls:

9.0ms	(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))
2.0ms	y
2.0ms	(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))
2.0ms	x
2.0ms	(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))

Results

Accuracy	Segments	Branch
44.9%	1	`x`
47.5%	2	`y`
47.6%	2	`(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))`
47.6%	2	`(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))`
47.6%	2	`(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))`
47.6%	2	`(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))`

Compiler

Compiled 40 to 34 computations (15% saved)

regimes8.0ms (0.4%)

Memory

15.9MiB live, 15.9MiB allocated

Accuracy

Total -27.6b remaining (-78.2%)

Threshold costs -27.6b (-78.2%)

Counts

3 → 1

Calls

Call 1

Inputs

#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))))

#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (-.f64 x y))

(-.f64 #s(literal 1 binary64) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y)))

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

Calls

5 calls:

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

Results

Accuracy	Segments	Branch
44.9%	1	`y`
44.9%	1	`(-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))))`
44.9%	1	`(/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))`
44.9%	1	`(log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))`
44.9%	1	`(-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)))`

Compiler

Compiled 39 to 32 computations (17.9% saved)

bsearch0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	0.9999999999979322	1.0

Compiler

Compiled 15 to 15 computations (0% saved)

bsearch0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	left-value

Steps

Time	Left	Right
0.0ms	1.9568529002755852e-6	0.8451934026638064

Compiler

Compiled 15 to 15 computations (0% saved)

simplify6.0ms (0.3%)

Memory

-29.5MiB live, 9.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

(if (<=.f64 (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)) #s(literal 9007199254722367/9007199254740992 binary64)) (-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))) #s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))

(if (<=.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))) #s(literal 4722366482869645/2361183241434822606848 binary64)) #s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))) #s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y)))))

#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))))

Outputs

(if (<=.f64 (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y)) #s(literal 9007199254722367/9007199254740992 binary64)) (-.f64 #s(literal 1 binary64) (log.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))) #s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))))

(if (<=.f64 (-.f64 #s(literal 1 binary64) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))) #s(literal 4722366482869645/2361183241434822606848 binary64)) #s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) (/.f64 (-.f64 x y) (-.f64 #s(literal 1 binary64) y))) #s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y)))))

#s(approx (- 1 (log (- 1 (/ (- x y) (- 1 y))))) #s(approx (/ (- x y) (- 1 y)) #s(approx (log (- 1 (/ (- x y) (- 1 y)))) (-.f64 #s(literal 1 binary64) y))))

soundness1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Stop Event

1×

done

Compiler

Compiled 144 to 26 computations (81.9% saved)

preprocess35.0ms (1.7%)

Memory: 21.6MiB live, 59.8MiB allocated
Compiler: Compiled 418 to 118 computations (71.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze157.0ms (7.3%)

sample1.5s (70.5%)

explain169.0ms (7.9%)

preprocess3.0ms (0.1%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize51.0ms (2.4%)

series15.0ms (0.7%)

simplify2.0ms (0.1%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune3.0ms (0.2%)

simplify1.0ms (0%)

localize55.0ms (2.6%)

series8.0ms (0.4%)

simplify2.0ms (0.1%)

rewrite1.0ms (0%)

eval2.0ms (0.1%)

prune3.0ms (0.1%)

simplify0.0ms (0%)

localize53.0ms (2.5%)

series4.0ms (0.2%)

simplify1.0ms (0.1%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune11.0ms (0.5%)

regimes14.0ms (0.6%)

regimes20.0ms (0.9%)

regimes8.0ms (0.4%)

bsearch0.0ms (0%)

bsearch0.0ms (0%)

simplify6.0ms (0.3%)

soundness1.0ms (0%)

preprocess35.0ms (1.7%)

end0.0ms (0%)

Profiling