Details

analyze3.1s (38.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.8%	0.2%	0
0%	99.8%	0.2%	1
0%	99.8%	0.2%	2
0%	99.8%	0.2%	3
0%	99.8%	0.2%	4
0%	99.8%	0.2%	5
0%	99.8%	0.2%	6
0%	99.8%	0.2%	7
0%	99.8%	0.2%	8
12.5%	87.3%	0.2%	9
12.5%	87.3%	0.2%	10
18.7%	81.1%	0.2%	11
18.7%	81.1%	0.2%	12
18.7%	81.1%	0.2%	13
18.7%	81.1%	0.2%	14

Compiler

Compiled 35 to 24 computations (31.4% saved)

sample2.0s (24.7%)

Results

1.7s	8106×	body	128	valid
67.0ms	89×	body	1024	invalid
67.0ms	281×	body	128	invalid
54.0ms	70×	body	1024	valid
44.0ms	81×	body	512	invalid
23.0ms	58×	body	256	invalid
22.0ms	40×	body	512	valid
21.0ms	22×	body	2048	invalid
16.0ms	37×	body	256	valid
4.0ms	3×	body	2048	valid

preprocess47.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

557×	`exp-sum_binary64`
428×	`fma-neg_binary64`
310×	`exp-prod_binary64`
288×	`exp-diff_binary64`
162×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	154	495
1	429	495
2	1042	473
3	3765	473
0	5	5
1	5	5

Stop Event

1×	unsound
1×	node limit

Calls

Call 1

Inputs
0
1
2
3
4

Outputs
0
1
2
1
3
4

Call 2

Inputs
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 m (+.f64 K n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 K n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 n (+.f64 m K)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m K) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m K))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 M (+.f64 m n)) 2) K)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) K) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 l (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 K (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 n m)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 n m))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 M n)) 2) m)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 M n) 2) m) 2)) (-.f64 l (fabs.f64 (-.f64 M n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 l n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 l n) 2) M) 2)) (-.f64 m (fabs.f64 (-.f64 l n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m M)) 2) n)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m M) 2) n) 2)) (-.f64 l (fabs.f64 (-.f64 m M))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m l)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m l) 2) M) 2)) (-.f64 n (fabs.f64 (-.f64 m l))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) l)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) l) 2)) (-.f64 M (fabs.f64 (-.f64 m n))))))

Outputs
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))
(*.f64 (cos.f64 (-.f64 (/.f64 K (/.f64 2 (+.f64 m n))) M)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) l) (fabs.f64 (-.f64 m n)))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 K 2) (+.f64 m n)) M)) (exp.f64 (+.f64 (fabs.f64 (-.f64 m n)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) l))))
(*.f64 (cos.f64 (fma.f64 (/.f64 K 2) (+.f64 m n) (neg.f64 M))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K 2) (neg.f64 M))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 m (+.f64 K n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 K n))))))
(*.f64 (cos.f64 (-.f64 (/.f64 m (/.f64 2 (+.f64 K n))) M)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K n) 2) M) 2)) l) (fabs.f64 (-.f64 K n)))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 m 2) (+.f64 K n)) M)) (exp.f64 (+.f64 (fabs.f64 (-.f64 K n)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K n) 2) M) 2)) l))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 K n) (/.f64 m 2)) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 K n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 K n) 2) M) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 n (+.f64 m K)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m K) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m K))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 n (+.f64 K m)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 K m) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m K))))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 (+.f64 K m) 2) n) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m K)) l) (pow.f64 (-.f64 (/.f64 (+.f64 K m) 2) M) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 M (+.f64 m n)) 2) K)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) K) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))
(*.f64 (cos.f64 (-.f64 (/.f64 M (/.f64 2 (+.f64 m n))) K)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) K) 2)) l) (fabs.f64 (-.f64 m n)))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 M 2) (+.f64 m n)) K)) (exp.f64 (+.f64 (fabs.f64 (-.f64 m n)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) K) 2)) l))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 m n) (/.f64 M 2)) K)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) K) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 l (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 K (fabs.f64 (-.f64 m n))))))
(*.f64 (cos.f64 (-.f64 (/.f64 l (/.f64 2 (+.f64 m n))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 K (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 l 2) (+.f64 m n)) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 K (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 m n) (/.f64 l 2)) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) K) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 n m)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 n m))))))
(*.f64 (cos.f64 (-.f64 (/.f64 K (/.f64 2 (+.f64 m n))) M)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) l) (fabs.f64 (-.f64 m n)))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 K 2) (+.f64 m n)) M)) (exp.f64 (+.f64 (fabs.f64 (-.f64 m n)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) l))))
(*.f64 (cos.f64 (fma.f64 (/.f64 K 2) (+.f64 m n) (neg.f64 M))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K 2) (neg.f64 M))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 M n)) 2) m)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 M n) 2) m) 2)) (-.f64 l (fabs.f64 (-.f64 M n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 n M)) 2) m)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n M) 2) m) 2)) (-.f64 l (fabs.f64 (-.f64 M n))))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 K 2) (+.f64 n M)) m)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n M) 2) m) 2)) (-.f64 l (fabs.f64 (-.f64 M n))))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 n M) (/.f64 K 2)) m)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 M n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 n M) 2) m) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 l n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 l n) 2) M) 2)) (-.f64 m (fabs.f64 (-.f64 l n))))))
(*.f64 (cos.f64 (-.f64 (/.f64 K (/.f64 2 (+.f64 n l))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n l) 2) M) 2)) (-.f64 m (fabs.f64 (-.f64 n l))))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 n l) (/.f64 K 2)) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 l n)) m) (pow.f64 (-.f64 (/.f64 (+.f64 n l) 2) M) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m M)) 2) n)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m M) 2) n) 2)) (-.f64 l (fabs.f64 (-.f64 m M))))))
(*.f64 (cos.f64 (-.f64 (/.f64 K (/.f64 2 (+.f64 m M))) n)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m M) 2) n) 2)) (-.f64 l (fabs.f64 (-.f64 m M))))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 K 2) (+.f64 m M)) n)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m M) 2) n) 2)) (-.f64 l (fabs.f64 (-.f64 m M))))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 m M) (/.f64 K 2)) n)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m M)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m M) 2) n) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m l)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m l) 2) M) 2)) (-.f64 n (fabs.f64 (-.f64 m l))))))
(*.f64 (cos.f64 (-.f64 (/.f64 K (/.f64 2 (+.f64 m l))) M)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m l) 2) M) 2)) n) (fabs.f64 (-.f64 l m)))))
(*.f64 (cos.f64 (-.f64 (/.f64 K (/.f64 2 (+.f64 m l))) M)) (exp.f64 (+.f64 (fabs.f64 (-.f64 l m)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m l) 2) M) 2)) n))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 m l) (/.f64 K 2)) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m l)) n) (pow.f64 (-.f64 (/.f64 (+.f64 m l) 2) M) 2))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) l)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) l) 2)) (-.f64 M (fabs.f64 (-.f64 m n))))))
(*.f64 (cos.f64 (-.f64 (/.f64 K (/.f64 2 (+.f64 m n))) l)) (exp.f64 (+.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) l) 2)) M) (fabs.f64 (-.f64 m n)))))
(.f64 (cos.f64 (-.f64 (.f64 (/.f64 K 2) (+.f64 m n)) l)) (exp.f64 (+.f64 (fabs.f64 (-.f64 m n)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) l) 2)) M))))
(*.f64 (cos.f64 (fma.f64 (/.f64 K 2) (+.f64 m n) (neg.f64 l))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) M) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) l) 2))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K 2) (neg.f64 l))) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) M) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) l) 2))))

Symmetry

(sort m n)

Compiler

Compiled 34 to 23 computations (32.4% saved)

simplify19.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

446×	`fma-neg_binary64`
251×	`times-frac_binary64`
231×	`cancel-sign-sub-inv_binary64`
219×	`exp-sum_binary64`
202×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	22	45
1	58	45
2	135	43
3	442	43
4	1753	43

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))

Outputs
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))
(*.f64 (cos.f64 (-.f64 (/.f64 K (/.f64 2 (+.f64 m n))) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (+.f64 (fabs.f64 (-.f64 m n)) (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) l))))
(.f64 (cos.f64 (-.f64 (.f64 (+.f64 m n) (/.f64 K 2)) M)) (exp.f64 (-.f64 (-.f64 (fabs.f64 (-.f64 m n)) l) (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2))))
(*.f64 (cos.f64 (fma.f64 (+.f64 m n) (/.f64 K 2) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

eval1.0ms (0%)

Compiler: Compiled 62 to 39 computations (37.1% saved)

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

15.4b

Counts

3 → 1

Alt Table

Click to see full alt table

Status	Error	Program
▶	15.4b	(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 66 to 44 computations (33.3% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M))
✓	0.0b	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
✓	0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
✓	30.8b	(cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M)))

series23.0ms (0.3%)

Counts

4 → 180

Calls

45 calls:

Time	Variable		Point	Expression
1.0ms	K	@	0	(cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M)))
1.0ms	K	@	-inf	(fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M))
1.0ms	m	@	0	(cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M)))
1.0ms	M	@	0	(cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M)))
1.0ms	n	@	0	(cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M)))

rewrite69.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

289×	`log1p-udef_binary64`
180×	`add-sqr-sqrt_binary64`
174×	`pow1_binary64`
173×	`*-un-lft-identity_binary64`
168×	`add-log-exp_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	57
1	341	49
2	4827	49

Stop Event

1×	node limit

Counts

4 → 112

Calls

Call 1

Inputs
(cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M)))
(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
(fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 (cos.f64 (.f64 K (.f64 (+.f64 m n) 1/2))) (cos.f64 M)) (.f64 (sin.f64 (.f64 K (.f64 (+.f64 m n) 1/2))) (sin.f64 M)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))) (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))) 2) (cbrt.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))) (sqrt.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (fma.f64 K (*.f64 (+.f64 m n) 1/2) M))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) (fma.f64 M M (.f64 M M)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (pow.f64 (.f64 (+.f64 m n) 1/2) 2) (.f64 M M))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 (+.f64 m n) 1/2) (fma.f64 (+.f64 m n) 1/2 M)) (.f64 M (fma.f64 (+.f64 m n) 1/2 M)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (fma.f64 (+.f64 m n) 1/2 M) (.f64 (+.f64 m n) 1/2)) (.f64 (fma.f64 (+.f64 m n) 1/2 M) M))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (pow.f64 (.f64 (+.f64 m n) 1/2) 2) (.f64 M M))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 (+.f64 m n) 1/2 M) (fma.f64 (+.f64 m n) 1/2 M))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 m n) 1/2 M)) 2) (cbrt.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 (+.f64 m n) 1/2 M)) 2) (.f64 (cbrt.f64 (fma.f64 (+.f64 m n) 1/2 M)) (fma.f64 (+.f64 m n) 1/2 M)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 m n) 1/2 M)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 (+.f64 m n) 1/2 M)) (.f64 (sqrt.f64 (fma.f64 (+.f64 m n) 1/2 M)) (fma.f64 (+.f64 m n) 1/2 M)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (fma.f64 (+.f64 m n) 1/2 M) (sqrt.f64 (fma.f64 (+.f64 m n) 1/2 M))) (sqrt.f64 (fma.f64 (+.f64 m n) 1/2 M)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (fma.f64 (+.f64 m n) 1/2 M) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 m n) 1/2 M)) 2)) (cbrt.f64 (fma.f64 (+.f64 m n) 1/2 M)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 3) (fma.f64 (+.f64 m n) 1/2 M))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (pow.f64 (+.f64 m n) 3) 1/8) (pow.f64 M 3)) (+.f64 (.f64 (pow.f64 (+.f64 m n) 3) 1/8) (pow.f64 M 3))) (.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) (.f64 (+.f64 m n) (.f64 1/2 M))) (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) (.f64 (+.f64 m n) (.f64 1/2 M)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (pow.f64 (+.f64 m n) 3) 1/8) (pow.f64 M 3)) (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2)) (+.f64 (.f64 (pow.f64 (+.f64 m n) 3) 1/8) (pow.f64 M 3)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (pow.f64 (.f64 (+.f64 m n) 1/2) 2) 3) (pow.f64 (.f64 M M) 3)) (+.f64 (.f64 (pow.f64 (.f64 (+.f64 m n) 1/2) 2) (pow.f64 (.f64 (+.f64 m n) 1/2) 2)) (+.f64 (.f64 (.f64 M M) (.f64 M M)) (.f64 (pow.f64 (.f64 (+.f64 m n) 1/2) 2) (.f64 M M)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (pow.f64 (.f64 (+.f64 m n) 1/2) 2) (pow.f64 (.f64 (+.f64 m n) 1/2) 2)) (.f64 (.f64 M M) (.f64 M M))) (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (+.f64 (.f64 (pow.f64 (+.f64 m n) 3) 1/8) (pow.f64 M 3)) (fma.f64 (+.f64 m n) 1/2 M)) (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) (.f64 (+.f64 m n) (.f64 1/2 M))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) (+.f64 (.f64 (pow.f64 (+.f64 m n) 3) 1/8) (pow.f64 M 3))) (.f64 (fma.f64 (+.f64 m n) 1/2 M) (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) (.f64 (+.f64 m n) (.f64 1/2 M)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (fma.f64 (+.f64 m n) 1/2 M) (+.f64 (.f64 (pow.f64 (+.f64 m n) 3) 1/8) (pow.f64 M 3))) (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) (.f64 (+.f64 m n) (.f64 1/2 M))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 6))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 2 (log.f64 (fma.f64 (+.f64 m n) 1/2 M))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 2 (log.f64 (fma.f64 (+.f64 m n) 1/2 M))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (.f64 (+.f64 m n) 1/2) (.f64 (+.f64 m n) 1/2) (*.f64 M M))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (/.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)) (/.f64 (.f64 l l) (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)) (pow.f64 (cbrt.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)) 2) (cbrt.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (hypot.f64 (fma.f64 (+.f64 m n) 1/2 M) (sqrt.f64 l)) (hypot.f64 (fma.f64 (+.f64 m n) 1/2 M) (sqrt.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 6) (pow.f64 l 3)) (/.f64 1 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 l (-.f64 l (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 l l)) (/.f64 1 (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 l (-.f64 l (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2)))) (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 6) (pow.f64 l 3))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l) (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 l l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 6) (pow.f64 l 3)) (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 l (-.f64 l (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 6) (pow.f64 l 3)) (+.f64 (.f64 l l) (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 l l)) (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 6) (pow.f64 l 3))) (neg.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 l (-.f64 l (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4) (.f64 l l))) (neg.f64 (-.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 l l) (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4)) (-.f64 l (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (hypot.f64 (fma.f64 (+.f64 m n) 1/2 M) (sqrt.f64 l)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (+.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (fma.f64 (+.f64 m n) 1/2 M) (fma.f64 (+.f64 m n) 1/2 M) l)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2) l)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 l (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (pow.f64 (cbrt.f64 l) 2) (cbrt.f64 l) (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 4)) (pow.f64 (cbrt.f64 (fma.f64 (+.f64 m n) 1/2 M)) 2) l)))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (sqrt.f64 l) (sqrt.f64 l) (pow.f64 (fma.f64 (+.f64 m n) 1/2 M) 2))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 M (.f64 K (.f64 (+.f64 m n) 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 K (.f64 (+.f64 m n) 1/2)) M)))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 (.f64 K (.f64 (+.f64 m n) 1/2)) 1) M)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (.f64 K (.f64 (+.f64 m n) 1/2)) M)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 (.f64 K (.f64 (+.f64 m n) 1/2)) 0) M)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) (cbrt.f64 (pow.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M) 2)) (cbrt.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) (sqrt.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 (.f64 K (.f64 (+.f64 m n) 1/2)) 3) (pow.f64 M 3)) (+.f64 (.f64 (.f64 K (.f64 (+.f64 m n) 1/2)) (.f64 K (.f64 (+.f64 m n) 1/2))) (-.f64 (.f64 M M) (.f64 (.f64 K (.f64 (+.f64 m n) 1/2)) M))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (.f64 K (.f64 (+.f64 m n) 1/2)) (.f64 K (.f64 (+.f64 m n) 1/2))) (.f64 M M)) (fma.f64 K (.f64 (+.f64 m n) 1/2) M))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))))))

simplify88.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

829×	`fma-def_binary64`
375×	`*-commutative_binary64`
235×	`associate-+l+_binary64`
199×	`distribute-rgt-in_binary64`
199×	`neg-sub0_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	163	3414
1	488	3286
2	1436	3121
3	4597	3121

Stop Event

1×	node limit

Counts

292 → 219

Calls

Call 1

Inputs
(cos.f64 (neg.f64 M))
(+.f64 (cos.f64 (neg.f64 M)) (.f64 -1/2 (.f64 K (*.f64 (sin.f64 (neg.f64 M)) (+.f64 n m)))))
(+.f64 (cos.f64 (neg.f64 M)) (+.f64 (.f64 -1/8 (.f64 (cos.f64 (neg.f64 M)) (.f64 (pow.f64 K 2) (pow.f64 (+.f64 n m) 2)))) (.f64 -1/2 (.f64 K (.f64 (sin.f64 (neg.f64 M)) (+.f64 n m))))))
(+.f64 (cos.f64 (neg.f64 M)) (+.f64 (.f64 1/48 (.f64 (pow.f64 K 3) (.f64 (sin.f64 (neg.f64 M)) (pow.f64 (+.f64 n m) 3)))) (+.f64 (.f64 -1/8 (.f64 (cos.f64 (neg.f64 M)) (.f64 (pow.f64 K 2) (pow.f64 (+.f64 n m) 2)))) (.f64 -1/2 (.f64 K (*.f64 (sin.f64 (neg.f64 M)) (+.f64 n m)))))))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M))
(+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (*.f64 K m))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (pow.f64 m 2)))) (+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (.f64 K m)))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (pow.f64 m 2)))) (+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (+.f64 (.f64 1/48 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (.f64 (pow.f64 K 3) (pow.f64 m 3)))) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (*.f64 K m))))))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 n (.f64 -1 m))) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 n (.f64 -1 m))) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 n (.f64 -1 m))) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 n (.f64 -1 m))) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))
(+.f64 (.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))) (cos.f64 (-.f64 (.f64 1/2 (*.f64 K m)) M)))
(+.f64 (.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))) (+.f64 (.f64 -1/8 (.f64 (pow.f64 n 2) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)) (pow.f64 K 2)))) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))
(+.f64 (.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))) (+.f64 (.f64 -1/8 (.f64 (pow.f64 n 2) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)) (pow.f64 K 2)))) (+.f64 (.f64 1/48 (.f64 (pow.f64 n 3) (.f64 (pow.f64 K 3) (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))) (cos.f64 (-.f64 (.f64 1/2 (*.f64 K m)) M)))))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 m (.f64 -1 n))) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 m (.f64 -1 n))) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 m (.f64 -1 n))) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 m (.f64 -1 n))) (neg.f64 M)))
(cos.f64 (.f64 1/2 (.f64 K (+.f64 n m))))
(+.f64 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M) (cos.f64 (.f64 1/2 (*.f64 K (+.f64 n m)))))
(+.f64 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M) (+.f64 (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (.f64 -1/2 (.f64 (cos.f64 (.f64 1/2 (*.f64 K (+.f64 n m)))) (pow.f64 M 2)))))
(+.f64 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M) (+.f64 (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (pow.f64 M 3))) (.f64 -1/2 (.f64 (cos.f64 (.f64 1/2 (*.f64 K (+.f64 n m)))) (pow.f64 M 2))))))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (+.f64 n m)) (.f64 -1 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (+.f64 n m)) (.f64 -1 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (+.f64 n m)) (.f64 -1 M)))
(cos.f64 (fma.f64 K (.f64 1/2 (+.f64 n m)) (.f64 -1 M)))
(pow.f64 (-.f64 (*.f64 1/2 n) M) 2)
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (pow.f64 (-.f64 (*.f64 1/2 n) M) 2))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(*.f64 1/4 (pow.f64 m 2))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (*.f64 1/4 (pow.f64 m 2)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(*.f64 1/4 (pow.f64 m 2))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (*.f64 1/4 (pow.f64 m 2)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(pow.f64 (-.f64 (*.f64 1/2 m) M) 2)
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (.f64 n (-.f64 (*.f64 1/2 m) M)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(*.f64 1/4 (pow.f64 n 2))
(+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (*.f64 1/4 (pow.f64 n 2)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(*.f64 1/4 (pow.f64 n 2))
(+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (*.f64 1/4 (pow.f64 n 2)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(*.f64 1/4 (pow.f64 (+.f64 n m) 2))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (*.f64 1/4 (pow.f64 (+.f64 n m) 2)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(pow.f64 M 2)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (pow.f64 M 2))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(pow.f64 M 2)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (pow.f64 M 2))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 n) M) 2))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (*.f64 1/2 n) M) 2) l))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (+.f64 l (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (+.f64 l (.f64 1/4 (pow.f64 m 2)))))
(*.f64 1/4 (pow.f64 m 2))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (*.f64 1/4 (pow.f64 m 2)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 l (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 l (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2)))))
(*.f64 1/4 (pow.f64 m 2))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (*.f64 1/4 (pow.f64 m 2)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 l (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 l (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (pow.f64 (-.f64 (*.f64 1/2 m) M) 2) l)
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (.f64 n (-.f64 (*.f64 1/2 m) M))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(*.f64 1/4 (pow.f64 n 2))
(+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (*.f64 1/4 (pow.f64 n 2)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(*.f64 1/4 (pow.f64 n 2))
(+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (*.f64 1/4 (pow.f64 n 2)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 l (*.f64 1/4 (pow.f64 (+.f64 n m) 2)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) l))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (+.f64 l (pow.f64 M 2))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (+.f64 l (pow.f64 M 2))))
(pow.f64 M 2)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (pow.f64 M 2))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 l (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 l (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2))))
(pow.f64 M 2)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (pow.f64 M 2))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 l (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 l (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2))))
(pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2)
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
l
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
l
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(*.f64 -1 M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(.f64 1/2 (.f64 K (+.f64 n m)))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(.f64 1/2 (.f64 K (+.f64 n m)))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(-.f64 (.f64 1/2 (.f64 n K)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(.f64 1/2 (.f64 K m))
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(.f64 1/2 (.f64 K m))
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (.f64 1/2 (.f64 K m)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(.f64 1/2 (.f64 n K))
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(.f64 1/2 (.f64 n K))
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(.f64 1/2 (.f64 K (+.f64 n m)))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(*.f64 -1 M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(*.f64 -1 M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))

Outputs
(cos.f64 (neg.f64 M))
(cos.f64 M)
(+.f64 (cos.f64 (neg.f64 M)) (.f64 -1/2 (.f64 K (*.f64 (sin.f64 (neg.f64 M)) (+.f64 n m)))))
(+.f64 (cos.f64 M) (.f64 -1/2 (.f64 K (*.f64 (sin.f64 (neg.f64 M)) (+.f64 n m)))))
(fma.f64 -1/2 (.f64 K (neg.f64 (.f64 (+.f64 n m) (sin.f64 M)))) (cos.f64 M))
(fma.f64 -1/2 (.f64 K (.f64 (neg.f64 (sin.f64 M)) (+.f64 n m))) (cos.f64 M))
(+.f64 (cos.f64 (neg.f64 M)) (+.f64 (.f64 -1/8 (.f64 (cos.f64 (neg.f64 M)) (.f64 (pow.f64 K 2) (pow.f64 (+.f64 n m) 2)))) (.f64 -1/2 (.f64 K (.f64 (sin.f64 (neg.f64 M)) (+.f64 n m))))))
(+.f64 (cos.f64 M) (fma.f64 -1/8 (.f64 (cos.f64 M) (.f64 (.f64 K K) (pow.f64 (+.f64 n m) 2))) (.f64 -1/2 (.f64 K (.f64 (sin.f64 (neg.f64 M)) (+.f64 n m))))))
(+.f64 (cos.f64 M) (fma.f64 -1/2 (.f64 K (neg.f64 (.f64 (+.f64 n m) (sin.f64 M)))) (.f64 -1/8 (.f64 (.f64 K K) (.f64 (pow.f64 (+.f64 n m) 2) (cos.f64 M))))))
(fma.f64 (cos.f64 M) (.f64 -1/8 (.f64 K (.f64 K (pow.f64 (+.f64 n m) 2)))) (fma.f64 -1/2 (.f64 K (*.f64 (neg.f64 (sin.f64 M)) (+.f64 n m))) (cos.f64 M)))
(+.f64 (cos.f64 (neg.f64 M)) (+.f64 (.f64 1/48 (.f64 (pow.f64 K 3) (.f64 (sin.f64 (neg.f64 M)) (pow.f64 (+.f64 n m) 3)))) (+.f64 (.f64 -1/8 (.f64 (cos.f64 (neg.f64 M)) (.f64 (pow.f64 K 2) (pow.f64 (+.f64 n m) 2)))) (.f64 -1/2 (.f64 K (*.f64 (sin.f64 (neg.f64 M)) (+.f64 n m)))))))
(+.f64 (cos.f64 M) (fma.f64 1/48 (.f64 (pow.f64 K 3) (.f64 (sin.f64 (neg.f64 M)) (pow.f64 (+.f64 n m) 3))) (fma.f64 -1/8 (.f64 (cos.f64 M) (.f64 (.f64 K K) (pow.f64 (+.f64 n m) 2))) (.f64 -1/2 (.f64 K (.f64 (sin.f64 (neg.f64 M)) (+.f64 n m)))))))
(+.f64 (cos.f64 M) (fma.f64 1/48 (.f64 (neg.f64 (sin.f64 M)) (.f64 (pow.f64 (+.f64 n m) 3) (pow.f64 K 3))) (fma.f64 -1/2 (.f64 K (neg.f64 (.f64 (+.f64 n m) (sin.f64 M)))) (.f64 -1/8 (.f64 (.f64 K K) (.f64 (pow.f64 (+.f64 n m) 2) (cos.f64 M)))))))
(+.f64 (fma.f64 (cos.f64 M) (.f64 -1/8 (.f64 K (.f64 K (pow.f64 (+.f64 n m) 2)))) (cos.f64 M)) (.f64 (neg.f64 (sin.f64 M)) (+.f64 (.f64 (+.f64 n m) (.f64 -1/2 K)) (.f64 (pow.f64 (+.f64 n m) 3) (.f64 1/48 (pow.f64 K 3))))))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M))
(cos.f64 (-.f64 (.f64 1/2 (.f64 K n)) M))
(cos.f64 (fma.f64 1/2 (*.f64 K n) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 K (.f64 n 1/2)) M))
(+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (*.f64 K m))))
(+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (*.f64 K m))))
(fma.f64 -1/2 (.f64 K (.f64 m (sin.f64 (fma.f64 1/2 (.f64 K n) (neg.f64 M))))) (cos.f64 (fma.f64 1/2 (.f64 K n) (neg.f64 M))))
(fma.f64 (sin.f64 (-.f64 (.f64 K (.f64 n 1/2)) M)) (.f64 -1/2 (.f64 K m)) (cos.f64 (-.f64 (.f64 K (.f64 n 1/2)) M)))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (pow.f64 m 2)))) (+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (.f64 K m)))))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (.f64 m m))) (+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (*.f64 K m)))))
(fma.f64 -1/8 (.f64 (cos.f64 (fma.f64 1/2 (.f64 K n) (neg.f64 M))) (.f64 (.f64 m m) (.f64 K K))) (fma.f64 -1/2 (.f64 K (.f64 m (sin.f64 (fma.f64 1/2 (.f64 K n) (neg.f64 M))))) (cos.f64 (fma.f64 1/2 (*.f64 K n) (neg.f64 M)))))
(fma.f64 -1/2 (.f64 K (.f64 m (sin.f64 (-.f64 (.f64 K (.f64 n 1/2)) M)))) (.f64 (+.f64 (.f64 (.f64 m m) (.f64 K (.f64 K -1/8))) 1) (cos.f64 (-.f64 (.f64 K (*.f64 n 1/2)) M))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (pow.f64 m 2)))) (+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (+.f64 (.f64 1/48 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (.f64 (pow.f64 K 3) (pow.f64 m 3)))) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 n K)) M)) (*.f64 K m))))))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (.f64 m m))) (+.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (fma.f64 1/48 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (.f64 (pow.f64 K 3) (pow.f64 m 3))) (.f64 -1/2 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 K n)) M)) (*.f64 K m))))))
(+.f64 (fma.f64 1/48 (.f64 (pow.f64 K 3) (.f64 (pow.f64 m 3) (sin.f64 (fma.f64 1/2 (.f64 K n) (neg.f64 M))))) (.f64 -1/2 (.f64 K (.f64 m (sin.f64 (fma.f64 1/2 (.f64 K n) (neg.f64 M))))))) (fma.f64 -1/8 (.f64 (cos.f64 (fma.f64 1/2 (.f64 K n) (neg.f64 M))) (.f64 (.f64 m m) (.f64 K K))) (cos.f64 (fma.f64 1/2 (*.f64 K n) (neg.f64 M)))))
(+.f64 (.f64 (sin.f64 (-.f64 (.f64 K (.f64 n 1/2)) M)) (+.f64 (.f64 -1/2 (.f64 K m)) (.f64 1/48 (.f64 (pow.f64 K 3) (pow.f64 m 3))))) (.f64 (+.f64 (.f64 (.f64 m m) (.f64 K (.f64 K -1/8))) 1) (cos.f64 (-.f64 (.f64 K (.f64 n 1/2)) M))))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 n (.f64 -1 m))) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 n (.f64 -1 m))) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 n (.f64 -1 m))) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 n (.f64 -1 m))) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))
(cos.f64 (-.f64 (.f64 K (.f64 m 1/2)) M))
(+.f64 (.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))) (cos.f64 (-.f64 (.f64 1/2 (*.f64 K m)) M)))
(fma.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))
(fma.f64 -1/2 (.f64 K (.f64 n (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))
(fma.f64 -1/2 (.f64 K (.f64 n (sin.f64 (-.f64 (.f64 K (.f64 m 1/2)) M)))) (cos.f64 (-.f64 (.f64 K (.f64 m 1/2)) M)))
(+.f64 (.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))) (+.f64 (.f64 -1/8 (.f64 (pow.f64 n 2) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)) (pow.f64 K 2)))) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))
(fma.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (fma.f64 -1/8 (.f64 (.f64 n n) (.f64 (.f64 K K) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))
(fma.f64 -1/2 (.f64 K (.f64 n (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (fma.f64 -1/8 (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)) (.f64 (.f64 K K) (.f64 n n))) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))
(fma.f64 -1/2 (.f64 K (.f64 n (sin.f64 (-.f64 (.f64 K (.f64 m 1/2)) M)))) (.f64 (+.f64 (.f64 (.f64 K K) (.f64 n (.f64 n -1/8))) 1) (cos.f64 (-.f64 (.f64 K (*.f64 m 1/2)) M))))
(+.f64 (.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))) (+.f64 (.f64 -1/8 (.f64 (pow.f64 n 2) (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)) (pow.f64 K 2)))) (+.f64 (.f64 1/48 (.f64 (pow.f64 n 3) (.f64 (pow.f64 K 3) (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M))))) (cos.f64 (-.f64 (.f64 1/2 (*.f64 K m)) M)))))
(fma.f64 -1/2 (.f64 n (.f64 K (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (fma.f64 -1/8 (.f64 (.f64 n n) (.f64 (.f64 K K) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (fma.f64 1/48 (.f64 (pow.f64 n 3) (.f64 (pow.f64 K 3) (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))))
(fma.f64 -1/2 (.f64 K (.f64 n (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))) (fma.f64 -1/8 (.f64 (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)) (.f64 (.f64 K K) (.f64 n n))) (fma.f64 1/48 (.f64 (sin.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)) (.f64 (pow.f64 K 3) (pow.f64 n 3))) (cos.f64 (-.f64 (.f64 1/2 (.f64 K m)) M)))))
(fma.f64 -1/2 (.f64 K (.f64 n (sin.f64 (-.f64 (.f64 K (.f64 m 1/2)) M)))) (fma.f64 1/48 (.f64 (sin.f64 (-.f64 (.f64 K (.f64 m 1/2)) M)) (.f64 (pow.f64 K 3) (pow.f64 n 3))) (.f64 (+.f64 (.f64 (.f64 K K) (.f64 n (.f64 n -1/8))) 1) (cos.f64 (-.f64 (.f64 K (*.f64 m 1/2)) M)))))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 m (.f64 -1 n))) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 m (.f64 -1 n))) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 m (.f64 -1 n))) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (-.f64 m (.f64 -1 n))) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (.f64 1/2 (.f64 K (+.f64 n m))))
(cos.f64 (.f64 (+.f64 n m) (.f64 K 1/2)))
(+.f64 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M) (cos.f64 (.f64 1/2 (*.f64 K (+.f64 n m)))))
(fma.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m)))))
(fma.f64 M (sin.f64 (.f64 (+.f64 n m) (.f64 K 1/2))) (cos.f64 (.f64 (+.f64 n m) (.f64 K 1/2))))
(+.f64 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M) (+.f64 (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (.f64 -1/2 (.f64 (cos.f64 (.f64 1/2 (*.f64 K (+.f64 n m)))) (pow.f64 M 2)))))
(+.f64 (fma.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m))))) (.f64 -1/2 (.f64 (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (*.f64 M M))))
(fma.f64 M (sin.f64 (.f64 (+.f64 n m) (.f64 K 1/2))) (fma.f64 -1/2 (.f64 (cos.f64 (.f64 (+.f64 n m) (.f64 K 1/2))) (.f64 M M)) (cos.f64 (.f64 (+.f64 n m) (.f64 K 1/2)))))
(fma.f64 M (sin.f64 (.f64 (+.f64 n m) (.f64 K 1/2))) (.f64 (+.f64 (.f64 -1/2 (.f64 M M)) 1) (cos.f64 (.f64 (+.f64 n m) (*.f64 K 1/2)))))
(+.f64 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M) (+.f64 (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (+.f64 (.f64 -1/6 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (pow.f64 M 3))) (.f64 -1/2 (.f64 (cos.f64 (.f64 1/2 (*.f64 K (+.f64 n m)))) (pow.f64 M 2))))))
(+.f64 (fma.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) M (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m))))) (fma.f64 -1/6 (.f64 (sin.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (pow.f64 M 3)) (.f64 -1/2 (.f64 (cos.f64 (.f64 1/2 (.f64 K (+.f64 n m)))) (.f64 M M)))))
(+.f64 (fma.f64 -1/2 (.f64 (cos.f64 (.f64 (+.f64 n m) (.f64 K 1/2))) (.f64 M M)) (.f64 (.f64 -1/6 (pow.f64 M 3)) (sin.f64 (.f64 (+.f64 n m) (.f64 K 1/2))))) (fma.f64 M (sin.f64 (.f64 (+.f64 n m) (.f64 K 1/2))) (cos.f64 (.f64 (+.f64 n m) (.f64 K 1/2)))))
(fma.f64 M (sin.f64 (.f64 (+.f64 n m) (.f64 K 1/2))) (fma.f64 (sin.f64 (.f64 (+.f64 n m) (.f64 K 1/2))) (.f64 -1/6 (pow.f64 M 3)) (.f64 (+.f64 (.f64 -1/2 (.f64 M M)) 1) (cos.f64 (.f64 (+.f64 n m) (.f64 K 1/2))))))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (*.f64 1/2 (+.f64 n m)) (neg.f64 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (+.f64 n m)) (.f64 -1 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (+.f64 n m)) (.f64 -1 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (+.f64 n m)) (.f64 -1 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(cos.f64 (fma.f64 K (.f64 1/2 (+.f64 n m)) (.f64 -1 M)))
(cos.f64 (fma.f64 K (*.f64 (+.f64 n m) 1/2) (neg.f64 M)))
(cos.f64 (-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M))
(pow.f64 (-.f64 (*.f64 1/2 n) M) 2)
(pow.f64 (-.f64 (*.f64 n 1/2) M) 2)
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (pow.f64 (-.f64 (*.f64 1/2 n) M) 2))
(fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2))
(.f64 (-.f64 (.f64 n 1/2) M) (+.f64 (-.f64 (*.f64 n 1/2) M) m))
(.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (*.f64 n 1/2) M)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (.f64 (.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (fma.f64 (.f64 m m) 1/4 (pow.f64 (-.f64 (*.f64 n 1/2) M) 2)))
(fma.f64 m (.f64 m 1/4) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (.f64 (.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (fma.f64 (.f64 m m) 1/4 (pow.f64 (-.f64 (*.f64 n 1/2) M) 2)))
(fma.f64 m (.f64 m 1/4) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M))))
(*.f64 1/4 (pow.f64 m 2))
(.f64 (.f64 m m) 1/4)
(.f64 m (.f64 m 1/4))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (*.f64 1/4 (pow.f64 m 2)))
(fma.f64 (-.f64 (.f64 n 1/2) M) m (.f64 (*.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (.f64 m (*.f64 m 1/4)))
(.f64 m (+.f64 (-.f64 (.f64 n 1/2) M) (*.f64 m 1/4)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (.f64 (.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (fma.f64 (.f64 m m) 1/4 (pow.f64 (-.f64 (*.f64 n 1/2) M) 2)))
(fma.f64 m (.f64 m 1/4) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (.f64 (.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (fma.f64 (.f64 m m) 1/4 (pow.f64 (-.f64 (*.f64 n 1/2) M) 2)))
(fma.f64 m (.f64 m 1/4) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M))))
(*.f64 1/4 (pow.f64 m 2))
(.f64 (.f64 m m) 1/4)
(.f64 m (.f64 m 1/4))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (*.f64 1/4 (pow.f64 m 2)))
(fma.f64 (-.f64 (.f64 n 1/2) M) m (.f64 (*.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (.f64 m (*.f64 m 1/4)))
(.f64 m (+.f64 (-.f64 (.f64 n 1/2) M) (*.f64 m 1/4)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (.f64 (.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (fma.f64 (.f64 m m) 1/4 (pow.f64 (-.f64 (*.f64 n 1/2) M) 2)))
(fma.f64 m (.f64 m 1/4) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M))))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (.f64 (.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (fma.f64 (.f64 m m) 1/4 (pow.f64 (-.f64 (*.f64 n 1/2) M) 2)))
(fma.f64 m (.f64 m 1/4) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M))))
(pow.f64 (-.f64 (*.f64 1/2 m) M) 2)
(pow.f64 (-.f64 (*.f64 m 1/2) M) 2)
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (.f64 n (-.f64 (*.f64 1/2 m) M)))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (.f64 n (-.f64 (*.f64 m 1/2) M)))
(.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (*.f64 m 1/2) M) n))
(.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (*.f64 m 1/2) M)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) (.f64 (*.f64 1/4 n) n))
(fma.f64 n (.f64 n 1/4) (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) (.f64 (*.f64 1/4 n) n))
(fma.f64 n (.f64 n 1/4) (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))))
(*.f64 1/4 (pow.f64 n 2))
(.f64 (.f64 n n) 1/4)
(.f64 (.f64 1/4 n) n)
(.f64 n (.f64 n 1/4))
(+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (*.f64 1/4 (pow.f64 n 2)))
(fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (*.f64 n n) 1/4))
(fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (*.f64 1/4 n) n))
(.f64 n (+.f64 (-.f64 (.f64 m 1/2) M) (*.f64 n 1/4)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) (.f64 (*.f64 1/4 n) n))
(fma.f64 n (.f64 n 1/4) (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) (.f64 (*.f64 1/4 n) n))
(fma.f64 n (.f64 n 1/4) (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))))
(*.f64 1/4 (pow.f64 n 2))
(.f64 (.f64 n n) 1/4)
(.f64 (.f64 1/4 n) n)
(.f64 n (.f64 n 1/4))
(+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (*.f64 1/4 (pow.f64 n 2)))
(fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (*.f64 n n) 1/4))
(fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (*.f64 1/4 n) n))
(.f64 n (+.f64 (-.f64 (.f64 m 1/2) M) (*.f64 n 1/4)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) (.f64 (*.f64 1/4 n) n))
(fma.f64 n (.f64 n 1/4) (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) (.f64 (*.f64 1/4 n) n))
(fma.f64 n (.f64 n 1/4) (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))))
(*.f64 1/4 (pow.f64 (+.f64 n m) 2))
(*.f64 (pow.f64 (+.f64 n m) 2) 1/4)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (*.f64 1/4 (pow.f64 (+.f64 n m) 2)))
(fma.f64 -1 (.f64 M (+.f64 n m)) (.f64 (pow.f64 (+.f64 n m) 2) 1/4))
(-.f64 (.f64 (pow.f64 (+.f64 n m) 2) 1/4) (.f64 M (+.f64 n m)))
(.f64 (+.f64 n m) (-.f64 (.f64 (+.f64 n m) 1/4) M))
(*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(fma.f64 -1 (.f64 M (+.f64 n m)) (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)))
(-.f64 (fma.f64 M M (.f64 (pow.f64 (+.f64 n m) 2) 1/4)) (.f64 M (+.f64 n m)))
(fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4))
(fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(fma.f64 -1 (.f64 M (+.f64 n m)) (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)))
(-.f64 (fma.f64 M M (.f64 (pow.f64 (+.f64 n m) 2) 1/4)) (.f64 M (+.f64 n m)))
(fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4))
(fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M))))
(pow.f64 M 2)
(*.f64 M M)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (pow.f64 M 2))
(fma.f64 -1 (.f64 M (+.f64 n m)) (.f64 M M))
(*.f64 M (+.f64 (neg.f64 (+.f64 n m)) M))
(*.f64 M (-.f64 M (+.f64 n m)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(fma.f64 -1 (.f64 M (+.f64 n m)) (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)))
(-.f64 (fma.f64 M M (.f64 (pow.f64 (+.f64 n m) 2) 1/4)) (.f64 M (+.f64 n m)))
(fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4))
(fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(fma.f64 -1 (.f64 M (+.f64 n m)) (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)))
(-.f64 (fma.f64 M M (.f64 (pow.f64 (+.f64 n m) 2) 1/4)) (.f64 M (+.f64 n m)))
(fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4))
(fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M))))
(pow.f64 M 2)
(*.f64 M M)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (pow.f64 M 2))
(fma.f64 -1 (.f64 M (+.f64 n m)) (.f64 M M))
(*.f64 M (+.f64 (neg.f64 (+.f64 n m)) M))
(*.f64 M (-.f64 M (+.f64 n m)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(fma.f64 -1 (.f64 M (+.f64 n m)) (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)))
(-.f64 (fma.f64 M M (.f64 (pow.f64 (+.f64 n m) 2) 1/4)) (.f64 M (+.f64 n m)))
(fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4))
(fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2)))
(fma.f64 -1 (.f64 M (+.f64 n m)) (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)))
(-.f64 (fma.f64 M M (.f64 (pow.f64 (+.f64 n m) 2) 1/4)) (.f64 M (+.f64 n m)))
(fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4))
(fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M))))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 n) M) 2))
(+.f64 (pow.f64 (-.f64 (*.f64 n 1/2) M) 2) l)
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (*.f64 1/2 n) M) 2) l))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) l)
(+.f64 l (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 (-.f64 (*.f64 n 1/2) M) m)))
(fma.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M)) l)
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (+.f64 l (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (+.f64 (.f64 (.f64 m m) 1/4) l))
(+.f64 (fma.f64 (.f64 m m) 1/4 l) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 (-.f64 (.f64 n 1/2) M) m)))
(fma.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M)) (fma.f64 m (*.f64 m 1/4) l))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (+.f64 l (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (+.f64 (.f64 (.f64 m m) 1/4) l))
(+.f64 (fma.f64 (.f64 m m) 1/4 l) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 (-.f64 (.f64 n 1/2) M) m)))
(fma.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M)) (fma.f64 m (*.f64 m 1/4) l))
(*.f64 1/4 (pow.f64 m 2))
(.f64 (.f64 m m) 1/4)
(.f64 m (.f64 m 1/4))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (*.f64 1/4 (pow.f64 m 2)))
(fma.f64 (-.f64 (.f64 n 1/2) M) m (.f64 (*.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (.f64 m (*.f64 m 1/4)))
(.f64 m (+.f64 (-.f64 (.f64 n 1/2) M) (*.f64 m 1/4)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 l (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (+.f64 (.f64 (.f64 m m) 1/4) l))
(+.f64 (fma.f64 (.f64 m m) 1/4 l) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 (-.f64 (.f64 n 1/2) M) m)))
(fma.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M)) (fma.f64 m (*.f64 m 1/4) l))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 l (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (+.f64 (.f64 (.f64 m m) 1/4) l))
(+.f64 (fma.f64 (.f64 m m) 1/4 l) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 (-.f64 (.f64 n 1/2) M) m)))
(fma.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M)) (fma.f64 m (*.f64 m 1/4) l))
(*.f64 1/4 (pow.f64 m 2))
(.f64 (.f64 m m) 1/4)
(.f64 m (.f64 m 1/4))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (*.f64 1/4 (pow.f64 m 2)))
(fma.f64 (-.f64 (.f64 n 1/2) M) m (.f64 (*.f64 m m) 1/4))
(fma.f64 m (-.f64 (.f64 n 1/2) M) (.f64 m (*.f64 m 1/4)))
(.f64 m (+.f64 (-.f64 (.f64 n 1/2) M) (*.f64 m 1/4)))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 l (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (+.f64 (.f64 (.f64 m m) 1/4) l))
(+.f64 (fma.f64 (.f64 m m) 1/4 l) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 (-.f64 (.f64 n 1/2) M) m)))
(fma.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M)) (fma.f64 m (*.f64 m 1/4) l))
(+.f64 (.f64 (-.f64 (.f64 1/2 n) M) m) (+.f64 l (+.f64 (pow.f64 (-.f64 (.f64 1/2 n) M) 2) (.f64 1/4 (pow.f64 m 2)))))
(+.f64 (fma.f64 (-.f64 (.f64 n 1/2) M) m (pow.f64 (-.f64 (.f64 n 1/2) M) 2)) (+.f64 (.f64 (.f64 m m) 1/4) l))
(+.f64 (fma.f64 (.f64 m m) 1/4 l) (.f64 (-.f64 (.f64 n 1/2) M) (+.f64 (-.f64 (.f64 n 1/2) M) m)))
(fma.f64 (-.f64 (.f64 n 1/2) M) (+.f64 m (-.f64 (.f64 n 1/2) M)) (fma.f64 m (*.f64 m 1/4) l))
(+.f64 (pow.f64 (-.f64 (*.f64 1/2 m) M) 2) l)
(+.f64 (pow.f64 (-.f64 (*.f64 m 1/2) M) 2) l)
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (.f64 n (-.f64 (*.f64 1/2 m) M))))
(+.f64 (+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) l) (.f64 n (-.f64 (*.f64 m 1/2) M)))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (*.f64 m 1/2) M) n)) l)
(fma.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M)) l)
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (+.f64 (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)) l))
(+.f64 (+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) l) (.f64 (*.f64 1/4 n) n))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))) (fma.f64 n (.f64 n 1/4) l))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (+.f64 (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)) l))
(+.f64 (+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) l) (.f64 (*.f64 1/4 n) n))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))) (fma.f64 n (.f64 n 1/4) l))
(*.f64 1/4 (pow.f64 n 2))
(.f64 (.f64 n n) 1/4)
(.f64 (.f64 1/4 n) n)
(.f64 n (.f64 n 1/4))
(+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (*.f64 1/4 (pow.f64 n 2)))
(fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (*.f64 n n) 1/4))
(fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (*.f64 1/4 n) n))
(.f64 n (+.f64 (-.f64 (.f64 m 1/2) M) (*.f64 n 1/4)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (+.f64 (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)) l))
(+.f64 (+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) l) (.f64 (*.f64 1/4 n) n))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))) (fma.f64 n (.f64 n 1/4) l))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (+.f64 (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)) l))
(+.f64 (+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) l) (.f64 (*.f64 1/4 n) n))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))) (fma.f64 n (.f64 n 1/4) l))
(*.f64 1/4 (pow.f64 n 2))
(.f64 (.f64 n n) 1/4)
(.f64 (.f64 1/4 n) n)
(.f64 n (.f64 n 1/4))
(+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (*.f64 1/4 (pow.f64 n 2)))
(fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (*.f64 n n) 1/4))
(fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (*.f64 1/4 n) n))
(.f64 n (+.f64 (-.f64 (.f64 m 1/2) M) (*.f64 n 1/4)))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (+.f64 (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)) l))
(+.f64 (+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) l) (.f64 (*.f64 1/4 n) n))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))) (fma.f64 n (.f64 n 1/4) l))
(+.f64 (pow.f64 (-.f64 (.f64 1/2 m) M) 2) (+.f64 l (+.f64 (.f64 n (-.f64 (.f64 1/2 m) M)) (.f64 1/4 (pow.f64 n 2)))))
(+.f64 (pow.f64 (-.f64 (.f64 m 1/2) M) 2) (+.f64 (fma.f64 n (-.f64 (.f64 m 1/2) M) (.f64 (.f64 n n) 1/4)) l))
(+.f64 (+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 (-.f64 (.f64 m 1/2) M) n)) l) (.f64 (*.f64 1/4 n) n))
(+.f64 (.f64 (-.f64 (.f64 m 1/2) M) (+.f64 n (-.f64 (.f64 m 1/2) M))) (fma.f64 n (.f64 n 1/4) l))
(+.f64 l (*.f64 1/4 (pow.f64 (+.f64 n m) 2)))
(fma.f64 1/4 (pow.f64 (+.f64 n m) 2) l)
(fma.f64 (pow.f64 (+.f64 n m) 2) 1/4 l)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) l))
(fma.f64 -1 (*.f64 M (+.f64 n m)) (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) l))
(-.f64 (fma.f64 (pow.f64 (+.f64 n m) 2) 1/4 l) (*.f64 M (+.f64 n m)))
(+.f64 l (.f64 (+.f64 n m) (-.f64 (.f64 (+.f64 n m) 1/4) M)))
(+.f64 l (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (+.f64 l (pow.f64 M 2))))
(fma.f64 -1 (.f64 M (+.f64 n m)) (+.f64 (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)) l))
(-.f64 (fma.f64 (pow.f64 (+.f64 n m) 2) 1/4 (fma.f64 M M l)) (*.f64 M (+.f64 n m)))
(+.f64 l (fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4)))
(+.f64 l (fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M)))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (+.f64 l (pow.f64 M 2))))
(fma.f64 -1 (.f64 M (+.f64 n m)) (+.f64 (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)) l))
(-.f64 (fma.f64 (pow.f64 (+.f64 n m) 2) 1/4 (fma.f64 M M l)) (*.f64 M (+.f64 n m)))
(+.f64 l (fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4)))
(+.f64 l (fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M)))))
(pow.f64 M 2)
(*.f64 M M)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (pow.f64 M 2))
(fma.f64 -1 (.f64 M (+.f64 n m)) (.f64 M M))
(*.f64 M (+.f64 (neg.f64 (+.f64 n m)) M))
(*.f64 M (-.f64 M (+.f64 n m)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 l (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2))))
(fma.f64 -1 (.f64 M (+.f64 n m)) (+.f64 (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)) l))
(-.f64 (fma.f64 (pow.f64 (+.f64 n m) 2) 1/4 (fma.f64 M M l)) (*.f64 M (+.f64 n m)))
(+.f64 l (fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4)))
(+.f64 l (fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M)))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 l (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2))))
(fma.f64 -1 (.f64 M (+.f64 n m)) (+.f64 (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)) l))
(-.f64 (fma.f64 (pow.f64 (+.f64 n m) 2) 1/4 (fma.f64 M M l)) (*.f64 M (+.f64 n m)))
(+.f64 l (fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4)))
(+.f64 l (fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M)))))
(pow.f64 M 2)
(*.f64 M M)
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (pow.f64 M 2))
(fma.f64 -1 (.f64 M (+.f64 n m)) (.f64 M M))
(*.f64 M (+.f64 (neg.f64 (+.f64 n m)) M))
(*.f64 M (-.f64 M (+.f64 n m)))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 l (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2))))
(fma.f64 -1 (.f64 M (+.f64 n m)) (+.f64 (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)) l))
(-.f64 (fma.f64 (pow.f64 (+.f64 n m) 2) 1/4 (fma.f64 M M l)) (*.f64 M (+.f64 n m)))
(+.f64 l (fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4)))
(+.f64 l (fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M)))))
(+.f64 (.f64 -1 (.f64 (+.f64 n m) M)) (+.f64 l (+.f64 (*.f64 1/4 (pow.f64 (+.f64 n m) 2)) (pow.f64 M 2))))
(fma.f64 -1 (.f64 M (+.f64 n m)) (+.f64 (fma.f64 1/4 (pow.f64 (+.f64 n m) 2) (.f64 M M)) l))
(-.f64 (fma.f64 (pow.f64 (+.f64 n m) 2) 1/4 (fma.f64 M M l)) (*.f64 M (+.f64 n m)))
(+.f64 l (fma.f64 M (-.f64 M (+.f64 n m)) (*.f64 (pow.f64 (+.f64 n m) 2) 1/4)))
(+.f64 l (fma.f64 M M (*.f64 (+.f64 n m) (fma.f64 (+.f64 n m) 1/4 (neg.f64 M)))))
(pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2)
(pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2)
(pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2)
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
l
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
l
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 1/2 (+.f64 n m)) M) 2))
(+.f64 l (pow.f64 (fma.f64 1/2 (+.f64 n m) (neg.f64 M)) 2))
(+.f64 l (pow.f64 (-.f64 (*.f64 (+.f64 n m) 1/2) M) 2))
(*.f64 -1 M)
(neg.f64 M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(.f64 1/2 (.f64 K (+.f64 n m)))
(.f64 (+.f64 n m) (.f64 K 1/2))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(.f64 1/2 (.f64 K (+.f64 n m)))
(.f64 (+.f64 n m) (.f64 K 1/2))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (.f64 1/2 (.f64 n K)) M)
(-.f64 (.f64 1/2 (.f64 K n)) M)
(fma.f64 1/2 (*.f64 K n) (neg.f64 M))
(-.f64 (.f64 K (.f64 n 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(.f64 1/2 (.f64 K m))
(.f64 K (.f64 m 1/2))
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(.f64 1/2 (.f64 K m))
(.f64 K (.f64 m 1/2))
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (.f64 1/2 (.f64 K m)) M)
(-.f64 (.f64 K (.f64 m 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(.f64 1/2 (.f64 n K))
(.f64 1/2 (.f64 K n))
(.f64 K (.f64 n 1/2))
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(.f64 1/2 (.f64 n K))
(.f64 1/2 (.f64 K n))
(.f64 K (.f64 n 1/2))
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(-.f64 (+.f64 (.f64 1/2 (.f64 K m)) (.f64 1/2 (.f64 n K))) M)
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(.f64 1/2 (.f64 K (+.f64 n m)))
(.f64 (+.f64 n m) (.f64 K 1/2))
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(*.f64 -1 M)
(neg.f64 M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(*.f64 -1 M)
(neg.f64 M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)
(+.f64 (.f64 -1 M) (.f64 1/2 (*.f64 K (+.f64 n m))))
(fma.f64 -1 M (.f64 1/2 (.f64 K (+.f64 n m))))
(-.f64 (.f64 (+.f64 n m) (.f64 K 1/2)) M)

eval102.0ms (1.2%)

Compiler: Compiled 7651 to 3852 computations (49.7% saved)

prune784.0ms (9.6%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	215	4	219
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	216	4	220

Error

1.0b

Counts

220 → 4

Alt Table

Click to see full alt table

Status	Error	Program
	10.1b	(.f64 (cos.f64 (.f64 1/2 (*.f64 K m))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
▶	1.1b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	15.4b	(.f64 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	15.3b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 2)) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 246 to 172 computations (30.1% saved)

localize13.0ms (0.2%)

Local error

Found 2 expressions with local error:

New	Error	Program
	0.0b	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
	0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)

eval45.0ms (0.6%)

Compiler: Compiled 3261 to 1569 computations (51.9% saved)

prune380.0ms (4.7%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	123	0	123
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	123	4	127

Error

1.0b

Counts

127 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	10.1b	(.f64 (cos.f64 (.f64 1/2 (*.f64 K m))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
✓	1.1b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	15.4b	(.f64 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	15.3b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 2)) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 221 to 154 computations (30.3% saved)

localize19.0ms (0.2%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.0b	(+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l)
	0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
✓	26.5b	(cos.f64 (.f64 1/2 (.f64 K m)))

series3.0ms (0%)

Counts

1 → 8

Calls

6 calls:

Time	Variable		Point	Expression
1.0ms	K	@	0	(cos.f64 (.f64 1/2 (.f64 K m)))
1.0ms	m	@	0	(cos.f64 (.f64 1/2 (.f64 K m)))
0.0ms	K	@	inf	(cos.f64 (.f64 1/2 (.f64 K m)))
0.0ms	K	@	-inf	(cos.f64 (.f64 1/2 (.f64 K m)))
0.0ms	m	@	-inf	(cos.f64 (.f64 1/2 (.f64 K m)))

rewrite32.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

650×	`pow1_binary64`
597×	`add-log-exp_binary64`
597×	`log1p-expm1-u_binary64`
597×	`expm1-log1p-u_binary64`
70×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	9
1	140	9
2	1617	9

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

Inputs
(cos.f64 (.f64 1/2 (.f64 K m)))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 m (.f64 1/2 K))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 m (.f64 1/2 K))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (.f64 m (.f64 1/2 K))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 2) (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) (sqrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (.f64 m (.f64 1/2 K))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 m (.f64 1/2 K))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 m (.f64 1/2 K))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (.f64 m (.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 m (.f64 1/2 K))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (.f64 m (.f64 1/2 K))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (.f64 m (.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (.f64 m (.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (.f64 m (*.f64 1/2 K)))))))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 m (*.f64 1/2 K))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (*.f64 m (*.f64 1/2 K))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (*.f64 m (*.f64 1/2 K))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))) 2) (cbrt.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))) (sqrt.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (*.f64 m (*.f64 1/2 K))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (*.f64 m (*.f64 1/2 K))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (*.f64 m (*.f64 1/2 K))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 m (*.f64 1/2 K))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (*.f64 m (*.f64 1/2 K))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (*.f64 m (*.f64 1/2 K)))))))))

simplify64.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

997×	`fma-def_binary64`
513×	`sqr-pow_binary64`
358×	`*-commutative_binary64`
317×	`pow-sqr_binary64`
243×	`unswap-sqr_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	28	172
1	71	168
2	197	164
3	863	164
4	2176	152
5	2681	146
6	2992	128
7	3217	128
8	3461	128
9	3781	128
10	4209	128
11	4720	128

Stop Event

1×	node limit

Counts

25 → 24

Calls

Call 1

Inputs
1
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4))) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))))))
1
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4))) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))))))

Outputs
1
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) 1)
(fma.f64 -1/8 (.f64 (.f64 K K) (*.f64 m m)) 1)
(fma.f64 (.f64 K K) (.f64 -1/8 (*.f64 m m)) 1)
(fma.f64 K (.f64 K (.f64 -1/8 (*.f64 m m))) 1)
(fma.f64 -1/8 (pow.f64 (*.f64 K m) 2) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (+.f64 1 (.f64 1/384 (*.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) 1))
(fma.f64 -1/8 (.f64 K (.f64 K (.f64 m m))) (fma.f64 (pow.f64 K 4) (.f64 1/384 (pow.f64 m 4)) 1))
(fma.f64 1/384 (pow.f64 (.f64 K m) 4) (fma.f64 K (.f64 K (.f64 -1/8 (.f64 m m))) 1))
(fma.f64 (pow.f64 (.f64 K m) 2) (fma.f64 (pow.f64 (.f64 K m) 2) 1/384 -1/8) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4))) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))))))
(+.f64 (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6)))))
(+.f64 (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6)))) (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1))
(fma.f64 -1/8 (.f64 K (.f64 K (.f64 m m))) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (fma.f64 -1/46080 (*.f64 (pow.f64 K 6) (pow.f64 m 6)) 1)))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (fma.f64 -1/46080 (*.f64 (pow.f64 K 6) (pow.f64 m 6)) 1)))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (pow.f64 (.f64 K m) 4) (fma.f64 -1/46080 (*.f64 (pow.f64 K 6) (pow.f64 m 6)) 1)))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (pow.f64 (.f64 K m) 4) (fma.f64 -1/46080 (pow.f64 (*.f64 K m) 6) 1)))
(fma.f64 -1/8 (pow.f64 (.f64 K m) 2) (fma.f64 1/384 (pow.f64 (.f64 K m) 4) (fma.f64 -1/46080 (pow.f64 (*.f64 K m) 6) 1)))
1
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) 1)
(fma.f64 -1/8 (.f64 (.f64 K K) (*.f64 m m)) 1)
(fma.f64 (.f64 K K) (.f64 -1/8 (*.f64 m m)) 1)
(fma.f64 K (.f64 K (.f64 -1/8 (*.f64 m m))) 1)
(fma.f64 -1/8 (pow.f64 (*.f64 K m) 2) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (+.f64 1 (.f64 1/384 (*.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) 1))
(fma.f64 -1/8 (.f64 K (.f64 K (.f64 m m))) (fma.f64 (pow.f64 K 4) (.f64 1/384 (pow.f64 m 4)) 1))
(fma.f64 1/384 (pow.f64 (.f64 K m) 4) (fma.f64 K (.f64 K (.f64 -1/8 (.f64 m m))) 1))
(fma.f64 (pow.f64 (.f64 K m) 2) (fma.f64 (pow.f64 (.f64 K m) 2) 1/384 -1/8) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4))) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))))))
(+.f64 (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6)))))
(+.f64 (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6)))) (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1))
(fma.f64 -1/8 (.f64 K (.f64 K (.f64 m m))) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (fma.f64 -1/46080 (*.f64 (pow.f64 K 6) (pow.f64 m 6)) 1)))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (fma.f64 -1/46080 (*.f64 (pow.f64 K 6) (pow.f64 m 6)) 1)))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (pow.f64 (.f64 K m) 4) (fma.f64 -1/46080 (*.f64 (pow.f64 K 6) (pow.f64 m 6)) 1)))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (pow.f64 (.f64 K m) 4) (fma.f64 -1/46080 (pow.f64 (*.f64 K m) 6) 1)))
(fma.f64 -1/8 (pow.f64 (.f64 K m) 2) (fma.f64 1/384 (pow.f64 (.f64 K m) 4) (fma.f64 -1/46080 (pow.f64 (*.f64 K m) 6) 1)))

eval65.0ms (0.8%)

Compiler: Compiled 4465 to 2364 computations (47.1% saved)

prune431.0ms (5.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	146	1	147
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	147	4	151

Error

1.0b

Counts

151 → 4

Alt Table

Click to see full alt table

Status	Error	Program
▶	10.1b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 m (*.f64 1/2 K)))) 3) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
✓	1.1b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	15.4b	(.f64 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	15.3b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 2)) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 227 to 160 computations (29.5% saved)

localize30.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)
✓	0.3b	(cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K))))
✓	0.3b	(pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 3)
✓	26.5b	(cos.f64 (.f64 m (.f64 1/2 K)))

series23.0ms (0.3%)

Counts

3 → 72

Calls

18 calls:

Time	Variable		Point	Expression
5.0ms	K	@	inf	(pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 3)
4.0ms	m	@	inf	(pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 3)
2.0ms	m	@	-inf	(pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 3)
2.0ms	K	@	-inf	(pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 3)
2.0ms	m	@	0	(pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 3)

rewrite50.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

818×	`pow1_binary64`
762×	`log1p-expm1-u_binary64`
762×	`expm1-log1p-u_binary64`
91×	`add-sqr-sqrt_binary64`
86×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	29
1	208	29
2	2122	29

Stop Event

1×	node limit

Counts

3 → 70

Calls

Call 1

Inputs
(cos.f64 (.f64 m (.f64 1/2 K)))
(pow.f64 (cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K)))) 3)
(cbrt.f64 (cos.f64 (.f64 m (.f64 1/2 K))))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (*.f64 1/2 (*.f64 K m))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) (*.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) (sqrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)) 3) (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) 3) (pow.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) 1) (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2))) (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6)) (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) 3/2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cos.f64 (*.f64 1/2 (*.f64 K m))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)) (*.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) (*.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) (sqrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)) 3) (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) 3) (pow.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) 3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) 1) (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2))) (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (*.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6)) (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x cos.f64 (*.f64 1/2 (*.f64 K m)))))))

((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))) (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))) (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2)) (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2) 1/3) (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 1 1/3) (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (pow.f64 (sqrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 1/3) (pow.f64 (sqrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))) 1/6) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cos.f64 (*.f64 1/2 (*.f64 K m)))) 1/3))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cbrt.f64 (cos.f64 (*.f64 1/2 (*.f64 K m))))))))))

simplify37.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

563×	`associate-+r+_binary64`
551×	`associate-+l+_binary64`
326×	`*-commutative_binary64`
307×	`distribute-rgt-in_binary64`
295×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	132	1369
1	389	1272
2	1458	1114

Stop Event

1×	node limit

Counts

142 → 76

Calls

Call 1

Inputs
1
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4))) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))))))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
1
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4))) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))))))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
1
(+.f64 1 (.f64 (+.f64 (.f64 -1/12 (pow.f64 K 2)) (*.f64 -1/24 (pow.f64 K 2))) (pow.f64 m 2)))
(+.f64 1 (+.f64 (.f64 (+.f64 (.f64 1/576 (pow.f64 K 4)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))) (+.f64 (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))) (.f64 1/288 (pow.f64 K 4))))) (pow.f64 m 4)) (.f64 (+.f64 (.f64 -1/12 (pow.f64 K 2)) (.f64 -1/24 (pow.f64 K 2))) (pow.f64 m 2))))
(+.f64 1 (+.f64 (.f64 (+.f64 (.f64 2/3 (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (+.f64 (.f64 -1/13824 (pow.f64 K 6)) (.f64 -1/12 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))))))) (+.f64 (.f64 -1/18 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))))) (+.f64 (.f64 -1/24 (.f64 (pow.f64 K 2) (+.f64 (.f64 1/576 (pow.f64 K 4)) (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))))))) (.f64 1/3 (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (+.f64 (.f64 -1/13824 (pow.f64 K 6)) (.f64 -1/12 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))))))))))) (pow.f64 m 6)) (+.f64 (.f64 (+.f64 (.f64 1/576 (pow.f64 K 4)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))) (+.f64 (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))) (.f64 1/288 (pow.f64 K 4))))) (pow.f64 m 4)) (.f64 (+.f64 (.f64 -1/12 (pow.f64 K 2)) (*.f64 -1/24 (pow.f64 K 2))) (pow.f64 m 2)))))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
1
(+.f64 1 (.f64 (+.f64 (.f64 -1/12 (pow.f64 m 2)) (*.f64 -1/24 (pow.f64 m 2))) (pow.f64 K 2)))
(+.f64 1 (+.f64 (.f64 (pow.f64 K 4) (+.f64 (.f64 1/576 (pow.f64 m 4)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4)))) (+.f64 (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4)))) (.f64 1/288 (pow.f64 m 4)))))) (.f64 (+.f64 (.f64 -1/12 (pow.f64 m 2)) (.f64 -1/24 (pow.f64 m 2))) (pow.f64 K 2))))
(+.f64 (.f64 (+.f64 (.f64 -1/18 (.f64 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))) (pow.f64 m 2))) (+.f64 (.f64 1/3 (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (+.f64 (.f64 -1/13824 (pow.f64 m 6)) (.f64 -1/12 (.f64 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))) (pow.f64 m 2)))))) (+.f64 (.f64 -1/24 (.f64 (+.f64 (.f64 1/576 (pow.f64 m 4)) (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))))) (pow.f64 m 2))) (.f64 2/3 (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (+.f64 (.f64 -1/13824 (pow.f64 m 6)) (.f64 -1/12 (.f64 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))) (pow.f64 m 2))))))))) (pow.f64 K 6)) (+.f64 1 (+.f64 (.f64 (pow.f64 K 4) (+.f64 (.f64 1/576 (pow.f64 m 4)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4)))) (+.f64 (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4)))) (.f64 1/288 (pow.f64 m 4)))))) (.f64 (+.f64 (.f64 -1/12 (pow.f64 m 2)) (*.f64 -1/24 (pow.f64 m 2))) (pow.f64 K 2)))))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 1/2 (.f64 K m)))
1
(+.f64 1 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))))
(+.f64 1 (+.f64 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (.f64 1/3 (.f64 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))) (pow.f64 m 4)))))
(+.f64 1 (+.f64 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 (.f64 1/3 (.f64 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))) (pow.f64 m 4))) (.f64 1/3 (.f64 (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (+.f64 (.f64 -1/13824 (pow.f64 K 6)) (.f64 -1/12 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))))))) (pow.f64 m 6))))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
1
(+.f64 1 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))))
(+.f64 (.f64 1/3 (.f64 (pow.f64 K 4) (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))))) (+.f64 1 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2)))))
(+.f64 (.f64 1/3 (.f64 (pow.f64 K 4) (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))))) (+.f64 1 (+.f64 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (.f64 1/3 (.f64 (pow.f64 K 6) (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (+.f64 (.f64 -1/13824 (pow.f64 m 6)) (.f64 -1/12 (.f64 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))) (pow.f64 m 2))))))))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)

Outputs
1
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) 1)
(fma.f64 -1/8 (.f64 (.f64 K K) (*.f64 m m)) 1)
(fma.f64 -1/8 (.f64 (.f64 K m) (*.f64 K m)) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(+.f64 (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1) (.f64 1/384 (*.f64 (pow.f64 K 4) (pow.f64 m 4))))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) 1))
(fma.f64 -1/8 (.f64 (.f64 K m) (.f64 K m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) 1))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4))) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))))))
(+.f64 (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6)))))
(+.f64 (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6)))) (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1))
(+.f64 (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))) (fma.f64 -1/8 (.f64 (.f64 K m) (.f64 K m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) 1)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
1
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) 1)
(fma.f64 -1/8 (.f64 (.f64 K K) (*.f64 m m)) 1)
(fma.f64 -1/8 (.f64 (.f64 K m) (*.f64 K m)) 1)
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)))))
(+.f64 (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1) (.f64 1/384 (*.f64 (pow.f64 K 4) (pow.f64 m 4))))
(fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) 1))
(fma.f64 -1/8 (.f64 (.f64 K m) (.f64 K m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) 1))
(+.f64 (.f64 -1/8 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 1 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4))) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))))))
(+.f64 (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6)))))
(+.f64 (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6)))) (fma.f64 -1/8 (.f64 (.f64 K K) (.f64 m m)) 1))
(+.f64 (.f64 -1/46080 (.f64 (pow.f64 K 6) (pow.f64 m 6))) (fma.f64 -1/8 (.f64 (.f64 K m) (.f64 K m)) (fma.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 m 4)) 1)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
1
(+.f64 1 (.f64 (+.f64 (.f64 -1/12 (pow.f64 K 2)) (*.f64 -1/24 (pow.f64 K 2))) (pow.f64 m 2)))
(fma.f64 -1/8 (.f64 (.f64 K K) (*.f64 m m)) 1)
(fma.f64 -1/8 (.f64 (.f64 K m) (*.f64 K m)) 1)
(+.f64 1 (+.f64 (.f64 (+.f64 (.f64 1/576 (pow.f64 K 4)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))) (+.f64 (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))) (.f64 1/288 (pow.f64 K 4))))) (pow.f64 m 4)) (.f64 (+.f64 (.f64 -1/12 (pow.f64 K 2)) (.f64 -1/24 (pow.f64 K 2))) (pow.f64 m 2))))
(+.f64 1 (fma.f64 (fma.f64 1/576 (pow.f64 K 4) (fma.f64 1/3 (.f64 (pow.f64 K 4) -1/384) (fma.f64 2/3 (.f64 (pow.f64 K 4) -1/384) (.f64 (pow.f64 K 4) 1/288)))) (pow.f64 m 4) (.f64 (.f64 m m) (.f64 (*.f64 K K) -1/8))))
(+.f64 1 (fma.f64 (pow.f64 m 4) (fma.f64 (pow.f64 K 4) 1/576 (+.f64 (.f64 (pow.f64 K 4) 1/288) (.f64 (.f64 (pow.f64 K 4) -1/384) 1))) (.f64 (.f64 m m) (.f64 -1/8 (*.f64 K K)))))
(+.f64 1 (fma.f64 (pow.f64 K 4) (fma.f64 (pow.f64 m 4) 1/576 (.f64 (pow.f64 m 4) 1/1152)) (.f64 -1/8 (.f64 (.f64 K m) (*.f64 K m)))))
(+.f64 1 (+.f64 (.f64 (+.f64 (.f64 2/3 (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (+.f64 (.f64 -1/13824 (pow.f64 K 6)) (.f64 -1/12 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))))))) (+.f64 (.f64 -1/18 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))))) (+.f64 (.f64 -1/24 (.f64 (pow.f64 K 2) (+.f64 (.f64 1/576 (pow.f64 K 4)) (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))))))) (.f64 1/3 (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (+.f64 (.f64 -1/13824 (pow.f64 K 6)) (.f64 -1/12 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))))))))))) (pow.f64 m 6)) (+.f64 (.f64 (+.f64 (.f64 1/576 (pow.f64 K 4)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))) (+.f64 (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4)))) (.f64 1/288 (pow.f64 K 4))))) (pow.f64 m 4)) (.f64 (+.f64 (.f64 -1/12 (pow.f64 K 2)) (*.f64 -1/24 (pow.f64 K 2))) (pow.f64 m 2)))))
(+.f64 1 (fma.f64 (fma.f64 2/3 (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (fma.f64 -1/13824 (pow.f64 K 6) (.f64 (.f64 (.f64 K K) -1/12) (.f64 (pow.f64 K 4) -1/384)))) (fma.f64 -1/18 (.f64 (.f64 K K) (.f64 (pow.f64 K 4) -1/384)) (fma.f64 -1/24 (.f64 (.f64 K K) (fma.f64 1/576 (pow.f64 K 4) (.f64 (.f64 (pow.f64 K 4) -1/384) 2/3))) (.f64 1/3 (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (fma.f64 -1/13824 (pow.f64 K 6) (.f64 (.f64 (.f64 K K) -1/12) (.f64 (pow.f64 K 4) -1/384)))))))) (pow.f64 m 6) (fma.f64 (fma.f64 1/576 (pow.f64 K 4) (fma.f64 1/3 (.f64 (pow.f64 K 4) -1/384) (fma.f64 2/3 (.f64 (pow.f64 K 4) -1/384) (.f64 (pow.f64 K 4) 1/288)))) (pow.f64 m 4) (.f64 (.f64 m m) (.f64 (*.f64 K K) -1/8)))))
(+.f64 1 (fma.f64 (pow.f64 m 6) (fma.f64 2/3 (-.f64 (.f64 (pow.f64 K 6) 7/138240) (.f64 (.f64 K K) (.f64 -1/12 (.f64 (pow.f64 K 4) -1/384)))) (fma.f64 (.f64 K (.f64 K (.f64 (pow.f64 K 4) -1/384))) -1/18 (fma.f64 1/3 (-.f64 (.f64 (pow.f64 K 6) 7/138240) (.f64 (.f64 K K) (.f64 -1/12 (.f64 (pow.f64 K 4) -1/384)))) (.f64 (.f64 K K) (.f64 (fma.f64 (pow.f64 K 4) 1/576 (.f64 (pow.f64 K 4) -1/576)) -1/24))))) (fma.f64 (pow.f64 m 4) (fma.f64 (pow.f64 K 4) 1/576 (+.f64 (.f64 (pow.f64 K 4) 1/288) (.f64 (.f64 (pow.f64 K 4) -1/384) 1))) (.f64 (.f64 m m) (.f64 -1/8 (.f64 K K))))))
(+.f64 1 (fma.f64 (pow.f64 m 6) (+.f64 (fma.f64 (.f64 (pow.f64 K 6) -1/384) -1/18 (.f64 (.f64 K K) (.f64 -1/24 (.f64 (pow.f64 K 4) 0)))) (.f64 (fma.f64 (pow.f64 K 6) 7/138240 (.f64 -1/12 (.f64 (pow.f64 K 6) 1/384))) 1)) (fma.f64 (pow.f64 K 4) (fma.f64 (pow.f64 m 4) 1/576 (.f64 (pow.f64 m 4) 1/1152)) (.f64 -1/8 (.f64 (.f64 K m) (*.f64 K m))))))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
1
(+.f64 1 (.f64 (+.f64 (.f64 -1/12 (pow.f64 m 2)) (*.f64 -1/24 (pow.f64 m 2))) (pow.f64 K 2)))
(fma.f64 -1/8 (.f64 (.f64 K K) (*.f64 m m)) 1)
(fma.f64 -1/8 (.f64 (.f64 K m) (*.f64 K m)) 1)
(+.f64 1 (+.f64 (.f64 (pow.f64 K 4) (+.f64 (.f64 1/576 (pow.f64 m 4)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4)))) (+.f64 (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4)))) (.f64 1/288 (pow.f64 m 4)))))) (.f64 (+.f64 (.f64 -1/12 (pow.f64 m 2)) (.f64 -1/24 (pow.f64 m 2))) (pow.f64 K 2))))
(+.f64 1 (fma.f64 (fma.f64 1/576 (pow.f64 K 4) (fma.f64 1/3 (.f64 (pow.f64 K 4) -1/384) (fma.f64 2/3 (.f64 (pow.f64 K 4) -1/384) (.f64 (pow.f64 K 4) 1/288)))) (pow.f64 m 4) (.f64 (.f64 m m) (.f64 (*.f64 K K) -1/8))))
(+.f64 1 (fma.f64 (pow.f64 m 4) (fma.f64 (pow.f64 K 4) 1/576 (+.f64 (.f64 (pow.f64 K 4) 1/288) (.f64 (.f64 (pow.f64 K 4) -1/384) 1))) (.f64 (.f64 m m) (.f64 -1/8 (*.f64 K K)))))
(+.f64 1 (fma.f64 (pow.f64 K 4) (fma.f64 (pow.f64 m 4) 1/576 (.f64 (pow.f64 m 4) 1/1152)) (.f64 -1/8 (.f64 (.f64 K m) (*.f64 K m)))))
(+.f64 (.f64 (+.f64 (.f64 -1/18 (.f64 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))) (pow.f64 m 2))) (+.f64 (.f64 1/3 (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (+.f64 (.f64 -1/13824 (pow.f64 m 6)) (.f64 -1/12 (.f64 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))) (pow.f64 m 2)))))) (+.f64 (.f64 -1/24 (.f64 (+.f64 (.f64 1/576 (pow.f64 m 4)) (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))))) (pow.f64 m 2))) (.f64 2/3 (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (+.f64 (.f64 -1/13824 (pow.f64 m 6)) (.f64 -1/12 (.f64 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))) (pow.f64 m 2))))))))) (pow.f64 K 6)) (+.f64 1 (+.f64 (.f64 (pow.f64 K 4) (+.f64 (.f64 1/576 (pow.f64 m 4)) (+.f64 (.f64 1/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4)))) (+.f64 (.f64 2/3 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4)))) (.f64 1/288 (pow.f64 m 4)))))) (.f64 (+.f64 (.f64 -1/12 (pow.f64 m 2)) (*.f64 -1/24 (pow.f64 m 2))) (pow.f64 K 2)))))
(fma.f64 (fma.f64 -1/18 (.f64 (.f64 m m) (.f64 (pow.f64 m 4) -1/384)) (fma.f64 1/3 (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (fma.f64 -1/13824 (pow.f64 m 6) (.f64 -1/12 (.f64 (.f64 m m) (.f64 (pow.f64 m 4) -1/384))))) (fma.f64 -1/24 (.f64 (.f64 m m) (fma.f64 1/576 (pow.f64 m 4) (.f64 2/3 (.f64 (pow.f64 m 4) -1/384)))) (.f64 2/3 (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (fma.f64 -1/13824 (pow.f64 m 6) (.f64 -1/12 (.f64 (.f64 m m) (.f64 (pow.f64 m 4) -1/384))))))))) (pow.f64 K 6) (+.f64 1 (fma.f64 (pow.f64 K 4) (fma.f64 1/576 (pow.f64 m 4) (fma.f64 1/3 (.f64 (pow.f64 m 4) -1/384) (fma.f64 2/3 (.f64 (pow.f64 m 4) -1/384) (.f64 (pow.f64 m 4) 1/288)))) (.f64 (.f64 K K) (.f64 (*.f64 m m) -1/8)))))
(+.f64 (fma.f64 (pow.f64 K 4) (fma.f64 (pow.f64 m 4) 1/576 (+.f64 (.f64 (pow.f64 m 4) 1/288) (.f64 (.f64 (pow.f64 m 4) -1/384) 1))) (.f64 (.f64 m m) (.f64 -1/8 (.f64 K K)))) (fma.f64 (pow.f64 K 6) (fma.f64 -1/18 (.f64 (.f64 m m) (.f64 (pow.f64 m 4) -1/384)) (fma.f64 1/3 (-.f64 (.f64 (pow.f64 m 6) 7/138240) (.f64 (.f64 m (.f64 m -1/12)) (.f64 (pow.f64 m 4) -1/384))) (fma.f64 -1/24 (.f64 m (.f64 m (fma.f64 (pow.f64 m 4) 1/576 (.f64 (pow.f64 m 4) -1/576)))) (.f64 2/3 (-.f64 (.f64 (pow.f64 m 6) 7/138240) (.f64 (.f64 m (.f64 m -1/12)) (.f64 (pow.f64 m 4) -1/384))))))) 1))
(fma.f64 (pow.f64 K 6) (fma.f64 -1/18 (.f64 (pow.f64 m 6) -1/384) (+.f64 (.f64 (.f64 m (.f64 m -1/24)) (.f64 (pow.f64 m 4) 0)) (.f64 (fma.f64 (pow.f64 m 6) 7/138240 (.f64 -1/12 (.f64 (pow.f64 m 6) 1/384))) 1))) (+.f64 1 (fma.f64 (pow.f64 K 4) (fma.f64 (pow.f64 m 4) 1/576 (.f64 (pow.f64 m 4) 1/1152)) (.f64 -1/8 (.f64 (.f64 K m) (*.f64 K m))))))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
(cos.f64 (.f64 1/2 (.f64 K m)))
(cos.f64 (.f64 K (.f64 m 1/2)))
1
(+.f64 1 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))))
(+.f64 1 (.f64 (.f64 (.f64 K K) (.f64 m m)) -1/24))
(fma.f64 (.f64 K (.f64 K -1/24)) (*.f64 m m) 1)
(fma.f64 (.f64 (.f64 K m) (*.f64 K m)) -1/24 1)
(+.f64 1 (+.f64 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (.f64 1/3 (.f64 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))) (pow.f64 m 4)))))
(+.f64 1 (fma.f64 -1/24 (.f64 (.f64 K K) (.f64 m m)) (.f64 1/3 (.f64 (pow.f64 m 4) (.f64 (pow.f64 K 4) -1/384)))))
(+.f64 1 (fma.f64 (.f64 (.f64 K K) (.f64 m m)) -1/24 (.f64 (pow.f64 K 4) (*.f64 (pow.f64 m 4) -1/1152))))
(+.f64 1 (fma.f64 (.f64 (.f64 K m) (.f64 K m)) -1/24 (.f64 (pow.f64 K 4) (*.f64 (pow.f64 m 4) -1/1152))))
(+.f64 1 (+.f64 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (+.f64 (.f64 1/3 (.f64 (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))) (pow.f64 m 4))) (.f64 1/3 (.f64 (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (+.f64 (.f64 -1/13824 (pow.f64 K 6)) (.f64 -1/12 (.f64 (pow.f64 K 2) (-.f64 (.f64 1/384 (pow.f64 K 4)) (.f64 1/192 (pow.f64 K 4))))))) (pow.f64 m 6))))))
(+.f64 1 (fma.f64 -1/24 (.f64 (.f64 K K) (.f64 m m)) (.f64 1/3 (+.f64 (.f64 (pow.f64 m 4) (.f64 (pow.f64 K 4) -1/384)) (.f64 (pow.f64 m 6) (-.f64 (.f64 -1/46080 (pow.f64 K 6)) (fma.f64 -1/13824 (pow.f64 K 6) (.f64 (.f64 (.f64 K K) -1/12) (.f64 (pow.f64 K 4) -1/384)))))))))
(+.f64 (fma.f64 (.f64 K (.f64 K -1/24)) (.f64 m m) 1) (fma.f64 1/3 (.f64 (pow.f64 m 6) (-.f64 (.f64 (pow.f64 K 6) 7/138240) (.f64 (.f64 K K) (.f64 -1/12 (.f64 (pow.f64 K 4) -1/384))))) (.f64 (pow.f64 K 4) (*.f64 (pow.f64 m 4) -1/1152))))
(+.f64 (fma.f64 (.f64 (.f64 K m) (.f64 K m)) -1/24 1) (.f64 1/3 (fma.f64 (pow.f64 m 4) (.f64 (pow.f64 K 4) -1/384) (.f64 (pow.f64 m 6) (fma.f64 (pow.f64 K 6) 7/138240 (.f64 -1/12 (.f64 (pow.f64 K 6) 1/384)))))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
1
(+.f64 1 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))))
(+.f64 1 (.f64 (.f64 (.f64 K K) (.f64 m m)) -1/24))
(fma.f64 (.f64 K (.f64 K -1/24)) (*.f64 m m) 1)
(fma.f64 (.f64 (.f64 K m) (*.f64 K m)) -1/24 1)
(+.f64 (.f64 1/3 (.f64 (pow.f64 K 4) (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))))) (+.f64 1 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2)))))
(+.f64 1 (fma.f64 -1/24 (.f64 (.f64 K K) (.f64 m m)) (.f64 1/3 (.f64 (pow.f64 m 4) (.f64 (pow.f64 K 4) -1/384)))))
(+.f64 1 (fma.f64 (.f64 (.f64 K K) (.f64 m m)) -1/24 (.f64 (pow.f64 K 4) (*.f64 (pow.f64 m 4) -1/1152))))
(+.f64 1 (fma.f64 (.f64 (.f64 K m) (.f64 K m)) -1/24 (.f64 (pow.f64 K 4) (*.f64 (pow.f64 m 4) -1/1152))))
(+.f64 (.f64 1/3 (.f64 (pow.f64 K 4) (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))))) (+.f64 1 (+.f64 (.f64 -1/24 (.f64 (pow.f64 K 2) (pow.f64 m 2))) (.f64 1/3 (.f64 (pow.f64 K 6) (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (+.f64 (.f64 -1/13824 (pow.f64 m 6)) (.f64 -1/12 (.f64 (-.f64 (.f64 1/384 (pow.f64 m 4)) (.f64 1/192 (pow.f64 m 4))) (pow.f64 m 2))))))))))
(fma.f64 1/3 (.f64 (pow.f64 K 4) (.f64 (pow.f64 m 4) -1/384)) (+.f64 1 (fma.f64 -1/24 (.f64 (.f64 K K) (.f64 m m)) (.f64 1/3 (.f64 (pow.f64 K 6) (-.f64 (.f64 -1/46080 (pow.f64 m 6)) (fma.f64 -1/13824 (pow.f64 m 6) (.f64 -1/12 (.f64 (.f64 m m) (.f64 (pow.f64 m 4) -1/384))))))))))
(+.f64 (fma.f64 (.f64 K (.f64 K -1/24)) (.f64 m m) 1) (+.f64 (.f64 (-.f64 (.f64 (pow.f64 m 6) 7/138240) (.f64 (.f64 m (.f64 m -1/12)) (.f64 (pow.f64 m 4) -1/384))) (.f64 (pow.f64 K 6) 1/3)) (.f64 (pow.f64 K 4) (.f64 (pow.f64 m 4) -1/1152))))
(+.f64 (fma.f64 (.f64 (.f64 K m) (.f64 K m)) -1/24 1) (+.f64 (.f64 (pow.f64 K 4) (.f64 (pow.f64 m 4) -1/1152)) (.f64 (pow.f64 K 6) (.f64 1/3 (fma.f64 (pow.f64 m 6) 7/138240 (.f64 -1/12 (*.f64 (pow.f64 m 6) 1/384)))))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))
(pow.f64 (cos.f64 (.f64 1/2 (.f64 K m))) 1/3)
(cbrt.f64 (cos.f64 (.f64 1/2 (.f64 K m))))
(cbrt.f64 (cos.f64 (.f64 K (.f64 m 1/2))))

eval92.0ms (1.1%)

Compiler: Compiled 5402 to 3389 computations (37.3% saved)

prune482.0ms (5.9%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	139	4	143

Error

1.0b

Counts

143 → 4

Alt Table

Click to see full alt table

Status	Error	Program
✓	10.1b	(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 m (*.f64 1/2 K)))) 3) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
✓	1.1b	(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	15.4b	(.f64 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
	15.3b	(.f64 (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 2)) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Compiler

Compiled 126 to 89 computations (29.4% saved)

regimes37.0ms (0.5%)

Accuracy

Total -14.4b remaining (-1332.1%)

Threshold costs -14.4b (-1332.1%)

Counts

7 → 1

Calls

Call 1

Inputs
(.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 m (*.f64 1/2 K)))) 3) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
(.f64 (cos.f64 (.f64 1/2 (*.f64 K m))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
(.f64 (log1p.f64 (expm1.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
(.f64 (sqrt.f64 (pow.f64 (cos.f64 (fma.f64 K (.f64 (+.f64 m n) 1/2) M)) 2)) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
(*.f64 (cos.f64 (fma.f64 K (/.f64 (+.f64 m n) 2) (neg.f64 M))) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))
(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))

Outputs
(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Results

Time	Error	Segments	Branch
5.0ms	1.1b	1	`K`
6.0ms	1.1b	1	`m`
5.0ms	1.1b	1	`n`
6.0ms	1.1b	1	`M`
5.0ms	1.1b	1	`l`
3.0ms	1.1b	1	`(.f64 (cos.f64 (-.f64 (/.f64 (.f64 K (+.f64 m n)) 2) M)) (exp.f64 (-.f64 (neg.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2)) (-.f64 l (fabs.f64 (-.f64 m n))))))`

Compiler

Compiled 256 to 157 computations (38.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary64`
10×	`sub-neg_binary64`
7×	`*-commutative_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	31
1	28	31
2	45	31
3	60	31
4	69	31
5	72	31

Stop Event

1×

saturated

Calls

Call 1

Inputs
(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

Outputs

(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 m n) 2) M) 2) l))))

(*.f64 (cos.f64 M) (exp.f64 (-.f64 (fabs.f64 (-.f64 n m)) (+.f64 (pow.f64 (-.f64 (/.f64 (+.f64 n m) 2) M) 2) l))))

end30.0ms (0.4%)

Stop Event

1×

fuel

Remove

(sort m n)

Compiler

Compiled 100 to 72 computations (28% saved)

Details

analyze3.1s (38.6%)

sample2.0s (24.7%)

preprocess47.0ms (0.6%)

simplify19.0ms (0.2%)

eval1.0ms (0%)

prune3.0ms (0%)

localize18.0ms (0.2%)

series23.0ms (0.3%)

rewrite69.0ms (0.8%)

simplify88.0ms (1.1%)

eval102.0ms (1.2%)

prune784.0ms (9.6%)

localize13.0ms (0.2%)

eval45.0ms (0.6%)

prune380.0ms (4.7%)

localize19.0ms (0.2%)

series3.0ms (0%)

rewrite32.0ms (0.4%)

simplify64.0ms (0.8%)

eval65.0ms (0.8%)

prune431.0ms (5.3%)

localize30.0ms (0.4%)

series23.0ms (0.3%)

rewrite50.0ms (0.6%)

simplify37.0ms (0.5%)

eval92.0ms (1.1%)

prune482.0ms (5.9%)

regimes37.0ms (0.5%)

simplify3.0ms (0%)

end30.0ms (0.4%)

Profiling