Details

analyze1.5s (17.2%)

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
18.7%	81.1%	0.2%	10
21.8%	67.1%	11.1%	11
21.8%	67.1%	11.1%	12
32.7%	56.1%	11.1%	13
35.1%	53%	11.9%	14

Compiler

Compiled 20 to 15 computations (25% saved)

sample5.2s (58.6%)

Results

1.3s	1681×	body	1024	valid
1.3s	1994×	body	1024	invalid
817.0ms	4614×	body	128	valid
578.0ms	1211×	body	512	valid
426.0ms	2601×	body	128	invalid
397.0ms	937×	body	512	invalid
206.0ms	703×	body	256	valid
142.0ms	498×	body	256	invalid
52.0ms	47×	body	2048	valid

Compiler

Compiled 40 to 30 computations (25% saved)

preprocess40.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

672×	`fma-def_binary64`
472×	`associate-l_binary64`
454×	`associate-r_binary64`
251×	`unsub-neg_binary64`
219×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	50	154
1	113	154
2	244	154
3	610	154
4	1668	154
5	4483	154
0	4	4

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2
3

Outputs
0
1
2
3

Call 2

Inputs
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 l (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 K (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 J 2))) U)
(+.f64 (.f64 (.f64 U (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) J)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K)))) (cos.f64 (/.f64 l 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) (cos.f64 (/.f64 K 2))) l)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 U 2))) K)

Outputs
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 J (cos.f64 (/.f64 K 2))) U)
(+.f64 (.f64 (.f64 l (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (*.f64 l (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) (cos.f64 (/.f64 K 2)) U)
(fma.f64 l (*.f64 (cos.f64 (/.f64 K 2)) (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) U)
(fma.f64 (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J))) (*.f64 l (cos.f64 (/.f64 K 2))) U)
(fma.f64 (cos.f64 (/.f64 K 2)) (*.f64 l (-.f64 (exp.f64 J) (exp.f64 (neg.f64 J)))) U)
(+.f64 (.f64 (.f64 K (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 J 2))) U)
(fma.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) K) (cos.f64 (/.f64 J 2)) U)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 K (cos.f64 (/.f64 J 2))) U)
(+.f64 (.f64 (.f64 U (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) J)
(fma.f64 (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) U) (cos.f64 (/.f64 K 2)) J)
(fma.f64 (cos.f64 (/.f64 K 2)) (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) U) J)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 (cos.f64 (/.f64 K 2)) U) J)
(fma.f64 U (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) J)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K)))) (cos.f64 (/.f64 l 2))) U)
(fma.f64 (*.f64 J (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K)))) (cos.f64 (/.f64 l 2)) U)
(fma.f64 J (*.f64 (-.f64 (exp.f64 K) (exp.f64 (neg.f64 K))) (cos.f64 (/.f64 l 2))) U)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) (cos.f64 (/.f64 K 2))) l)
(fma.f64 (*.f64 J (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) (cos.f64 (/.f64 K 2)) l)
(fma.f64 J (*.f64 (cos.f64 (/.f64 K 2)) (-.f64 (exp.f64 U) (exp.f64 (neg.f64 U)))) l)
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 U 2))) K)
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 U 2)) K)
(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 U 2))) K)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 J (cos.f64 (/.f64 U 2))) K)

Compiler

Compiled 19 to 14 computations (26.3% saved)

simplify26.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

745×	`fma-def_binary64`
464×	`fma-neg_binary64`
394×	`times-frac_binary64`
314×	`associate-l_binary64`
236×	`associate-r_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	22
1	29	22
2	55	22
3	121	22
4	306	22
5	771	22
6	2013	22
7	3835	22

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

Outputs
(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)
(fma.f64 (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2)) U)
(fma.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (*.f64 J (cos.f64 (/.f64 K 2))) U)
(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)

prune3.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

16.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	16.2b	(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
	16.2b	(+.f64 (.f64 (.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (cos.f64 (/.f64 K 2))) U)

Compiler

Compiled 107 to 73 computations (31.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 (/.f64 K 2))
✓	0.0b	(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
✓	0.0b	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2)))
✓	4.6b	(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))

series19.0ms (0.2%)

Counts

4 → 92

Calls

24 calls:

Time	Variable		Point	Expression
2.0ms	U	@	0	(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
1.0ms	K	@	0	(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
1.0ms	K	@	0	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2)))
1.0ms	J	@	0	(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
1.0ms	l	@	inf	(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2)))

rewrite142.0ms (1.6%)

Algorithm

4×	egg-rewrite
3×	egg-rewrite-iter-limit
1×	batch-egg-rewrite

Rules

490×	`pow1_binary64`
458×	`add-log-exp_binary64`
458×	`log1p-expm1-u_binary64`
458×	`expm1-log1p-u_binary64`
450×	`add-exp-log_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	36
1	295	36
2	4421	36
0	6	6
1	130	6
2	2149	6
0	6	6
0	11	14
1	236	14
2	3626	14
0	11	14
0	14	18
1	295	18
2	4429	18
0	14	18
0	5	6
1	107	6
2	1244	6

Stop Event

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

Counts

4 → 45

Calls

Call 1

Inputs
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2)))
(fma.f64 J (*.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (/.f64 K 2))) U)
(cos.f64 (/.f64 K 2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (exp.f64 l) (neg.f64 (exp.f64 (neg.f64 l))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (.f64 2 (sinh.f64 l)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (.f64 2 (sinh.f64 l))) (cbrt.f64 (.f64 2 (sinh.f64 l)))) (cbrt.f64 (.f64 2 (sinh.f64 l))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (.f64 2 (sinh.f64 l))) (sqrt.f64 (.f64 2 (sinh.f64 l))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 2 (sinh.f64 l))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 (exp.f64 l) 3) (pow.f64 (exp.f64 (neg.f64 l)) 3)) (+.f64 (.f64 (exp.f64 l) (exp.f64 l)) (+.f64 (.f64 (exp.f64 (neg.f64 l)) (exp.f64 (neg.f64 l))) (.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (.f64 (exp.f64 l) (exp.f64 l)) (.f64 (exp.f64 (neg.f64 l)) (exp.f64 (neg.f64 l)))) (+.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 2 (sinh.f64 l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 2 (sinh.f64 l))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 2 (sinh.f64 l)) (.f64 2 (sinh.f64 l))) (.f64 2 (sinh.f64 l))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 2 (sinh.f64 l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 2 (sinh.f64 l))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 2 (sinh.f64 l))))))))
((#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))) (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))) (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2)))) U)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)) (cbrt.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U))) (cbrt.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)) (sqrt.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U) (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)) (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 J (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (.f64 K 1/2))) U)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (+.f64 1 (cos.f64 (.f64 K 1/2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 K 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (.f64 K 1/2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (.f64 K 1/2))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 K 1/2))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 K 1/2))) 2) (cbrt.f64 (cos.f64 (.f64 K 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) (sqrt.f64 (cos.f64 (.f64 K 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (.f64 K 1/2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 K 1/2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (.f64 K 1/2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (.f64 K 1/2))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 K 1/2)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (.f64 K 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (.f64 K 1/2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (.f64 K 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (.f64 K 1/2))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (.f64 K 1/2))))))))

simplify48.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

632×	`associate-l_binary64`
447×	`associate-r_binary64`
444×	`cancel-sign-sub-inv_binary64`
368×	`associate--l+_binary64`
309×	`associate--r+_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	172	2399
1	565	1992
2	1722	1933

Stop Event

1×	node limit

Counts

137 → 106

Calls

Call 1

Inputs
(*.f64 2 l)
(+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3)))
(+.f64 (.f64 2 l) (+.f64 (.f64 1/60 (pow.f64 l 5)) (*.f64 1/3 (pow.f64 l 3))))
(+.f64 (.f64 1/2520 (pow.f64 l 7)) (+.f64 (.f64 2 l) (+.f64 (.f64 1/60 (pow.f64 l 5)) (.f64 1/3 (pow.f64 l 3)))))
(-.f64 (exp.f64 l) (exp.f64 (*.f64 -1 l)))
(-.f64 (exp.f64 l) (exp.f64 (*.f64 -1 l)))
(-.f64 (exp.f64 l) (exp.f64 (*.f64 -1 l)))
(-.f64 (exp.f64 l) (exp.f64 (*.f64 -1 l)))
(.f64 2 (.f64 l (cos.f64 (*.f64 1/2 K))))
(+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))) (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))))
(+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))) (.f64 2 (.f64 l (cos.f64 (*.f64 1/2 K))))))
(+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/2520 (.f64 (pow.f64 l 7) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))) (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (.f64 -1 l))) (cos.f64 (*.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (.f64 -1 l))) (cos.f64 (*.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (.f64 -1 l))) (cos.f64 (*.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (.f64 -1 l))) (cos.f64 (*.f64 1/2 K)))
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 2))) (exp.f64 l)) (+.f64 (exp.f64 (neg.f64 l)) (.f64 1/8 (.f64 (pow.f64 K 2) (exp.f64 l)))))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 2))) (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (exp.f64 l))) (exp.f64 l))) (+.f64 (exp.f64 (neg.f64 l)) (+.f64 (.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 4))) (.f64 1/8 (.f64 (pow.f64 K 2) (exp.f64 l))))))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 2))) (+.f64 (.f64 1/46080 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 6))) (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (exp.f64 l))) (exp.f64 l)))) (+.f64 (exp.f64 (neg.f64 l)) (+.f64 (.f64 1/46080 (.f64 (pow.f64 K 6) (exp.f64 l))) (+.f64 (.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 4))) (.f64 1/8 (.f64 (pow.f64 K 2) (exp.f64 l)))))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
U
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(.f64 (-.f64 (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l)) (.f64 (exp.f64 (neg.f64 l)) (cos.f64 (*.f64 1/2 K)))) J)
(-.f64 (+.f64 (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (+.f64 (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (+.f64 (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(.f64 -1 (.f64 (-.f64 (.f64 (exp.f64 (neg.f64 l)) (cos.f64 (.f64 1/2 K))) (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) J))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
U
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) U)
(+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J))) (+.f64 (.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J))) U))
(+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (.f64 J (cos.f64 (.f64 1/2 K))))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))) (+.f64 (.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J))) U)))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (.f64 -1 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (.f64 -1 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (.f64 -1 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (.f64 -1 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(-.f64 (+.f64 U (.f64 (exp.f64 l) J)) (.f64 (exp.f64 (neg.f64 l)) J))
(-.f64 (+.f64 (.f64 J (exp.f64 l)) (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 2) J))) U)) (+.f64 (.f64 1/8 (.f64 (pow.f64 K 2) (.f64 (exp.f64 l) J))) (.f64 (exp.f64 (neg.f64 l)) J)))
(-.f64 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (.f64 J (exp.f64 l)))) (+.f64 (.f64 J (exp.f64 l)) (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 2) J))) U))) (+.f64 (.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 4) J))) (+.f64 (.f64 (exp.f64 (neg.f64 l)) J) (.f64 1/8 (.f64 (pow.f64 K 2) (.f64 J (exp.f64 l)))))))
(-.f64 (+.f64 (.f64 J (exp.f64 l)) (+.f64 (.f64 1/46080 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 6) J))) (+.f64 U (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 2) J))) (.f64 1/384 (.f64 (pow.f64 K 4) (.f64 (exp.f64 l) J))))))) (+.f64 (.f64 1/46080 (.f64 (pow.f64 K 6) (.f64 (exp.f64 l) J))) (+.f64 (.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 4) J))) (+.f64 (.f64 (exp.f64 (neg.f64 l)) J) (.f64 1/8 (.f64 (pow.f64 K 2) (.f64 J (exp.f64 l))))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (exp.f64 l))) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
U
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
U
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
1
(-.f64 1 (*.f64 1/8 (pow.f64 K 2)))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (.f64 1/8 (pow.f64 K 2)))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (+.f64 (.f64 1/46080 (pow.f64 K 6)) (*.f64 1/8 (pow.f64 K 2))))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))

Outputs
(*.f64 2 l)
(+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3)))
(fma.f64 2 l (*.f64 1/3 (pow.f64 l 3)))
(fma.f64 1/3 (pow.f64 l 3) (*.f64 2 l))
(+.f64 (.f64 2 l) (+.f64 (.f64 1/60 (pow.f64 l 5)) (*.f64 1/3 (pow.f64 l 3))))
(fma.f64 2 l (fma.f64 1/60 (pow.f64 l 5) (*.f64 1/3 (pow.f64 l 3))))
(fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5))))
(+.f64 (.f64 1/2520 (pow.f64 l 7)) (+.f64 (.f64 2 l) (+.f64 (.f64 1/60 (pow.f64 l 5)) (.f64 1/3 (pow.f64 l 3)))))
(fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/60 (pow.f64 l 5) (*.f64 1/3 (pow.f64 l 3)))))
(fma.f64 1/2520 (pow.f64 l 7) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))))
(-.f64 (exp.f64 l) (exp.f64 (*.f64 -1 l)))
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(-.f64 (exp.f64 l) (exp.f64 (*.f64 -1 l)))
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(-.f64 (exp.f64 l) (exp.f64 (*.f64 -1 l)))
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(-.f64 (exp.f64 l) (exp.f64 (*.f64 -1 l)))
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(.f64 2 (.f64 l (cos.f64 (*.f64 1/2 K))))
(.f64 l (.f64 2 (cos.f64 (*.f64 1/2 K))))
(+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))) (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))))
(fma.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K))) (.f64 2 (.f64 l (cos.f64 (*.f64 1/2 K)))))
(.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/3 (pow.f64 l 3) (*.f64 2 l)))
(.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 2 l (*.f64 1/3 (pow.f64 l 3))))
(+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))) (.f64 2 (.f64 l (cos.f64 (*.f64 1/2 K))))))
(fma.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (.f64 1/2 K))) (fma.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K))) (.f64 2 (.f64 l (cos.f64 (*.f64 1/2 K))))))
(fma.f64 (.f64 1/60 (pow.f64 l 5)) (cos.f64 (.f64 1/2 K)) (.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/3 (pow.f64 l 3) (*.f64 2 l))))
(.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))))
(+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/2520 (.f64 (pow.f64 l 7) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))) (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))))))
(fma.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (.f64 1/2 K))) (fma.f64 1/2520 (.f64 (pow.f64 l 7) (cos.f64 (.f64 1/2 K))) (fma.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K))) (.f64 2 (.f64 l (cos.f64 (*.f64 1/2 K)))))))
(+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l))) (.f64 (cos.f64 (.f64 1/2 K)) (+.f64 (.f64 1/60 (pow.f64 l 5)) (*.f64 1/2520 (pow.f64 l 7)))))
(.f64 (cos.f64 (.f64 1/2 K)) (+.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (+.f64 (.f64 1/60 (pow.f64 l 5)) (*.f64 1/2520 (pow.f64 l 7)))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (.f64 -1 l))) (cos.f64 (*.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (.f64 -1 l))) (cos.f64 (*.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (.f64 -1 l))) (cos.f64 (*.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (.f64 -1 l))) (cos.f64 (*.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 2))) (exp.f64 l)) (+.f64 (exp.f64 (neg.f64 l)) (.f64 1/8 (.f64 (pow.f64 K 2) (exp.f64 l)))))
(-.f64 (fma.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 K K)) (exp.f64 l)) (+.f64 (exp.f64 (neg.f64 l)) (.f64 1/8 (.f64 (exp.f64 l) (*.f64 K K)))))
(-.f64 (fma.f64 (/.f64 1/8 (exp.f64 l)) (.f64 K K) (exp.f64 l)) (fma.f64 1/8 (.f64 (exp.f64 l) (*.f64 K K)) (exp.f64 (neg.f64 l))))
(-.f64 (fma.f64 1/8 (/.f64 (.f64 K K) (exp.f64 l)) (exp.f64 l)) (fma.f64 1/8 (.f64 (exp.f64 l) (*.f64 K K)) (exp.f64 (neg.f64 l))))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 2))) (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (exp.f64 l))) (exp.f64 l))) (+.f64 (exp.f64 (neg.f64 l)) (+.f64 (.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 4))) (.f64 1/8 (.f64 (pow.f64 K 2) (exp.f64 l))))))
(-.f64 (fma.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 K K)) (fma.f64 1/384 (.f64 (exp.f64 l) (pow.f64 K 4)) (exp.f64 l))) (+.f64 (exp.f64 (neg.f64 l)) (fma.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 4)) (.f64 1/8 (.f64 (exp.f64 l) (*.f64 K K))))))
(-.f64 (-.f64 (fma.f64 (/.f64 1/8 (exp.f64 l)) (.f64 K K) (.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (exp.f64 l))) (fma.f64 (/.f64 1/384 (exp.f64 l)) (pow.f64 K 4) (.f64 (.f64 K K) (*.f64 (exp.f64 l) 1/8)))) (exp.f64 (neg.f64 l)))
(fma.f64 1/8 (/.f64 (.f64 K K) (exp.f64 l)) (fma.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (exp.f64 l) (-.f64 (.f64 (exp.f64 l) (.f64 (.f64 K K) -1/8)) (*.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 2))) (+.f64 (.f64 1/46080 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 6))) (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (exp.f64 l))) (exp.f64 l)))) (+.f64 (exp.f64 (neg.f64 l)) (+.f64 (.f64 1/46080 (.f64 (pow.f64 K 6) (exp.f64 l))) (+.f64 (.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 4))) (.f64 1/8 (.f64 (pow.f64 K 2) (exp.f64 l)))))))
(-.f64 (fma.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 K K)) (fma.f64 1/46080 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 6)) (fma.f64 1/384 (.f64 (exp.f64 l) (pow.f64 K 4)) (exp.f64 l)))) (+.f64 (exp.f64 (neg.f64 l)) (fma.f64 1/46080 (.f64 (exp.f64 l) (pow.f64 K 6)) (fma.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (pow.f64 K 4)) (.f64 1/8 (.f64 (exp.f64 l) (*.f64 K K)))))))
(-.f64 (-.f64 (fma.f64 (/.f64 1/8 (exp.f64 l)) (.f64 K K) (fma.f64 (/.f64 1/46080 (exp.f64 l)) (pow.f64 K 6) (.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (exp.f64 l)))) (fma.f64 1/46080 (.f64 (exp.f64 l) (pow.f64 K 6)) (fma.f64 (/.f64 1/384 (exp.f64 l)) (pow.f64 K 4) (.f64 (.f64 K K) (.f64 (exp.f64 l) 1/8))))) (exp.f64 (neg.f64 l)))
(+.f64 (.f64 (exp.f64 (neg.f64 l)) (fma.f64 1/8 (.f64 K K) (.f64 1/46080 (pow.f64 K 6)))) (-.f64 (fma.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (exp.f64 l) (/.f64 -1 (exp.f64 l))) (+.f64 (.f64 1/384 (/.f64 (pow.f64 K 4) (exp.f64 l))) (.f64 (exp.f64 l) (fma.f64 1/8 (.f64 K K) (*.f64 1/46080 (pow.f64 K 6)))))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
(.f64 (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))) (cos.f64 (.f64 1/2 K)))
(.f64 (cos.f64 (.f64 1/2 K)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))
U
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(.f64 (-.f64 (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l)) (.f64 (exp.f64 (neg.f64 l)) (cos.f64 (*.f64 1/2 K)))) J)
(.f64 J (-.f64 (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) (.f64 (cos.f64 (*.f64 1/2 K)) (exp.f64 (neg.f64 l)))))
(.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))))
(-.f64 (+.f64 (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (cos.f64 (.f64 1/2 K)) (exp.f64 l))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 J (cos.f64 (.f64 1/2 K)))))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(.f64 -1 (.f64 (-.f64 (.f64 (exp.f64 (neg.f64 l)) (cos.f64 (.f64 1/2 K))) (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) J))
(neg.f64 (.f64 J (.f64 (cos.f64 (*.f64 1/2 K)) (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)))))
(.f64 J (neg.f64 (.f64 (cos.f64 (*.f64 1/2 K)) (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)))))
(.f64 (cos.f64 (.f64 1/2 K)) (*.f64 (-.f64 (exp.f64 (neg.f64 l)) (exp.f64 l)) (neg.f64 J)))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
U
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) U)
(fma.f64 2 (.f64 (.f64 l J) (cos.f64 (*.f64 1/2 K))) U)
(fma.f64 2 (.f64 l (.f64 (cos.f64 (*.f64 1/2 K)) J)) U)
(fma.f64 (.f64 2 l) (.f64 (cos.f64 (*.f64 1/2 K)) J) U)
(+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J))) (+.f64 (.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J))) U))
(fma.f64 1/3 (.f64 (.f64 (pow.f64 l 3) J) (cos.f64 (.f64 1/2 K))) (fma.f64 2 (.f64 (.f64 l J) (cos.f64 (.f64 1/2 K))) U))
(+.f64 U (.f64 (.f64 (cos.f64 (.f64 1/2 K)) J) (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l))))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))))))
(+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (.f64 J (cos.f64 (.f64 1/2 K))))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))) (+.f64 (.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J))) U)))
(fma.f64 1/60 (.f64 (pow.f64 l 5) (.f64 (cos.f64 (.f64 1/2 K)) J)) (fma.f64 1/3 (.f64 (.f64 (pow.f64 l 3) J) (cos.f64 (.f64 1/2 K))) (fma.f64 2 (.f64 (.f64 l J) (cos.f64 (*.f64 1/2 K))) U)))
(+.f64 (fma.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (.f64 (cos.f64 (.f64 1/2 K)) J) (fma.f64 1/3 (pow.f64 l 3) (*.f64 1/60 (pow.f64 l 5)))))
(+.f64 (.f64 (.f64 (cos.f64 (.f64 1/2 K)) J) (fma.f64 2 l (fma.f64 1/3 (pow.f64 l 3) (.f64 1/60 (pow.f64 l 5))))) U)
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (.f64 -1 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (.f64 -1 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (.f64 -1 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (exp.f64 l) (.f64 (cos.f64 (.f64 1/2 K)) J)) U) (.f64 (exp.f64 (.f64 -1 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 U (.f64 (exp.f64 l) J)) (.f64 (exp.f64 (neg.f64 l)) J))
(+.f64 U (-.f64 (.f64 (exp.f64 l) J) (.f64 (exp.f64 (neg.f64 l)) J)))
(+.f64 U (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))))
(-.f64 (fma.f64 (exp.f64 l) J U) (/.f64 J (exp.f64 l)))
(-.f64 (+.f64 (.f64 J (exp.f64 l)) (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 2) J))) U)) (+.f64 (.f64 1/8 (.f64 (pow.f64 K 2) (.f64 (exp.f64 l) J))) (.f64 (exp.f64 (neg.f64 l)) J)))
(-.f64 (fma.f64 J (exp.f64 l) (fma.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (.f64 K K) J)) U)) (fma.f64 (exp.f64 (neg.f64 l)) J (.f64 1/8 (.f64 (.f64 (exp.f64 l) (*.f64 K K)) J))))
(-.f64 (fma.f64 (exp.f64 l) J (fma.f64 (/.f64 1/8 (exp.f64 l)) (.f64 K (.f64 K J)) U)) (fma.f64 (exp.f64 (neg.f64 l)) J (.f64 1/8 (.f64 (exp.f64 l) (.f64 K (.f64 K J))))))
(+.f64 (.f64 J (fma.f64 1/8 (/.f64 (.f64 K K) (exp.f64 l)) (exp.f64 l))) (-.f64 U (.f64 J (fma.f64 1/8 (.f64 (exp.f64 l) (*.f64 K K)) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (.f64 J (exp.f64 l)))) (+.f64 (.f64 J (exp.f64 l)) (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 2) J))) U))) (+.f64 (.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 4) J))) (+.f64 (.f64 (exp.f64 (neg.f64 l)) J) (.f64 1/8 (.f64 (pow.f64 K 2) (.f64 J (exp.f64 l)))))))
(-.f64 (fma.f64 1/384 (.f64 (.f64 (exp.f64 l) (pow.f64 K 4)) J) (fma.f64 J (exp.f64 l) (fma.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (.f64 K K) J)) U))) (fma.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 4) J)) (fma.f64 (exp.f64 (neg.f64 l)) J (.f64 1/8 (.f64 (.f64 (exp.f64 l) (*.f64 K K)) J)))))
(-.f64 (+.f64 (fma.f64 (/.f64 1/8 (exp.f64 l)) (.f64 K (.f64 K J)) U) (.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (.f64 (exp.f64 l) J))) (fma.f64 (/.f64 1/384 (exp.f64 l)) (.f64 (pow.f64 K 4) J) (fma.f64 (exp.f64 (neg.f64 l)) J (.f64 1/8 (.f64 (exp.f64 l) (.f64 K (*.f64 K J)))))))
(+.f64 (+.f64 U (.f64 J (fma.f64 1/8 (/.f64 (.f64 K K) (exp.f64 l)) (exp.f64 l)))) (-.f64 (.f64 (.f64 1/384 (.f64 (pow.f64 K 4) J)) (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))) (.f64 J (fma.f64 1/8 (.f64 (exp.f64 l) (.f64 K K)) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (exp.f64 l)) (+.f64 (.f64 1/46080 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 6) J))) (+.f64 U (+.f64 (.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 2) J))) (.f64 1/384 (.f64 (pow.f64 K 4) (.f64 (exp.f64 l) J))))))) (+.f64 (.f64 1/46080 (.f64 (pow.f64 K 6) (.f64 (exp.f64 l) J))) (+.f64 (.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 4) J))) (+.f64 (.f64 (exp.f64 (neg.f64 l)) J) (.f64 1/8 (.f64 (pow.f64 K 2) (.f64 J (exp.f64 l))))))))
(-.f64 (fma.f64 J (exp.f64 l) (fma.f64 1/46080 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 6) J)) (+.f64 U (fma.f64 1/8 (.f64 (exp.f64 (neg.f64 l)) (.f64 (.f64 K K) J)) (.f64 1/384 (.f64 (.f64 (exp.f64 l) (pow.f64 K 4)) J)))))) (fma.f64 1/46080 (.f64 (pow.f64 K 6) (.f64 (exp.f64 l) J)) (fma.f64 1/384 (.f64 (exp.f64 (neg.f64 l)) (.f64 (pow.f64 K 4) J)) (fma.f64 (exp.f64 (neg.f64 l)) J (.f64 1/8 (.f64 (.f64 (exp.f64 l) (.f64 K K)) J))))))
(-.f64 (+.f64 (+.f64 (fma.f64 (/.f64 1/8 (exp.f64 l)) (.f64 K (.f64 K J)) U) (.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (.f64 (exp.f64 l) J))) (.f64 (.f64 (pow.f64 K 6) (/.f64 1/46080 (exp.f64 l))) J)) (fma.f64 1/46080 (.f64 (pow.f64 K 6) (.f64 (exp.f64 l) J)) (fma.f64 (/.f64 1/384 (exp.f64 l)) (.f64 (pow.f64 K 4) J) (fma.f64 (exp.f64 (neg.f64 l)) J (.f64 1/8 (.f64 (exp.f64 l) (.f64 K (*.f64 K J))))))))
(+.f64 (+.f64 (fma.f64 1/8 (.f64 (.f64 K K) (/.f64 J (exp.f64 l))) U) (.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (.f64 (exp.f64 l) J))) (-.f64 (.f64 1/46080 (.f64 (/.f64 (pow.f64 K 6) (exp.f64 l)) J)) (+.f64 (.f64 J (.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (exp.f64 (neg.f64 l)))) (.f64 J (.f64 (exp.f64 l) (fma.f64 1/8 (.f64 K K) (.f64 1/46080 (pow.f64 K 6))))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 (exp.f64 l) J)) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (exp.f64 l))) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(.f64 J (-.f64 (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) (.f64 (cos.f64 (*.f64 1/2 K)) (exp.f64 (neg.f64 l)))))
(.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l)))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
U
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
U
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
(-.f64 (+.f64 (.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K)))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(-.f64 (fma.f64 J (.f64 (exp.f64 l) (cos.f64 (.f64 1/2 K))) U) (.f64 (exp.f64 (neg.f64 l)) (.f64 (cos.f64 (*.f64 1/2 K)) J)))
(+.f64 U (.f64 (cos.f64 (.f64 1/2 K)) (*.f64 J (-.f64 (exp.f64 l) (exp.f64 (neg.f64 l))))))
1
(-.f64 1 (*.f64 1/8 (pow.f64 K 2)))
(-.f64 1 (.f64 1/8 (.f64 K K)))
(+.f64 1 (.f64 (.f64 K K) -1/8))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (.f64 1/8 (pow.f64 K 2)))
(-.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (.f64 1/8 (.f64 K K)))
(+.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (.f64 (.f64 K K) -1/8))
(+.f64 1 (fma.f64 1/384 (pow.f64 K 4) (.f64 (.f64 K K) -1/8)))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (+.f64 (.f64 1/46080 (pow.f64 K 6)) (*.f64 1/8 (pow.f64 K 2))))
(-.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (fma.f64 1/46080 (pow.f64 K 6) (.f64 1/8 (.f64 K K))))
(-.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (fma.f64 1/8 (.f64 K K) (.f64 1/46080 (pow.f64 K 6))))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))

prune128.0ms (1.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	103	3	106
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	105	3	108

Error

0.0b

Counts

108 → 3

Alt Table

Status

Error

Program

8.8b

(fma.f64 J (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))) (*.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))) (*.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))))) U)

▶

0.0b

(fma.f64 J (+.f64 (*.f64 1/60 (*.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/2520 (*.f64 (pow.f64 l 7) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K)))) (*.f64 2 (*.f64 l (cos.f64 (*.f64 1/2 K))))))) U)

0.2b

(+.f64 U (*.f64 (cos.f64 (*.f64 1/2 K)) (*.f64 J (fma.f64 2 l (*.f64 1/3 (pow.f64 l 3))))))

Compiler

Compiled 2560 to 1484 computations (42% saved)

localize32.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K))))
✓	0.1b	(.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))
✓	0.1b	(.f64 l (cos.f64 (.f64 1/2 K)))
✓	0.1b	(.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))

series17.0ms (0.2%)

Counts

4 → 16

Calls

24 calls:

Time	Variable		Point	Expression
1.0ms	K	@	inf	(.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K))))
1.0ms	K	@	inf	(.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))
1.0ms	l	@	0	(.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))
1.0ms	K	@	0	(.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K))))
1.0ms	l	@	0	(.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K))))

rewrite55.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

293×	`expm1-udef_binary64`
293×	`log1p-udef_binary64`
169×	`add-sqr-sqrt_binary64`
160×	`add-log-exp_binary64`
160×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	51
1	359	51
2	3949	51

Stop Event

1×	node limit

Counts

4 → 56

Calls

Call 1

Inputs
(.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))
(.f64 l (cos.f64 (.f64 1/2 K)))
(.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))
(.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K))))

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

simplify33.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

494×	`associate-l_binary64`
483×	`associate-r_binary64`
352×	`unswap-sqr_binary64`
345×	`fma-def_binary64`
337×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	67	398
1	204	346
2	803	289
3	4141	289

Stop Event

1×	node limit

Counts

72 → 84

Calls

Call 1

Inputs
(*.f64 1/3 (pow.f64 l 3))
(-.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 1/24 (*.f64 (pow.f64 K 2) (pow.f64 l 3))))
(-.f64 (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (pow.f64 l 3))) (.f64 1/3 (pow.f64 l 3))) (.f64 1/24 (*.f64 (pow.f64 K 2) (pow.f64 l 3))))
(-.f64 (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (pow.f64 l 3))) (.f64 1/3 (pow.f64 l 3))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (pow.f64 l 3))) (.f64 1/138240 (*.f64 (pow.f64 K 6) (pow.f64 l 3)))))
l
(-.f64 l (.f64 1/8 (.f64 (pow.f64 K 2) l)))
(-.f64 (+.f64 l (.f64 1/384 (.f64 (pow.f64 K 4) l))) (.f64 1/8 (.f64 (pow.f64 K 2) l)))
(-.f64 (+.f64 l (.f64 1/384 (.f64 (pow.f64 K 4) l))) (+.f64 (.f64 1/8 (.f64 (pow.f64 K 2) l)) (.f64 1/46080 (.f64 (pow.f64 K 6) l))))
(pow.f64 l 3)
(-.f64 (pow.f64 l 3) (.f64 1/8 (.f64 (pow.f64 K 2) (pow.f64 l 3))))
(-.f64 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 l 3))) (pow.f64 l 3)) (.f64 1/8 (.f64 (pow.f64 K 2) (pow.f64 l 3))))
(-.f64 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 l 3))) (pow.f64 l 3)) (+.f64 (.f64 1/8 (.f64 (pow.f64 K 2) (pow.f64 l 3))) (.f64 1/46080 (.f64 (pow.f64 K 6) (pow.f64 l 3)))))
(*.f64 1/60 (pow.f64 l 5))
(-.f64 (.f64 1/60 (pow.f64 l 5)) (.f64 1/480 (*.f64 (pow.f64 K 2) (pow.f64 l 5))))
(-.f64 (+.f64 (.f64 1/23040 (.f64 (pow.f64 K 4) (pow.f64 l 5))) (.f64 1/60 (pow.f64 l 5))) (.f64 1/480 (*.f64 (pow.f64 K 2) (pow.f64 l 5))))
(-.f64 (+.f64 (.f64 1/23040 (.f64 (pow.f64 K 4) (pow.f64 l 5))) (.f64 1/60 (pow.f64 l 5))) (+.f64 (.f64 1/480 (.f64 (pow.f64 K 2) (pow.f64 l 5))) (.f64 1/2764800 (*.f64 (pow.f64 K 6) (pow.f64 l 5)))))

Outputs
(*.f64 1/3 (pow.f64 l 3))
(-.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 1/24 (*.f64 (pow.f64 K 2) (pow.f64 l 3))))
(+.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 -1/24 (.f64 (pow.f64 l 3) (.f64 K K))))
(.f64 (pow.f64 l 3) (-.f64 1/3 (.f64 1/24 (*.f64 K K))))
(.f64 (pow.f64 l 3) (+.f64 1/3 (.f64 (*.f64 K K) -1/24)))
(-.f64 (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (pow.f64 l 3))) (.f64 1/3 (pow.f64 l 3))) (.f64 1/24 (*.f64 (pow.f64 K 2) (pow.f64 l 3))))
(+.f64 (fma.f64 1/1152 (.f64 (pow.f64 l 3) (pow.f64 K 4)) (.f64 1/3 (pow.f64 l 3))) (.f64 -1/24 (.f64 (pow.f64 l 3) (*.f64 K K))))
(fma.f64 1/1152 (.f64 (pow.f64 l 3) (pow.f64 K 4)) (.f64 (pow.f64 l 3) (-.f64 1/3 (.f64 1/24 (.f64 K K)))))
(.f64 (pow.f64 l 3) (-.f64 (fma.f64 1/1152 (pow.f64 K 4) 1/3) (.f64 1/24 (*.f64 K K))))
(.f64 (pow.f64 l 3) (+.f64 (fma.f64 1/1152 (pow.f64 K 4) 1/3) (.f64 (*.f64 K K) -1/24)))
(-.f64 (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (pow.f64 l 3))) (.f64 1/3 (pow.f64 l 3))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (pow.f64 l 3))) (.f64 1/138240 (*.f64 (pow.f64 K 6) (pow.f64 l 3)))))
(-.f64 (fma.f64 1/1152 (.f64 (pow.f64 l 3) (pow.f64 K 4)) (.f64 1/3 (pow.f64 l 3))) (fma.f64 1/24 (.f64 (pow.f64 l 3) (.f64 K K)) (.f64 1/138240 (.f64 (pow.f64 l 3) (pow.f64 K 6)))))
(-.f64 (.f64 (pow.f64 l 3) (+.f64 1/3 (.f64 1/1152 (pow.f64 K 4)))) (.f64 (pow.f64 l 3) (+.f64 (.f64 1/24 (.f64 K K)) (.f64 1/138240 (pow.f64 K 6)))))
(.f64 (pow.f64 l 3) (-.f64 (fma.f64 1/1152 (pow.f64 K 4) 1/3) (fma.f64 1/24 (.f64 K K) (*.f64 1/138240 (pow.f64 K 6)))))
l
(-.f64 l (.f64 1/8 (.f64 (pow.f64 K 2) l)))
(-.f64 l (.f64 1/8 (.f64 l (*.f64 K K))))
(+.f64 l (.f64 (.f64 l (*.f64 K K)) -1/8))
(fma.f64 (.f64 l (.f64 K K)) -1/8 l)
(-.f64 (+.f64 l (.f64 1/384 (.f64 (pow.f64 K 4) l))) (.f64 1/8 (.f64 (pow.f64 K 2) l)))
(+.f64 l (-.f64 (.f64 1/384 (.f64 l (pow.f64 K 4))) (.f64 1/8 (.f64 l (*.f64 K K)))))
(+.f64 l (.f64 l (-.f64 (.f64 (pow.f64 K 4) 1/384) (.f64 (.f64 K K) 1/8))))
(fma.f64 l (fma.f64 (pow.f64 K 4) 1/384 (.f64 (.f64 K K) -1/8)) l)
(-.f64 (+.f64 l (.f64 1/384 (.f64 (pow.f64 K 4) l))) (+.f64 (.f64 1/8 (.f64 (pow.f64 K 2) l)) (.f64 1/46080 (.f64 (pow.f64 K 6) l))))
(+.f64 l (-.f64 (.f64 1/384 (.f64 l (pow.f64 K 4))) (fma.f64 1/8 (.f64 l (.f64 K K)) (.f64 (.f64 1/46080 (pow.f64 K 6)) l))))
(-.f64 (fma.f64 (.f64 (pow.f64 K 4) 1/384) l l) (.f64 l (+.f64 (.f64 (.f64 K K) 1/8) (*.f64 (pow.f64 K 6) 1/46080))))
(+.f64 l (.f64 l (-.f64 (fma.f64 (pow.f64 K 4) 1/384 (.f64 (.f64 K K) -1/8)) (.f64 (pow.f64 K 6) 1/46080))))
(+.f64 l (.f64 l (+.f64 (fma.f64 (pow.f64 K 4) 1/384 (.f64 (.f64 K K) -1/8)) (.f64 (pow.f64 K 6) -1/46080))))
(pow.f64 l 3)
(-.f64 (pow.f64 l 3) (.f64 1/8 (.f64 (pow.f64 K 2) (pow.f64 l 3))))
(+.f64 (pow.f64 l 3) (.f64 -1/8 (.f64 (pow.f64 l 3) (*.f64 K K))))
(+.f64 (pow.f64 l 3) (.f64 (.f64 (pow.f64 l 3) (*.f64 K K)) -1/8))
(.f64 (+.f64 (.f64 (*.f64 K K) -1/8) 1) (pow.f64 l 3))
(-.f64 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 l 3))) (pow.f64 l 3)) (.f64 1/8 (.f64 (pow.f64 K 2) (pow.f64 l 3))))
(+.f64 (fma.f64 1/384 (.f64 (pow.f64 l 3) (pow.f64 K 4)) (pow.f64 l 3)) (.f64 -1/8 (.f64 (pow.f64 l 3) (.f64 K K))))
(+.f64 (.f64 (+.f64 (.f64 (pow.f64 K 4) 1/384) 1) (pow.f64 l 3)) (.f64 (.f64 (pow.f64 l 3) (*.f64 K K)) -1/8))
(.f64 (pow.f64 l 3) (+.f64 (fma.f64 (pow.f64 K 4) 1/384 1) (.f64 (*.f64 K K) -1/8)))
(-.f64 (+.f64 (.f64 1/384 (.f64 (pow.f64 K 4) (pow.f64 l 3))) (pow.f64 l 3)) (+.f64 (.f64 1/8 (.f64 (pow.f64 K 2) (pow.f64 l 3))) (.f64 1/46080 (.f64 (pow.f64 K 6) (pow.f64 l 3)))))
(-.f64 (fma.f64 1/384 (.f64 (pow.f64 l 3) (pow.f64 K 4)) (pow.f64 l 3)) (fma.f64 1/8 (.f64 (pow.f64 l 3) (.f64 K K)) (.f64 (*.f64 (pow.f64 l 3) (pow.f64 K 6)) 1/46080)))
(-.f64 (.f64 (+.f64 (.f64 (pow.f64 K 4) 1/384) 1) (pow.f64 l 3)) (.f64 (pow.f64 l 3) (+.f64 (.f64 (.f64 K K) 1/8) (.f64 (pow.f64 K 6) 1/46080))))
(+.f64 (pow.f64 l 3) (.f64 (pow.f64 l 3) (-.f64 (.f64 (pow.f64 K 4) 1/384) (fma.f64 (.f64 K K) 1/8 (.f64 (pow.f64 K 6) 1/46080)))))
(*.f64 1/60 (pow.f64 l 5))
(-.f64 (.f64 1/60 (pow.f64 l 5)) (.f64 1/480 (*.f64 (pow.f64 K 2) (pow.f64 l 5))))
(+.f64 (.f64 1/60 (pow.f64 l 5)) (.f64 -1/480 (.f64 (.f64 K K) (pow.f64 l 5))))
(.f64 (pow.f64 l 5) (-.f64 1/60 (.f64 (*.f64 K K) 1/480)))
(.f64 (pow.f64 l 5) (+.f64 1/60 (.f64 (*.f64 K K) -1/480)))
(-.f64 (+.f64 (.f64 1/23040 (.f64 (pow.f64 K 4) (pow.f64 l 5))) (.f64 1/60 (pow.f64 l 5))) (.f64 1/480 (*.f64 (pow.f64 K 2) (pow.f64 l 5))))
(+.f64 (fma.f64 1/23040 (.f64 (pow.f64 K 4) (pow.f64 l 5)) (.f64 1/60 (pow.f64 l 5))) (.f64 -1/480 (.f64 (*.f64 K K) (pow.f64 l 5))))
(fma.f64 1/23040 (.f64 (pow.f64 K 4) (pow.f64 l 5)) (.f64 (pow.f64 l 5) (-.f64 1/60 (.f64 (.f64 K K) 1/480))))
(.f64 (pow.f64 l 5) (-.f64 (fma.f64 (pow.f64 K 4) 1/23040 1/60) (.f64 K (*.f64 K 1/480))))
(.f64 (pow.f64 l 5) (+.f64 (fma.f64 (pow.f64 K 4) 1/23040 1/60) (.f64 (*.f64 K K) -1/480)))
(-.f64 (+.f64 (.f64 1/23040 (.f64 (pow.f64 K 4) (pow.f64 l 5))) (.f64 1/60 (pow.f64 l 5))) (+.f64 (.f64 1/480 (.f64 (pow.f64 K 2) (pow.f64 l 5))) (.f64 1/2764800 (*.f64 (pow.f64 K 6) (pow.f64 l 5)))))
(-.f64 (fma.f64 1/23040 (.f64 (pow.f64 K 4) (pow.f64 l 5)) (.f64 1/60 (pow.f64 l 5))) (fma.f64 1/480 (.f64 (.f64 K K) (pow.f64 l 5)) (.f64 1/2764800 (.f64 (pow.f64 K 6) (pow.f64 l 5)))))
(-.f64 (.f64 (pow.f64 l 5) (+.f64 1/60 (.f64 (pow.f64 K 4) 1/23040))) (.f64 (pow.f64 l 5) (+.f64 (.f64 (.f64 K K) 1/480) (.f64 (pow.f64 K 6) 1/2764800))))
(.f64 (pow.f64 l 5) (-.f64 (fma.f64 (pow.f64 K 4) 1/23040 1/60) (fma.f64 (pow.f64 K 6) 1/2764800 (.f64 K (*.f64 K 1/480)))))

prune155.0ms (1.7%)

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Error

0.0b

Counts

87 → 3

Alt Table

Status

Error

Program

8.8b

(fma.f64 J (cbrt.f64 (*.f64 (*.f64 (*.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))) (*.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))) (*.f64 (*.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))))) U)

✓

0.0b

(fma.f64 J (+.f64 (*.f64 1/60 (*.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/2520 (*.f64 (pow.f64 l 7) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K)))) (*.f64 2 (*.f64 l (cos.f64 (*.f64 1/2 K))))))) U)

▶

0.2b

(+.f64 U (*.f64 (cos.f64 (*.f64 1/2 K)) (*.f64 J (fma.f64 2 l (*.f64 1/3 (pow.f64 l 3))))))

Compiler

Compiled 4267 to 3317 computations (22.3% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(cos.f64 (*.f64 1/2 K))
✓	0.1b	(.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))
✓	0.1b	(*.f64 1/3 (pow.f64 l 3))

series14.0ms (0.2%)

Counts

3 → 40

Calls

15 calls:

Time	Variable		Point	Expression
4.0ms	K	@	0	(.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))
2.0ms	J	@	0	(.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))
1.0ms	K	@	inf	(.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))
1.0ms	l	@	0	(.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))
1.0ms	J	@	inf	(.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))

rewrite48.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

256×	`expm1-udef_binary64`
256×	`log1p-udef_binary64`
238×	`prod-diff_binary64`
211×	`log-pow_binary64`
147×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	35
1	310	35
2	3405	35

Stop Event

1×	node limit

Counts

3 → 51

Calls

Call 1

Inputs
(*.f64 1/3 (pow.f64 l 3))
(.f64 (cos.f64 (.f64 1/2 K)) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))
(cos.f64 (*.f64 1/2 K))

Outputs

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

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

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

simplify44.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

592×	`fma-def_binary64`
584×	`associate-l_binary64`
481×	`associate-r_binary64`
323×	`sub-neg_binary64`
292×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	85	986
1	250	971
2	885	932
3	4839	932

Stop Event

1×	node limit

Counts

91 → 75

Calls

Call 1

Inputs
(.f64 (+.f64 (.f64 2 l) (*.f64 1/3 (pow.f64 l 3))) J)
(-.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J)))))
(-.f64 (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J)))))
(-.f64 (+.f64 (.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J))) (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/23040 (.f64 (pow.f64 K 6) (.f64 l J))) (+.f64 (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J))) (.f64 1/138240 (.f64 (pow.f64 K 6) (.f64 (pow.f64 l 3) J)))))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
1
(-.f64 1 (*.f64 1/8 (pow.f64 K 2)))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (.f64 1/8 (pow.f64 K 2)))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (+.f64 (.f64 1/46080 (pow.f64 K 6)) (*.f64 1/8 (pow.f64 K 2))))

Outputs
(.f64 (+.f64 (.f64 2 l) (*.f64 1/3 (pow.f64 l 3))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J)
(-.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J)))))
(-.f64 (fma.f64 1/3 (.f64 (pow.f64 l 3) J) (.f64 2 (.f64 l J))) (fma.f64 1/24 (.f64 (.f64 (pow.f64 l 3) J) (.f64 K K)) (.f64 1/4 (.f64 (.f64 l J) (.f64 K K)))))
(-.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (fma.f64 1/24 (.f64 (.f64 (pow.f64 l 3) J) (.f64 K K)) (.f64 (.f64 l J) (.f64 (*.f64 K K) 1/4))))
(-.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (.f64 (.f64 K K) (+.f64 (.f64 J (.f64 (pow.f64 l 3) 1/24)) (.f64 l (.f64 J 1/4)))))
(fma.f64 2 (.f64 l J) (+.f64 (.f64 (.f64 (pow.f64 l 3) J) (+.f64 1/3 (.f64 (.f64 K K) -1/24))) (.f64 (.f64 l J) (.f64 (*.f64 K K) -1/4))))
(-.f64 (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J)))))
(-.f64 (fma.f64 1/1152 (.f64 (.f64 (pow.f64 l 3) J) (pow.f64 K 4)) (fma.f64 1/192 (.f64 (.f64 l J) (pow.f64 K 4)) (fma.f64 1/3 (.f64 (pow.f64 l 3) J) (.f64 2 (.f64 l J))))) (fma.f64 1/24 (.f64 (.f64 (pow.f64 l 3) J) (.f64 K K)) (.f64 1/4 (.f64 (.f64 l J) (.f64 K K)))))
(-.f64 (fma.f64 1/192 (.f64 (.f64 l J) (pow.f64 K 4)) (+.f64 (.f64 2 (.f64 l J)) (.f64 (.f64 (pow.f64 l 3) J) (+.f64 (.f64 1/1152 (pow.f64 K 4)) 1/3)))) (fma.f64 1/24 (.f64 (.f64 (pow.f64 l 3) J) (.f64 K K)) (.f64 (.f64 l J) (.f64 (.f64 K K) 1/4))))
(-.f64 (fma.f64 (.f64 (pow.f64 l 3) J) (fma.f64 1/1152 (pow.f64 K 4) 1/3) (.f64 (.f64 l J) (+.f64 2 (.f64 (pow.f64 K 4) 1/192)))) (.f64 (.f64 K K) (+.f64 (.f64 J (.f64 (pow.f64 l 3) 1/24)) (.f64 l (.f64 J 1/4)))))
(-.f64 (+.f64 (.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J))) (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/23040 (.f64 (pow.f64 K 6) (.f64 l J))) (+.f64 (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J))) (.f64 1/138240 (.f64 (pow.f64 K 6) (.f64 (pow.f64 l 3) J)))))))
(-.f64 (fma.f64 1/192 (.f64 (.f64 l J) (pow.f64 K 4)) (fma.f64 1/1152 (.f64 (.f64 (pow.f64 l 3) J) (pow.f64 K 4)) (fma.f64 1/3 (.f64 (pow.f64 l 3) J) (.f64 2 (.f64 l J))))) (fma.f64 1/24 (.f64 (.f64 (pow.f64 l 3) J) (.f64 K K)) (fma.f64 1/23040 (.f64 (.f64 l J) (pow.f64 K 6)) (fma.f64 1/4 (.f64 (.f64 l J) (.f64 K K)) (.f64 (.f64 1/138240 (pow.f64 K 6)) (.f64 (pow.f64 l 3) J))))))
(-.f64 (fma.f64 1/192 (.f64 (.f64 l J) (pow.f64 K 4)) (+.f64 (.f64 2 (.f64 l J)) (.f64 (.f64 (pow.f64 l 3) J) (+.f64 (.f64 1/1152 (pow.f64 K 4)) 1/3)))) (fma.f64 1/24 (.f64 (.f64 (pow.f64 l 3) J) (.f64 K K)) (+.f64 (.f64 (pow.f64 K 6) (.f64 (.f64 (pow.f64 l 3) J) 1/138240)) (.f64 (.f64 l J) (+.f64 (.f64 1/23040 (pow.f64 K 6)) (.f64 (.f64 K K) 1/4))))))
(-.f64 (fma.f64 (.f64 (pow.f64 l 3) J) (fma.f64 1/1152 (pow.f64 K 4) 1/3) (.f64 (.f64 l J) (+.f64 2 (.f64 (pow.f64 K 4) 1/192)))) (fma.f64 (.f64 l J) (fma.f64 1/23040 (pow.f64 K 6) (.f64 K (.f64 K 1/4))) (.f64 (.f64 (pow.f64 l 3) J) (+.f64 (.f64 (pow.f64 K 6) 1/138240) (.f64 1/24 (.f64 K K))))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J)))
(.f64 2 (.f64 (.f64 l J) (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 2 (.f64 l J)) (cos.f64 (.f64 K 1/2)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(.f64 1/3 (.f64 (.f64 (pow.f64 l 3) (cos.f64 (.f64 K 1/2))) J))
(.f64 1/3 (.f64 J (.f64 (pow.f64 l 3) (cos.f64 (.f64 K 1/2)))))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 K 1/2)))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(.f64 1/3 (.f64 (.f64 (pow.f64 l 3) (cos.f64 (.f64 K 1/2))) J))
(.f64 1/3 (.f64 J (.f64 (pow.f64 l 3) (cos.f64 (.f64 K 1/2)))))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 K 1/2)))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (.f64 K 1/2))))
(.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (cos.f64 (.f64 K 1/2)))
1
(-.f64 1 (*.f64 1/8 (pow.f64 K 2)))
(+.f64 1 (.f64 -1/8 (.f64 K K)))
(+.f64 1 (.f64 (.f64 K K) -1/8))
(fma.f64 (*.f64 K K) -1/8 1)
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (.f64 1/8 (pow.f64 K 2)))
(+.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (.f64 -1/8 (.f64 K K)))
(+.f64 (fma.f64 (pow.f64 K 4) 1/384 1) (.f64 (.f64 K K) -1/8))
(fma.f64 (*.f64 K K) -1/8 (fma.f64 (pow.f64 K 4) 1/384 1))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (+.f64 (.f64 1/46080 (pow.f64 K 6)) (*.f64 1/8 (pow.f64 K 2))))
(-.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (fma.f64 1/46080 (pow.f64 K 6) (.f64 (.f64 K K) 1/8)))
(-.f64 (fma.f64 (pow.f64 K 4) 1/384 1) (fma.f64 (pow.f64 K 6) 1/46080 (.f64 K (.f64 K 1/8))))
(+.f64 (.f64 (pow.f64 K 6) -1/46080) (fma.f64 (.f64 K K) -1/8 (fma.f64 (pow.f64 K 4) 1/384 1)))
(+.f64 (fma.f64 (pow.f64 K 4) 1/384 1) (fma.f64 (.f64 K K) -1/8 (.f64 (pow.f64 K 6) -1/46080)))

prune115.0ms (1.3%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	73	2	75
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	74	4	78

Error

Counts

78 → 4

Alt Table

Status	Error	Program
	8.8b	(fma.f64 J (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))) (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))) (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))))) U)
✓	0.0b	(fma.f64 J (+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/2520 (.f64 (pow.f64 l 7) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))) (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K))))))) U)
▶	0.3b	(+.f64 U (.f64 (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/2 K)))) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))))))
	13.9b	(+.f64 U (.f64 (pow.f64 (sqrt.f64 (cos.f64 (.f64 1/2 K))) 2) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))))))

Compiler

Compiled 1931 to 1406 computations (27.2% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/2 K)))) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))
	0.1b	(*.f64 1/3 (pow.f64 l 3))
✓	0.1b	(expm1.f64 (log1p.f64 (cos.f64 (*.f64 1/2 K))))
✓	0.3b	(log1p.f64 (cos.f64 (*.f64 1/2 K)))

series59.0ms (0.7%)

Counts

3 → 60

Calls

15 calls:

Time	Variable		Point	Expression
37.0ms	K	@	inf	(log1p.f64 (cos.f64 (*.f64 1/2 K)))
17.0ms	K	@	-inf	(log1p.f64 (cos.f64 (*.f64 1/2 K)))
1.0ms	K	@	0	(log1p.f64 (cos.f64 (*.f64 1/2 K)))
0.0ms	K	@	0	(.f64 (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/2 K)))) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))
0.0ms	K	@	0	(expm1.f64 (log1p.f64 (cos.f64 (*.f64 1/2 K))))

rewrite59.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

273×	`prod-diff_binary64`
271×	`expm1-udef_binary64`
271×	`log1p-udef_binary64`
155×	`add-sqr-sqrt_binary64`
148×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	36
1	331	36
2	3613	36

Stop Event

1×	node limit

Counts

3 → 57

Calls

Call 1

Inputs
(log1p.f64 (cos.f64 (*.f64 1/2 K)))
(expm1.f64 (log1p.f64 (cos.f64 (*.f64 1/2 K))))
(.f64 (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/2 K)))) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3)))))

Outputs

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

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

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

simplify32.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

642×	`fma-def_binary64`
598×	`associate-l_binary64`
504×	`associate-r_binary64`
326×	`cancel-sign-sub-inv_binary64`
208×	`*-commutative_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	100	1158
1	291	1143
2	995	1102

Stop Event

1×	node limit

Counts

117 → 91

Calls

Call 1

Inputs
(log.f64 2)
(-.f64 (log.f64 2) (*.f64 1/16 (pow.f64 K 2)))
(-.f64 (log.f64 2) (+.f64 (.f64 1/1536 (pow.f64 K 4)) (.f64 1/16 (pow.f64 K 2))))
(-.f64 (log.f64 2) (+.f64 (.f64 1/1536 (pow.f64 K 4)) (+.f64 (.f64 1/92160 (pow.f64 K 6)) (*.f64 1/16 (pow.f64 K 2)))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
1
(-.f64 1 (*.f64 1/8 (pow.f64 K 2)))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (.f64 1/8 (pow.f64 K 2)))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (+.f64 (.f64 1/46080 (pow.f64 K 6)) (*.f64 1/8 (pow.f64 K 2))))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 1/2 K))
(.f64 (+.f64 (.f64 2 l) (*.f64 1/3 (pow.f64 l 3))) J)
(-.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J)))))
(-.f64 (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J)))))
(-.f64 (+.f64 (.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J))) (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/23040 (.f64 (pow.f64 K 6) (.f64 l J))) (+.f64 (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J))) (.f64 1/138240 (.f64 (pow.f64 K 6) (.f64 (pow.f64 l 3) J)))))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))

Outputs
(log.f64 2)
(-.f64 (log.f64 2) (*.f64 1/16 (pow.f64 K 2)))
(+.f64 (log.f64 2) (.f64 -1/16 (.f64 K K)))
(+.f64 (log.f64 2) (.f64 (.f64 K K) -1/16))
(fma.f64 (*.f64 K K) -1/16 (log.f64 2))
(-.f64 (log.f64 2) (+.f64 (.f64 1/1536 (pow.f64 K 4)) (.f64 1/16 (pow.f64 K 2))))
(-.f64 (log.f64 2) (fma.f64 1/1536 (pow.f64 K 4) (.f64 1/16 (.f64 K K))))
(-.f64 (log.f64 2) (fma.f64 1/16 (.f64 K K) (.f64 1/1536 (pow.f64 K 4))))
(-.f64 (fma.f64 (.f64 K K) -1/16 (log.f64 2)) (.f64 1/1536 (pow.f64 K 4)))
(-.f64 (log.f64 2) (+.f64 (.f64 1/1536 (pow.f64 K 4)) (+.f64 (.f64 1/92160 (pow.f64 K 6)) (*.f64 1/16 (pow.f64 K 2)))))
(-.f64 (log.f64 2) (fma.f64 1/1536 (pow.f64 K 4) (fma.f64 1/92160 (pow.f64 K 6) (.f64 1/16 (.f64 K K)))))
(-.f64 (log.f64 2) (fma.f64 1/1536 (pow.f64 K 4) (fma.f64 1/16 (.f64 K K) (.f64 1/92160 (pow.f64 K 6)))))
(-.f64 (log.f64 2) (fma.f64 1/16 (.f64 K K) (fma.f64 1/1536 (pow.f64 K 4) (.f64 1/92160 (pow.f64 K 6)))))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log1p.f64 (cos.f64 (*.f64 K 1/2)))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log1p.f64 (cos.f64 (*.f64 K 1/2)))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log1p.f64 (cos.f64 (*.f64 K 1/2)))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log1p.f64 (cos.f64 (*.f64 K 1/2)))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log1p.f64 (cos.f64 (*.f64 K 1/2)))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log1p.f64 (cos.f64 (*.f64 K 1/2)))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log1p.f64 (cos.f64 (*.f64 K 1/2)))
(log.f64 (+.f64 1 (cos.f64 (*.f64 1/2 K))))
(log1p.f64 (cos.f64 (*.f64 K 1/2)))
1
(-.f64 1 (*.f64 1/8 (pow.f64 K 2)))
(+.f64 1 (.f64 -1/8 (.f64 K K)))
(+.f64 1 (.f64 (.f64 K K) -1/8))
(fma.f64 (*.f64 K K) -1/8 1)
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (.f64 1/8 (pow.f64 K 2)))
(+.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (.f64 -1/8 (.f64 K K)))
(+.f64 (fma.f64 (pow.f64 K 4) 1/384 1) (.f64 (.f64 K K) -1/8))
(fma.f64 (*.f64 K K) -1/8 (fma.f64 (pow.f64 K 4) 1/384 1))
(-.f64 (+.f64 (.f64 1/384 (pow.f64 K 4)) 1) (+.f64 (.f64 1/46080 (pow.f64 K 6)) (*.f64 1/8 (pow.f64 K 2))))
(-.f64 (fma.f64 1/384 (pow.f64 K 4) 1) (fma.f64 1/46080 (pow.f64 K 6) (.f64 (.f64 K K) 1/8)))
(-.f64 (fma.f64 (pow.f64 K 4) 1/384 1) (fma.f64 (.f64 K K) 1/8 (.f64 (pow.f64 K 6) 1/46080)))
(+.f64 1 (fma.f64 (pow.f64 K 4) 1/384 (fma.f64 (.f64 K K) -1/8 (.f64 (pow.f64 K 6) -1/46080))))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 K 1/2))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 K 1/2))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 K 1/2))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 K 1/2))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 K 1/2))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 K 1/2))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 K 1/2))
(cos.f64 (*.f64 1/2 K))
(cos.f64 (*.f64 K 1/2))
(.f64 (+.f64 (.f64 2 l) (*.f64 1/3 (pow.f64 l 3))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J)
(.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J)
(-.f64 (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J)))))
(-.f64 (fma.f64 1/3 (.f64 (pow.f64 l 3) J) (.f64 2 (.f64 l J))) (fma.f64 1/24 (.f64 (.f64 K K) (.f64 (pow.f64 l 3) J)) (.f64 1/4 (.f64 (.f64 K K) (.f64 l J)))))
(-.f64 (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J) (fma.f64 1/24 (.f64 (pow.f64 l 3) (.f64 J (.f64 K K))) (.f64 1/4 (.f64 K (.f64 K (*.f64 l J))))))
(-.f64 (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J) (.f64 (.f64 K K) (+.f64 (.f64 (.f64 (pow.f64 l 3) J) 1/24) (.f64 l (.f64 J 1/4)))))
(-.f64 (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J)))))
(-.f64 (fma.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J)) (fma.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J)) (fma.f64 1/3 (.f64 (pow.f64 l 3) J) (.f64 2 (.f64 l J))))) (fma.f64 1/24 (.f64 (.f64 K K) (.f64 (pow.f64 l 3) J)) (.f64 1/4 (.f64 (.f64 K K) (.f64 l J)))))
(-.f64 (fma.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J)) (+.f64 (.f64 2 (.f64 l J)) (.f64 (.f64 (pow.f64 l 3) J) (+.f64 (.f64 (pow.f64 K 4) 1/1152) 1/3)))) (fma.f64 1/24 (.f64 (pow.f64 l 3) (.f64 J (.f64 K K))) (.f64 1/4 (.f64 K (.f64 K (.f64 l J))))))
(-.f64 (fma.f64 (.f64 (pow.f64 l 3) J) (fma.f64 (pow.f64 K 4) 1/1152 1/3) (.f64 (.f64 l J) (+.f64 (.f64 (pow.f64 K 4) 1/192) 2))) (.f64 (.f64 K K) (+.f64 (.f64 (.f64 (pow.f64 l 3) J) 1/24) (.f64 l (.f64 J 1/4)))))
(-.f64 (+.f64 (.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J))) (+.f64 (.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) J)) (.f64 2 (.f64 l J))))) (+.f64 (.f64 1/24 (.f64 (pow.f64 K 2) (.f64 (pow.f64 l 3) J))) (+.f64 (.f64 1/23040 (.f64 (pow.f64 K 6) (.f64 l J))) (+.f64 (.f64 1/4 (.f64 (pow.f64 K 2) (.f64 l J))) (.f64 1/138240 (.f64 (pow.f64 K 6) (.f64 (pow.f64 l 3) J)))))))
(-.f64 (fma.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J)) (fma.f64 1/1152 (.f64 (pow.f64 K 4) (.f64 (pow.f64 l 3) J)) (fma.f64 1/3 (.f64 (pow.f64 l 3) J) (.f64 2 (.f64 l J))))) (fma.f64 1/24 (.f64 (.f64 K K) (.f64 (pow.f64 l 3) J)) (fma.f64 1/23040 (.f64 (pow.f64 K 6) (.f64 l J)) (fma.f64 1/4 (.f64 (.f64 K K) (.f64 l J)) (.f64 1/138240 (.f64 (pow.f64 K 6) (.f64 (pow.f64 l 3) J)))))))
(-.f64 (fma.f64 1/192 (.f64 (pow.f64 K 4) (.f64 l J)) (+.f64 (.f64 2 (.f64 l J)) (.f64 (.f64 (pow.f64 l 3) J) (+.f64 (.f64 (pow.f64 K 4) 1/1152) 1/3)))) (fma.f64 1/24 (.f64 (pow.f64 l 3) (.f64 J (.f64 K K))) (+.f64 (.f64 (pow.f64 K 6) (.f64 (.f64 (pow.f64 l 3) J) 1/138240)) (.f64 (.f64 l J) (+.f64 (.f64 (pow.f64 K 6) 1/23040) (.f64 (.f64 K K) 1/4))))))
(-.f64 (fma.f64 (.f64 (pow.f64 l 3) J) (fma.f64 (pow.f64 K 4) 1/1152 1/3) (.f64 (.f64 l J) (+.f64 (.f64 (pow.f64 K 4) 1/192) 2))) (fma.f64 (.f64 l J) (fma.f64 (pow.f64 K 6) 1/23040 (.f64 (.f64 K K) 1/4)) (.f64 (.f64 (pow.f64 l 3) J) (+.f64 (.f64 (pow.f64 K 6) 1/138240) (.f64 K (.f64 K 1/24))))))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (*.f64 1/2 K)) J))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K)))) (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K))))) J)
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 (+.f64 (.f64 2 l) (.f64 1/3 (pow.f64 l 3))) (.f64 J (cos.f64 (*.f64 1/2 K))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 2 (.f64 l (.f64 (cos.f64 (.f64 1/2 K)) J)))
(.f64 2 (.f64 (.f64 l J) (cos.f64 (.f64 K 1/2))))
(.f64 2 (.f64 (cos.f64 (.f64 K 1/2)) (.f64 l J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 1/3 (.f64 J (.f64 (cos.f64 (.f64 K 1/2)) (pow.f64 l 3))))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 1/3 (.f64 (pow.f64 l 3) J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(.f64 1/3 (.f64 (pow.f64 l 3) (.f64 (cos.f64 (.f64 1/2 K)) J)))
(.f64 (.f64 1/3 (pow.f64 l 3)) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 1/3 (.f64 J (.f64 (cos.f64 (.f64 K 1/2)) (pow.f64 l 3))))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 1/3 (.f64 (pow.f64 l 3) J)))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))
(+.f64 (.f64 2 (.f64 l (.f64 J (cos.f64 (.f64 1/2 K))))) (.f64 1/3 (.f64 (pow.f64 l 3) (.f64 J (cos.f64 (.f64 1/2 K))))))
(.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) (.f64 (cos.f64 (.f64 K 1/2)) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))) J))
(.f64 (cos.f64 (.f64 K 1/2)) (.f64 (fma.f64 1/3 (pow.f64 l 3) (.f64 2 l)) J))

prune160.0ms (1.8%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	103	1	104
Fresh	1	1	2
Picked	0	1	1
Done	0	1	1
Total	104	4	108

Error

Counts

108 → 4

Alt Table

Status	Error	Program
	8.8b	(fma.f64 J (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))) (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2)))) (.f64 (.f64 2 (sinh.f64 l)) (cos.f64 (/.f64 K 2))))) U)
✓	0.0b	(fma.f64 J (+.f64 (.f64 1/60 (.f64 (pow.f64 l 5) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/2520 (.f64 (pow.f64 l 7) (cos.f64 (.f64 1/2 K)))) (+.f64 (.f64 1/3 (.f64 (pow.f64 l 3) (cos.f64 (.f64 1/2 K)))) (.f64 2 (.f64 l (cos.f64 (.f64 1/2 K))))))) U)
✓	0.3b	(+.f64 U (.f64 (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/2 K)))) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))))))
	0.3b	(+.f64 U (.f64 (+.f64 (+.f64 (cos.f64 (.f64 1/2 K)) 1) -1) (.f64 J (fma.f64 2 l (.f64 1/3 (pow.f64 l 3))))))

Compiler

Compiled 2590 to 1927 computations (25.6% saved)

regimes748.0ms (8.4%)

Accuracy

Total 0.3b remaining (72.7%)

Threshold costs 0.3b (72.7%)

Counts

133 → 1

Compiler

Compiled 2805 to 1894 computations (32.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
3×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	67
1	42	67

Stop Event

1×

saturated

Calls

Call 1

Inputs

(fma.f64 J (+.f64 (*.f64 1/60 (*.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/2520 (*.f64 (pow.f64 l 7) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K)))) (*.f64 2 (*.f64 l (cos.f64 (*.f64 1/2 K))))))) U)

Outputs

(fma.f64 J (+.f64 (*.f64 1/60 (*.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/2520 (*.f64 (pow.f64 l 7) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/3 (*.f64 (pow.f64 l 3) (cos.f64 (*.f64 1/2 K)))) (*.f64 2 (*.f64 l (cos.f64 (*.f64 1/2 K))))))) U)

(fma.f64 J (+.f64 (*.f64 1/60 (*.f64 (pow.f64 l 5) (cos.f64 (*.f64 1/2 K)))) (+.f64 (*.f64 1/2520 (*.f64 (cos.f64 (*.f64 1/2 K)) (pow.f64 l 7))) (+.f64 (*.f64 1/3 (*.f64 (cos.f64 (*.f64 1/2 K)) (pow.f64 l 3))) (*.f64 2 (*.f64 l (cos.f64 (*.f64 1/2 K))))))) U)

end137.0ms (1.5%)

Stop Event

1×

fuel

Compiler

Compiled 229 to 179 computations (21.8% saved)

Details

analyze1.5s (17.2%)

sample5.2s (58.6%)

preprocess40.0ms (0.4%)

simplify26.0ms (0.3%)

prune3.0ms (0%)

localize10.0ms (0.1%)

series19.0ms (0.2%)

rewrite142.0ms (1.6%)

simplify48.0ms (0.5%)

prune128.0ms (1.4%)

localize32.0ms (0.4%)

series17.0ms (0.2%)

rewrite55.0ms (0.6%)

simplify33.0ms (0.4%)

prune155.0ms (1.7%)

localize13.0ms (0.1%)

series14.0ms (0.2%)

rewrite48.0ms (0.5%)

simplify44.0ms (0.5%)

prune115.0ms (1.3%)

localize18.0ms (0.2%)

series59.0ms (0.7%)

rewrite59.0ms (0.7%)

simplify32.0ms (0.4%)

prune160.0ms (1.8%)

regimes748.0ms (8.4%)

simplify2.0ms (0%)

end137.0ms (1.5%)

Profiling