Metrics for logs (example 3.8)

analyze0.0ms (0%)

Memory

0.2MiB live, 0.2MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	23.7%	76.3%	0%	0%	0%	0
100%	23.7%	0%	76.3%	0%	0%	0%	1

Compiler

Compiled 19 to 12 computations (36.8% saved)

sample2.9s (51.8%)

Memory

48.1MiB live, 3 489.9MiB allocated

Samples

2.6s

8 256×

valid

Precisions

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

ival-log1p: 717.0ms (31.8% of total)

ival-log: 660.0ms (29.3% of total)

ival-mult: 257.0ms (11.4% of total)

ival-sub: 229.0ms (10.1% of total)

adjust: 177.0ms (7.8% of total)

ival-add: 148.0ms (6.6% of total)

ival->: 50.0ms (2.2% of total)

exact: 15.0ms (0.7% of total)

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

Bogosity

preprocess147.0ms (2.6%)

Memory

-7.6MiB live, 146.4MiB allocated

Algorithm

2×	egg-herbie

Rules

1 408×	`accelerator-lowering-fma.f32`
1 408×	`accelerator-lowering-fma.f64`
590×	`sub-neg`
432×	`associate-+l-`
408×	`unsub-neg`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	52
1	50	48
2	131	47
3	424	47
4	1186	47
5	2276	47
6	3099	47
7	3305	47
8	3321	47
9	3321	47
10	3321	47
11	3323	47
0	9	15
1	24	15
2	52	15
3	119	15
4	253	15
5	487	15
6	842	15
7	1191	15
8	1382	15
9	1399	15
0	1399	11

Stop Event

1×	iter limit
1×	saturated
1×	saturated

Calls

Call 1

Inputs
(- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)

Outputs
(- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)
(-.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))

Call 2

Inputs

(- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)

(- (- (* (+ (neg n) 1) (log (+ (neg n) 1))) (* (neg n) (log (neg n)))) 1)

(neg (- (- (* (+ (neg n) 1) (log (+ (neg n) 1))) (* (neg n) (log (neg n)))) 1))

Outputs
(- (- (* (+ n 1) (log (+ n 1))) (* n (log n))) 1)
(+ (* (+ n 1) (log (+ n 1))) (- -1 (* n (log n))))
(- (- (* (+ (neg n) 1) (log (+ (neg n) 1))) (* (neg n) (log (neg n)))) 1)
(+ (* (- 1 n) (log (- 1 n))) (+ -1 (* n (log (neg n)))))
(neg (- (- (* (+ (neg n) 1) (log (+ (neg n) 1))) (* (neg n) (log (neg n)))) 1))
(+ (- 1 (* n (log (neg n)))) (* (log (- 1 n)) (+ n -1)))

explain330.0ms (5.8%)

Memory

-17.2MiB live, 360.8MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Example	Subexpression
256	-	-	`(-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n)))`
0	-	-	`n`
0	-	-	`(*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64))))`
0	-	-	`#s(literal 1 binary64)`
0	-	-	`(+.f64 n #s(literal 1 binary64))`
0	-	-	`(log.f64 n)`
0	-	-	`(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))`
0	-	-	`(*.f64 n (log.f64 n))`
0	-	-	`(log.f64 (+.f64 n #s(literal 1 binary64)))`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`-.f64`	`(-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n)))`	cancellation	256	0

Confusion

	Predicted +	Predicted -
+	256	0
-	0	0

Precision

1.0

Recall

1.0

Confusion?

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

Precision?

1.0

Recall?

1.0

Freqs

test

number	freq
1	256

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

227.0ms

512×

valid

Compiler

Compiled 138 to 40 computations (71% saved)

Precisions

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

ival-log1p: 92.0ms (50.6% of total)

ival-log: 38.0ms (20.9% of total)

ival-sub: 16.0ms (8.8% of total)

ival-mult: 16.0ms (8.8% of total)

adjust: 14.0ms (7.7% of total)

ival-add: 6.0ms (3.3% of total)

exact: 1.0ms (0.5% of total)

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

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

eval0.0ms (0%)

Memory: 0.6MiB live, 0.6MiB allocated
Compiler: Compiled 14 to 9 computations (35.7% saved)

prune1.0ms (0%)

Memory

1.4MiB live, 1.4MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	3.1%	(-.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))

Compiler

Compiled 14 to 9 computations (35.7% saved)

simplify70.0ms (1.2%)

Memory

-0.0MiB live, 81.4MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Program
✓	cost-diff	(log.f64 n)
✓	cost-diff	(*.f64 n (log.f64 n))
✓	cost-diff	(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
✓	cost-diff	(-.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))

Rules

1 408×	`accelerator-lowering-fma.f32`
1 408×	`accelerator-lowering-fma.f64`
360×	`+-lowering-+.f64`
360×	`--lowering--.f32`
360×	`+-lowering-+.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	44
1	29	44
2	70	44
3	206	44
4	650	44
5	1155	44
6	1548	44
7	1638	44
8	1644	44
0	1644	36

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(- (- -1 (* n (log n))) (* (log (+ 1 n)) (- -1 n)))
(- -1 (* n (log n)))
-1
(* n (log n))
n
(log n)
(* (log (+ 1 n)) (- -1 n))
(log (+ 1 n))
(- -1 n)

Outputs
(- (- -1 (* n (log n))) (* (log (+ 1 n)) (- -1 n)))
(-.f64 (+.f64 #s(literal -1 binary64) (.f64 (+.f64 n #s(literal 1 binary64)) (log1p.f64 n))) (.f64 n (log.f64 n)))
(- -1 (* n (log n)))
(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
-1
#s(literal -1 binary64)
(* n (log n))
(*.f64 n (log.f64 n))
n
(log n)
(log.f64 n)
(* (log (+ 1 n)) (- -1 n))
(*.f64 (-.f64 #s(literal -1 binary64) n) (log1p.f64 n))
(log (+ 1 n))
(log1p.f64 n)
(- -1 n)
(-.f64 #s(literal -1 binary64) n)

localize77.0ms (1.4%)

Memory

9.8MiB live, 85.4MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(log.f64 n)
✓	accuracy	99.6%	(*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))
✓	accuracy	99.6%	(*.f64 n (log.f64 n))
✓	accuracy	3.1%	(-.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))

Samples

63.0ms

256×

valid

Compiler

Compiled 40 to 11 computations (72.5% saved)

Precisions

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

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

ival-sub: 14.0ms (27% of total)

ival-log1p: 11.0ms (21.2% of total)

ival-mult: 6.0ms (11.6% of total)

adjust: 4.0ms (7.7% of total)

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

exact: 0.0ms (0% of total)

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

series95.0ms (1.7%)

Memory

-16.3MiB live, 106.9MiB allocated

Counts

5 → 60

Calls

Call 1

Inputs
#<alt (- (- -1 (* n (log n))) (* (log (+ 1 n)) (- -1 n)))>
#<alt (- -1 (* n (log n)))>
#<alt (* n (log n))>
#<alt (log n)>
#<alt (* (log (+ 1 n)) (- -1 n))>

Outputs
#<alt -1>
#<alt (- (* n (- 1 (log n))) 1)>
#<alt (- (* n (- (+ 1 (* 1/2 n)) (log n))) 1)>
#<alt (- (* n (- (+ 1 (* n (+ 1/2 (* -1/6 n)))) (log n))) 1)>
#<alt (* -1 (* n (+ (log (/ 1 n)) (* -1 (log (/ 1 n))))))>
#<alt (* n (- (* -1 (/ (+ 1 (* -1 (+ 1 (* -1 (log (/ 1 n)))))) n)) (+ (log (/ 1 n)) (* -1 (log (/ 1 n))))))>
#<alt (* n (- (/ 1/2 (pow n 2)) (+ (log (/ 1 n)) (+ (* -1 (log (/ 1 n))) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (/ 1 n))))))>
#<alt (* n (- (/ 1/2 (pow n 2)) (+ (log (/ 1 n)) (+ (* -1 (log (/ 1 n))) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (+ (/ 1 n) (* 1/6 (/ 1 (pow n 3)))))))))>
#<alt (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))>
#<alt (* -1 (* n (- (* -1 (/ (+ (log -1) (* -1 (log (/ -1 n)))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))>
#<alt (* -1 (* n (- (* -1 (/ (- (* 1/2 (/ 1 n)) (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))>
#<alt (* -1 (* n (- (* -1 (/ (- (* -1 (/ (- (* 1/6 (/ 1 n)) 1/2) n)) (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))>
#<alt -1>
#<alt (- (* -1 (* n (log n))) 1)>
#<alt (- (* -1 (* n (log n))) 1)>
#<alt (- (* -1 (* n (log n))) 1)>
#<alt (* n (log (/ 1 n)))>
#<alt (* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))>
#<alt (* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))>
#<alt (* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))>
#<alt (* -1 (* n (+ (log -1) (* -1 (log (/ -1 n))))))>
#<alt (* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))>
#<alt (* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))>
#<alt (* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))>
#<alt (* n (log n))>
#<alt (* n (log n))>
#<alt (* n (log n))>
#<alt (* n (log n))>
#<alt (* -1 (* n (log (/ 1 n))))>
#<alt (* -1 (* n (log (/ 1 n))))>
#<alt (* -1 (* n (log (/ 1 n))))>
#<alt (* -1 (* n (log (/ 1 n))))>
#<alt (* n (+ (log -1) (* -1 (log (/ -1 n)))))>
#<alt (* n (+ (log -1) (* -1 (log (/ -1 n)))))>
#<alt (* n (+ (log -1) (* -1 (log (/ -1 n)))))>
#<alt (* n (+ (log -1) (* -1 (log (/ -1 n)))))>
#<alt (log n)>
#<alt (log n)>
#<alt (log n)>
#<alt (log n)>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (* -1 n)>
#<alt (* n (- (* -1/2 n) 1))>
#<alt (* n (- (* n (- (* 1/6 n) 1/2)) 1))>
#<alt (* n (- (* n (- (* n (+ 1/6 (* -1/12 n))) 1/2)) 1))>
#<alt (* n (log (/ 1 n)))>
#<alt (* n (+ (log (/ 1 n)) (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n))))>
#<alt (* n (- (+ (log (/ 1 n)) (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n))) (/ 1/2 (pow n 2))))>
#<alt (* n (- (+ (log (/ 1 n)) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (* 1/6 (/ 1 (pow n 3))))) (/ 1/2 (pow n 2))))>
#<alt (* -1 (* n (+ (log -1) (* -1 (log (/ -1 n))))))>
#<alt (* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) 1) n))))))>
#<alt (* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) (+ 1 (* 1/2 (/ 1 n)))) n))))))>
#<alt (* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (+ (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) (* -1 (/ (- 1/2 (* 1/6 (/ 1 n))) n))) 1) n))))))>

Calls

15 calls:

Time	Variable		Point	Expression
54.0ms	n	@	0	(* n (log n))
15.0ms	n	@	-inf	(- -1 (* n (log n)))
11.0ms	n	@	-inf	(* n (log n))
5.0ms	n	@	inf	(* n (log n))
5.0ms	n	@	0	(- -1 (* n (log n)))

rewrite397.0ms (7%)

Memory

6.6MiB live, 565.8MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

7 442×	`accelerator-lowering-fma.f32`
7 442×	`accelerator-lowering-fma.f64`
5 276×	`-lowering-.f32`
5 276×	`-lowering-.f64`
3 650×	`/-lowering-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	35
1	73	35
2	638	35
0	9006	30

Stop Event

1×	iter limit
1×	node limit

Counts

5 → 288

Calls

Call 1

Inputs
(- (- -1 (* n (log n))) (* (log (+ 1 n)) (- -1 n)))
(- -1 (* n (log n)))
(* n (log n))
(log n)
(* (log (+ 1 n)) (- -1 n))

Outputs
(+.f64 #s(literal -1 binary64) (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))
(+.f64 (log1p.f64 n) (+.f64 (.f64 n (log1p.f64 n)) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (+.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (-.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))
(+.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (neg.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))))
(+.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (neg.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))
(+.f64 (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))) #s(literal -1 binary64))
(+.f64 (.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) #s(literal -1 binary64))) (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) n)) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(+.f64 (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) #s(literal -1 binary64)))) (.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) n)))
(+.f64 (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (log1p.f64 n)) (.f64 n (log1p.f64 n)))
(+.f64 (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal -1 binary64)) (.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64))))
(-.f64 #s(literal -1 binary64) (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(-.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))
(-.f64 #s(literal 0 binary64) (-.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(-.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))
(-.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))
(-.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (-.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(-.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (+.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (-.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (+.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(-.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (+.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64))))) (/.f64 (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (+.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64))))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (/.f64 (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 2 binary64)) (+.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))
(-.f64 (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal -1 binary64)) (.f64 n (log.f64 n)))
(-.f64 (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 0 binary64)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))
(-.f64 (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))))
(-.f64 (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(-.f64 (-.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (.f64 n (log.f64 n)))
(-.f64 (-.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (-.f64 #s(literal 0 binary64) (log1p.f64 n))) (.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n)))
(-.f64 (-.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) #s(literal -1 binary64))) (neg.f64 (*.f64 (log1p.f64 n) n)))
(fma.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)) (+.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)) (-.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (+.f64 (.f64 n (log1p.f64 n)) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(fma.f64 #s(literal -1 binary64) (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) #s(literal -1 binary64)) (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) n)) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))
(fma.f64 n (log.f64 (/.f64 #s(literal 1 binary64) n)) (+.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 n (log.f64 (/.f64 #s(literal 1 binary64) n)) (-.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)) (+.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)) (-.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 n (.f64 #s(literal 1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) n))) (+.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 n (.f64 #s(literal 1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) n))) (-.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 (log.f64 n) (-.f64 #s(literal 0 binary64) n) (+.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 (log.f64 n) (-.f64 #s(literal 0 binary64) n) (-.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 (.f64 n (log.f64 n)) #s(literal -1 binary64) (+.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 (.f64 n (log.f64 n)) #s(literal -1 binary64) (-.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))
(fma.f64 #s(literal 1 binary64) (log1p.f64 n) (+.f64 (.f64 n (log1p.f64 n)) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(fma.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (+.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (-.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(fma.f64 (-.f64 #s(literal -1 binary64) n) (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(fma.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))
(fma.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (-.f64 #s(literal 0 binary64) (log1p.f64 n))) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(fma.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (neg.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))))
(fma.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (/.f64 #s(literal -1 binary64) (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64)))) (neg.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))
(fma.f64 (-.f64 #s(literal 0 binary64) n) (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 (-.f64 #s(literal 0 binary64) n) (log.f64 n) (-.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (.f64 (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) n)) (-.f64 #s(literal 0 binary64) (log1p.f64 n))) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(fma.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))
(fma.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) #s(literal -1 binary64) (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) n)) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(fma.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal -1 binary64) n) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(fma.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))
(fma.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))
(fma.f64 (+.f64 n #s(literal 1 binary64)) (log1p.f64 n) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(fma.f64 (log.f64 (/.f64 #s(literal 1 binary64) n)) n (+.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 (log.f64 (/.f64 #s(literal 1 binary64) n)) n (-.f64 #s(literal -1 binary64) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64)) #s(literal -1 binary64) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))
(fma.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(fma.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))) (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) n)) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(fma.f64 (.f64 (-.f64 #s(literal -1 binary64) n) #s(literal -1 binary64)) (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))
(fma.f64 (.f64 (log.f64 n) #s(literal -1 binary64)) n (+.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 (.f64 (log.f64 n) #s(literal -1 binary64)) n (-.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(fma.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) n)) #s(literal 1 binary64)) n (+.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(fma.f64 (.f64 (log.f64 (/.f64 #s(literal 1 binary64) n)) #s(literal 1 binary64)) n (-.f64 #s(literal -1 binary64) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(neg.f64 (/.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))))
(neg.f64 (/.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64))) (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64)))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64)))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))
(neg.f64 (/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)))) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))) #s(literal 1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (+.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64)))) (-.f64 #s(literal -1 binary64) (pow.f64 (+.f64 (.f64 n (log.f64 n)) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 2 binary64)))))
(/.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))
(/.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))))
(/.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64))) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64)))) (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))
(/.f64 (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64)))) (neg.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)))) (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64))))
(/.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (+.f64 (+.f64 (.f64 n (log.f64 n)) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64)))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 2 binary64))) (+.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(/.f64 (+.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (+.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) n)) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (+.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (+.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (+.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (+.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (+.f64 (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (+.f64 (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) #s(literal 1 binary64))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))) (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (+.f64 #s(literal 1 binary64) (.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64))))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))) (.f64 (+.f64 #s(literal -1 binary64) n) #s(literal 1 binary64))) (.f64 (+.f64 #s(literal -1 binary64) n) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (+.f64 #s(literal -1 binary64) n) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))))) (.f64 (+.f64 #s(literal -1 binary64) n) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (+.f64 #s(literal -1 binary64) n) (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))))) (.f64 (+.f64 #s(literal -1 binary64) n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))) (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))) (.f64 (+.f64 #s(literal -1 binary64) n) (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))))) (.f64 (+.f64 #s(literal -1 binary64) n) (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))))
(/.f64 (+.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))))) (.f64 (+.f64 #s(literal -1 binary64) n) (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))))) (.f64 (+.f64 #s(literal -1 binary64) n) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n)))))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) n)) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n))))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n)))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) n)) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (log1p.f64 n)))) (.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n)))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (log1p.f64 n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n)))))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n))))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n)))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (log1p.f64 n)))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n)))))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n))))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n)))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (log1p.f64 n)))) (.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n)))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (-.f64 (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal -1 binary64) n)) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (log1p.f64 n)))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64)))) (+.f64 #s(literal -1 binary64) n)))
(/.f64 (-.f64 (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)))) (.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))
(/.f64 (-.f64 (.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (.f64 (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)))) (.f64 (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 9 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 6 binary64)) (+.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 6 binary64)) (pow.f64 (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 3 binary64)))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 6 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 6 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 4 binary64)) (+.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 2 binary64)))) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 4 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64))) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64))))) (neg.f64 (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64))))) (neg.f64 (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64)))))
(/.f64 (neg.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 3 binary64)))) (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (+.f64 (+.f64 (.f64 n (log.f64 n)) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64))))))
(/.f64 (neg.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 2 binary64)))) (neg.f64 (+.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))
(/.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (-.f64 (.f64 (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))) (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))) (.f64 #s(literal -1 binary64) (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))))))
(/.f64 (+.f64 (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64))) (+.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) #s(literal 3 binary64))) (+.f64 (.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))) (.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) #s(literal 3 binary64))) (+.f64 (.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))) (.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))
(/.f64 (-.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64))) (-.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(/.f64 (-.f64 #s(literal 1 binary64) (.f64 (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))) (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))) (-.f64 #s(literal -1 binary64) (+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))))
(/.f64 (-.f64 (.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))) (.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))) (+.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))))
(/.f64 (-.f64 (.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))) (.f64 (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))) (+.f64 (/.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))) (/.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))
(/.f64 (.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64))) #s(literal 1 binary64)) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 9 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 9 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 6 binary64)) (+.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 6 binary64)) (pow.f64 (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 3 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 6 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 6 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 6 binary64))) (/.f64 #s(literal -1 binary64) (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64))))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 4 binary64)) (+.f64 (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 4 binary64)) (pow.f64 (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 2 binary64)))))
(/.f64 (.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 4 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 4 binary64))) (/.f64 #s(literal -1 binary64) (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64))))) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64))))
(pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))) #s(literal -1 binary64))
(.f64 #s(literal 1 binary64) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))))
(.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))))))))
(.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))))
(.f64 (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))) (.f64 (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))))
(.f64 (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (*.f64 n (log.f64 n)) #s(literal 1 binary64)))))
(.f64 (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (.f64 (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64)))) (/.f64 #s(literal -1 binary64) (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64))))))
(.f64 (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 3 binary64)) (pow.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) #s(literal 3 binary64)))) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (+.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (.f64 (log1p.f64 n) (.f64 (-.f64 #s(literal -1 binary64) n) (+.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))))))
(.f64 (-.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)) (pow.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)) #s(literal 2 binary64)))) (/.f64 #s(literal 1 binary64) (+.f64 (.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))) (+.f64 (*.f64 n (log.f64 n)) #s(literal 1 binary64)))))
(.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) (+.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64))))))
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (+.f64 (.f64 n (log.f64 n)) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))))
(+.f64 #s(literal -1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))))
(+.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal -1 binary64))
(+.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (neg.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))))))
(+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (neg.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))
(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
(-.f64 #s(literal 0 binary64) (-.f64 (*.f64 n (log.f64 n)) #s(literal -1 binary64)))
(-.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))))
(-.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))
(fma.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)) #s(literal -1 binary64))
(fma.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (neg.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))))))
(fma.f64 n (log.f64 (/.f64 #s(literal 1 binary64) n)) #s(literal -1 binary64))
(fma.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64)) #s(literal -1 binary64))
(fma.f64 n (*.f64 #s(literal 1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) n))) #s(literal -1 binary64))
(fma.f64 (log.f64 n) (-.f64 #s(literal 0 binary64) n) #s(literal -1 binary64))
(fma.f64 (*.f64 n (log.f64 n)) #s(literal -1 binary64) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal -1 binary64))
(fma.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (neg.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))
(fma.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal 1 binary64) #s(literal -1 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) n) (log.f64 n) #s(literal -1 binary64))
(fma.f64 (log.f64 (/.f64 #s(literal 1 binary64) n)) n #s(literal -1 binary64))
(fma.f64 (*.f64 (log.f64 n) #s(literal -1 binary64)) n #s(literal -1 binary64))
(fma.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) n)) #s(literal 1 binary64)) n #s(literal -1 binary64))
(neg.f64 (+.f64 (*.f64 n (log.f64 n)) #s(literal 1 binary64)))
(neg.f64 (/.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))))
(neg.f64 (/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64))))))
(/.f64 #s(literal -1 binary64) (neg.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))
(/.f64 #s(literal 1 binary64) (/.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))) #s(literal 1 binary64)))
(/.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))
(/.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))
(/.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))))
(/.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64)))))
(/.f64 (-.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (pow.f64 (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))) #s(literal 2 binary64)))
(/.f64 (-.f64 (.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)))) (pow.f64 (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) #s(literal 2 binary64)))
(/.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) #s(literal 1 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) #s(literal 1 binary64)) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))
(/.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 9 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 6 binary64)) (pow.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal 3 binary64)))) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 6 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 4 binary64)) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)))) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 4 binary64))) #s(literal 1 binary64)) (.f64 (+.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))))) (neg.f64 (+.f64 #s(literal -1 binary64) (neg.f64 (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))))
(/.f64 (neg.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)))) (neg.f64 (+.f64 #s(literal 1 binary64) (.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64))))))
(/.f64 (+.f64 (pow.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal 3 binary64)) #s(literal -1 binary64)) (+.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (-.f64 #s(literal 1 binary64) (.f64 n (log.f64 n)))))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) #s(literal 3 binary64))) (+.f64 (.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))) (.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))))))))
(/.f64 (-.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) #s(literal 3 binary64)) (pow.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) #s(literal 3 binary64))) (+.f64 (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))) (+.f64 (.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))))
(/.f64 (-.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) #s(literal 1 binary64)) (-.f64 (.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal -1 binary64)))
(/.f64 (-.f64 (.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))) (.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))))) (+.f64 (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))))))
(/.f64 (-.f64 (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))) (.f64 (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))) (+.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))) (/.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64)) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))
(/.f64 (.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 9 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))) (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 6 binary64)) (pow.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal 3 binary64)))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n)))))))) (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 6 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))) (+.f64 #s(literal 1 binary64) (+.f64 (pow.f64 (.f64 n (log.f64 n)) #s(literal 4 binary64)) (pow.f64 (*.f64 n (log.f64 n)) #s(literal 2 binary64)))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 4 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))) (+.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))))
(pow.f64 (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))) #s(literal -1 binary64))
(.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))))
(.f64 (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))))
(.f64 (-.f64 #s(literal 1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))))
(.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 3 binary64)))) (/.f64 #s(literal -1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) (+.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n))))))))
(.f64 (+.f64 #s(literal -1 binary64) (pow.f64 (.f64 n (log.f64 n)) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))))))
(.f64 (+.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64)) #s(literal -1 binary64))
(neg.f64 (.f64 n (.f64 (log.f64 n) #s(literal -1 binary64))))
(.f64 #s(literal -1 binary64) (.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64))))
(*.f64 n (log.f64 n))
(.f64 n (.f64 #s(literal 1 binary64) (log.f64 n)))
(*.f64 (log.f64 n) n)
(.f64 (.f64 n (log.f64 n)) #s(literal 1 binary64))
(.f64 #s(literal 1 binary64) (.f64 n (log.f64 n)))
(.f64 (.f64 n (*.f64 (log.f64 n) #s(literal -1 binary64))) #s(literal -1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) n) (log.f64 (/.f64 #s(literal 1 binary64) n)))
(*.f64 (log.f64 (/.f64 #s(literal 1 binary64) n)) (-.f64 #s(literal 0 binary64) n))
(.f64 (.f64 (log.f64 n) #s(literal 1 binary64)) n)
(.f64 (.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) n))) n)
(log.f64 n)
(+.f64 (log.f64 n) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (log.f64 n))
(+.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (*.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n)))
(+.f64 (.f64 (log1p.f64 n) #s(literal -1 binary64)) (neg.f64 (.f64 (log1p.f64 n) n)))
(+.f64 (neg.f64 (.f64 (log1p.f64 n) n)) (.f64 (log1p.f64 n) #s(literal -1 binary64)))
(+.f64 (*.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) (log1p.f64 n)))
(-.f64 #s(literal 0 binary64) (*.f64 (log1p.f64 n) (+.f64 n #s(literal 1 binary64))))
(fma.f64 #s(literal -1 binary64) (log1p.f64 n) (*.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n)))
(fma.f64 #s(literal -1 binary64) (*.f64 n (log1p.f64 n)) (-.f64 #s(literal 0 binary64) (log1p.f64 n)))
(fma.f64 n (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) (log1p.f64 n)))
(fma.f64 (log1p.f64 n) #s(literal -1 binary64) (neg.f64 (*.f64 (log1p.f64 n) n)))
(fma.f64 (log1p.f64 n) (-.f64 #s(literal 0 binary64) n) (*.f64 (log1p.f64 n) #s(literal -1 binary64)))
(fma.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n) (-.f64 #s(literal 0 binary64) (log1p.f64 n)))
(fma.f64 (.f64 (log1p.f64 n) #s(literal -1 binary64)) n (.f64 (log1p.f64 n) #s(literal -1 binary64)))
(fma.f64 (.f64 (log1p.f64 n) n) #s(literal -1 binary64) (.f64 (log1p.f64 n) #s(literal -1 binary64)))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal -1 binary64) n) (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))) (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n))))
(/.f64 #s(literal 1 binary64) (/.f64 (+.f64 #s(literal -1 binary64) n) (.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (log1p.f64 n))))
(/.f64 (log1p.f64 n) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) n)))
(/.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (neg.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n)))) (-.f64 #s(literal 1 binary64) n))
(/.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n)))) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))))
(/.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (.f64 n n))) (+.f64 #s(literal -1 binary64) n))
(/.f64 (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n)) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n))))
(/.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (log1p.f64 n)) (+.f64 #s(literal -1 binary64) n))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (neg.f64 (.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (log1p.f64 n))) (-.f64 #s(literal 1 binary64) n))
(/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) #s(literal 3 binary64)) (pow.f64 (.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n)) #s(literal 3 binary64))) (+.f64 (.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) (log1p.f64 n))) (-.f64 (.f64 (.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n)) (.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n))) (.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (*.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n))))))
(/.f64 (+.f64 (pow.f64 (.f64 (log1p.f64 n) #s(literal -1 binary64)) #s(literal 3 binary64)) (pow.f64 (neg.f64 (.f64 (log1p.f64 n) n)) #s(literal 3 binary64))) (+.f64 (.f64 (.f64 (log1p.f64 n) #s(literal -1 binary64)) (.f64 (log1p.f64 n) #s(literal -1 binary64))) (-.f64 (.f64 (neg.f64 (.f64 (log1p.f64 n) n)) (neg.f64 (.f64 (log1p.f64 n) n))) (.f64 (.f64 (log1p.f64 n) #s(literal -1 binary64)) (neg.f64 (*.f64 (log1p.f64 n) n))))))
(/.f64 (-.f64 (.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) (log1p.f64 n))) (.f64 (.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n)) (.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n)))) (-.f64 (-.f64 #s(literal 0 binary64) (log1p.f64 n)) (*.f64 (-.f64 #s(literal 0 binary64) n) (log1p.f64 n))))
(/.f64 (-.f64 (.f64 (.f64 (log1p.f64 n) #s(literal -1 binary64)) (.f64 (log1p.f64 n) #s(literal -1 binary64))) (.f64 (neg.f64 (.f64 (log1p.f64 n) n)) (neg.f64 (.f64 (log1p.f64 n) n)))) (-.f64 (.f64 (log1p.f64 n) #s(literal -1 binary64)) (neg.f64 (.f64 (log1p.f64 n) n))))
(/.f64 (*.f64 (log1p.f64 n) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (-.f64 #s(literal -1 binary64) n)))
(/.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))))) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (.f64 (log1p.f64 n) (+.f64 #s(literal -1 binary64) (.f64 n n))) (-.f64 #s(literal 1 binary64) n))
(/.f64 (.f64 (-.f64 #s(literal 0 binary64) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n)))) (log1p.f64 n)) (-.f64 #s(literal 0 binary64) (+.f64 #s(literal 1 binary64) (.f64 n (+.f64 #s(literal -1 binary64) n)))))
(/.f64 (.f64 (+.f64 #s(literal -1 binary64) (.f64 n n)) (log1p.f64 n)) (-.f64 #s(literal 1 binary64) n))
(*.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n))
(*.f64 (-.f64 #s(literal -1 binary64) n) (log1p.f64 n))
(.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (.f64 (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))) (log1p.f64 n)))
(.f64 (-.f64 #s(literal 1 binary64) (.f64 n n)) (*.f64 (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) n)) (log1p.f64 n)))
(.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n)))) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(.f64 (.f64 (log1p.f64 n) (-.f64 #s(literal 1 binary64) (*.f64 n n))) (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) n)))
(.f64 (.f64 (-.f64 #s(literal -1 binary64) (.f64 n (.f64 n n))) (log1p.f64 n)) (/.f64 #s(literal 1 binary64) (+.f64 #s(literal 1 binary64) (*.f64 n (+.f64 #s(literal -1 binary64) n)))))
(.f64 (.f64 (-.f64 #s(literal 1 binary64) (*.f64 n n)) (log1p.f64 n)) (/.f64 #s(literal -1 binary64) (-.f64 #s(literal 1 binary64) n)))

simplify433.0ms (7.6%)

Memory

4.5MiB live, 762.6MiB allocated

Algorithm

1×	egg-herbie

Rules

16 720×	`accelerator-lowering-fma.f32`
16 720×	`accelerator-lowering-fma.f64`
2 876×	`+-lowering-+.f64`
2 876×	`+-lowering-+.f32`
2 690×	`-lowering-.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	151	779
1	480	635
2	1565	504
3	5667	473
0	8414	455

Stop Event

1×	iter limit
1×	node limit

Counts

60 → 60

Calls

Call 1

Inputs
-1
(- (* n (- 1 (log n))) 1)
(- (* n (- (+ 1 (* 1/2 n)) (log n))) 1)
(- (* n (- (+ 1 (* n (+ 1/2 (* -1/6 n)))) (log n))) 1)
(* -1 (* n (+ (log (/ 1 n)) (* -1 (log (/ 1 n))))))
(* n (- (* -1 (/ (+ 1 (* -1 (+ 1 (* -1 (log (/ 1 n)))))) n)) (+ (log (/ 1 n)) (* -1 (log (/ 1 n))))))
(* n (- (/ 1/2 (pow n 2)) (+ (log (/ 1 n)) (+ (* -1 (log (/ 1 n))) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (/ 1 n))))))
(* n (- (/ 1/2 (pow n 2)) (+ (log (/ 1 n)) (+ (* -1 (log (/ 1 n))) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (+ (/ 1 n) (* 1/6 (/ 1 (pow n 3)))))))))
(* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))
(* -1 (* n (- (* -1 (/ (+ (log -1) (* -1 (log (/ -1 n)))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))
(* -1 (* n (- (* -1 (/ (- (* 1/2 (/ 1 n)) (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))
(* -1 (* n (- (* -1 (/ (- (* -1 (/ (- (* 1/6 (/ 1 n)) 1/2) n)) (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))
-1
(- (* -1 (* n (log n))) 1)
(- (* -1 (* n (log n))) 1)
(- (* -1 (* n (log n))) 1)
(* n (log (/ 1 n)))
(* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))
(* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))
(* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))
(* -1 (* n (+ (log -1) (* -1 (log (/ -1 n))))))
(* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))
(* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))
(* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))
(* n (log n))
(* n (log n))
(* n (log n))
(* n (log n))
(* -1 (* n (log (/ 1 n))))
(* -1 (* n (log (/ 1 n))))
(* -1 (* n (log (/ 1 n))))
(* -1 (* n (log (/ 1 n))))
(* n (+ (log -1) (* -1 (log (/ -1 n)))))
(* n (+ (log -1) (* -1 (log (/ -1 n)))))
(* n (+ (log -1) (* -1 (log (/ -1 n)))))
(* n (+ (log -1) (* -1 (log (/ -1 n)))))
(log n)
(log n)
(log n)
(log n)
(* -1 (log (/ 1 n)))
(* -1 (log (/ 1 n)))
(* -1 (log (/ 1 n)))
(* -1 (log (/ 1 n)))
(+ (log -1) (* -1 (log (/ -1 n))))
(+ (log -1) (* -1 (log (/ -1 n))))
(+ (log -1) (* -1 (log (/ -1 n))))
(+ (log -1) (* -1 (log (/ -1 n))))
(* -1 n)
(* n (- (* -1/2 n) 1))
(* n (- (* n (- (* 1/6 n) 1/2)) 1))
(* n (- (* n (- (* n (+ 1/6 (* -1/12 n))) 1/2)) 1))
(* n (log (/ 1 n)))
(* n (+ (log (/ 1 n)) (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n))))
(* n (- (+ (log (/ 1 n)) (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n))) (/ 1/2 (pow n 2))))
(* n (- (+ (log (/ 1 n)) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (* 1/6 (/ 1 (pow n 3))))) (/ 1/2 (pow n 2))))
(* -1 (* n (+ (log -1) (* -1 (log (/ -1 n))))))
(* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) 1) n))))))
(* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) (+ 1 (* 1/2 (/ 1 n)))) n))))))
(* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (+ (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) (* -1 (/ (- 1/2 (* 1/6 (/ 1 n))) n))) 1) n))))))

Outputs
-1
#s(literal -1 binary64)
(- (* n (- 1 (log n))) 1)
(+.f64 #s(literal -1 binary64) (*.f64 n (-.f64 #s(literal 1 binary64) (log.f64 n))))
(- (* n (- (+ 1 (* 1/2 n)) (log n))) 1)
(+.f64 #s(literal -1 binary64) (.f64 n (+.f64 #s(literal 1 binary64) (-.f64 (.f64 n #s(literal 1/2 binary64)) (log.f64 n)))))
(- (* n (- (+ 1 (* n (+ 1/2 (* -1/6 n)))) (log n))) 1)
(+.f64 #s(literal -1 binary64) (.f64 n (+.f64 (-.f64 #s(literal 1 binary64) (log.f64 n)) (.f64 n (+.f64 #s(literal 1/2 binary64) (*.f64 n #s(literal -1/6 binary64)))))))
(* -1 (* n (+ (log (/ 1 n)) (* -1 (log (/ 1 n))))))
#s(literal 0 binary64)
(* n (- (* -1 (/ (+ 1 (* -1 (+ 1 (* -1 (log (/ 1 n)))))) n)) (+ (log (/ 1 n)) (* -1 (log (/ 1 n))))))
(*.f64 #s(literal -1 binary64) (/.f64 (log.f64 n) #s(literal -1 binary64)))
(* n (- (/ 1/2 (pow n 2)) (+ (log (/ 1 n)) (+ (* -1 (log (/ 1 n))) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (/ 1 n))))))
(+.f64 (/.f64 #s(literal 1/2 binary64) n) (*.f64 #s(literal -1 binary64) (/.f64 (log.f64 n) #s(literal -1 binary64))))
(* n (- (/ 1/2 (pow n 2)) (+ (log (/ 1 n)) (+ (* -1 (log (/ 1 n))) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (+ (/ 1 n) (* 1/6 (/ 1 (pow n 3)))))))))
(.f64 n (+.f64 (/.f64 (+.f64 #s(literal 1/2 binary64) (/.f64 #s(literal -1/6 binary64) n)) (.f64 n n)) (/.f64 (log.f64 n) n)))
(* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))
#s(literal 0 binary64)
(* -1 (* n (- (* -1 (/ (+ (log -1) (* -1 (log (/ -1 n)))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n)))
(* -1 (* n (- (* -1 (/ (- (* 1/2 (/ 1 n)) (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))
(*.f64 #s(literal -1 binary64) (/.f64 (+.f64 (-.f64 (/.f64 #s(literal 1/2 binary64) n) (log.f64 (/.f64 #s(literal -1 binary64) n))) (log.f64 #s(literal -1 binary64))) #s(literal -1 binary64)))
(* -1 (* n (- (* -1 (/ (- (* -1 (/ (- (* 1/6 (/ 1 n)) 1/2) n)) (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))) n)) (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))))
(*.f64 #s(literal -1 binary64) (-.f64 (/.f64 (+.f64 (/.f64 #s(literal 1/6 binary64) n) #s(literal -1/2 binary64)) n) (/.f64 (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64))) #s(literal -1 binary64))))
-1
#s(literal -1 binary64)
(- (* -1 (* n (log n))) 1)
(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
(- (* -1 (* n (log n))) 1)
(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
(- (* -1 (* n (log n))) 1)
(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
(* n (log (/ 1 n)))
(*.f64 n (-.f64 #s(literal 0 binary64) (log.f64 n)))
(* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))
(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
(* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))
(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
(* -1 (* n (+ (* -1 (log (/ 1 n))) (/ 1 n))))
(-.f64 #s(literal -1 binary64) (*.f64 n (log.f64 n)))
(* -1 (* n (+ (log -1) (* -1 (log (/ -1 n))))))
(*.f64 n (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64))))
(* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))
(+.f64 #s(literal -1 binary64) (*.f64 n (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64)))))
(* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))
(+.f64 #s(literal -1 binary64) (*.f64 n (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64)))))
(* -1 (* n (- (/ 1 n) (* -1 (+ (log -1) (* -1 (log (/ -1 n))))))))
(+.f64 #s(literal -1 binary64) (*.f64 n (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64)))))
(* n (log n))
(*.f64 n (log.f64 n))
(* n (log n))
(*.f64 n (log.f64 n))
(* n (log n))
(*.f64 n (log.f64 n))
(* n (log n))
(*.f64 n (log.f64 n))
(* -1 (* n (log (/ 1 n))))
(*.f64 n (log.f64 n))
(* -1 (* n (log (/ 1 n))))
(*.f64 n (log.f64 n))
(* -1 (* n (log (/ 1 n))))
(*.f64 n (log.f64 n))
(* -1 (* n (log (/ 1 n))))
(*.f64 n (log.f64 n))
(* n (+ (log -1) (* -1 (log (/ -1 n)))))
(*.f64 n (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n))))
(* n (+ (log -1) (* -1 (log (/ -1 n)))))
(*.f64 n (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n))))
(* n (+ (log -1) (* -1 (log (/ -1 n)))))
(*.f64 n (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n))))
(* n (+ (log -1) (* -1 (log (/ -1 n)))))
(*.f64 n (-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n))))
(log n)
(log.f64 n)
(log n)
(log.f64 n)
(log n)
(log.f64 n)
(log n)
(log.f64 n)
(* -1 (log (/ 1 n)))
(log.f64 n)
(* -1 (log (/ 1 n)))
(log.f64 n)
(* -1 (log (/ 1 n)))
(log.f64 n)
(* -1 (log (/ 1 n)))
(log.f64 n)
(+ (log -1) (* -1 (log (/ -1 n))))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n)))
(+ (log -1) (* -1 (log (/ -1 n))))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n)))
(+ (log -1) (* -1 (log (/ -1 n))))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n)))
(+ (log -1) (* -1 (log (/ -1 n))))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (/.f64 #s(literal -1 binary64) n)))
(* -1 n)
(-.f64 #s(literal 0 binary64) n)
(* n (- (* -1/2 n) 1))
(.f64 n (+.f64 #s(literal -1 binary64) (.f64 n #s(literal -1/2 binary64))))
(* n (- (* n (- (* 1/6 n) 1/2)) 1))
(.f64 n (+.f64 #s(literal -1 binary64) (.f64 n (+.f64 #s(literal -1/2 binary64) (*.f64 n #s(literal 1/6 binary64))))))
(* n (- (* n (- (* n (+ 1/6 (* -1/12 n))) 1/2)) 1))
(.f64 n (+.f64 #s(literal -1 binary64) (.f64 n (+.f64 #s(literal -1/2 binary64) (.f64 n (+.f64 #s(literal 1/6 binary64) (.f64 n #s(literal -1/12 binary64))))))))
(* n (log (/ 1 n)))
(*.f64 n (-.f64 #s(literal 0 binary64) (log.f64 n)))
(* n (+ (log (/ 1 n)) (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n))))
(-.f64 (-.f64 #s(literal -1 binary64) (log.f64 n)) (*.f64 n (log.f64 n)))
(* n (- (+ (log (/ 1 n)) (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n))) (/ 1/2 (pow n 2))))
(+.f64 (-.f64 (-.f64 #s(literal -1 binary64) (log.f64 n)) (*.f64 n (log.f64 n))) (/.f64 #s(literal -1/2 binary64) n))
(* n (- (+ (log (/ 1 n)) (+ (* -1 (/ (+ 1 (* -1 (log (/ 1 n)))) n)) (* 1/6 (/ 1 (pow n 3))))) (/ 1/2 (pow n 2))))
(+.f64 (-.f64 (-.f64 #s(literal -1 binary64) (log.f64 n)) (.f64 n (log.f64 n))) (.f64 (/.f64 (+.f64 (/.f64 #s(literal 1/6 binary64) n) #s(literal -1/2 binary64)) (*.f64 n n)) n))
(* -1 (* n (+ (log -1) (* -1 (log (/ -1 n))))))
(*.f64 n (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64))))
(* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) 1) n))))))
(+.f64 (.f64 n (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64)))) (.f64 #s(literal -1 binary64) (/.f64 (+.f64 (-.f64 #s(literal -1 binary64) (log.f64 #s(literal -1 binary64))) (log.f64 (/.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64))))
(* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) (+ 1 (* 1/2 (/ 1 n)))) n))))))
(*.f64 n (+.f64 (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64))) (/.f64 (+.f64 (-.f64 (+.f64 #s(literal -1 binary64) (/.f64 #s(literal -1/2 binary64) n)) (log.f64 #s(literal -1 binary64))) (log.f64 (/.f64 #s(literal -1 binary64) n))) n)))
(* -1 (* n (+ (log -1) (+ (* -1 (log (/ -1 n))) (* -1 (/ (- (+ (* -1 (+ (log -1) (* -1 (log (/ -1 n))))) (* -1 (/ (- 1/2 (* 1/6 (/ 1 n))) n))) 1) n))))))
(+.f64 (.f64 n (-.f64 (log.f64 (/.f64 #s(literal -1 binary64) n)) (log.f64 #s(literal -1 binary64)))) (.f64 #s(literal -1 binary64) (-.f64 (/.f64 (+.f64 (-.f64 #s(literal -1 binary64) (log.f64 #s(literal -1 binary64))) (log.f64 (/.f64 #s(literal -1 binary64) n))) #s(literal -1 binary64)) (/.f64 (+.f64 (/.f64 #s(literal 1/6 binary64) n) #s(literal -1/2 binary64)) n))))

eval79.0ms (1.4%)

Memory: -7.9MiB live, 115.4MiB allocated
Compiler: Compiled 10 967 to 969 computations (91.2% saved)

prune38.0ms (0.7%)

Memory

17.0MiB live, 99.6MiB allocated

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	346	2	348
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	347	2	349

Accuracy

100.0%

Counts

349 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(*.f64 #s(literal -1 binary64) (/.f64 (log.f64 n) #s(literal -1 binary64)))
▶	3.1%	#s(literal 0 binary64)

Compiler

Compiled 9 to 7 computations (22.2% saved)

simplify5.0ms (0.1%)

Memory

5.0MiB live, 5.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	cost-diff	0	(log.f64 n)
✓	cost-diff	0	(/.f64 (log.f64 n) #s(literal -1 binary64))
✓	cost-diff	256	(*.f64 #s(literal -1 binary64) (/.f64 (log.f64 n) #s(literal -1 binary64)))

Rules

16×	`-lowering-.f32`
16×	`-lowering-.f64`
16×	`accelerator-lowering-fma.f32`
16×	`accelerator-lowering-fma.f64`
8×	`+-lowering-+.f64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	6	17
1	10	15
2	17	11
3	23	10
4	57	10
5	62	10
6	63	10
0	63	10

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
0
(* -1 (/ (log n) -1))
-1
(/ (log n) -1)
(log n)
n

Outputs
0
#s(literal 0 binary64)
(* -1 (/ (log n) -1))
(log.f64 n)
-1
#s(literal -1 binary64)
(/ (log n) -1)
(-.f64 #s(literal 0 binary64) (log.f64 n))
(log n)
(log.f64 n)
n

localize23.0ms (0.4%)

Memory

2.6MiB live, 39.2MiB allocated

Localize:

Found 3 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(/.f64 (log.f64 n) #s(literal -1 binary64))
✓	accuracy	100.0%	(*.f64 #s(literal -1 binary64) (/.f64 (log.f64 n) #s(literal -1 binary64)))
✓	accuracy	100.0%	(log.f64 n)

Samples

16.0ms

256×

valid

Compiler

Compiled 17 to 8 computations (52.9% saved)

Precisions

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

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

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

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

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

exact: 0.0ms (0% of total)

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

series1.0ms (0%)

Memory

2.5MiB live, 2.5MiB allocated

Counts

3 → 36

Calls

Call 1

Inputs
#<alt (* -1 (/ (log n) -1))>
#<alt (/ (log n) -1)>
#<alt (log n)>

Outputs
#<alt (log n)>
#<alt (log n)>
#<alt (log n)>
#<alt (log n)>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (* -1 (log n))>
#<alt (* -1 (log n))>
#<alt (* -1 (log n))>
#<alt (* -1 (log n))>
#<alt (log (/ 1 n))>
#<alt (log (/ 1 n))>
#<alt (log (/ 1 n))>
#<alt (log (/ 1 n))>
#<alt (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))>
#<alt (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))>
#<alt (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))>
#<alt (* -1 (+ (log -1) (* -1 (log (/ -1 n)))))>
#<alt (log n)>
#<alt (log n)>
#<alt (log n)>
#<alt (log n)>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>

Calls

9 calls:

Time	Variable		Point	Expression
0.0ms	n	@	inf	(/ (log n) -1)
0.0ms	n	@	0	(/ (log n) -1)
0.0ms	n	@	-inf	(/ (log n) -1)
0.0ms	n	@	0	(* -1 (/ (log n) -1))
0.0ms	n	@	inf	(* -1 (/ (log n) -1))

rewrite75.0ms (1.3%)

Memory

4.3MiB live, 83.1MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

316×	`-lowering-.f32`
316×	`-lowering-.f64`
296×	`/-lowering-/.f32`
296×	`/-lowering-/.f64`
98×	`frac-times`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	5	14
1	17	11
2	59	7
3	152	7
0	819	7

Stop Event

1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound

Counts

3 → 182

Calls

Call 1

Inputs
(* -1 (/ (log n) -1))
(/ (log n) -1)
(log n)

Outputs
(log.f64 n)
(+.f64 (log.f64 n) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (log.f64 n))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (log.f64 n))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(-.f64 (/.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n))) (/.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (log.f64 n))))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (log.f64 n) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (log.f64 n) #s(literal 0 binary64))
(fma.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (neg.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1/2 binary64)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -1 binary64) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64)))) (pow.f64 (log.f64 n) #s(literal 2 binary64)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n) #s(literal 0 binary64))
(neg.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 n)))
(/.f64 (log.f64 n) #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (log.f64 n)))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) (pow.f64 (log.f64 n) #s(literal 3 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (*.f64 #s(literal -1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(/.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (pow.f64 (log.f64 n) #s(literal 2 binary64)))
(/.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n))
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (log.f64 n))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (log.f64 n))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)))
(pow.f64 (log.f64 n) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(*.f64 (log.f64 n) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (log.f64 n))
(*.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (log.f64 n)))
(*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (neg.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)))
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (log.f64 n)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 n)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64)))) (pow.f64 (log.f64 n) #s(literal 2 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n))
(log.f64 (/.f64 #s(literal 1 binary64) n))
(+.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(exp.f64 (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal -1 binary64) (log.f64 n)))))
(-.f64 #s(literal 0 binary64) (log.f64 n))
(-.f64 (log.f64 #s(literal -1 binary64)) (log.f64 (-.f64 #s(literal 0 binary64) n)))
(-.f64 (/.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (log.f64 n))
(-.f64 (/.f64 #s(literal 0 binary64) (log.f64 n)) (/.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) (log.f64 n)))
(fma.f64 #s(literal -1 binary64) (log.f64 n) #s(literal 0 binary64))
(fma.f64 (log.f64 n) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 1 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (pow.f64 (log.f64 n) #s(literal 2 binary64)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 0 binary64))
(neg.f64 (log.f64 n))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal 1 binary64) (log.f64 n)))
(/.f64 (log.f64 n) #s(literal -1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 n)))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64)))))
(/.f64 #s(literal 1 binary64) (/.f64 (log.f64 n) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (pow.f64 (log.f64 n) #s(literal 2 binary64)))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(/.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (*.f64 #s(literal -1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (log.f64 n))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (log.f64 n))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (log.f64 n))
(pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal -1 binary64) (log.f64 n)) #s(literal -1 binary64))
(pow.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 2 binary64))
(pow.f64 (*.f64 (/.f64 #s(literal -1 binary64) (log.f64 n)) (/.f64 #s(literal -1 binary64) (log.f64 n))) #s(literal -1/2 binary64))
(pow.f64 (exp.f64 (log.f64 (/.f64 #s(literal -1 binary64) (log.f64 n)))) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (log.f64 n))
(*.f64 (log.f64 n) #s(literal -1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1 binary64))
(*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (/.f64 #s(literal 1 binary64) (log.f64 n)))
(*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)))
(.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 1 binary64)))
(.f64 (.f64 #s(literal 1 binary64) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 n)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (/.f64 #s(literal 1 binary64) (log.f64 n)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (pow.f64 (log.f64 n) #s(literal 2 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(log.f64 n)
(+.f64 (log.f64 n) #s(literal 0 binary64))
(+.f64 #s(literal 0 binary64) (log.f64 n))
(exp.f64 (*.f64 (log.f64 (/.f64 #s(literal 1 binary64) (log.f64 n))) #s(literal -1 binary64)))
(-.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(-.f64 (/.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(-.f64 (/.f64 #s(literal 0 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n))) (/.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) (-.f64 #s(literal 0 binary64) (log.f64 n))))
(fma.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (log.f64 n) #s(literal 1 binary64) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal -1 binary64) #s(literal 0 binary64))
(fma.f64 #s(literal 1 binary64) (log.f64 n) #s(literal 0 binary64))
(fma.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 0 binary64))
(fma.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (neg.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal -1 binary64)) #s(literal 0 binary64))
(fma.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1/2 binary64)) #s(literal 0 binary64))
(fma.f64 (neg.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 0 binary64))
(fma.f64 (*.f64 #s(literal -1 binary64) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 n)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64)))) (pow.f64 (log.f64 n) #s(literal 2 binary64)) #s(literal 0 binary64))
(fma.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n) #s(literal 0 binary64))
(neg.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 #s(literal -1 binary64) (/.f64 #s(literal -1 binary64) (log.f64 n)))
(/.f64 (log.f64 n) #s(literal 1 binary64))
(/.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal -1 binary64))
(/.f64 #s(literal 1 binary64) (/.f64 #s(literal 1 binary64) (log.f64 n)))
(/.f64 #s(literal 1 binary64) (/.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) (pow.f64 (log.f64 n) #s(literal 3 binary64))))
(/.f64 #s(literal 1 binary64) (/.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64))) (*.f64 #s(literal -1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(/.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (pow.f64 (log.f64 n) #s(literal 2 binary64)))
(/.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (+.f64 #s(literal 0 binary64) (-.f64 (pow.f64 (log.f64 n) #s(literal 2 binary64)) #s(literal 0 binary64))))
(/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n))
(/.f64 (*.f64 #s(literal 1 binary64) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (log.f64 n))
(/.f64 (*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (neg.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (log.f64 n))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(/.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)))
(pow.f64 (log.f64 n) #s(literal 1 binary64))
(pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1 binary64))
(*.f64 #s(literal -1 binary64) (-.f64 #s(literal 0 binary64) (log.f64 n)))
(*.f64 (log.f64 n) #s(literal 1 binary64))
(*.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal -1 binary64))
(*.f64 #s(literal 1 binary64) (log.f64 n))
(*.f64 (pow.f64 (log.f64 n) #s(literal 3 binary64)) (/.f64 #s(literal 1 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))))
(*.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (/.f64 #s(literal -1 binary64) (log.f64 n)))
(*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (neg.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))))
(.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) (/.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)) #s(literal -1 binary64)))
(*.f64 (pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1/2 binary64)) (pow.f64 (/.f64 #s(literal 1 binary64) (log.f64 n)) #s(literal -1/2 binary64)))
(*.f64 (neg.f64 (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)))
(.f64 (.f64 #s(literal -1 binary64) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64))) (pow.f64 (-.f64 #s(literal 0 binary64) (log.f64 n)) #s(literal 1/2 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal -1 binary64)) (/.f64 #s(literal 1 binary64) (log.f64 n)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) #s(literal 1 binary64)) (/.f64 #s(literal -1 binary64) (log.f64 n)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 3 binary64)))) (pow.f64 (log.f64 n) #s(literal 2 binary64)))
(*.f64 (/.f64 (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64))) (-.f64 #s(literal 0 binary64) (pow.f64 (log.f64 n) #s(literal 2 binary64)))) (log.f64 n))

simplify21.0ms (0.4%)

Memory

-19.7MiB live, 19.7MiB allocated

Algorithm

1×	egg-herbie

Rules

96×	`accelerator-lowering-fma.f32`
96×	`accelerator-lowering-fma.f64`
64×	`-lowering-.f32`
64×	`-lowering-.f64`
40×	`+-lowering-+.f64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	14	156
1	31	144
2	47	140
3	71	140
4	112	140
5	169	140
6	186	140
7	194	140
0	194	140

Stop Event

1×	iter limit
1×	saturated

Counts

36 → 36

Calls

Call 1

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

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

eval22.0ms (0.4%)

Memory: -1.6MiB live, 35.5MiB allocated
Compiler: Compiled 2 538 to 364 computations (85.7% saved)

prune22.0ms (0.4%)

Memory

2.4MiB live, 40.7MiB allocated

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	217	1	218
Fresh	0	0	0
Picked	1	1	2
Done	0	0	0
Total	218	2	220

Accuracy

100.0%

Counts

220 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	100.0%	(log.f64 n)
✓	3.1%	#s(literal 0 binary64)

Compiler

Compiled 5 to 4 computations (20% saved)

simplify3.0ms (0.1%)

Memory

4.0MiB live, 4.0MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 1 expressions of interest:

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

Rules

2×	`log-lowering-log.f64`
2×	`log-lowering-log.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	3
0	2	3

Stop Event

1×	iter limit
1×	saturated

Calls

Call 1

Inputs
(log n)
n

Outputs
(log n)
(log.f64 n)
n

localize10.0ms (0.2%)

Memory

14.3MiB live, 14.3MiB allocated

Localize:

Found 1 expressions of interest:

New	Metric	Score	Program
✓	accuracy	100.0%	(log.f64 n)

Samples

7.0ms

256×

valid

Compiler

Compiled 5 to 4 computations (20% saved)

Precisions

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

ival-log: 3.0ms (101.4% of total)

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

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

series0.0ms (0%)

Memory

0.4MiB live, 0.4MiB allocated

Counts

1 → 12

Calls

Call 1

Inputs
#<alt (log n)>

Outputs
#<alt (log n)>
#<alt (log n)>
#<alt (log n)>
#<alt (log n)>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (* -1 (log (/ 1 n)))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>
#<alt (+ (log -1) (* -1 (log (/ -1 n))))>

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	n	@	-inf	(log n)
0.0ms	n	@	0	(log n)
0.0ms	n	@	inf	(log n)

rewrite13.0ms (0.2%)

Memory

-30.2MiB live, 8.3MiB allocated

Algorithm

1×	batch-egg-rewrite

Rules

2×	`log-lowering-log.f64`
2×	`log-lowering-log.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2	2
0	2	2

Stop Event

1×	iter limit
1×	saturated

Counts

1 → 1

Calls

Call 1

Inputs
(log n)

Outputs
(log.f64 n)

simplify10.0ms (0.2%)

Memory

13.7MiB live, 13.7MiB allocated

Algorithm

1×	egg-herbie

Rules

96×	`accelerator-lowering-fma.f32`
96×	`accelerator-lowering-fma.f64`
64×	`-lowering-.f32`
64×	`-lowering-.f64`
40×	`+-lowering-+.f64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	48
1	20	44
2	27	44
3	45	44
4	64	44
5	82	44
6	110	44
7	129	44
8	171	44
9	186	44
10	194	44
0	194	44

Stop Event

1×	iter limit
1×	saturated

Counts

12 → 12

Calls

Call 1

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

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

eval1.0ms (0%)

Memory: 2.7MiB live, 2.7MiB allocated
Compiler: Compiled 47 to 7 computations (85.1% saved)

prune2.0ms (0%)

Memory

4.8MiB live, 4.8MiB allocated

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	13	0	13
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	13	2	15

Accuracy

100.0%

Counts

15 → 2

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	100.0%	(log.f64 n)
✓	3.1%	#s(literal 0 binary64)

Compiler

Compiled 43 to 22 computations (48.8% saved)

regimes6.0ms (0.1%)

Memory

15.1MiB live, 15.1MiB allocated

Counts

5 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)
(log.f64 n)
(*.f64 #s(literal -1 binary64) (/.f64 (log.f64 n) #s(literal -1 binary64)))
(-.f64 (-.f64 #s(literal -1 binary64) (.f64 n (log.f64 n))) (.f64 (log1p.f64 n) (-.f64 #s(literal -1 binary64) n)))
(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))

Outputs
(log.f64 n)

Calls

3 calls:

2.0ms

(-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n)))

2.0ms

(-.f64 (-.f64 (*.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (*.f64 n (log.f64 n))) #s(literal 1 binary64))

Results

Accuracy	Segments	Branch
100.0%	1	`n`
100.0%	1	`(-.f64 (-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n))) #s(literal 1 binary64))`
100.0%	1	`(-.f64 (.f64 (+.f64 n #s(literal 1 binary64)) (log.f64 (+.f64 n #s(literal 1 binary64)))) (.f64 n (log.f64 n)))`

Compiler

Compiled 32 to 18 computations (43.8% saved)

regimes8.0ms (0.1%)

Memory

-38.4MiB live, 6.2MiB allocated

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0b (0%)

Counts

1 → 1

Calls

Call 1

Inputs
#s(literal 0 binary64)

Outputs
#s(literal 0 binary64)

Calls

1 calls:

8.0ms

Results

Accuracy	Segments	Branch
3.1%	1	`n`

Compiler

Compiled 2 to 1 computations (50% saved)

simplify7.0ms (0.1%)

Memory

15.9MiB live, 15.9MiB allocated

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3	3

Stop Event

1×

saturated

Calls

Call 1

Inputs
(log.f64 n)
#s(literal 0 binary64)

Outputs
(log.f64 n)
#s(literal 0 binary64)

soundness780.0ms (13.8%)

Memory

-5.3MiB live, 796.6MiB allocated

Rules

16 720×	`accelerator-lowering-fma.f32`
16 720×	`accelerator-lowering-fma.f64`
2 876×	`+-lowering-+.f64`
2 876×	`+-lowering-+.f32`
2 690×	`-lowering-.f32`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	5	14
1	17	11
2	59	7
3	152	7
0	819	7
0	151	779
1	480	635
2	1565	504
3	5667	473
0	8414	455
0	9	15
1	24	15
2	52	15
3	119	15
4	253	15
5	487	15
6	842	15
7	1191	15
8	1382	15
9	1399	15
0	1399	11

Stop Event

1×	done
1×	iter limit
1×	saturated
1×	iter limit
1×	node limit
1×	iter limit
1×	iter limit
1×	iter limit
1×	unsound

Compiler

Compiled 12 to 10 computations (16.7% saved)

preprocess59.0ms (1%)

Memory: -9.5MiB live, 67.6MiB allocated
Compiler: Compiled 90 to 58 computations (35.6% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

Iter	Nodes	Cost
0	12	48
1	20	44
2	27	44
3	45	44
4	64	44
5	82	44
6	110	44
7	129	44
8	171	44
9	186	44
10	194	44
0	194	44

Iter	Nodes	Cost
0	12	48
1	20	44
2	27	44
3	45	44
4	64	44
5	82	44
6	110	44
7	129	44
8	171	44
9	186	44
10	194	44
0	194	44

analyze0.0ms (0%)

sample2.9s (51.8%)

preprocess147.0ms (2.6%)

explain330.0ms (5.8%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify70.0ms (1.2%)

localize77.0ms (1.4%)

series95.0ms (1.7%)

rewrite397.0ms (7%)

simplify433.0ms (7.6%)

eval79.0ms (1.4%)

prune38.0ms (0.7%)

simplify5.0ms (0.1%)

localize23.0ms (0.4%)

series1.0ms (0%)

rewrite75.0ms (1.3%)

simplify21.0ms (0.4%)

eval22.0ms (0.4%)

prune22.0ms (0.4%)

simplify3.0ms (0.1%)

localize10.0ms (0.2%)

series0.0ms (0%)

rewrite13.0ms (0.2%)

simplify10.0ms (0.2%)

eval1.0ms (0%)

prune2.0ms (0%)

regimes6.0ms (0.1%)

regimes8.0ms (0.1%)

simplify7.0ms (0.1%)

soundness780.0ms (13.8%)

preprocess59.0ms (1%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	12	48
1	20	44
2	27	44
3	45	44
4	64	44
5	82	44
6	110	44
7	129	44
8	171	44
9	186	44
10	194	44
0	194	44