Metrics for Logistic regression 2

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze68.0ms (4.5%)

Memory

23.0MiB live, 102.7MiB 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
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
75%	74.9%	25%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
75%	74.9%	25%	0.1%	0%	0%	0%	6
75%	74.9%	25%	0.1%	0%	0%	0%	7
75%	74.9%	25%	0.1%	0%	0%	0%	8
75%	74.9%	25%	0.1%	0%	0%	0%	9
75%	74.9%	25%	0.1%	0%	0%	0%	10
75%	74.9%	25%	0.1%	0%	0%	0%	11
75%	74.9%	25%	0.1%	0%	0%	0%	12

Compiler

Compiled 11 to 8 computations (27.3% saved)

sample1.1s (72.7%)

Memory

-28.3MiB live, 1 368.1MiB allocated

Samples

490.0ms	8 256×	0	valid
222.0ms	2 647×	1	exit

Precisions

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

ival-log1p: 126.0ms (29% of total)

ival-exp: 103.0ms (23.7% of total)

ival-mult: 91.0ms (20.9% of total)

ival-sub: 57.0ms (13.1% of total)

adjust: 44.0ms (10.1% of total)

ival-true: 9.0ms (2.1% of total)

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

Bogosity

explain96.0ms (6.3%)

Memory

25.7MiB live, 103.4MiB allocated

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Example	Subexpression
3	77	(-2.557408446881044e+167 3.4960537325408685e-121)	-	`(log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x)))`
0	0	-	-	`(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))`
0	0	-	-	`(+.f64 #s(literal 1 binary64) (exp.f64 x))`
0	0	-	-	`y`
0	0	-	-	`#s(literal 1 binary64)`
0	0	-	-	`(exp.f64 x)`
0	0	-	-	`(*.f64 x y)`
0	0	-	-	`x`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x)))`	sensitivity	77	0
`log.f64`	`(log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x)))`	oflow-rescue	3	0
↳	`(exp.f64 x)`	overflow	3
↳	`(+.f64 #s(literal 1 binary64) (exp.f64 x))`	overflow	3

Confusion

	Predicted +	Predicted -
+	3	0
-	77	176

Precision

0.0375

Recall

1.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	3	0	0
-	77	0	176

Precision?

0.0375

Recall?

1.0

Freqs

test

number	freq
0	176
1	80

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

35.0ms

512×

valid

Compiler

Compiled 91 to 36 computations (60.4% saved)

Precisions

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

ival-log1p: 6.0ms (29.4% of total)

ival-exp: 5.0ms (24.5% of total)

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

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

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

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

exact: 0.0ms (0% of total)

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

preprocess3.0ms (0.2%)

Memory

3.8MiB live, 3.8MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

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

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

Compiler

Compiled 9 to 8 computations (11.1% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	98.8%	(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))

Compiler

Compiled 9 to 8 computations (11.1% saved)

simplify0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

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

Calls

Call 1

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

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

localize24.0ms (1.6%)

Memory

-14.5MiB live, 23.7MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0.0	(exp.f64 x)
accuracy	0.0078125	(+.f64 #s(literal 1 binary64) (exp.f64 x))
accuracy	0.015625	(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
accuracy	0.7341644523109889	(log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x)))

Samples

18.0ms

256×

valid

Compiler

Compiled 54 to 18 computations (66.7% saved)

Precisions

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

ival-log1p: 4.0ms (36.8% of total)

ival-exp: 2.0ms (18.4% of total)

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

ival-sub: 1.0ms (9.2% of total)

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

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

exact: 0.0ms (0% of total)

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

series53.0ms (3.5%)

Memory

8.5MiB live, 49.4MiB allocated

Counts

4 → 24

Calls

Call 1

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

Outputs
(log 2)
(+ (log 2) (* x (- 1/2 y)))
(+ (log 2) (* x (- (+ 1/2 (* 1/8 x)) y)))
(+ (log 2) (* x (- (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2))))) y)))
(+ (log 2) (* 1/2 x))
(+ (log 2) (* x (+ 1/2 (* 1/8 x))))
(+ (log 2) (* x (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2)))))))
2
(+ 2 x)
(+ 2 (* x (+ 1 (* 1/2 x))))
(+ 2 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(* -1 (* x y))
(* x (- (/ (log (+ 1 (exp x))) x) y))
(log (+ 1 (exp x)))
(+ 1 (exp x))
(exp x)
(* -1 (* x (- (* -1 (/ (log (+ 1 (exp x))) x)) (* -1 y))))
(+ (log (+ 1 (exp x))) (* -1 (* x y)))
(* y (- (/ (log (+ 1 (exp x))) y) x))
(* -1 (* y (- (* -1 (/ (log (+ 1 (exp x))) y)) (* -1 x))))

Calls

6 calls:

Time	Variable		Point	Expression
28.0ms	x	@	inf	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x))
19.0ms	x	@	-inf	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x))
3.0ms	y	@	0	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x))
1.0ms	y	@	-inf	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x))
1.0ms	y	@	inf	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x))

simplify0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Counts

24 → 4

Calls

Call 1

Inputs
(log 2)
(+ (log 2) (* x (- 1/2 y)))
(+ (log 2) (* x (- (+ 1/2 (* 1/8 x)) y)))
(+ (log 2) (* x (- (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2))))) y)))
(+ (log 2) (* 1/2 x))
(+ (log 2) (* x (+ 1/2 (* 1/8 x))))
(+ (log 2) (* x (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2)))))))
2
(+ 2 x)
(+ 2 (* x (+ 1 (* 1/2 x))))
(+ 2 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(* -1 (* x y))
(* x (- (/ (log (+ 1 (exp x))) x) y))
(log (+ 1 (exp x)))
(+ 1 (exp x))
(exp x)
(* -1 (* x (- (* -1 (/ (log (+ 1 (exp x))) x)) (* -1 y))))
(+ (log (+ 1 (exp x))) (* -1 (* x y)))
(* y (- (/ (log (+ 1 (exp x))) y) x))
(* -1 (* y (- (* -1 (/ (log (+ 1 (exp x))) y)) (* -1 x))))

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

rewrite0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Counts

4 → 4

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 1.3MiB live, 1.3MiB allocated
Compiler: Compiled 96 to 18 computations (81.3% saved)

prune2.0ms (0.1%)

Memory

2.1MiB live, 2.1MiB allocated

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	5	3	8
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	5	4	9

Accuracy

98.8%

Counts

9 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.8%	(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
▶	10.4%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (+.f64 #s(literal 1 binary64) (exp.f64 x)))
▶	50.7%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))))
▶	11.4%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (exp.f64 x))

Compiler

Compiled 50 to 43 computations (14% saved)

simplify1.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 9 expressions of interest:

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

Calls

Call 1

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

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

localize29.0ms (1.9%)

Memory

-9.9MiB live, 26.8MiB allocated

Localize:

Found 9 expressions of interest:

New	Metric	Score
accuracy	0.0	(exp.f64 x)
accuracy	0.0078125	(+.f64 #s(literal 1 binary64) (exp.f64 x))
accuracy	57.3190334577039	#s(approx (- (log (+ 1 (exp x))) (* x y)) (+.f64 #s(literal 1 binary64) (exp.f64 x)))
accuracy	0.0	(exp.f64 x)
accuracy	0.0078125	(+.f64 #s(literal 1 binary64) (exp.f64 x))
accuracy	0.7341644523109889	(log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x)))
accuracy	30.888108530392024	#s(approx (- (log (+ 1 (exp x))) (* x y)) (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))))
accuracy	0.0	(exp.f64 x)
accuracy	56.68131178405784	#s(approx (- (log (+ 1 (exp x))) (* x y)) (exp.f64 x))

Samples

21.0ms

256×

valid

Compiler

Compiled 118 to 25 computations (78.8% saved)

Precisions

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

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

ival-log1p: 3.0ms (23.7% of total)

ival-exp: 2.0ms (15.8% of total)

ival-sub: 1.0ms (7.9% of total)

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

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

exact: 0.0ms (0% of total)

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

series18.0ms (1.2%)

Memory

-14.0MiB live, 24.7MiB allocated

Counts

6 → 24

Calls

Call 1

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

Outputs
(log 2)
(+ (log 2) (* x (- 1/2 y)))
(+ (log 2) (* x (- (+ 1/2 (* 1/8 x)) y)))
(+ (log 2) (* x (- (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2))))) y)))
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(+ (log 2) (* 1/2 x))
(+ (log 2) (* x (+ 1/2 (* 1/8 x))))
(+ (log 2) (* x (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2)))))))
2
(+ 2 x)
(+ 2 (* x (+ 1 (* 1/2 x))))
(+ 2 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(* -1 (* x y))
(* x (- (/ (log (+ 1 (exp x))) x) y))
(exp x)
(log (+ 1 (exp x)))
(+ 1 (exp x))
(* -1 (* x (- (* -1 (/ (log (+ 1 (exp x))) x)) (* -1 y))))
(+ (log (+ 1 (exp x))) (* -1 (* x y)))
(* y (- (/ (log (+ 1 (exp x))) y) x))
(* -1 (* y (- (* -1 (/ (log (+ 1 (exp x))) y)) (* -1 x))))

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	x	@	inf	((- (log (+ 1 (exp x))) (* x y)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (- (log (+ 1 (exp x))) (* x y)))
6.0ms	x	@	-inf	((- (log (+ 1 (exp x))) (* x y)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (- (log (+ 1 (exp x))) (* x y)))
2.0ms	y	@	inf	((- (log (+ 1 (exp x))) (* x y)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (- (log (+ 1 (exp x))) (* x y)))
1.0ms	y	@	0	((- (log (+ 1 (exp x))) (* x y)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (- (log (+ 1 (exp x))) (* x y)))
1.0ms	y	@	-inf	((- (log (+ 1 (exp x))) (* x y)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (- (log (+ 1 (exp x))) (* x y)))

simplify0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Algorithm

1×	egg-herbie

Counts

24 → 6

Calls

Call 1

Inputs
(log 2)
(+ (log 2) (* x (- 1/2 y)))
(+ (log 2) (* x (- (+ 1/2 (* 1/8 x)) y)))
(+ (log 2) (* x (- (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2))))) y)))
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(+ (log 2) (* 1/2 x))
(+ (log 2) (* x (+ 1/2 (* 1/8 x))))
(+ (log 2) (* x (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2)))))))
2
(+ 2 x)
(+ 2 (* x (+ 1 (* 1/2 x))))
(+ 2 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(* -1 (* x y))
(* x (- (/ (log (+ 1 (exp x))) x) y))
(exp x)
(log (+ 1 (exp x)))
(+ 1 (exp x))
(* -1 (* x (- (* -1 (/ (log (+ 1 (exp x))) x)) (* -1 y))))
(+ (log (+ 1 (exp x))) (* -1 (* x y)))
(* y (- (/ (log (+ 1 (exp x))) y) x))
(* -1 (* y (- (* -1 (/ (log (+ 1 (exp x))) y)) (* -1 x))))

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

rewrite0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval2.0ms (0.1%)

Memory: 2.4MiB live, 2.4MiB allocated
Compiler: Compiled 315 to 29 computations (90.8% saved)

prune3.0ms (0.2%)

Memory

4.3MiB live, 4.3MiB allocated

Pruning

6 alts after pruning (2 fresh and 4 done)

	Pruned	Kept	Total
New	15	2	17
Fresh	0	0	0
Picked	0	3	3
Done	0	1	1
Total	15	6	21

Accuracy

98.8%

Counts

21 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.8%	(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
✓	10.4%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (+.f64 #s(literal 1 binary64) (exp.f64 x)))
▶	10.1%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x)))))
✓	50.7%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))))
▶	11.7%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (log.f64 (+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x))))))
✓	11.4%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (exp.f64 x))

Compiler

Compiled 89 to 72 computations (19.1% saved)

simplify1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 8 expressions of interest:

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

Calls

Call 1

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

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

localize27.0ms (1.8%)

Memory

-10.7MiB live, 27.9MiB allocated

Localize:

Found 8 expressions of interest:

New	Metric	Score
accuracy	0.0078125	(+.f64 #s(literal 1 binary64) (exp.f64 x))
accuracy	0.0078125	(+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x))))
accuracy	54.193737162410585	#s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x)))
accuracy	57.3190334577039	#s(approx (- (log (+ 1 (exp x))) (* x y)) (+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x)))))
accuracy	0.0078125	(+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x))))
accuracy	0.7341644523109889	(log.f64 (+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x)))))
accuracy	30.888108530392024	#s(approx (- (log (+ 1 (exp x))) (* x y)) (log.f64 (+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x))))))
accuracy	54.193737162410585	#s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x)))

Samples

18.0ms

256×

valid

Compiler

Compiled 150 to 26 computations (82.7% saved)

Precisions

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

ival-log1p: 3.0ms (31% of total)

ival-exp: 2.0ms (20.7% of total)

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

ival-sub: 1.0ms (10.3% of total)

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

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

exact: 0.0ms (0% of total)

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

series17.0ms (1.1%)

Memory

24.4MiB live, 24.4MiB allocated

Counts

6 → 24

Calls

Call 1

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

Outputs
(log 2)
(+ (log 2) (* x (- 1/2 y)))
(+ (log 2) (* x (- (+ 1/2 (* 1/8 x)) y)))
(+ (log 2) (* x (- (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2))))) y)))
(+ (log 2) (* 1/2 x))
(+ (log 2) (* x (+ 1/2 (* 1/8 x))))
(+ (log 2) (* x (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2)))))))
2
(+ 2 x)
(+ 2 (* x (+ 1 (* 1/2 x))))
(+ 2 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(* -1 (* x y))
(* x (- (/ (log (+ 1 (exp x))) x) y))
(log (+ 1 (exp x)))
(+ 1 (exp x))
(exp x)
(* -1 (* x (- (* -1 (/ (log (+ 1 (exp x))) x)) (* -1 y))))
(+ (log (+ 1 (exp x))) (* -1 (* x y)))
(* y (- (/ (log (+ 1 (exp x))) y) x))
(* -1 (* y (- (* -1 (/ (log (+ 1 (exp x))) y)) (* -1 x))))

Calls

6 calls:

Time	Variable		Point	Expression
6.0ms	x	@	-inf	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (+ 1 (exp x)))
6.0ms	x	@	inf	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (+ 1 (exp x)))
1.0ms	y	@	0	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (+ 1 (exp x)))
1.0ms	y	@	-inf	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (+ 1 (exp x)))
1.0ms	y	@	inf	((- (log (+ 1 (exp x))) (* x y)) (log (+ 1 (exp x))) (+ 1 (exp x)) (exp x) (- (log (+ 1 (exp x))) (* x y)) (+ 1 (exp x)))

simplify0.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Algorithm

1×	egg-herbie

Counts

24 → 6

Calls

Call 1

Inputs
(log 2)
(+ (log 2) (* x (- 1/2 y)))
(+ (log 2) (* x (- (+ 1/2 (* 1/8 x)) y)))
(+ (log 2) (* x (- (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2))))) y)))
(+ (log 2) (* 1/2 x))
(+ (log 2) (* x (+ 1/2 (* 1/8 x))))
(+ (log 2) (* x (+ 1/2 (* x (+ 1/8 (* -1/192 (pow x 2)))))))
2
(+ 2 x)
(+ 2 (* x (+ 1 (* 1/2 x))))
(+ 2 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
1
(+ 1 x)
(+ 1 (* x (+ 1 (* 1/2 x))))
(+ 1 (* x (+ 1 (* x (+ 1/2 (* 1/6 x))))))
(* -1 (* x y))
(* x (- (/ (log (+ 1 (exp x))) x) y))
(log (+ 1 (exp x)))
(+ 1 (exp x))
(exp x)
(* -1 (* x (- (* -1 (/ (log (+ 1 (exp x))) x)) (* -1 y))))
(+ (log (+ 1 (exp x))) (* -1 (* x y)))
(* y (- (/ (log (+ 1 (exp x))) y) x))
(* -1 (* y (- (* -1 (/ (log (+ 1 (exp x))) y)) (* -1 x))))

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

rewrite0.0ms (0%)

Memory

0.6MiB live, 0.6MiB allocated

Counts

6 → 6

Calls

Call 1

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

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

eval1.0ms (0.1%)

Memory: 1.9MiB live, 1.9MiB allocated
Compiler: Compiled 278 to 22 computations (92.1% saved)

prune3.0ms (0.2%)

Memory

4.5MiB live, 4.5MiB allocated

Pruning

6 alts after pruning (0 fresh and 6 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	0	0
Picked	0	2	2
Done	0	4	4
Total	13	6	19

Accuracy

98.8%

Counts

19 → 6

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	98.8%	(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))
✓	10.4%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (+.f64 #s(literal 1 binary64) (exp.f64 x)))
✓	10.1%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x)))))
✓	50.7%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))))
✓	11.7%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (log.f64 (+.f64 #s(literal 1 binary64) #s(approx (exp x) (+.f64 #s(literal 1 binary64) (exp.f64 x))))))
✓	11.4%	#s(approx (- (log (+ 1 (exp x))) (* x y)) (exp.f64 x))

Compiler

Compiled 178 to 94 computations (47.2% saved)

regimes12.0ms (0.8%)

Memory

-29.5MiB live, 10.9MiB allocated

Counts

6 → 1

Calls

Call 1

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

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

Calls

3 calls:

6.0ms	x
2.0ms	y
2.0ms	(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))

Results

Accuracy	Segments	Branch
98.8%	1	`x`
98.8%	1	`y`
98.8%	1	`(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes7.0ms (0.5%)

Memory

9.9MiB live, 9.9MiB allocated

Counts

5 → 1

Calls

Call 1

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

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

Calls

3 calls:

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

Results

Accuracy	Segments	Branch
50.7%	1	`x`
50.7%	1	`y`
50.7%	1	`(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

regimes5.0ms (0.3%)

Memory

8.2MiB live, 8.2MiB allocated

Accuracy

Total -1.1b remaining (-1.9%)

Threshold costs -1.1b (-1.9%)

Counts

3 → 1

Calls

Call 1

Inputs

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

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

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

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

Calls

3 calls:

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

Results

Accuracy	Segments	Branch
11.4%	1	`y`
11.4%	1	`x`
11.4%	1	`(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))`

Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify5.0ms (0.3%)

Memory

7.0MiB live, 7.0MiB allocated

Algorithm

1×	egg-herbie

Calls

Call 1

Inputs

(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))

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

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

Outputs

(-.f64 (log.f64 (+.f64 #s(literal 1 binary64) (exp.f64 x))) (*.f64 x y))

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

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

soundness1.0ms (0%)

Memory

0.8MiB live, 0.8MiB allocated

Stop Event

1×

done

Compiler

Compiled 36 to 16 computations (55.6% saved)

preprocess32.0ms (2.1%)

Memory: 0.8MiB live, 39.5MiB allocated
Compiler: Compiled 142 to 84 computations (40.8% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

start0.0ms (0%)

analyze68.0ms (4.5%)

sample1.1s (72.7%)

explain96.0ms (6.3%)

preprocess3.0ms (0.2%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify0.0ms (0%)

localize24.0ms (1.6%)

series53.0ms (3.5%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune2.0ms (0.1%)

simplify1.0ms (0%)

localize29.0ms (1.9%)

series18.0ms (1.2%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval2.0ms (0.1%)

prune3.0ms (0.2%)

simplify1.0ms (0%)

localize27.0ms (1.8%)

series17.0ms (1.1%)

simplify0.0ms (0%)

rewrite0.0ms (0%)

eval1.0ms (0.1%)

prune3.0ms (0.2%)

regimes12.0ms (0.8%)

regimes7.0ms (0.5%)

regimes5.0ms (0.3%)

simplify5.0ms (0.3%)

soundness1.0ms (0%)

preprocess32.0ms (2.1%)

end0.0ms (0%)

Profiling