Metrics for Jmat.Real.lambertw, estimator

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated

analyze2.0ms (0%)

Memory

3.9MiB live, 3.9MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	100%	0%	0%	0%	0%	0
0%	0%	100%	0%	0%	0%	0%	1
0%	0%	50%	0%	0%	50%	0%	2
50%	25%	25%	0%	0%	50%	0%	3
66.7%	25%	12.5%	0%	0%	62.5%	0%	4
80%	25%	6.2%	0%	0%	68.7%	0%	5
88.9%	25%	3.1%	0%	0%	71.8%	0%	6
94.1%	25%	1.6%	0%	0%	73.4%	0%	7
97%	25%	0.8%	0%	0%	74.2%	0%	8
98.5%	25%	0.4%	0%	0%	74.6%	0%	9
99.2%	25%	0.2%	0%	0%	74.8%	0%	10
99.6%	25%	0.1%	0%	0%	74.9%	0%	11
99.8%	25%	0%	0%	0%	74.9%	0%	12

Compiler

Compiled 8 to 6 computations (25% saved)

sample787.0ms (22.7%)

Memory

20.2MiB live, 1 407.3MiB allocated

Samples

553.0ms	8 256×	0	valid
1.0ms	17×	0	invalid

Precisions

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

ival-log: 315.0ms (80.5% of total)

ival-sub: 68.0ms (17.4% of total)

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

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

Bogosity

explain116.0ms (3.3%)

Memory

-37.2MiB live, 93.9MiB allocated

FPErrors

Click to see full error table

Example	Example	Subexpression
-	-	`(log.f64 (log.f64 x))`
-	-	`(log.f64 x)`
-	-	`(-.f64 (log.f64 x) (log.f64 (log.f64 x)))`
-	-	`x`

Confusion

	Predicted +	Predicted -
+	0	0
-	0	256

Precision

0/0

Recall

0/0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	0
-	0	0	256

Precision?

0/0

Recall?

0/0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0/0

Samples

30.0ms

512×

valid

Compiler

Compiled 46 to 20 computations (56.5% saved)

Precisions

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

ival-log: 16.0ms (81.7% of total)

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

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

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

preprocess17.0ms (0.5%)

Memory

23.1MiB live, 23.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	14	17
2	33	16
3	61	16
4	106	16
5	152	16
6	169	16
7	177	16
0	4	6
0	7	6
1	9	6
2	14	6
3	20	6
4	28	6
5	43	6
6	76	6
7	101	6
8	143	6
9	158	6
10	166	6
0	166	6

Stop Event

1×	iter limit
1×	saturated
1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Outputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 6 to 4 computations (33.3% saved)

eval0.0ms (0%)

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

prune0.0ms (0%)

Memory

0.7MiB live, 0.7MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Compiler

Compiled 6 to 4 computations (33.3% saved)

simplify6.0ms (0.2%)

Memory

9.4MiB live, 9.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(log.f64 (log.f64 x))
cost-diff	0	(log.f64 x)
cost-diff	0	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	12
0	7	12
1	9	12
2	14	12
3	20	12
4	28	12
5	43	12
6	76	12
7	101	12
8	143	12
9	158	12
10	166	12
0	166	12

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(log.f64 x)
x
(log.f64 (log.f64 x))

Outputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(log.f64 x)
x
(log.f64 (log.f64 x))

localize38.0ms (1.1%)

Memory

-13.8MiB live, 23.9MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score
accuracy	0	(log.f64 x)
accuracy	0.0703125	(log.f64 (log.f64 x))
accuracy	0.27734375	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))

Samples

34.0ms

256×

valid

Compiler

Compiled 26 to 10 computations (61.5% saved)

Precisions

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

ival-log: 9.0ms (83.4% of total)

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

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

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

series170.0ms (4.9%)

Memory

5.0MiB live, 159.8MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())
#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())
#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())

Inputs

#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())

#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())

#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())

Outputs
#s(alt (- (log x) (log (log x))) (taylor 0 x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (log x) (log (log x))) (taylor 0 x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (log x) (log (log x))) (taylor 0 x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (log x) (log (log x))) (taylor 0 x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log (log x)) (taylor 0 x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (log x)) (taylor 0 x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (log x)) (taylor 0 x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (log x)) (taylor 0 x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (log (/ 1 x))) (log (* -1 (log (/ 1 x))))) (taylor inf x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (log (/ 1 x))) (log (* -1 (log (/ 1 x))))) (taylor inf x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (log (/ 1 x))) (log (* -1 (log (/ 1 x))))) (taylor inf x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (* -1 (log (/ 1 x))) (log (* -1 (log (/ 1 x))))) (taylor inf x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (log (/ -1 x)))) (log (+ (log -1) (* -1 (log (/ -1 x)))))) (taylor -inf x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (log (/ -1 x)))) (log (+ (log -1) (* -1 (log (/ -1 x)))))) (taylor -inf x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (log (/ -1 x)))) (log (+ (log -1) (* -1 (log (/ -1 x)))))) (taylor -inf x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (- (+ (log -1) (* -1 (log (/ -1 x)))) (log (+ (log -1) (* -1 (log (/ -1 x)))))) (taylor -inf x) (#s(alt (-.f64 (log.f64 x) (log.f64 (log.f64 x))) (patch (-.f64 (log.f64 x) (log.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (log.f64 (log.f64 x)) (patch (log.f64 (log.f64 x)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
62.0ms	x	@	0	((- (log x) (log (log x))) (log x) (log (log x)))
62.0ms	x	@	-inf	((- (log x) (log (log x))) (log x) (log (log x)))
45.0ms	x	@	inf	((- (log x) (log (log x))) (log x) (log (log x)))

simplify39.0ms (1.1%)

Memory

-20.2MiB live, 20.1MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	228
1	34	212
2	60	212
3	125	212
4	243	212
5	342	212
6	442	212
7	486	212
8	493	212
0	493	212

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

Inputs
(- (log x) (log (log x)))
(- (log x) (log (log x)))
(- (log x) (log (log x)))
(- (log x) (log (log x)))
(log x)
(log x)
(log x)
(log x)
(log (log x))
(log (log x))
(log (log x))
(log (log x))
(- (* -1 (log (/ 1 x))) (log (* -1 (log (/ 1 x)))))
(- (* -1 (log (/ 1 x))) (log (* -1 (log (/ 1 x)))))
(- (* -1 (log (/ 1 x))) (log (* -1 (log (/ 1 x)))))
(- (* -1 (log (/ 1 x))) (log (* -1 (log (/ 1 x)))))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(log (* -1 (log (/ 1 x))))
(log (* -1 (log (/ 1 x))))
(log (* -1 (log (/ 1 x))))
(log (* -1 (log (/ 1 x))))
(- (+ (log -1) (* -1 (log (/ -1 x)))) (log (+ (log -1) (* -1 (log (/ -1 x))))))
(- (+ (log -1) (* -1 (log (/ -1 x)))) (log (+ (log -1) (* -1 (log (/ -1 x))))))
(- (+ (log -1) (* -1 (log (/ -1 x)))) (log (+ (log -1) (* -1 (log (/ -1 x))))))
(- (+ (log -1) (* -1 (log (/ -1 x)))) (log (+ (log -1) (* -1 (log (/ -1 x))))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(log (+ (log -1) (* -1 (log (/ -1 x)))))
(log (+ (log -1) (* -1 (log (/ -1 x)))))
(log (+ (log -1) (* -1 (log (/ -1 x)))))
(log (+ (log -1) (* -1 (log (/ -1 x)))))

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

rewrite147.0ms (4.2%)

Memory

7.4MiB live, 198.4MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	11
0	7	10
1	24	10
2	150	10
3	1399	10
0	9715	10

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

3 → 249

Calls

Call 1

Inputs
(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
(log.f64 x)
(log.f64 (log.f64 x))

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval40.0ms (1.1%)

Memory: 11.1MiB live, 84.5MiB allocated
Compiler: Compiled 9 051 to 704 computations (92.2% saved)

prune6.0ms (0.2%)

Memory

21.4MiB live, 21.4MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	321	2	323
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	321	3	324

Accuracy

100.0%

Counts

324 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
▶	100.0%	(neg.f64 (log.f64 (/.f64 (log.f64 x) x)))
▶	24.4%	(log.f64 (*.f64 (log.f64 x) x))

Compiler

Compiled 17 to 13 computations (23.5% saved)

simplify4.0ms (0.1%)

Memory

4.7MiB live, 4.7MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(log.f64 x)
cost-diff	0	(/.f64 (log.f64 x) x)
cost-diff	0	(log.f64 (/.f64 (log.f64 x) x))
cost-diff	0	(neg.f64 (log.f64 (/.f64 (log.f64 x) x)))
cost-diff	0	(log.f64 x)
cost-diff	0	(*.f64 (log.f64 x) x)
cost-diff	0	(log.f64 (*.f64 (log.f64 x) x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	30
0	13	30
1	18	30
2	20	30
3	22	30
4	24	30
5	28	30
6	33	30
0	33	30

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(log.f64 (*.f64 (log.f64 x) x))
(*.f64 (log.f64 x) x)
(log.f64 x)
x
(neg.f64 (log.f64 (/.f64 (log.f64 x) x)))
(log.f64 (/.f64 (log.f64 x) x))
(/.f64 (log.f64 x) x)
(log.f64 x)
x

Outputs
(log.f64 (*.f64 (log.f64 x) x))
(*.f64 (log.f64 x) x)
(log.f64 x)
x
(neg.f64 (log.f64 (/.f64 (log.f64 x) x)))
(log.f64 (/.f64 (log.f64 x) x))
(/.f64 (log.f64 x) x)
(log.f64 x)
x

localize43.0ms (1.2%)

Memory

-14.8MiB live, 33.9MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 (log.f64 (/.f64 (log.f64 x) x)))
accuracy	0	(log.f64 x)
accuracy	0.00390625	(log.f64 (/.f64 (log.f64 x) x))
accuracy	0.31640625	(/.f64 (log.f64 x) x)
accuracy	0	(log.f64 x)
accuracy	0.26953125	(*.f64 (log.f64 x) x)
accuracy	0.972448533248274	(log.f64 (*.f64 (log.f64 x) x))

Samples

24.0ms

256×

valid

Compiler

Compiled 62 to 16 computations (74.2% saved)

Precisions

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

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

ival-div: 2.0ms (11.7% of total)

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

ival-neg: 1.0ms (5.9% of total)

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

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

series98.0ms (2.8%)

Memory

8.3MiB live, 202.9MiB allocated

Counts

6 → 72

Calls

Call 1

Inputs
#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())
#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())
#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())
#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())
#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())
#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())

Outputs
#s(alt (+ (log x) (log (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (* x (log x)) (taylor 0 x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (log x)) (taylor 0 x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (log x)) (taylor 0 x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (log x)) (taylor 0 x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (log x)) (* -1 (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (log x)) (* -1 (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (log x)) (* -1 (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (log x)) (* -1 (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (log x)) (* -1 (log x))) (taylor 0 x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (log x)) (* -1 (log x))) (taylor 0 x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (log x)) (* -1 (log x))) (taylor 0 x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (log x)) (* -1 (log x))) (taylor 0 x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (/ (log x) x) (taylor 0 x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (/ (log x) x) (taylor 0 x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (/ (log x) x) (taylor 0 x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (/ (log x) x) (taylor 0 x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (log (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (log (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (log (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (log (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (log (/ 1 x)) x)) (taylor inf x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (log (/ 1 x)) x)) (taylor inf x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (log (/ 1 x)) x)) (taylor inf x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (log (/ 1 x)) x)) (taylor inf x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (/.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))) (taylor -inf x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))) (taylor -inf x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))) (taylor -inf x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))) (taylor -inf x) (#s(alt (log.f64 (/.f64 (log.f64 x) x)) (patch (log.f64 (/.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (/ (+ (log -1) (* -1 (log (/ -1 x)))) x) (taylor -inf x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (/ (+ (log -1) (* -1 (log (/ -1 x)))) x) (taylor -inf x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (/ (+ (log -1) (* -1 (log (/ -1 x)))) x) (taylor -inf x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (/ (+ (log -1) (* -1 (log (/ -1 x)))) x) (taylor -inf x) (#s(alt (/.f64 (log.f64 x) x) (patch (/.f64 (log.f64 x) x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time	Variable		Point	Expression
39.0ms	x	@	-inf	((log (* (log x) x)) (* (log x) x) (log x) (neg (log (/ (log x) x))) (log (/ (log x) x)) (/ (log x) x))
30.0ms	x	@	0	((log (* (log x) x)) (* (log x) x) (log x) (neg (log (/ (log x) x))) (log (/ (log x) x)) (/ (log x) x))
27.0ms	x	@	inf	((log (* (log x) x)) (* (log x) x) (log x) (neg (log (/ (log x) x))) (log (/ (log x) x)) (/ (log x) x))

Time

Variable

Point

Expression

39.0ms

-inf

((log (* (log x) x)) (* (log x) x) (log x) (neg (log (/ (log x) x))) (log (/ (log x) x)) (/ (log x) x))

30.0ms

((log (* (log x) x)) (* (log x) x) (log x) (neg (log (/ (log x) x))) (log (/ (log x) x)) (/ (log x) x))

27.0ms

inf

((log (* (log x) x)) (* (log x) x) (log x) (neg (log (/ (log x) x))) (log (/ (log x) x)) (/ (log x) x))

simplify38.0ms (1.1%)

Memory

-3.8MiB live, 34.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	34	548
1	96	504
2	172	484
3	311	484
4	602	484
5	937	484
6	1428	456
7	1600	456
8	1611	456
0	1611	456

Stop Event

1×	iter limit
1×	saturated

Counts

72 → 72

Calls

Call 1

Inputs
(+ (log x) (log (log x)))
(+ (log x) (log (log x)))
(+ (log x) (log (log x)))
(+ (log x) (log (log x)))
(* x (log x))
(* x (log x))
(* x (log x))
(* x (log x))
(log x)
(log x)
(log x)
(log x)
(* -1 (+ (log (log x)) (* -1 (log x))))
(* -1 (+ (log (log x)) (* -1 (log x))))
(* -1 (+ (log (log x)) (* -1 (log x))))
(* -1 (+ (log (log x)) (* -1 (log x))))
(+ (log (log x)) (* -1 (log x)))
(+ (log (log x)) (* -1 (log x)))
(+ (log (log x)) (* -1 (log x)))
(+ (log (log x)) (* -1 (log x)))
(/ (log x) x)
(/ (log x) x)
(/ (log x) x)
(/ (log x) x)
(+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(* -1 (* x (log (/ 1 x))))
(* -1 (* x (log (/ 1 x))))
(* -1 (* x (log (/ 1 x))))
(* -1 (* x (log (/ 1 x))))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))))
(+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))
(+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))
(+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))
(+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))
(* -1 (/ (log (/ 1 x)) x))
(* -1 (/ (log (/ 1 x)) x))
(* -1 (/ (log (/ 1 x)) x))
(* -1 (/ (log (/ 1 x)) x))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(* x (+ (log -1) (* -1 (log (/ -1 x)))))
(* x (+ (log -1) (* -1 (log (/ -1 x)))))
(* x (+ (log -1) (* -1 (log (/ -1 x)))))
(* x (+ (log -1) (* -1 (log (/ -1 x)))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))
(/ (+ (log -1) (* -1 (log (/ -1 x)))) x)
(/ (+ (log -1) (* -1 (log (/ -1 x)))) x)
(/ (+ (log -1) (* -1 (log (/ -1 x)))) x)
(/ (+ (log -1) (* -1 (log (/ -1 x)))) x)

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

rewrite159.0ms (4.6%)

Memory

3.2MiB live, 195.4MiB allocated

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	26
0	13	26
1	31	25
2	118	25
3	778	25
4	7873	25
0	8899	25

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

6 → 945

Calls

Call 1

Inputs
(log.f64 (*.f64 (log.f64 x) x))
(*.f64 (log.f64 x) x)
(log.f64 x)
(neg.f64 (log.f64 (/.f64 (log.f64 x) x)))
(log.f64 (/.f64 (log.f64 x) x))
(/.f64 (log.f64 x) x)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval140.0ms (4%)

Memory: 9.2MiB live, 256.4MiB allocated
Compiler: Compiled 22 977 to 2 346 computations (89.8% saved)

prune102.0ms (2.9%)

Memory

-19.9MiB live, 56.2MiB allocated

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	1 064	2	1 066
Fresh	0	0	0
Picked	1	1	2
Done	1	0	1
Total	1 066	3	1 069

Accuracy

100.0%

Counts

1 069 → 3

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(neg.f64 (log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))))
▶	100.0%	(log.f64 (/.f64 x (log.f64 x)))
✓	24.4%	(log.f64 (*.f64 (log.f64 x) x))

Compiler

Compiled 19 to 16 computations (15.8% saved)

simplify16.0ms (0.5%)

Memory

14.4MiB live, 14.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 7 expressions of interest:

New	Metric	Score
cost-diff	0	(/.f64 #s(literal -1 binary64) x)
cost-diff	0	(log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))
cost-diff	0	(neg.f64 (log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))))
cost-diff	448	(*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))
cost-diff	0	(log.f64 x)
cost-diff	0	(/.f64 x (log.f64 x))
cost-diff	0	(log.f64 (/.f64 x (log.f64 x)))

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	10	46
0	18	46
1	28	43
2	48	37
3	80	37
4	155	37
5	219	37
6	391	37
7	546	37
8	561	37
9	563	37
10	577	37
11	589	37
0	589	37

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

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

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

localize43.0ms (1.2%)

Memory

-26.4MiB live, 57.7MiB allocated

Localize:

Found 7 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 (log.f64 x))
accuracy	0	(log.f64 x)
accuracy	0.00390625	(log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))
accuracy	0.33888627930532605	(*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))
accuracy	0	(log.f64 x)
accuracy	0.00390625	(log.f64 (/.f64 x (log.f64 x)))
accuracy	0.28125	(/.f64 x (log.f64 x))

Samples

31.0ms

256×

valid

Compiler

Compiled 94 to 22 computations (76.6% saved)

Precisions

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

ival-log: 14.0ms (59.8% of total)

ival-div: 5.0ms (21.4% of total)

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

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

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

exact: 0.0ms (0% of total)

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

series183.0ms (5.3%)

Memory

9.0MiB live, 203.7MiB allocated

Counts

8 → 96

Calls

Call 1

Inputs
#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())
#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())
#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())
#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())
#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())
#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())

Outputs
#s(alt (+ (log x) (log (/ 1 (log x)))) (taylor 0 x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (/ 1 (log x)))) (taylor 0 x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (/ 1 (log x)))) (taylor 0 x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (/ 1 (log x)))) (taylor 0 x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ x (log x)) (taylor 0 x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ x (log x)) (taylor 0 x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ x (log x)) (taylor 0 x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ x (log x)) (taylor 0 x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (log x) x) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ (log x) x) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ (log x) x) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ (log x) x) (taylor 0 x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (log x)) (* -1 (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (log x)) (* -1 (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (log x)) (* -1 (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (log x)) (* -1 (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (+ (log (log x)) (* -1 (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (log x)) (* -1 (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (log x)) (* -1 (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (log x)) (* -1 (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor 0 x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor 0 x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor 0 x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor 0 x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log x)) (taylor 0 x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (log x)) (taylor 0 x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (log x)) (taylor 0 x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (log x)) (taylor 0 x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (/ -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (/ -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (/ -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (/ -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x (log (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x (log (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x (log (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ x (log (/ 1 x)))) (taylor inf x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (log (/ 1 x)) x)) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (log (/ 1 x)) x)) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (log (/ 1 x)) x)) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (/ (log (/ 1 x)) x)) (taylor inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor inf x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor inf x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor inf x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor inf x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (log (/ 1 x)) (taylor inf x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (/ 1 x)) (taylor inf x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (/ 1 x)) (taylor inf x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (log (/ 1 x)) (taylor inf x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (/ -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (/ -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (/ -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (/ -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (/.f64 x (log.f64 x))) (patch (log.f64 (/.f64 x (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (/ x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (/.f64 x (log.f64 x)) (patch (/.f64 x (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (/ (+ (log -1) (* -1 (log (/ -1 x)))) x) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ (+ (log -1) (* -1 (log (/ -1 x)))) x) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ (+ (log -1) (* -1 (log (/ -1 x)))) x) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (/ (+ (log -1) (* -1 (log (/ -1 x)))) x) (taylor -inf x) (#s(alt (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) (patch (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) (patch (neg.f64 (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x))))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))) (taylor -inf x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))) (taylor -inf x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))) (taylor -inf x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))) (taylor -inf x) (#s(alt (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) (patch (log.f64 (.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor -inf x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor -inf x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor -inf x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (/ -1 x) (taylor -inf x) (#s(alt (/.f64 #s(literal -1 binary64) x) (patch (/.f64 #s(literal -1 binary64) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 x)) (patch (neg.f64 (log.f64 x)) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

81.0ms

-inf

((log (/ x (log x))) (/ x (log x)) (log x) (* (/ -1 x) (neg (log x))) (neg (log (* (/ -1 x) (neg (log x))))) (log (* (/ -1 x) (neg (log x)))) (/ -1 x) (neg (log x)))

69.0ms

inf

((log (/ x (log x))) (/ x (log x)) (log x) (* (/ -1 x) (neg (log x))) (neg (log (* (/ -1 x) (neg (log x))))) (log (* (/ -1 x) (neg (log x)))) (/ -1 x) (neg (log x)))

30.0ms

((log (/ x (log x))) (/ x (log x)) (log x) (* (/ -1 x) (neg (log x))) (neg (log (* (/ -1 x) (neg (log x))))) (log (* (/ -1 x) (neg (log x)))) (/ -1 x) (neg (log x)))

simplify43.0ms (1.3%)

Memory

8.2MiB live, 47.3MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	40	652
1	94	592
2	163	584
3	329	584
4	682	584
5	1001	584
6	1472	544
7	1686	544
8	1702	544
9	1705	544
10	1706	544
0	1706	544

Stop Event

1×	iter limit
1×	saturated

Counts

96 → 96

Calls

Call 1

Inputs
(+ (log x) (log (/ 1 (log x))))
(+ (log x) (log (/ 1 (log x))))
(+ (log x) (log (/ 1 (log x))))
(+ (log x) (log (/ 1 (log x))))
(/ x (log x))
(/ x (log x))
(/ x (log x))
(/ x (log x))
(log x)
(log x)
(log x)
(log x)
(/ (log x) x)
(/ (log x) x)
(/ (log x) x)
(/ (log x) x)
(* -1 (+ (log (log x)) (* -1 (log x))))
(* -1 (+ (log (log x)) (* -1 (log x))))
(* -1 (+ (log (log x)) (* -1 (log x))))
(* -1 (+ (log (log x)) (* -1 (log x))))
(+ (log (log x)) (* -1 (log x)))
(+ (log (log x)) (* -1 (log x)))
(+ (log (log x)) (* -1 (log x)))
(+ (log (log x)) (* -1 (log x)))
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ -1 x)
(* -1 (log x))
(* -1 (log x))
(* -1 (log x))
(* -1 (log x))
(+ (log (/ -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (/ -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (/ -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (/ -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(* -1 (/ x (log (/ 1 x))))
(* -1 (/ x (log (/ 1 x))))
(* -1 (/ x (log (/ 1 x))))
(* -1 (/ x (log (/ 1 x))))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (/ (log (/ 1 x)) x))
(* -1 (/ (log (/ 1 x)) x))
(* -1 (/ (log (/ 1 x)) x))
(* -1 (/ (log (/ 1 x)) x))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x))))
(+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))
(+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))
(+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))
(+ (log (* -1 (log (/ 1 x)))) (log (/ 1 x)))
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ -1 x)
(log (/ 1 x))
(log (/ 1 x))
(log (/ 1 x))
(log (/ 1 x))
(+ (log (/ -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (/ -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (/ -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (/ -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(/ x (+ (log -1) (* -1 (log (/ -1 x)))))
(/ x (+ (log -1) (* -1 (log (/ -1 x)))))
(/ x (+ (log -1) (* -1 (log (/ -1 x)))))
(/ x (+ (log -1) (* -1 (log (/ -1 x)))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(/ (+ (log -1) (* -1 (log (/ -1 x)))) x)
(/ (+ (log -1) (* -1 (log (/ -1 x)))) x)
(/ (+ (log -1) (* -1 (log (/ -1 x)))) x)
(/ (+ (log -1) (* -1 (log (/ -1 x)))) x)
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (log (/ -1 x)))
(/ -1 x)
(/ -1 x)
(/ -1 x)
(/ -1 x)
(* -1 (+ (log -1) (* -1 (log (/ -1 x)))))
(* -1 (+ (log -1) (* -1 (log (/ -1 x)))))
(* -1 (+ (log -1) (* -1 (log (/ -1 x)))))
(* -1 (+ (log -1) (* -1 (log (/ -1 x)))))

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

rewrite132.0ms (3.8%)

Memory

-1.0MiB live, 117.8MiB allocated

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	10	41
0	18	36
1	49	30
2	229	30
3	1450	28
0	11060	28

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

8 → 964

Calls

Call 1

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

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval189.0ms (5.4%)

Memory: 1.4MiB live, 272.8MiB allocated
Compiler: Compiled 19 993 to 2 866 computations (85.7% saved)

prune21.0ms (0.6%)

Memory

35.5MiB live, 74.1MiB allocated

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	1 180	1	1 181
Fresh	0	0	0
Picked	0	2	2
Done	0	1	1
Total	1 180	4	1 184

Accuracy

100.0%

Counts

1 184 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(neg.f64 (log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))))
▶	1.6%	(neg.f64 (log.f64 (*.f64 (log.f64 x) x)))
✓	100.0%	(log.f64 (/.f64 x (log.f64 x)))
✓	24.4%	(log.f64 (*.f64 (log.f64 x) x))

Compiler

Compiled 25 to 21 computations (16% saved)

simplify5.0ms (0.1%)

Memory

-32.7MiB live, 5.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
cost-diff	0	(log.f64 x)
cost-diff	0	(*.f64 (log.f64 x) x)
cost-diff	0	(log.f64 (*.f64 (log.f64 x) x))
cost-diff	0	(neg.f64 (log.f64 (*.f64 (log.f64 x) x)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	18
0	9	18
1	14	18
2	16	18
3	18	18
4	20	18
5	24	18
6	29	18
0	29	18

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(neg.f64 (log.f64 (*.f64 (log.f64 x) x)))
(log.f64 (*.f64 (log.f64 x) x))
(*.f64 (log.f64 x) x)
(log.f64 x)
x

Outputs
(neg.f64 (log.f64 (*.f64 (log.f64 x) x)))
(log.f64 (*.f64 (log.f64 x) x))
(*.f64 (log.f64 x) x)
(log.f64 x)
x

localize189.0ms (5.5%)

Memory

-131.1MiB live, 46.0MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(neg.f64 (log.f64 (*.f64 (log.f64 x) x)))
accuracy	0	(log.f64 x)
accuracy	0.26953125	(*.f64 (log.f64 x) x)
accuracy	0.972448533248274	(log.f64 (*.f64 (log.f64 x) x))

Samples

183.0ms

256×

valid

Compiler

Compiled 38 to 12 computations (68.4% saved)

Precisions

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

ival-log: 174.0ms (98.4% of total)

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

ival-neg: 1.0ms (0.6% of total)

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

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

series52.0ms (1.5%)

Memory

-1.9MiB live, 114.9MiB allocated

Counts

4 → 48

Calls

Call 1

Inputs
#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())
#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())
#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())
#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())

Outputs
#s(alt (* -1 (+ (log x) (log (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log x) (log (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log x) (log (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log x) (log (log x)))) (taylor 0 x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log x) (log (log x))) (taylor 0 x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (* x (log x)) (taylor 0 x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (log x)) (taylor 0 x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (log x)) (taylor 0 x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (log x)) (taylor 0 x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (log x) (taylor 0 x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))) (taylor inf x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))) (taylor inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (log (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (log (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (log (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (* x (log (/ 1 x)))) (taylor inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (log (/ 1 x))) (taylor inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (neg.f64 (log.f64 (.f64 (log.f64 x) x))) (patch (neg.f64 (log.f64 (.f64 (log.f64 x) x))) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 (.f64 (log.f64 x) x)) (patch (log.f64 (.f64 (log.f64 x) x)) #<representation binary64>) () ())) ())
#s(alt (* x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (* x (+ (log -1) (* -1 (log (/ -1 x))))) (taylor -inf x) (#s(alt (.f64 (log.f64 x) x) (patch (.f64 (log.f64 x) x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())
#s(alt (+ (log -1) (* -1 (log (/ -1 x)))) (taylor -inf x) (#s(alt (log.f64 x) (patch (log.f64 x) #<representation binary64>) () ())) ())

Calls

3 calls:

Time

Variable

Point

Expression

19.0ms

((neg (log (* (log x) x))) (log (* (log x) x)) (* (log x) x) (log x))

16.0ms

-inf

((neg (log (* (log x) x))) (log (* (log x) x)) (* (log x) x) (log x))

16.0ms

inf

((neg (log (* (log x) x))) (log (* (log x) x)) (* (log x) x) (log x))

simplify27.0ms (0.8%)

Memory

1.1MiB live, 46.6MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	26	356
1	80	332
2	143	320
3	257	320
4	395	320
5	595	320
6	753	308
7	809	308
8	813	308
9	817	308
0	817	308

Stop Event

1×	iter limit
1×	saturated

Counts

48 → 48

Calls

Call 1

Inputs
(* -1 (+ (log x) (log (log x))))
(* -1 (+ (log x) (log (log x))))
(* -1 (+ (log x) (log (log x))))
(* -1 (+ (log x) (log (log x))))
(+ (log x) (log (log x)))
(+ (log x) (log (log x)))
(+ (log x) (log (log x)))
(+ (log x) (log (log x)))
(* x (log x))
(* x (log x))
(* x (log x))
(* x (log x))
(log x)
(log x)
(log x)
(log x)
(* -1 (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))))
(* -1 (+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x)))))
(+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(+ (log (* -1 (log (/ 1 x)))) (* -1 (log (/ 1 x))))
(* -1 (* x (log (/ 1 x))))
(* -1 (* x (log (/ 1 x))))
(* -1 (* x (log (/ 1 x))))
(* -1 (* x (log (/ 1 x))))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (log (/ 1 x)))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))))
(* -1 (+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x)))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(+ (log (* -1 (+ (log -1) (* -1 (log (/ -1 x)))))) (* -1 (log (/ -1 x))))
(* x (+ (log -1) (* -1 (log (/ -1 x)))))
(* x (+ (log -1) (* -1 (log (/ -1 x)))))
(* x (+ (log -1) (* -1 (log (/ -1 x)))))
(* x (+ (log -1) (* -1 (log (/ -1 x)))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))
(+ (log -1) (* -1 (log (/ -1 x))))

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

rewrite106.0ms (3%)

Memory

29.0MiB live, 190.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	17
0	9	16
1	19	16
2	71	16
3	498	16
4	4599	16
0	9389	16

Stop Event

1×	iter limit
1×	node limit
1×	iter limit

Counts

4 → 550

Calls

Call 1

Inputs
(neg.f64 (log.f64 (*.f64 (log.f64 x) x)))
(log.f64 (*.f64 (log.f64 x) x))
(*.f64 (log.f64 x) x)
(log.f64 x)

Outputs
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>
#<batchref>

eval130.0ms (3.7%)

Memory: -25.3MiB live, 162.2MiB allocated
Compiler: Compiled 10 815 to 1 226 computations (88.7% saved)

prune11.0ms (0.3%)

Memory

2.6MiB live, 41.7MiB allocated

Pruning

4 alts after pruning (0 fresh and 4 done)

	Pruned	Kept	Total
New	598	0	598
Fresh	0	0	0
Picked	0	1	1
Done	0	3	3
Total	598	4	602

Accuracy

100.0%

Counts

602 → 4

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(neg.f64 (log.f64 (*.f64 (/.f64 #s(literal -1 binary64) x) (neg.f64 (log.f64 x)))))
✓	1.6%	(neg.f64 (log.f64 (*.f64 (log.f64 x) x)))
✓	100.0%	(log.f64 (/.f64 x (log.f64 x)))
✓	24.4%	(log.f64 (*.f64 (log.f64 x) x))

Compiler

Compiled 62 to 39 computations (37.1% saved)

regimes8.0ms (0.2%)

Memory

19.5MiB live, 19.5MiB allocated

Counts

6 → 1

Calls

Call 1

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

Outputs
(log.f64 (/.f64 x (log.f64 x)))

Calls

3 calls:

3.0ms	(log.f64 x)
3.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
3.0ms	x

Results

Accuracy	Segments	Branch
100.0%	1	`x`
100.0%	1	`(-.f64 (log.f64 x) (log.f64 (log.f64 x)))`
100.0%	1	`(log.f64 x)`

Compiler

Compiled 9 to 7 computations (22.2% saved)

regimes5.0ms (0.1%)

Memory

14.2MiB live, 14.2MiB allocated

Accuracy

Total -14.7b remaining (-30.3%)

Threshold costs -14.7b (-30.3%)

Counts

2 → 1

Calls

Call 1

Inputs
(log.f64 (*.f64 (log.f64 x) x))
(neg.f64 (log.f64 (*.f64 (log.f64 x) x)))

Outputs
(log.f64 (*.f64 (log.f64 x) x))

Calls

3 calls:

2.0ms	(-.f64 (log.f64 x) (log.f64 (log.f64 x)))
2.0ms	(log.f64 x)
2.0ms	x

Results

Accuracy	Segments	Branch
24.4%	1	`x`
24.4%	1	`(-.f64 (log.f64 x) (log.f64 (log.f64 x)))`
24.4%	1	`(log.f64 x)`

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify30.0ms (0.9%)

Memory

-19.2MiB live, 64.0MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	7	10

Stop Event

1×

saturated

Calls

Call 1

Inputs
(log.f64 (/.f64 x (log.f64 x)))
(log.f64 (*.f64 (log.f64 x) x))

Outputs
(log.f64 (/.f64 x (log.f64 x)))
(log.f64 (*.f64 (log.f64 x) x))

soundness257.0ms (7.4%)

Memory

-5.9MiB live, 266.3MiB allocated

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	11
0	7	10
1	24	10
2	150	10
3	1399	10
0	9715	10
0	7	26
0	13	26
1	31	25
2	118	25
3	778	25
4	7873	25
0	8899	25

Stop Event

1×	done
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	node limit
1×	iter limit

Compiler

Compiled 39 to 24 computations (38.5% saved)

preprocess72.0ms (2.1%)

Memory: -14.2MiB live, 75.2MiB allocated
Compiler: Compiled 32 to 20 computations (37.5% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	6	17
1	14	17
2	33	16
3	61	16
4	106	16
5	152	16
6	169	16
7	177	16
0	4	6
0	7	6
1	9	6
2	14	6
3	20	6
4	28	6
5	43	6
6	76	6
7	101	6
8	143	6
9	158	6
10	166	6
0	166	6

Iter	Nodes	Cost
0	4	12
0	7	12
1	9	12
2	14	12
3	20	12
4	28	12
5	43	12
6	76	12
7	101	12
8	143	12
9	158	12
10	166	12
0	166	12

Iter	Nodes	Cost
0	18	228
1	34	212
2	60	212
3	125	212
4	243	212
5	342	212
6	442	212
7	486	212
8	493	212
0	493	212

Iter	Nodes	Cost
0	10	46
0	18	46
1	28	43
2	48	37
3	80	37
4	155	37
5	219	37
6	391	37
7	546	37
8	561	37
9	563	37
10	577	37
11	589	37
0	589	37

Iter	Nodes	Cost
0	26	356
1	80	332
2	143	320
3	257	320
4	395	320
5	595	320
6	753	308
7	809	308
8	813	308
9	817	308
0	817	308

Iter	Nodes	Cost
0	6	17
1	14	17
2	33	16
3	61	16
4	106	16
5	152	16
6	169	16
7	177	16
0	4	6
0	7	6
1	9	6
2	14	6
3	20	6
4	28	6
5	43	6
6	76	6
7	101	6
8	143	6
9	158	6
10	166	6
0	166	6

Iter	Nodes	Cost
0	4	12
0	7	12
1	9	12
2	14	12
3	20	12
4	28	12
5	43	12
6	76	12
7	101	12
8	143	12
9	158	12
10	166	12
0	166	12

Iter	Nodes	Cost
0	18	228
1	34	212
2	60	212
3	125	212
4	243	212
5	342	212
6	442	212
7	486	212
8	493	212
0	493	212

Iter	Nodes	Cost
0	10	46
0	18	46
1	28	43
2	48	37
3	80	37
4	155	37
5	219	37
6	391	37
7	546	37
8	561	37
9	563	37
10	577	37
11	589	37
0	589	37

Iter	Nodes	Cost
0	26	356
1	80	332
2	143	320
3	257	320
4	395	320
5	595	320
6	753	308
7	809	308
8	813	308
9	817	308
0	817	308

start0.0ms (0%)

analyze2.0ms (0%)

sample787.0ms (22.7%)

explain116.0ms (3.3%)

preprocess17.0ms (0.5%)

eval0.0ms (0%)

prune0.0ms (0%)

simplify6.0ms (0.2%)

localize38.0ms (1.1%)

series170.0ms (4.9%)

simplify39.0ms (1.1%)

rewrite147.0ms (4.2%)

eval40.0ms (1.1%)

prune6.0ms (0.2%)

simplify4.0ms (0.1%)

localize43.0ms (1.2%)

series98.0ms (2.8%)

simplify38.0ms (1.1%)

rewrite159.0ms (4.6%)

eval140.0ms (4%)

prune102.0ms (2.9%)

simplify16.0ms (0.5%)

localize43.0ms (1.2%)

series183.0ms (5.3%)

simplify43.0ms (1.3%)

rewrite132.0ms (3.8%)

eval189.0ms (5.4%)

prune21.0ms (0.6%)

simplify5.0ms (0.1%)

localize189.0ms (5.5%)

series52.0ms (1.5%)

simplify27.0ms (0.8%)

rewrite106.0ms (3%)

eval130.0ms (3.7%)

prune11.0ms (0.3%)

regimes8.0ms (0.2%)

regimes5.0ms (0.1%)

simplify30.0ms (0.9%)

soundness257.0ms (7.4%)

preprocess72.0ms (2.1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	6	17
1	14	17
2	33	16
3	61	16
4	106	16
5	152	16
6	169	16
7	177	16
0	4	6
0	7	6
1	9	6
2	14	6
3	20	6
4	28	6
5	43	6
6	76	6
7	101	6
8	143	6
9	158	6
10	166	6
0	166	6

Iter	Nodes	Cost
0	4	12
0	7	12
1	9	12
2	14	12
3	20	12
4	28	12
5	43	12
6	76	12
7	101	12
8	143	12
9	158	12
10	166	12
0	166	12

Iter	Nodes	Cost
0	18	228
1	34	212
2	60	212
3	125	212
4	243	212
5	342	212
6	442	212
7	486	212
8	493	212
0	493	212

Iter	Nodes	Cost
0	10	46
0	18	46
1	28	43
2	48	37
3	80	37
4	155	37
5	219	37
6	391	37
7	546	37
8	561	37
9	563	37
10	577	37
11	589	37
0	589	37

Iter	Nodes	Cost
0	26	356
1	80	332
2	143	320
3	257	320
4	395	320
5	595	320
6	753	308
7	809	308
8	813	308
9	817	308
0	817	308