Metrics for Toniolo and Linder, Equation (13)

start0.0ms (0%)

Memory: 0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze861.0ms (18.1%)

Memory

30.1MiB live, 638.5MiB allocated; 976ms collecting garbage

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.7%	0.3%	0%	0%	0%	0
0%	0%	99.7%	0.3%	0%	0%	0%	1
0%	0%	99.7%	0.3%	0%	0%	0%	2
0%	0%	99.7%	0.3%	0%	0%	0%	3
0%	0%	99.7%	0.3%	0%	0%	0%	4
0%	0%	99.7%	0.3%	0%	0%	0%	5
0%	0%	99.7%	0.3%	0%	0%	0%	6
0%	0%	99.7%	0.3%	0%	0%	0%	7
0%	0%	99.7%	0.3%	0%	0%	0%	8
0%	0%	99.7%	0.3%	0%	0%	0%	9
0%	0%	97.8%	0.3%	0%	1.9%	0%	10
0%	0%	97.4%	0.3%	0%	2.3%	0%	11
0%	0%	94.8%	0.3%	0%	4.9%	0%	12

Compiler

Compiled 30 to 23 computations (23.3% saved)

sample3.2s (66.7%)

Memory

128.2MiB live, 3 908.7MiB allocated; 509ms collecting garbage

Samples

1.3s	12 114×	0	invalid
853.0ms	8 255×	0	valid
0.0ms	1×	1	valid

Precisions

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

ival-mult!: 663.0ms (48.2% of total)

ival-pow2: 248.0ms (18% of total)

ival-div!: 197.0ms (14.3% of total)

ival-sub!: 137.0ms (10% of total)

ival-sqrt: 126.0ms (9.2% of total)

adjust: 4.0ms (0.3% of total)

Bogosity

explain528.0ms (11.1%)

Memory

-30.5MiB live, 392.5MiB allocated; 630ms collecting garbage

FPErrors

Click to see full error table

Ground Truth	Overpredictions	Example	Underpredictions	Example	Subexpression
69	1	(-6.819973605130768e-168 8.266644711630258e-292 -4.379559803193279e-189 -1.3264932263567833e-104 -6.764227653121403e+124 1.5115827491003426e+102)	2	(-3.5454690213598287e-146 -4.209219143202312e-299 5.883502781368999e+122 1.594694705090032e-154 1.577016631042577e+159 2.391621048063025e-87)	`(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))`
45	0	-	1	(-1.0358281515784673e-46 -5.288016219841595e-266 9.635420007766355e-297 -2.4661060132259988e+101 -5.676713258680296e+157 -3.325809933188353e-103)	`(.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))`
36	0	-	4	(3.7468471988810704e-294 8.199239121552476e-59 7.189537832875362e+70 2.5525929867420636e-162 2.2752446448619734e-26 5.5943400993272456e-272)	`(/.f64 (*.f64 l l) Om)`
26	0	-	1	(1.4625615995357522e+250 1.0511343368264558e+158 1.86384744791255e+264 -2.9195289402775525e+115 8.888725397293058e+273 -6.250673984217991e+111)	`(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))`
25	0	-	0	-	`(-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))`
17	0	-	1	(1.70311262333576e+29 -182661.25498311673 -1.2026553737414074e-90 4.359666333702535e-207 4.241387078426222e-34 7.010876642057451e-221)	`(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))`
1	0	-	0	-	`(.f64 (.f64 #s(literal 2 binary64) n) U)`
0	0	-	0	-	`Om`
0	0	-	0	-	`t`
0	0	-	0	-	`(/.f64 l Om)`
0	0	-	0	-	`U`
0	0	-	0	-	`U*`
0	0	-	0	-	`(-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om)))`
0	0	-	0	-	`(*.f64 #s(literal 2 binary64) n)`
0	0	-	0	-	`n`
0	0	-	0	-	`(pow.f64 (/.f64 l Om) #s(literal 2 binary64))`
0	0	-	0	-	`(*.f64 l l)`
0	0	-	0	-	`(.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))`
0	0	-	0	-	`#s(literal 2 binary64)`
0	0	-	0	-	`(-.f64 U U*)`
0	0	-	0	-	`l`

Explanations

Click to see full explanations table

Operator	Subexpression	Explanation	Count
`sqrt.f64`	`(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))`	oflow-rescue	46	0
↳	`(-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om)))`	overflow	56
↳	`(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))`	overflow	68
↳	`(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))`	overflow	61
↳	`(*.f64 #s(literal 2 binary64) n)`	overflow	1
↳	`(.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))`	overflow	81
↳	`(-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))`	overflow	79
↳	`(/.f64 (*.f64 l l) Om)`	overflow	56
↳	`(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))`	overflow	35
↳	`(.f64 (.f64 #s(literal 2 binary64) n) U)`	overflow	14
↳	`(pow.f64 (/.f64 l Om) #s(literal 2 binary64))`	overflow	62
↳	`(/.f64 l Om)`	overflow	29
↳	`(*.f64 l l)`	overflow	58
↳	`(.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))`	overflow	56
`-.f64`	`(-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))`	nan-rescue	25	0
↳	`(-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om)))`	overflow	56
↳	`(/.f64 (*.f64 l l) Om)`	overflow	56
↳	`(*.f64 l l)`	overflow	58
↳	`(.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))`	overflow	56
↳	`(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))`	overflow	68
↳	`(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))`	overflow	61
↳	`(pow.f64 (/.f64 l Om) #s(literal 2 binary64))`	overflow	62
↳	`(/.f64 l Om)`	overflow	29
`sqrt.f64`	`(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))`	uflow-rescue	22	0
↳	`(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))`	underflow	80
↳	`(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))`	underflow	88
↳	`(.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))`	underflow	26
↳	`(/.f64 (*.f64 l l) Om)`	underflow	84
↳	`(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))`	underflow	4
↳	`(.f64 (.f64 #s(literal 2 binary64) n) U)`	underflow	48
↳	`(pow.f64 (/.f64 l Om) #s(literal 2 binary64))`	underflow	94
↳	`(/.f64 l Om)`	underflow	35
↳	`(*.f64 l l)`	underflow	72
↳	`(.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))`	underflow	84
`*.f64`	`(.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))`	*nu**	17	0
`*.f64`	`(.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))`	*uo**	14	0
↳	`(.f64 (.f64 #s(literal 2 binary64) n) U)`	underflow	48
↳	`(-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om)))`	overflow	56
↳	`(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))`	overflow	68
↳	`(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))`	overflow	61
↳	`(/.f64 (*.f64 l l) Om)`	overflow	56
↳	`(pow.f64 (/.f64 l Om) #s(literal 2 binary64))`	overflow	62
↳	`(-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))`	overflow	79
↳	`(/.f64 l Om)`	overflow	29
↳	`(*.f64 l l)`	overflow	58
↳	`(.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))`	overflow	56
`/.f64`	`(/.f64 (*.f64 l l) Om)`	o/n	14	0
↳	`(*.f64 l l)`	overflow	58
`*.f64`	`(.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))`	*no**	13	0
`*.f64`	`(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))`	*no**	9	0
`*.f64`	`(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))`	*nu**	3	0
`*.f64`	`(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))`	*no**	3	0
`*.f64`	`(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))`	*nu**	2	0
`*.f64`	`(.f64 (.f64 #s(literal 2 binary64) n) U)`	*no**	1	0

Confusion

	Predicted +	Predicted -
+	142	1
-	2	111

Precision

0.9861111111111112

Recall

0.993006993006993

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	142	0	1
-	2	0	111

Precision?

0.9861111111111112

Recall?

0.993006993006993

Freqs

test

number	freq
0	112
1	120
2	23
3	1

Total Confusion?

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

Precision?

1.0

Recall?

1.0

Samples

63.0ms

512×

valid

Compiler

Compiled 320 to 67 computations (79.1% saved)

Precisions

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

ival-mult!: 14.0ms (38.6% of total)

ival-div!: 9.0ms (24.8% of total)

ival-pow2: 6.0ms (16.5% of total)

ival-sub!: 4.0ms (11% of total)

ival-sqrt: 3.0ms (8.3% of total)

adjust: 0.0ms (0% of total)

preprocess40.0ms (0.8%)

Memory

0.1MiB live, 45.3MiB allocated; 12ms collecting garbage

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	224	807
1	654	796
2	2676	796

Stop Event

1×	node-limit

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	46.9%	(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))

Status

Accuracy

Program

▶

46.9%

(sqrt.f64 (*.f64 (*.f64 (*.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (*.f64 #s(literal 2 binary64) (/.f64 (*.f64 l l) Om))) (*.f64 (*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))))

Symmetry

(abs l)

Compiler

Compiled 56 to 42 computations (25% saved)

series132.0ms (2.8%)

Memory

-7.8MiB live, 174.4MiB allocated; 65ms collecting garbage

Counts

21 → 158

Calls

Call 1

Inputs
(sqrt.f64 (.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U)))))
(.f64 (.f64 (.f64 #s(literal 2 binary64) n) U) (-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U))))
(.f64 (.f64 #s(literal 2 binary64) n) U)
(*.f64 #s(literal 2 binary64) n)
#s(literal 2 binary64)
n
U
(-.f64 (-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))) (.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*)))
(-.f64 t (.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om)))
t
(.f64 #s(literal 2 binary64) (/.f64 (.f64 l l) Om))
(/.f64 (*.f64 l l) Om)
(*.f64 l l)
l
Om
(.f64 (.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64))) (-.f64 U U*))
(*.f64 n (pow.f64 (/.f64 l Om) #s(literal 2 binary64)))
(pow.f64 (/.f64 l Om) #s(literal 2 binary64))
(/.f64 l Om)
(-.f64 U U*)
U*

Outputs
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( (sqrt (* U (* n (- t (* 2 (/ (pow l 2) Om)))))) (sqrt 2))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( -1/2 (* (/ (* (pow l 2) (* (sqrt 2) (- U U))) (pow Om 2)) (sqrt (/ ( U (pow n 3)) (- t (* 2 (/ (pow l 2) Om))))))) (* (sqrt (* U (* n (- t (* 2 (/ (pow l 2) Om)))))) (sqrt 2)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( (sqrt (* U (* n (- t (* 2 (/ (pow l 2) Om)))))) (sqrt 2)) (* (pow n 2) (+ (* -1/2 (* (/ (* (pow l 2) (* (sqrt 2) (- U U))) (pow Om 2)) (sqrt (/ U ( n (- t (* 2 (/ (pow l 2) Om)))))))) (* -1/8 (* (/ (* (pow l 4) (* (sqrt 2) (pow (- U U) 2))) (pow Om 4)) (sqrt (/ ( U n) (pow (- t (* 2 (/ (pow l 2) Om))) 3))))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( (sqrt (* U (* n (- t (* 2 (/ (pow l 2) Om)))))) (sqrt 2)) (* (pow n 2) (+ (* -1/2 (* (/ (* (pow l 2) (* (sqrt 2) (- U U))) (pow Om 2)) (sqrt (/ U ( n (- t (* 2 (/ (pow l 2) Om)))))))) (* (pow n 2) (+ (* -1/8 (* (/ (* (pow l 4) (* (sqrt 2) (pow (- U U) 2))) (pow Om 4)) (sqrt (/ U ( (pow n 3) (pow (- t (* 2 (/ (pow l 2) Om))) 3)))))) (* -1/16 (* (/ (* (pow l 6) (* (sqrt 2) (pow (- U U) 3))) (pow Om 6)) (sqrt (/ U ( n (pow (- t (* 2 (/ (pow l 2) Om))) 5)))))))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( 2 (* U (* n (- t (* 2 (/ (pow l 2) Om))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( n (+ (* -2 (/ (* U (* (pow l 2) (* n (- U U)))) (pow Om 2))) ( 2 (* U (- t (* 2 (/ (pow l 2) Om)))))))))
#s(approx (* (* 2 n) U) #s(hole binary64 (* 2 (* U n))))
#s(approx (* 2 n) #s(hole binary64 (* 2 n)))
#s(approx n #s(hole binary64 n))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (- t ( 2 (/ (pow l 2) Om)))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (- (+ t ( -1 (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))) ( 2 (/ (pow l 2) Om)))))
#s(approx (* (* n (pow (/ l Om) 2)) (- U U)) #s(hole binary64 (/ ( (pow l 2) (* n (- U U*))) (pow Om 2))))
#s(approx (* n (pow (/ l Om) 2)) #s(hole binary64 (/ (* (pow l 2) n) (pow Om 2))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( (/ (* l (* n (* (sqrt -1) (sqrt 2)))) Om) (sqrt (* U (- U U*))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( n (+ (* 1/2 (* (/ (* Om (* (sqrt 2) (- t (* 2 (/ (pow l 2) Om))))) (* l (* n (sqrt -1)))) (sqrt (/ U (- U U))))) ( (/ (* l (* (sqrt -1) (sqrt 2))) Om) (sqrt (* U (- U U*))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( n (+ (* -1/8 (* (/ (* (pow Om 3) (* (sqrt 2) (pow (- t (* 2 (/ (pow l 2) Om))) 2))) (* (pow l 3) (* (pow n 2) (pow (sqrt -1) 3)))) (sqrt (/ U (pow (- U U) 3))))) (+ ( 1/2 (* (/ (* Om (* (sqrt 2) (- t (* 2 (/ (pow l 2) Om))))) (* l (* n (sqrt -1)))) (sqrt (/ U (- U U))))) ( (/ (* l (* (sqrt -1) (sqrt 2))) Om) (sqrt (* U (- U U*)))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( n (+ (* -1/8 (* (/ (* (pow Om 3) (* (sqrt 2) (pow (- t (* 2 (/ (pow l 2) Om))) 2))) (* (pow l 3) (* (pow n 2) (pow (sqrt -1) 3)))) (sqrt (/ U (pow (- U U) 3))))) (+ ( 1/16 (* (/ (* (pow Om 5) (* (sqrt 2) (pow (- t (* 2 (/ (pow l 2) Om))) 3))) (* (pow l 5) (* (pow n 3) (pow (sqrt -1) 5)))) (sqrt (/ U (pow (- U U) 5))))) (+ ( 1/2 (* (/ (* Om (* (sqrt 2) (- t (* 2 (/ (pow l 2) Om))))) (* l (* n (sqrt -1)))) (sqrt (/ U (- U U))))) ( (/ (* l (* (sqrt -1) (sqrt 2))) Om) (sqrt (* U (- U U*))))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( -2 (/ (* U (* (pow l 2) (* (pow n 2) (- U U*)))) (pow Om 2)))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( (pow n 2) (+ (* -2 (/ (* U (* (pow l 2) (- U U))) (pow Om 2))) ( 2 (/ (* U (- t (* 2 (/ (pow l 2) Om)))) n))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( -1 (/ (* (pow l 2) (* n (- U U*))) (pow Om 2)))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( n (- (/ t n) (+ (* 2 (/ (pow l 2) (* Om n))) (/ (* (pow l 2) (- U U*)) (pow Om 2)))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* (/ (* l (* n (sqrt -2))) Om) (sqrt (* U (- U U*)))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* n (+ (* -1/2 (* (/ (* Om (* (sqrt -2) (- t (* 2 (/ (pow l 2) Om))))) (* l n)) (sqrt (/ U (- U U))))) ( (/ (* l (sqrt -2)) Om) (sqrt (* U (- U U*)))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* n (+ (* -1 (/ (+ (* 1/8 (* (/ (* (pow Om 3) (* (sqrt -2) (pow (- t (* 2 (/ (pow l 2) Om))) 2))) (* (pow l 3) n)) (sqrt (/ U (pow (- U U) 3))))) ( 1/2 (* (/ (* Om (* (sqrt -2) (- t (* 2 (/ (pow l 2) Om))))) l) (sqrt (/ U (- U U)))))) n)) ( (/ (* l (sqrt -2)) Om) (sqrt (* U (- U U*)))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* n (+ (* -1 (/ (+ (* -1 (/ (+ (* -1/8 (* (/ (* (pow Om 3) (* (sqrt -2) (pow (- t (* 2 (/ (pow l 2) Om))) 2))) (pow l 3)) (sqrt (/ U (pow (- U U) 3))))) ( -1/16 (* (/ (* (pow Om 5) (* (sqrt -2) (pow (- t (* 2 (/ (pow l 2) Om))) 3))) (* (pow l 5) n)) (sqrt (/ U (pow (- U U) 5)))))) n)) ( 1/2 (* (/ (* Om (* (sqrt -2) (- t (* 2 (/ (pow l 2) Om))))) l) (sqrt (/ U (- U U)))))) n)) ( (/ (* l (sqrt -2)) Om) (sqrt (* U (- U U*)))))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( -1 (* n (- (* -1 (/ (- t (* 2 (/ (pow l 2) Om))) n)) (* -1 (/ (* (pow l 2) (- U U*)) (pow Om 2))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( (sqrt (* U (* n (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))) (sqrt 2))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( -1/2 (* (/ (* (pow l 2) (sqrt 2)) (pow Om 2)) (sqrt (/ (* (pow U 3) (pow n 3)) (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))))))) (* (sqrt (* U (* n (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))) (sqrt 2)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( (sqrt (* U (* n (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))) (sqrt 2)) (* (pow U 2) (+ (* -1/2 (* (/ (* (pow l 2) (sqrt 2)) (pow Om 2)) (sqrt (/ (pow n 3) (* U (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))))) (* -1/8 (* (/ (* (pow l 4) (sqrt 2)) (pow Om 4)) (sqrt (/ (* U (pow n 5)) (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 3))))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( (sqrt (* U (* n (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))) (sqrt 2)) (* (pow U 2) (+ (* -1/2 (* (/ (* (pow l 2) (sqrt 2)) (pow Om 2)) (sqrt (/ (pow n 3) (* U (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))))) (* (pow U 2) (+ (* -1/8 (* (/ (* (pow l 4) (sqrt 2)) (pow Om 4)) (sqrt (/ (pow n 5) (* (pow U 3) (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 3)))))) (* -1/16 (* (/ (* (pow l 6) (sqrt 2)) (pow Om 6)) (sqrt (/ (pow n 7) (* U (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 5)))))))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( 2 (* U (* n (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( U (+ (* -2 (/ (* U (* (pow l 2) (pow n 2))) (pow Om 2))) (* 2 (* n (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))))))
#s(approx U #s(hole binary64 U))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (- t (+ ( -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (- (+ t ( -1 (/ (* U (* (pow l 2) n)) (pow Om 2)))) (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))))
#s(approx (* (* n (pow (/ l Om) 2)) (- U U)) #s(hole binary64 ( -1 (/ (* U* (* (pow l 2) n)) (pow Om 2)))))
#s(approx (* (* n (pow (/ l Om) 2)) (- U U)) #s(hole binary64 (+ ( -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (/ (* U (* (pow l 2) n)) (pow Om 2)))))
#s(approx (- U U) #s(hole binary64 ( -1 U*)))
#s(approx (- U U) #s(hole binary64 (- U U)))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (/ ( U (* l (* n (* (sqrt -1) (sqrt 2))))) Om)))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( U (+ (* 1/2 (/ (* Om (* (sqrt 2) (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))))) (* U (* l (sqrt -1))))) (/ (* l (* n (* (sqrt -1) (sqrt 2)))) Om)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( U (+ (* -1/8 (/ (* (pow Om 3) (* (sqrt 2) (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 2))) (* (pow U 2) (* (pow l 3) (* n (pow (sqrt -1) 3)))))) (+ (* 1/2 (/ (* Om (* (sqrt 2) (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))))) (* U (* l (sqrt -1))))) (/ (* l (* n (* (sqrt -1) (sqrt 2)))) Om))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( U (+ (* -1/8 (/ (* (pow Om 3) (* (sqrt 2) (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 2))) (* (pow U 2) (* (pow l 3) (* n (pow (sqrt -1) 3)))))) (+ (* 1/16 (/ (* (pow Om 5) (* (sqrt 2) (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 3))) (* (pow U 3) (* (pow l 5) (* (pow n 2) (pow (sqrt -1) 5)))))) (+ (* 1/2 (/ (* Om (* (sqrt 2) (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))))) (* U (* l (sqrt -1))))) (/ (* l (* n (* (sqrt -1) (sqrt 2)))) Om)))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( -2 (/ (* (pow U 2) (* (pow l 2) (pow n 2))) (pow Om 2)))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( (pow U 2) (+ (* -2 (/ (* (pow l 2) (pow n 2)) (pow Om 2))) (* 2 (/ (* n (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om))))) U))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( -1 (/ (* U (* (pow l 2) n)) (pow Om 2)))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( U (- (/ t U) (+ (* -1 (/ (* U* (* (pow l 2) n)) (* (pow Om 2) U))) (+ (* 2 (/ (pow l 2) (* Om U))) (/ (* (pow l 2) n) (pow Om 2))))))))
#s(approx (* (* n (pow (/ l Om) 2)) (- U U)) #s(hole binary64 (/ ( U (* (pow l 2) n)) (pow Om 2))))
#s(approx (* (* n (pow (/ l Om) 2)) (- U U)) #s(hole binary64 ( U (+ (* -1 (/ (* U* (* (pow l 2) n)) (* (pow Om 2) U))) (/ (* (pow l 2) n) (pow Om 2))))))
#s(approx (- U U*) #s(hole binary64 U))
#s(approx (- U U) #s(hole binary64 ( U (+ 1 (* -1 (/ U* U))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (/ (* U (* l (* n (sqrt -2)))) Om))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* U (+ (* -1/2 (/ (* Om (* (sqrt -2) (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))))) (* U l))) (/ (* l (* n (sqrt -2))) Om))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* U (+ (* -1 (/ (+ (* 1/8 (/ (* (pow Om 3) (* (sqrt -2) (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 2))) (* U (* (pow l 3) n)))) (* 1/2 (/ (* Om (* (sqrt -2) (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))))) l))) U)) (/ (* l (* n (sqrt -2))) Om))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* U (+ (* -1 (/ (+ (* -1 (/ (+ (* -1/8 (/ (* (pow Om 3) (* (sqrt -2) (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 2))) (* (pow l 3) n))) (* -1/16 (/ (* (pow Om 5) (* (sqrt -2) (pow (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) 3))) (* U (* (pow l 5) (pow n 2)))))) U)) (* 1/2 (/ (* Om (* (sqrt -2) (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))))) l))) U)) (/ (* l (* n (sqrt -2))) Om))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( -1 (* U (- (* -1 (/ (- t (+ (* -1 (/ (* U* (* (pow l 2) n)) (pow Om 2))) (* 2 (/ (pow l 2) Om)))) U)) (* -1 (/ (* (pow l 2) n) (pow Om 2))))))))
#s(approx (* (* n (pow (/ l Om) 2)) (- U U)) #s(hole binary64 ( -1 (* U (+ (* -1 (/ (* (pow l 2) n) (pow Om 2))) (/ (* U* (* (pow l 2) n)) (* (pow Om 2) U)))))))
#s(approx (- U U) #s(hole binary64 ( -1 (* U (- (/ U* U) 1)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( (sqrt (* U (* n (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))))) ( (sqrt -1) (sqrt 2)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))))) (/ ( t (sqrt 2)) (sqrt -1)))) (* (sqrt (* U (* n (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))))) ( (sqrt -1) (sqrt 2))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( t (+ (* -1/8 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 3))) (/ ( t (sqrt 2)) (pow (sqrt -1) 3)))) (* 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))))) (/ (sqrt 2) (sqrt -1)))))) ( (sqrt (* U (* n (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))))) ( (sqrt -1) (sqrt 2))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( t (+ (* 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))))) (/ (sqrt 2) (sqrt -1)))) ( t (+ (* -1/8 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 3))) (/ (sqrt 2) (pow (sqrt -1) 3)))) ( 1/16 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 5))) (/ ( t (sqrt 2)) (pow (sqrt -1) 5)))))))) (* (sqrt (* U (* n (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))))) ( (sqrt -1) (sqrt 2))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( -2 (* U (* n (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U*))) (pow Om 2))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 (+ ( -2 (* U (* n (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))))) ( 2 (* U (* n t))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( -1 (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U*))) (pow Om 2))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (- t (+ ( 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U*))) (pow Om 2))))))
#s(approx (- t (* 2 (/ (* l l) Om))) #s(hole binary64 (* -2 (/ (pow l 2) Om))))
#s(approx (- t (* 2 (/ (* l l) Om))) #s(hole binary64 (- t (* 2 (/ (pow l 2) Om)))))
#s(approx t #s(hole binary64 t))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( (sqrt (* U (* n t))) (sqrt 2))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( t (+ (* -1/2 (* (sqrt (/ (* U n) (pow t 3))) (* (sqrt 2) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))))) ( (sqrt (/ (* U n) t)) (sqrt 2))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( t (+ (* -1/2 (* (sqrt (/ (* U n) (pow t 3))) (* (sqrt 2) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))))) (+ ( -1/8 (* (sqrt (/ (* U n) (pow t 5))) (* (sqrt 2) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 2)))) ( (sqrt (/ (* U n) t)) (sqrt 2)))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( t (+ (* -1/2 (* (sqrt (/ (* U n) (pow t 3))) (* (sqrt 2) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2)))))) (+ ( -1/8 (* (sqrt (/ (* U n) (pow t 5))) (* (sqrt 2) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 2)))) (+ ( -1/16 (* (sqrt (/ (* U n) (pow t 7))) (* (sqrt 2) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 3)))) ( (sqrt (/ (* U n) t)) (sqrt 2))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( 2 (* U (* n t)))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( t (+ (* -2 (/ (* U (* n (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))))) t)) ( 2 (* U n))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))) #s(hole binary64 t))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( t (+ 1 (* -1 (/ (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U*))) (pow Om 2))) t))))))
#s(approx (- t (* 2 (/ (* l l) Om))) #s(hole binary64 t))
#s(approx (- t (* 2 (/ (* l l) Om))) #s(hole binary64 (* t (+ 1 (* -2 (/ (pow l 2) (* Om t)))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* (sqrt (* U (* n t))) (* (sqrt -2) (sqrt -1))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* t (+ (* 1/2 (* (sqrt (/ (* U n) (pow t 3))) (* (sqrt -2) (* (sqrt -1) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))))))) ( (sqrt (/ (* U n) t)) (* (sqrt -2) (sqrt -1))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* t (+ (* -1/8 (* (sqrt (/ (* U n) (pow t 5))) (* (sqrt -2) (* (sqrt -1) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 2))))) (+ ( 1/2 (* (sqrt (/ (* U n) (pow t 3))) (* (sqrt -2) (* (sqrt -1) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))))))) ( (sqrt (/ (* U n) t)) (* (sqrt -2) (sqrt -1)))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* t (+ (* -1/8 (* (sqrt (/ (* U n) (pow t 5))) (* (sqrt -2) (* (sqrt -1) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 2))))) (+ ( 1/16 (* (sqrt (/ (* U n) (pow t 7))) (* (sqrt -2) (* (sqrt -1) (pow (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))) 3))))) (+ ( 1/2 (* (sqrt (/ (* U n) (pow t 3))) (* (sqrt -2) (* (sqrt -1) (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U))) (pow Om 2))))))) ( (sqrt (/ (* U n) t)) (* (sqrt -2) (sqrt -1))))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( -1 (* t (+ (* -2 (* U n)) (* 2 (/ (* U (* n (+ (* 2 (/ (pow l 2) Om)) (/ (* (pow l 2) (* n (- U U*))) (pow Om 2))))) t)))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( -1 (* t (- (+ (* 2 (/ (pow l 2) (* Om t))) (/ (* (pow l 2) (* n (- U U))) ( (pow Om 2) t))) 1)))))
#s(approx (- t (* 2 (/ (* l l) Om))) #s(hole binary64 (* -1 (* t (- (* 2 (/ (pow l 2) (* Om t))) 1)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( -1/2 (* (sqrt (/ (* U n) t)) (* (pow l 2) (* (sqrt 2) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))))))) ( (sqrt (* U (* n t))) (sqrt 2)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( (sqrt (* U (* n t))) (sqrt 2)) (* (pow l 2) (+ (* -1/2 (* (sqrt (/ (* U n) t)) (* (sqrt 2) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( -1/8 (* (sqrt (/ (* U n) (pow t 3))) (* (pow l 2) (* (sqrt 2) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U*)) (pow Om 2))) 2))))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( (sqrt (* U (* n t))) (sqrt 2)) (* (pow l 2) (+ (* -1/2 (* (sqrt (/ (* U n) t)) (* (sqrt 2) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( (pow l 2) (+ (* -1/8 (* (sqrt (/ (* U n) (pow t 3))) (* (sqrt 2) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))) 2)))) ( -1/16 (* (sqrt (/ (* U n) (pow t 5))) (* (pow l 2) (* (sqrt 2) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U*)) (pow Om 2))) 3))))))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 (+ ( -2 (* U (* (pow l 2) (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))))))) ( 2 (* U (* n t))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (+ t ( -1 (* (pow l 2) (+ (* 2 (/ 1 Om)) (/ (* n (- U U*)) (pow Om 2))))))))
#s(approx (- t (* 2 (/ (* l l) Om))) #s(hole binary64 (+ t (* -2 (/ (pow l 2) Om)))))
#s(approx (* 2 (/ (* l l) Om)) #s(hole binary64 (* 2 (/ (pow l 2) Om))))
#s(approx (/ (* l l) Om) #s(hole binary64 (/ (pow l 2) Om)))
#s(approx (* l l) #s(hole binary64 (pow l 2)))
#s(approx l #s(hole binary64 l))
#s(approx (pow (/ l Om) 2) #s(hole binary64 (/ (pow l 2) (pow Om 2))))
#s(approx (/ l Om) #s(hole binary64 (/ l Om)))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( (sqrt (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( l (* (sqrt -1) (sqrt 2))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( l (+ (* 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))))) (/ ( t (sqrt 2)) (* (pow l 2) (sqrt -1))))) (* (sqrt (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( (sqrt -1) (sqrt 2)))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( l (+ (* -1/8 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))) 3))) (/ ( (pow t 2) (sqrt 2)) (* (pow l 4) (pow (sqrt -1) 3))))) (+ (* 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))))) (/ ( t (sqrt 2)) (* (pow l 2) (sqrt -1))))) (* (sqrt (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( (sqrt -1) (sqrt 2))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( l (+ (* -1/8 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))) 3))) (/ ( (pow t 2) (sqrt 2)) (* (pow l 4) (pow (sqrt -1) 3))))) (+ (* 1/16 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))) 5))) (/ ( (pow t 3) (sqrt 2)) (* (pow l 6) (pow (sqrt -1) 5))))) (+ (* 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))))) (/ ( t (sqrt 2)) (* (pow l 2) (sqrt -1))))) (* (sqrt (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( (sqrt -1) (sqrt 2)))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( -2 (* U (* (pow l 2) (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U*)) (pow Om 2)))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( (pow l 2) (+ (* -2 (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( 2 (/ (* U (* n t)) (pow l 2)))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( -1 (* (pow l 2) (+ (* 2 (/ 1 Om)) (/ (* n (- U U*)) (pow Om 2)))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( (pow l 2) (- (/ t (pow l 2)) (+ (* 2 (/ 1 Om)) (/ (* n (- U U*)) (pow Om 2)))))))
#s(approx (- t (* 2 (/ (* l l) Om))) #s(hole binary64 (* (pow l 2) (- (/ t (pow l 2)) (* 2 (/ 1 Om))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* (sqrt (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( l (* (sqrt -1) (sqrt 2)))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* l (+ (* 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))))) (/ ( t (sqrt 2)) (* (pow l 2) (sqrt -1))))) (* (sqrt (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( (sqrt -1) (sqrt 2))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* l (+ (* -1/8 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))) 3))) (/ ( (pow t 2) (sqrt 2)) (* (pow l 4) (pow (sqrt -1) 3))))) (+ (* 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))))) (/ ( t (sqrt 2)) (* (pow l 2) (sqrt -1))))) (* (sqrt (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( (sqrt -1) (sqrt 2)))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* l (+ (* -1/8 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))) 3))) (/ ( (pow t 2) (sqrt 2)) (* (pow l 4) (pow (sqrt -1) 3))))) (+ (* 1/16 (* (sqrt (/ (* U n) (pow (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))) 5))) (/ ( (pow t 3) (sqrt 2)) (* (pow l 6) (pow (sqrt -1) 5))))) (+ (* 1/2 (* (sqrt (/ (* U n) (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2))))) (/ ( t (sqrt 2)) (* (pow l 2) (sqrt -1))))) (* (sqrt (* U (* n (+ (* 2 (/ 1 Om)) (/ (* n (- U U)) (pow Om 2)))))) ( (sqrt -1) (sqrt 2))))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (/ (+ ( -1 (* (/ (* Om (* l (sqrt 2))) (sqrt -1)) (sqrt (/ U (- U U))))) ( (sqrt (* U (- U U))) ( l (* n (* (sqrt -1) (sqrt 2)))))) Om)))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (/ (+ ( Om (+ (* -1 (* (sqrt (/ U (- U U))) (/ ( l (sqrt 2)) (sqrt -1)))) (* 1/2 (* (/ (* Om (* (sqrt 2) (- (* U (* n t)) (/ (* U (pow l 2)) (* (pow (sqrt -1) 2) (- U U)))))) ( l (* n (sqrt -1)))) (sqrt (/ 1 (* U (- U U)))))))) ( (sqrt (* U (- U U))) ( l (* n (* (sqrt -1) (sqrt 2)))))) Om)))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (/ (+ ( Om (+ (* -1 (* (sqrt (/ U (- U U))) (/ ( l (sqrt 2)) (sqrt -1)))) (* Om (+ (* 1/2 (* (sqrt (/ 1 (* U (- U U)))) (/ ( (sqrt 2) (- (* U (* n t)) (/ (* U (pow l 2)) (* (pow (sqrt -1) 2) (- U U))))) ( l (* n (sqrt -1)))))) (* 1/2 (* (/ (* Om (* (sqrt 2) (- (* U (* n t)) (/ (* U (pow l 2)) (* (pow (sqrt -1) 2) (- U U)))))) ( l (* (pow n 2) (pow (sqrt -1) 3)))) (sqrt (/ 1 (* U (pow (- U U) 3)))))))))) ( (sqrt (* U (- U U))) ( l (* n (* (sqrt -1) (sqrt 2)))))) Om)))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 (/ (+ ( -4 (* Om (* U (* (pow l 2) n)))) (* -2 (* U (* (pow l 2) (* (pow n 2) (- U U*)))))) (pow Om 2))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 (/ (+ ( -2 (* U (* (pow l 2) (* (pow n 2) (- U U))))) ( Om (+ (* -4 (* U (* (pow l 2) n))) (* 2 (* Om (* U (* n t))))))) (pow Om 2))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (/ (- ( -2 (* Om (pow l 2))) (* (pow l 2) (* n (- U U*)))) (pow Om 2))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (/ (- ( Om (- (* Om t) (* 2 (pow l 2)))) (* (pow l 2) (* n (- U U*)))) (pow Om 2))))
#s(approx (- t (* 2 (/ (* l l) Om))) #s(hole binary64 (/ (- (* Om t) (* 2 (pow l 2))) Om)))
#s(approx Om #s(hole binary64 Om))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( -1 (* (/ (* (pow l 2) (sqrt 2)) Om) (sqrt (/ (* U n) t)))) (* (sqrt (* U (* n t))) (sqrt 2)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( -1 (* (/ (* (pow l 2) (sqrt 2)) Om) (sqrt (/ (* U n) t)))) (+ (* 1/2 (* (/ (* (sqrt 2) (- (* -1 (* U (* (pow l 2) (* (pow n 2) (- U U))))) (/ ( U (* (pow l 4) n)) t))) (pow Om 2)) (sqrt (/ 1 (* U (* n t)))))) (* (sqrt (* U (* n t))) (sqrt 2))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( -1 (* (/ (* (pow l 2) (sqrt 2)) Om) (sqrt (/ (* U n) t)))) (+ (* 1/2 (* (/ (* (sqrt 2) (- (* -1 (* U (* (pow l 2) (* (pow n 2) (- U U))))) (/ ( U (* (pow l 4) n)) t))) (pow Om 2)) (sqrt (/ 1 (* U (* n t)))))) (+ (* 1/2 (* (/ (* (pow l 2) (* (sqrt 2) (- (* -1 (* U (* (pow l 2) (* (pow n 2) (- U U))))) (/ ( U (* (pow l 4) n)) t)))) (pow Om 3)) (sqrt (/ 1 (* U (* n (pow t 3))))))) (* (sqrt (* U (* n t))) (sqrt 2)))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 (+ ( -4 (/ (* U (* (pow l 2) n)) Om)) (* 2 (* U (* n t))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 (+ ( -4 (/ (* U (* (pow l 2) n)) Om)) (+ (* -2 (/ (* U (* (pow l 2) (* (pow n 2) (- U U)))) (pow Om 2))) ( 2 (* U (* n t)))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (+ t ( -2 (/ (pow l 2) Om)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( -1 (/ (+ (* -1/2 (* (/ (* (sqrt 2) (- (* -1 (* U (* (pow l 2) (* (pow n 2) (- U U))))) (/ ( U (* (pow l 4) n)) t))) Om) (sqrt (/ 1 (* U (* n t)))))) (* (sqrt (/ (* U n) t)) (* (pow l 2) (sqrt 2)))) Om)) (* (sqrt (* U (* n t))) (sqrt 2)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( -1 (/ (+ (* -1 (/ (+ (* 1/2 (* (sqrt (/ 1 (* U (* n t)))) (* (sqrt 2) (- (* -1 (* U (* (pow l 2) (* (pow n 2) (- U U))))) (/ ( U (* (pow l 4) n)) t))))) (* 1/2 (* (/ (* (pow l 2) (* (sqrt 2) (- (* -1 (* U (* (pow l 2) (* (pow n 2) (- U U))))) (/ ( U (* (pow l 4) n)) t)))) Om) (sqrt (/ 1 (* U (* n (pow t 3)))))))) Om)) (* (sqrt (/ (* U n) t)) (* (pow l 2) (sqrt 2)))) Om)) (* (sqrt (* U (* n t))) (sqrt 2)))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 (+ ( -1 (/ (+ (* 2 (/ (* U (* (pow l 2) (* (pow n 2) (- U U)))) Om)) ( 4 (* U (* (pow l 2) n)))) Om)) (* 2 (* U (* n t))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (+ t ( -1 (/ (- (/ (* (pow l 2) (* n (- U U))) Om) ( -2 (pow l 2))) Om)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( (sqrt (* U (* n (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2))))))) (sqrt 2))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( 1/2 (* (/ (* U* (* (pow l 2) (sqrt 2))) (pow Om 2)) (sqrt (/ (* U (pow n 3)) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))))) (* (sqrt (* U (* n (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2))))))) (sqrt 2)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( U* (+ (* -1/8 (* (/ (* U* (* (pow l 4) (sqrt 2))) (pow Om 4)) (sqrt (/ (* U (pow n 5)) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 3))))) (* 1/2 (* (/ (* (pow l 2) (sqrt 2)) (pow Om 2)) (sqrt (/ (* U (pow n 3)) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))))))) (* (sqrt (* U (* n (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2))))))) (sqrt 2)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 (+ ( U* (+ (* 1/2 (* (/ (* (pow l 2) (sqrt 2)) (pow Om 2)) (sqrt (/ (* U (pow n 3)) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))))) (* U* (+ (* -1/8 (* (/ (* (pow l 4) (sqrt 2)) (pow Om 4)) (sqrt (/ (* U (pow n 5)) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 3))))) (* 1/16 (* (/ (* U* (* (pow l 6) (sqrt 2))) (pow Om 6)) (sqrt (/ (* U (pow n 7)) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 5))))))))) (* (sqrt (* U (* n (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2))))))) (sqrt 2)))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( 2 (* U (* n (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 (+ ( 2 (* U (* n (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2))))))) (* 2 (/ (* U (* U* (* (pow l 2) (pow n 2)))) (pow Om 2))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (- t (+ ( 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (- (+ t (/ ( U* (* (pow l 2) n)) (pow Om 2))) (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2))))))
#s(approx (- U U) #s(hole binary64 (+ U ( -1 U*))))
#s(approx U* #s(hole binary64 U*))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( (/ (* l (* n (sqrt 2))) Om) (sqrt (* U U*)))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( U* (+ (* 1/2 (* (/ (* Om (* (sqrt 2) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))) l) (sqrt (/ U (pow U* 3))))) (* (/ (* l (* n (sqrt 2))) Om) (sqrt (/ U U*)))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( U* (+ (* -1/8 (* (/ (* (pow Om 3) (* (sqrt 2) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 2))) (* (pow l 3) n)) (sqrt (/ U (pow U* 5))))) (+ (* 1/2 (* (/ (* Om (* (sqrt 2) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))) l) (sqrt (/ U (pow U* 3))))) (* (/ (* l (* n (sqrt 2))) Om) (sqrt (/ U U*))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( U* (+ (* -1/8 (* (/ (* (pow Om 3) (* (sqrt 2) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 2))) (* (pow l 3) n)) (sqrt (/ U (pow U* 5))))) (+ (* 1/16 (* (/ (* (pow Om 5) (* (sqrt 2) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 3))) (* (pow l 5) (pow n 2))) (sqrt (/ U (pow U* 7))))) (+ (* 1/2 (* (/ (* Om (* (sqrt 2) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))) l) (sqrt (/ U (pow U* 3))))) (* (/ (* l (* n (sqrt 2))) Om) (sqrt (/ U U*)))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( 2 (/ (* U (* U* (* (pow l 2) (pow n 2)))) (pow Om 2)))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( U* (+ (* 2 (/ (* U (* n (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))) U)) ( 2 (/ (* U (* (pow l 2) (pow n 2))) (pow Om 2)))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 (/ ( U* (* (pow l 2) n)) (pow Om 2))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( U* (- (/ t U) (+ ( -1 (/ (* (pow l 2) n) (pow Om 2))) (+ (* 2 (/ (pow l 2) (* Om U))) (/ ( U (* (pow l 2) n)) (* (pow Om 2) U*))))))))
#s(approx (* (* n (pow (/ l Om) 2)) (- U U)) #s(hole binary64 ( U* (+ (* -1 (/ (* (pow l 2) n) (pow Om 2))) (/ (* U (* (pow l 2) n)) (* (pow Om 2) U*))))))
#s(approx (- U U) #s(hole binary64 ( U* (- (/ U U*) 1))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* (/ (* l (* n (* (pow (sqrt -1) 2) (sqrt 2)))) Om) (sqrt (* U U*))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* U* (+ (* 1/2 (* (/ (* Om (* (sqrt 2) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))) l) (sqrt (/ U (pow U* 3))))) (* (/ (* l (* n (* (pow (sqrt -1) 2) (sqrt 2)))) Om) (sqrt (/ U U*))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* U* (+ (* -1/8 (* (/ (* (pow Om 3) (* (sqrt 2) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 2))) (* (pow l 3) (* n (pow (sqrt -1) 2)))) (sqrt (/ U (pow U* 5))))) (+ (* 1/2 (* (/ (* Om (* (sqrt 2) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))) l) (sqrt (/ U (pow U* 3))))) (* (/ (* l (* n (* (pow (sqrt -1) 2) (sqrt 2)))) Om) (sqrt (/ U U*)))))))))
#s(approx (sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) #s(hole binary64 ( -1 (* U* (+ (* -1/8 (* (/ (* (pow Om 3) (* (sqrt 2) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 2))) (* (pow l 3) (* n (pow (sqrt -1) 2)))) (sqrt (/ U (pow U* 5))))) (+ (* 1/16 (* (/ (* (pow Om 5) (* (sqrt 2) (pow (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) 3))) (* (pow l 5) (* (pow n 2) (pow (sqrt -1) 4)))) (sqrt (/ U (pow U* 7))))) (+ (* 1/2 (* (/ (* Om (* (sqrt 2) (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))) l) (sqrt (/ U (pow U* 3))))) (* (/ (* l (* n (* (pow (sqrt -1) 2) (sqrt 2)))) Om) (sqrt (/ U U*))))))))))
#s(approx (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) #s(hole binary64 ( -1 (* U* (+ (* -2 (/ (* U (* n (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))))) U)) ( -2 (/ (* U (* (pow l 2) (pow n 2))) (pow Om 2))))))))
#s(approx (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) #s(hole binary64 ( -1 (* U* (- (* -1 (/ (- t (+ (* 2 (/ (pow l 2) Om)) (/ (* U (* (pow l 2) n)) (pow Om 2)))) U)) (/ ( (pow l 2) n) (pow Om 2)))))))
#s(approx (* (* n (pow (/ l Om) 2)) (- U U)) #s(hole binary64 ( -1 (* U* (+ (* -1 (/ (* U (* (pow l 2) n)) (* (pow Om 2) U))) (/ ( (pow l 2) n) (pow Om 2)))))))
#s(approx (- U U) #s(hole binary64 ( -1 (* U* (+ 1 (* -1 (/ U U*)))))))

Calls

18 calls:

Time	Variable		Point	Expression
16.0ms	U*	@	inf	((sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) ( (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) ( (* 2 n) U) (* 2 n) 2 n U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) (- t ( 2 (/ (* l l) Om))) t (* 2 (/ (* l l) Om)) (/ (* l l) Om) (* l l) l Om (* (* n (pow (/ l Om) 2)) (- U U)) ( n (pow (/ l Om) 2)) (pow (/ l Om) 2) (/ l Om) (- U U) U)
15.0ms	l	@	-inf	((sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) ( (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) ( (* 2 n) U) (* 2 n) 2 n U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) (- t ( 2 (/ (* l l) Om))) t (* 2 (/ (* l l) Om)) (/ (* l l) Om) (* l l) l Om (* (* n (pow (/ l Om) 2)) (- U U)) ( n (pow (/ l Om) 2)) (pow (/ l Om) 2) (/ l Om) (- U U) U)
14.0ms	n	@	0	((sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) ( (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) ( (* 2 n) U) (* 2 n) 2 n U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) (- t ( 2 (/ (* l l) Om))) t (* 2 (/ (* l l) Om)) (/ (* l l) Om) (* l l) l Om (* (* n (pow (/ l Om) 2)) (- U U)) ( n (pow (/ l Om) 2)) (pow (/ l Om) 2) (/ l Om) (- U U) U)
11.0ms	Om	@	0	((sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) ( (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) ( (* 2 n) U) (* 2 n) 2 n U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) (- t ( 2 (/ (* l l) Om))) t (* 2 (/ (* l l) Om)) (/ (* l l) Om) (* l l) l Om (* (* n (pow (/ l Om) 2)) (- U U)) ( n (pow (/ l Om) 2)) (pow (/ l Om) 2) (/ l Om) (- U U) U)
9.0ms	U	@	-inf	((sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))))) ( (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U)))) ( (* 2 n) U) (* 2 n) 2 n U (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U))) (- t ( 2 (/ (* l l) Om))) t (* 2 (/ (* l l) Om)) (/ (* l l) Om) (* l l) l Om (* (* n (pow (/ l Om) 2)) (- U U)) ( n (pow (/ l Om) 2)) (pow (/ l Om) 2) (/ l Om) (- U U) U)

rewrite22.0ms (0.5%)

Memory: -14.7MiB live, 29.5MiB allocated; 14ms collecting garbage

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

start0.0ms (0%)

analyze861.0ms (18.1%)

sample3.2s (66.7%)

explain528.0ms (11.1%)

preprocess40.0ms (0.8%)

series132.0ms (2.8%)

rewrite22.0ms (0.5%)

end0.0ms (0%)

Profiling