Metrics for 1.0 / Ts * 8.2E-6 * fabs(omega

start0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

analyze18.0ms (0.7%)

Memory

5.0MiB live, 5.0MiB allocated

Algorithm

1×

Search

Probability	Valid	Unknown	Precondition	Infinite	Domain	Can't	Iter
0%	0%	99.9%	0.1%	0%	0%	0%	0
0%	0%	99.9%	0.1%	0%	0%	0%	1
50%	50%	50%	0.1%	0%	0%	0%	2
50%	50%	50%	0.1%	0%	0%	0%	3
75%	74.9%	25%	0.1%	0%	0%	0%	4
75%	74.9%	25%	0.1%	0%	0%	0%	5
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	6
87.5%	87.4%	12.5%	0.1%	0%	0%	0%	7
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	8
93.8%	93.7%	6.2%	0.1%	0%	0%	0%	9
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	10
96.9%	96.8%	3.1%	0.1%	0%	0%	0%	11
98.4%	98.3%	1.6%	0.1%	0%	0%	0%	12

Compiler

Compiled 24 to 18 computations (25% saved)

sample1.1s (45.9%)

Memory

79.6MiB live, 641.6MiB allocated

Samples

670.0ms

8 256×

valid

Precisions

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

ival-mult: 151.0ms (34.7% of total)

ival-<=: 98.0ms (22.5% of total)

ival-div: 88.0ms (20.2% of total)

ival-fabs: 44.0ms (10.1% of total)

ival-and: 30.0ms (6.9% of total)

exact: 20.0ms (4.6% of total)

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

Bogosity

explain91.0ms (3.7%)

Memory

-38.0MiB live, 38.7MiB allocated

FPErrors

Click to see full error table

Ground Truth	Example	Underpredictions	Example	Subexpression
3	-	3	(1.93319374703681e+305 -3.2390164422893873e+248)	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))`
0	-	0	-	`Ts`
0	-	0	-	`#s(literal 2420212822470693/295147905179352825856 binary64)`
0	-	0	-	`(*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))`
0	-	0	-	`omega_ist`
0	-	0	-	`#s(literal 1 binary64)`
0	-	0	-	`(fabs.f64 omega_ist)`
0	-	0	-	`(/.f64 #s(literal 1 binary64) Ts)`

Confusion

	Predicted +	Predicted -
+	0	3
-	0	253

Precision

0/0

Recall

0.0

Confusion?

	Predicted +	Predicted Maybe	Predicted -
+	0	0	3
-	0	0	253

Precision?

0/0

Recall?

0.0

Freqs

test

number	freq
0	256

Total Confusion?

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

Precision?

0/0

Recall?

0.0

Samples

30.0ms

512×

valid

Compiler

Compiled 56 to 28 computations (50% saved)

Precisions

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

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

ival-div: 4.0ms (26.7% of total)

ival-fabs: 3.0ms (20% of total)

ival-true: 1.0ms (6.7% of total)

exact: 1.0ms (6.7% of total)

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

preprocess51.0ms (2.1%)

Memory

7.0MiB live, 7.0MiB allocated

Algorithm

1×	egg-herbie

Rules

196×	`times-frac`
140×	`associate-r`
132×	`associate-l`
128×	`distribute-lft-neg-in`
124×	`associate-/r*`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	32
1	56	30
2	148	30
3	350	30
4	627	30
5	702	30
6	718	30
7	730	30
8	841	30
9	1073	30
10	1130	30
11	1198	30
12	1220	30
13	1222	30
14	1222	30
0	8	8
0	12	6
1	20	6
2	32	6
3	44	6
4	57	6
5	61	6
0	61	6

Stop Event

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

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))

Outputs

(*.f64 (*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))

(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))

Symmetry

(abs omega_ist)

(negabs Ts)

Compiler

Compiled 8 to 8 computations (0% saved)

eval0.0ms (0%)

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

prune1.0ms (0%)

Memory

0.5MiB live, 0.5MiB allocated

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.5%	(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))

Compiler

Compiled 8 to 8 computations (0% saved)

simplify4.0ms (0.2%)

Memory

0.9MiB live, 0.9MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 4 expressions of interest:

New	Metric	Score
cost-diff	0	(fabs.f64 omega_ist)
cost-diff	0	(/.f64 #s(literal 1 binary64) Ts)
cost-diff	0	(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))
cost-diff	320	(*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))

Rules

48×	`lower-*.f32`
44×	`lower-*.f64`
22×	`associate-r`
14×	`*-commutative`
10×	`associate-*l/`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	22
0	12	18
1	20	18
2	32	18
3	44	18
4	57	18
5	61	18
0	61	18

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))
(*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/.f64 #s(literal 1 binary64) Ts)
#s(literal 1 binary64)
Ts
#s(literal 2420212822470693/295147905179352825856 binary64)
(fabs.f64 omega_ist)
omega_ist

Outputs
(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/.f64 #s(literal 1 binary64) Ts)
#s(literal 1 binary64)
Ts
#s(literal 2420212822470693/295147905179352825856 binary64)
(fabs.f64 omega_ist)
omega_ist

localize21.0ms (0.8%)

Memory

8.3MiB live, 8.3MiB allocated

Localize:

Found 4 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 #s(literal 1 binary64) Ts)
accuracy	0	(fabs.f64 omega_ist)
accuracy	0.21484375	(*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
accuracy	0.2446325327303783	(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))

Samples

15.0ms

256×

valid

Compiler

Compiled 24 to 10 computations (58.3% saved)

Precisions

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

ival-mult: 3.0ms (41.5% of total)

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

ival-fabs: 1.0ms (13.8% of total)

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

exact: 0.0ms (0% of total)

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

series8.0ms (0.3%)

Memory

3.5MiB live, 3.5MiB allocated

Counts

4 → 60

Calls

Call 1

Inputs
#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())
#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())
#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())

Outputs
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor 0 omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor 0 omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor 0 omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor 0 omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor -inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor -inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor -inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor -inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor 0 Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor 0 Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor 0 Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor 0 Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor inf Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor inf Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor inf Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor inf Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor inf Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor inf Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor inf Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor inf Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor -inf Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor -inf Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor -inf Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor -inf Ts) (#s(alt (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) (patch (.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 1 Ts) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 1 binary64) Ts) (patch (/.f64 #s(literal 1 binary64) Ts) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	Ts	@	inf	((* (/ 1 Ts) 2420212822470693/295147905179352825856) (* (* (/ 1 Ts) 2420212822470693/295147905179352825856) (fabs omega_ist)) (/ 1 Ts) (fabs omega_ist))
1.0ms	Ts	@	0	((* (/ 1 Ts) 2420212822470693/295147905179352825856) (* (* (/ 1 Ts) 2420212822470693/295147905179352825856) (fabs omega_ist)) (/ 1 Ts) (fabs omega_ist))
1.0ms	omega_ist	@	-inf	((* (/ 1 Ts) 2420212822470693/295147905179352825856) (* (* (/ 1 Ts) 2420212822470693/295147905179352825856) (fabs omega_ist)) (/ 1 Ts) (fabs omega_ist))
1.0ms	Ts	@	-inf	((* (/ 1 Ts) 2420212822470693/295147905179352825856) (* (* (/ 1 Ts) 2420212822470693/295147905179352825856) (fabs omega_ist)) (/ 1 Ts) (fabs omega_ist))
1.0ms	omega_ist	@	inf	((* (/ 1 Ts) 2420212822470693/295147905179352825856) (* (* (/ 1 Ts) 2420212822470693/295147905179352825856) (fabs omega_ist)) (/ 1 Ts) (fabs omega_ist))

simplify5.0ms (0.2%)

Memory

1.5MiB live, 1.5MiB allocated

Algorithm

1×	egg-herbie

Rules

12×	`lower-*.f64`
12×	`lower-*.f32`
8×	`lower-/.f32`
8×	`lower-/.f64`
6×	`*-commutative`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	240
1	14	240
2	16	240
3	17	240
4	18	240
0	18	240

Stop Event

1×	iter limit
1×	saturated

Counts

60 → 60

Calls

Call 1

Inputs
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ 1 Ts)
(/ 1 Ts)
(/ 1 Ts)
(/ 1 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ 1 Ts)
(/ 1 Ts)
(/ 1 Ts)
(/ 1 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ 1 Ts)
(/ 1 Ts)
(/ 1 Ts)
(/ 1 Ts)

Outputs
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)
(/ 1 Ts)
(/.f64 #s(literal 1 binary64) Ts)

rewrite114.0ms (4.6%)

Memory

37.2MiB live, 37.2MiB allocated

Rules

4 180×	`lower-fma.f64`
4 180×	`lower-fma.f32`
2 014×	`lower-/.f32`
2 012×	`lower-/.f64`
1 964×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
0	12	14
1	30	14
2	87	14
3	310	14
4	1420	14
5	7593	14
0	8167	14

Stop Event

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

Counts

4 → 909

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))
(/.f64 #s(literal 1 binary64) Ts)
(fabs.f64 omega_ist)

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

eval181.0ms (7.3%)

Memory: -79.3MiB live, 75.4MiB allocated
Compiler: Compiled 15 860 to 1 925 computations (87.9% saved)

prune36.0ms (1.4%)

Memory

-42.2MiB live, 41.0MiB allocated

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	964	5	969
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	965	5	970

Accuracy

100.0%

Counts

970 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
▶	99.6%	(/.f64 (*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts)
▶	98.5%	(/.f64 (neg.f64 (fabs.f64 omega_ist)) (*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts))
▶	99.5%	(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist)))
▶	98.7%	(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
▶	99.6%	(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))

Compiler

Compiled 62 to 62 computations (0% saved)

simplify10.0ms (0.4%)

Memory

1.6MiB live, 1.6MiB allocated

Algorithm

1×	egg-herbie

Localize:

Found 16 expressions of interest:

New	Metric	Score
cost-diff	0	(fabs.f64 omega_ist)
cost-diff	0	(/.f64 Ts (fabs.f64 omega_ist))
cost-diff	384	(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist)))
cost-diff	0	(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
cost-diff	0	(fabs.f64 omega_ist)
cost-diff	0	(neg.f64 (fabs.f64 omega_ist))
cost-diff	128	(/.f64 (neg.f64 (fabs.f64 omega_ist)) (*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts))
cost-diff	0	(fabs.f64 omega_ist)
cost-diff	0	(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
cost-diff	0	(/.f64 (*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts)
cost-diff	0	(fabs.f64 omega_ist)
cost-diff	0	(/.f64 (fabs.f64 omega_ist) Ts)
cost-diff	0	(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
cost-diff	0	(fabs.f64 omega_ist)
cost-diff	0	(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
cost-diff	0	(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))

Rules

56×	`lower-fma.f64`
56×	`lower-+.f64`
56×	`lower-/.f32`
56×	`lower-fma.f32`
56×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	77
0	28	76
1	41	76
2	61	76
3	95	76
4	111	76
5	138	76
6	172	76
7	190	76
8	197	76
9	203	76
10	208	76
11	209	76
0	209	76

Stop Event

1×	iter limit
1×	saturated
1×	iter limit

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
#s(literal 2420212822470693/295147905179352825856 binary64)
Ts
(fabs.f64 omega_ist)
omega_ist
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/.f64 (fabs.f64 omega_ist) Ts)
(fabs.f64 omega_ist)
omega_ist
Ts
#s(literal 2420212822470693/295147905179352825856 binary64)
(/.f64 (*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts)
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(fabs.f64 omega_ist)
omega_ist
#s(literal 2420212822470693/295147905179352825856 binary64)
Ts
(/.f64 (neg.f64 (fabs.f64 omega_ist)) (*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts))
(neg.f64 (fabs.f64 omega_ist))
(fabs.f64 omega_ist)
omega_ist
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
#s(literal -295147905179352825856/2420212822470693 binary64)
Ts
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist)))
#s(literal 2420212822470693/295147905179352825856 binary64)
(/.f64 Ts (fabs.f64 omega_ist))
Ts
(fabs.f64 omega_ist)
omega_ist

Outputs
(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
#s(literal 2420212822470693/295147905179352825856 binary64)
Ts
(fabs.f64 omega_ist)
omega_ist
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/.f64 (fabs.f64 omega_ist) Ts)
(fabs.f64 omega_ist)
omega_ist
Ts
#s(literal 2420212822470693/295147905179352825856 binary64)
(/.f64 (*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts)
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(fabs.f64 omega_ist)
omega_ist
#s(literal 2420212822470693/295147905179352825856 binary64)
Ts
(/.f64 (neg.f64 (fabs.f64 omega_ist)) (*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(neg.f64 (fabs.f64 omega_ist))
(fabs.f64 omega_ist)
omega_ist
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
#s(literal -295147905179352825856/2420212822470693 binary64)
Ts
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist)))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
#s(literal 2420212822470693/295147905179352825856 binary64)
(/.f64 Ts (fabs.f64 omega_ist))
Ts
(fabs.f64 omega_ist)
omega_ist

localize50.0ms (2%)

Memory

19.7MiB live, 19.7MiB allocated

Localize:

Found 16 expressions of interest:

New	Metric	Score
accuracy	0	(/.f64 Ts (fabs.f64 omega_ist))
accuracy	0	(fabs.f64 omega_ist)
accuracy	0.3403075529675311	(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist)))
accuracy	0	(neg.f64 (fabs.f64 omega_ist))
accuracy	0	(fabs.f64 omega_ist)
accuracy	0.3203125	(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
accuracy	0.9112624992918612	(/.f64 (neg.f64 (fabs.f64 omega_ist)) (*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts))
accuracy	0	(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
accuracy	0	(fabs.f64 omega_ist)
accuracy	0.2875105158974678	(/.f64 (*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts)
accuracy	0	(/.f64 (fabs.f64 omega_ist) Ts)
accuracy	0	(fabs.f64 omega_ist)
accuracy	0.8000292603894776	(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
accuracy	0	(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
accuracy	0	(fabs.f64 omega_ist)
accuracy	0.2446325327303783	(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))

Samples

37.0ms

256×

valid

Compiler

Compiled 79 to 18 computations (77.2% saved)

Precisions

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

ival-div: 10.0ms (43.2% of total)

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

const: 4.0ms (17.3% of total)

ival-fabs: 1.0ms (4.3% of total)

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

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

exact: 0.0ms (0% of total)

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

series14.0ms (0.5%)

Memory

6.4MiB live, 6.4MiB allocated

Counts

12 → 228

Calls

Call 1

Inputs
#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())
#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())
#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())
#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())
#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())
#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())
#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())
#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())
#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())
#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())
#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())

Outputs
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor 0 omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor 0 omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor 0 omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor 0 omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor 0 omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor 0 omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor 0 omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor 0 omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor 0 omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor inf omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor inf omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor inf omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor inf omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor inf omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor -inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor -inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor -inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (fabs omega_ist) (taylor -inf omega_ist) (#s(alt (fabs.f64 omega_ist) (patch (fabs.f64 omega_ist) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor -inf omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor -inf omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor -inf omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor -inf omega_ist) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* -1 (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (neg.f64 (fabs.f64 omega_ist)) (patch (neg.f64 (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf omega_ist) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor -inf omega_ist) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor 0 Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor 0 Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor 0 Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor 0 Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor 0 Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor 0 Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor 0 Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor 0 Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor 0 Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor 0 Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor 0 Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor 0 Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor 0 Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor inf Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor inf Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor inf Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor inf Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor inf Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor inf Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor inf Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor inf Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor inf Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor inf Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor inf Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor inf Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) (patch (.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (/ 2420212822470693/295147905179352825856 Ts) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (patch (.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor -inf Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor -inf Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor -inf Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (/ (fabs omega_ist) Ts) (taylor -inf Ts) (#s(alt (/.f64 (fabs.f64 omega_ist) Ts) (patch (/.f64 (fabs.f64 omega_ist) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) (patch (/.f64 (.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) (patch (/.f64 (neg.f64 (fabs.f64 omega_ist)) (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor -inf Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor -inf Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor -inf Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* -295147905179352825856/2420212822470693 Ts) (taylor -inf Ts) (#s(alt (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) (patch (.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts)) (taylor -inf Ts) (#s(alt (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) (patch (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist))) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor -inf Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor -inf Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor -inf Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())
#s(alt (/ Ts (fabs omega_ist)) (taylor -inf Ts) (#s(alt (/.f64 Ts (fabs.f64 omega_ist)) (patch (/.f64 Ts (fabs.f64 omega_ist)) #<representation binary64>) () ())) ())

Calls

6 calls:

Time	Variable		Point	Expression
3.0ms	Ts	@	-inf	((* (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist)) (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist) (* (/ (fabs omega_ist) Ts) 2420212822470693/295147905179352825856) (/ (fabs omega_ist) Ts) (/ (* (fabs omega_ist) 2420212822470693/295147905179352825856) Ts) (* (fabs omega_ist) 2420212822470693/295147905179352825856) (/ (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts)) (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts) (/ 2420212822470693/295147905179352825856 (/ Ts (fabs omega_ist))) (/ Ts (fabs omega_ist)))
1.0ms	omega_ist	@	inf	((* (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist)) (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist) (* (/ (fabs omega_ist) Ts) 2420212822470693/295147905179352825856) (/ (fabs omega_ist) Ts) (/ (* (fabs omega_ist) 2420212822470693/295147905179352825856) Ts) (* (fabs omega_ist) 2420212822470693/295147905179352825856) (/ (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts)) (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts) (/ 2420212822470693/295147905179352825856 (/ Ts (fabs omega_ist))) (/ Ts (fabs omega_ist)))
1.0ms	omega_ist	@	-inf	((* (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist)) (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist) (* (/ (fabs omega_ist) Ts) 2420212822470693/295147905179352825856) (/ (fabs omega_ist) Ts) (/ (* (fabs omega_ist) 2420212822470693/295147905179352825856) Ts) (* (fabs omega_ist) 2420212822470693/295147905179352825856) (/ (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts)) (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts) (/ 2420212822470693/295147905179352825856 (/ Ts (fabs omega_ist))) (/ Ts (fabs omega_ist)))
1.0ms	Ts	@	inf	((* (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist)) (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist) (* (/ (fabs omega_ist) Ts) 2420212822470693/295147905179352825856) (/ (fabs omega_ist) Ts) (/ (* (fabs omega_ist) 2420212822470693/295147905179352825856) Ts) (* (fabs omega_ist) 2420212822470693/295147905179352825856) (/ (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts)) (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts) (/ 2420212822470693/295147905179352825856 (/ Ts (fabs omega_ist))) (/ Ts (fabs omega_ist)))
1.0ms	Ts	@	0	((* (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist)) (/ 2420212822470693/295147905179352825856 Ts) (fabs omega_ist) (* (/ (fabs omega_ist) Ts) 2420212822470693/295147905179352825856) (/ (fabs omega_ist) Ts) (/ (* (fabs omega_ist) 2420212822470693/295147905179352825856) Ts) (* (fabs omega_ist) 2420212822470693/295147905179352825856) (/ (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts)) (neg (fabs omega_ist)) (* -295147905179352825856/2420212822470693 Ts) (/ 2420212822470693/295147905179352825856 (/ Ts (fabs omega_ist))) (/ Ts (fabs omega_ist)))

simplify12.0ms (0.5%)

Memory

4.5MiB live, 4.5MiB allocated

Algorithm

1×	egg-herbie

Rules

20×	`lower-*.f64`
20×	`lower-+.f64`
20×	`lower-*.f32`
20×	`lower-+.f32`
16×	`lower-fma.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	1092
1	19	1092
2	22	1092
3	24	1092
4	26	1092
5	28	1092
6	32	1092
7	46	1092
8	54	1092
9	55	1092
0	55	1092

Stop Event

1×	iter limit
1×	saturated

Counts

228 → 228

Calls

Call 1

Inputs
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(fabs omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* -1 (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* -295147905179352825856/2420212822470693 Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))
(/ Ts (fabs omega_ist))

Outputs
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(fabs omega_ist)
(fabs.f64 omega_ist)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (fabs omega_ist))
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* -1 (fabs omega_ist))
(neg.f64 (fabs.f64 omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(/ 2420212822470693/295147905179352825856 Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(/ (fabs omega_ist) Ts)
(/.f64 (fabs.f64 omega_ist) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* -295147905179352825856/2420212822470693 Ts)
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(* 2420212822470693/295147905179352825856 (/ (fabs omega_ist) Ts))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))
(/ Ts (fabs omega_ist))
(/.f64 Ts (fabs.f64 omega_ist))

rewrite155.0ms (6.3%)

Memory

-21.7MiB live, 55.5MiB allocated

Rules

2 842×	`lower-fma.f64`
2 842×	`lower-fma.f32`
2 288×	`lower-*.f32`
2 280×	`lower-*.f64`
2 016×	`lower-/.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	54
0	28	53
1	75	53
2	306	53
3	1446	53
4	6754	53
0	8361	53

Stop Event

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

Counts

12 → 2 135

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts)
(fabs.f64 omega_ist)
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/.f64 (fabs.f64 omega_ist) Ts)
(/.f64 (*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts)
(*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64))
(/.f64 (neg.f64 (fabs.f64 omega_ist)) (*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts))
(neg.f64 (fabs.f64 omega_ist))
(*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts)
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist)))
(/.f64 Ts (fabs.f64 omega_ist))

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

eval278.0ms (11.2%)

Memory: -14.6MiB live, 206.7MiB allocated
Compiler: Compiled 33 352 to 2 789 computations (91.6% saved)

prune76.0ms (3.1%)

Memory

29.4MiB live, 109.0MiB allocated

Pruning

5 alts after pruning (1 fresh and 4 done)

	Pruned	Kept	Total
New	2 698	1	2 699
Fresh	0	0	0
Picked	1	4	5
Done	0	0	0
Total	2 699	5	2 704

Accuracy

100.0%

Counts

2 704 → 5

Alt Table

Click to see full alt table

Status	Accuracy	Program
✓	99.6%	(/.f64 (*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts)
	98.5%	(/.f64 (fabs.f64 omega_ist) (*.f64 #s(literal 295147905179352825856/2420212822470693 binary64) Ts))
✓	99.5%	(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist)))
✓	98.7%	(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
✓	99.6%	(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))

Compiler

Compiled 75 to 53 computations (29.3% saved)

regimes13.0ms (0.5%)

Memory

11.6MiB live, 11.6MiB allocated

Accuracy

Total -1.8b remaining (-737.4%)

Threshold costs -1.8b (-737.4%)

Counts

7 → 1

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))
(*.f64 (/.f64 (fabs.f64 omega_ist) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
(/.f64 (fabs.f64 omega_ist) (*.f64 #s(literal 295147905179352825856/2420212822470693 binary64) Ts))
(/.f64 (*.f64 (fabs.f64 omega_ist) #s(literal 2420212822470693/295147905179352825856 binary64)) Ts)
(/.f64 (neg.f64 (fabs.f64 omega_ist)) (*.f64 #s(literal -295147905179352825856/2420212822470693 binary64) Ts))
(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))
(/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) (/.f64 Ts (fabs.f64 omega_ist)))

Outputs
(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))

Calls

6 calls:

2.0ms	(fabs.f64 omega_ist)
2.0ms	(*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))
2.0ms	(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))
2.0ms	(/.f64 #s(literal 1 binary64) Ts)
2.0ms	omega_ist

Results

Accuracy	Segments	Branch
99.6%	1	`Ts`
99.6%	1	`omega_ist`
99.6%	1	`(.f64 (.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64)) (fabs.f64 omega_ist))`
99.6%	1	`(*.f64 (/.f64 #s(literal 1 binary64) Ts) #s(literal 2420212822470693/295147905179352825856 binary64))`
99.6%	1	`(/.f64 #s(literal 1 binary64) Ts)`
99.6%	1	`(fabs.f64 omega_ist)`

Compiler

Compiled 20 to 25 computations (-25% saved)

simplify23.0ms (0.9%)

Memory

18.4MiB live, 18.4MiB allocated

Algorithm

1×	egg-herbie

Rules

2×	`-commutative-binary64-.f64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	6
1	7	6

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))

Outputs
(*.f64 (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts) (fabs.f64 omega_ist))
(*.f64 (fabs.f64 omega_ist) (/.f64 #s(literal 2420212822470693/295147905179352825856 binary64) Ts))

soundness135.0ms (5.4%)

Memory

4.2MiB live, 4.2MiB allocated

Rules

4 180×	`lower-fma.f64`
4 180×	`lower-fma.f32`
2 014×	`lower-/.f32`
2 012×	`lower-/.f64`
1 964×	`lower-*.f32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	18
0	12	14
1	30	14
2	87	14
3	310	14
4	1420	14
5	7593	14
0	8167	14

Stop Event

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

Compiler

Compiled 20 to 16 computations (20% saved)

preprocess46.0ms (1.9%)

Memory

-48.4MiB live, 30.1MiB allocated

Remove

(negabs Ts)

(abs omega_ist)

Compiler

Compiled 76 to 76 computations (0% saved)

end0.0ms (0%)

Memory: 0.0MiB live, 0.0MiB allocated

1.0 / Ts * 8.2E-6 * fabs(omega_ist);

start0.0ms (0%)

analyze18.0ms (0.7%)

sample1.1s (45.9%)

explain91.0ms (3.7%)

preprocess51.0ms (2.1%)

eval0.0ms (0%)

prune1.0ms (0%)

simplify4.0ms (0.2%)

localize21.0ms (0.8%)

series8.0ms (0.3%)

simplify5.0ms (0.2%)

rewrite114.0ms (4.6%)

eval181.0ms (7.3%)

prune36.0ms (1.4%)

simplify10.0ms (0.4%)

localize50.0ms (2%)

series14.0ms (0.5%)

simplify12.0ms (0.5%)

rewrite155.0ms (6.3%)

eval278.0ms (11.2%)

prune76.0ms (3.1%)

regimes13.0ms (0.5%)

simplify23.0ms (0.9%)

soundness135.0ms (5.4%)

preprocess46.0ms (1.9%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	16	77
0	28	76
1	41	76
2	61	76
3	95	76
4	111	76
5	138	76
6	172	76
7	190	76
8	197	76
9	203	76
10	208	76
11	209	76
0	209	76

Iter	Nodes	Cost
0	16	77
0	28	76
1	41	76
2	61	76
3	95	76
4	111	76
5	138	76
6	172	76
7	190	76
8	197	76
9	203	76
10	208	76
11	209	76
0	209	76

Iter	Nodes	Cost
0	16	77
0	28	76
1	41	76
2	61	76
3	95	76
4	111	76
5	138	76
6	172	76
7	190	76
8	197	76
9	203	76
10	208	76
11	209	76
0	209	76