Details

analyze1.1s (16.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
18.7%	81.2%	0.1%	7
18.7%	81.2%	0.1%	8
29.7%	69.5%	0.9%	9
30.4%	67.9%	1.7%	10
36.3%	61.1%	2.6%	11
36.9%	59.5%	3.6%	12
39.9%	55.9%	4.2%	13
40.2%	54.9%	4.9%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample3.2s (46.5%)

Results

1.3s	1097×	body	2048	valid
836.0ms	1816×	body	1024	valid
538.0ms	4248×	body	128	valid
251.0ms	733×	body	512	valid
193.0ms	55×	body	4096	valid
72.0ms	307×	body	256	valid
26.0ms	195×	body	128	invalid
8.0ms	10×	body	2048	invalid
4.0ms	6×	body	8192	exit

Compiler

Compiled 34 to 22 computations (35.3% saved)

preprocess71.0ms (1%)

Algorithm

2×	egg-herbie

Rules

816×	`fma-def_binary64`
780×	`fma-neg_binary64`
432×	`times-frac_binary64`
354×	`div-sub_binary64`
199×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	46
1	43	40
2	103	40
3	265	40
4	450	40
5	730	40
6	998	40
7	1398	40
8	2553	40
9	4219	40
10	4830	40
11	4880	40
12	4910	40
13	4924	40
0	2	2

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1

Outputs
0
1

Call 2

Inputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) F) (.f64 (/.f64 1 (.f64 l l)) (tan.f64 (.f64 (PI.f64) F))))

Outputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) l) (/.f64 (tan.f64 (.f64 (PI.f64) l)) (*.f64 F F)))
(-.f64 (.f64 (PI.f64) F) (.f64 (/.f64 1 (.f64 l l)) (tan.f64 (.f64 (PI.f64) F))))
(-.f64 (.f64 (PI.f64) F) (/.f64 (tan.f64 (.f64 (PI.f64) F)) (*.f64 l l)))

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify18.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

297×	`fma-def_binary64`
157×	`fma-neg_binary64`
49×	`cancel-sign-sub-inv_binary64`
37×	`associate-/l*_binary64`
33×	`sub-neg_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	23
1	25	20
2	56	20
3	138	20
4	233	20
5	371	20
6	497	20
7	637	20
8	804	20
9	1074	20
10	1128	20

Stop Event

1×

saturated

Counts

1 → 2

Calls

Call 1

Inputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))

Outputs
(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
(-.f64 (.f64 (PI.f64) l) (/.f64 (tan.f64 (.f64 (PI.f64) l)) (*.f64 F F)))

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

15.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	15.1b	(-.f64 (.f64 (PI.f64) l) (/.f64 (tan.f64 (.f64 (PI.f64) l)) (*.f64 F F)))
▶	15.1b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))

Compiler

Compiled 88 to 48 computations (45.5% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (PI.f64) l)
✓	0.5b	(/.f64 1 (*.f64 F F))
✓	3.6b	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
✓	26.6b	(tan.f64 (*.f64 (PI.f64) l))

series12.0ms (0.2%)

Counts

4 → 48

Calls

15 calls:

Time	Variable		Point	Expression
2.0ms	F	@	0	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
2.0ms	l	@	0	(tan.f64 (*.f64 (PI.f64) l))
1.0ms	F	@	inf	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
1.0ms	l	@	0	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
1.0ms	l	@	inf	(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))

rewrite50.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

856×	`log1p-expm1-u_binary64`
856×	`expm1-log1p-u_binary64`
100×	`add-sqr-sqrt_binary64`
97×	`*-un-lft-identity_binary64`
97×	`pow1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	32
1	201	29
2	2447	29

Stop Event

1×	node limit

Counts

4 → 96

Calls

Call 1

Inputs
(tan.f64 (*.f64 (PI.f64) l))
(.f64 (/.f64 1 (.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))
(/.f64 1 (*.f64 F F))
(*.f64 (PI.f64) l)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (tan.f64 (.f64 (PI.f64) l)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (tan.f64 (.f64 (PI.f64) l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (tan.f64 (.f64 (PI.f64) l)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) (cbrt.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 2)) (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sin.f64 (.f64 (PI.f64) l)) (/.f64 1 (cos.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (cos.f64 (.f64 (PI.f64) l)) (sin.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (sin.f64 (.f64 (PI.f64) l))) (neg.f64 (cos.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (tan.f64 (.f64 (PI.f64) l)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (tan.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (tan.f64 (.f64 (PI.f64) l)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (tan.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (tan.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (tan.f64 (.f64 (PI.f64) l))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (tan.f64 (.f64 (PI.f64) l))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (.f64 F F) (tan.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (cbrt.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 2)) (/.f64 (.f64 F F) (cbrt.f64 (tan.f64 (.f64 (PI.f64) l)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) (/.f64 (.f64 F F) (sqrt.f64 (tan.f64 (.f64 (PI.f64) l)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (tan.f64 (.f64 (PI.f64) l))) (.f64 F (neg.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 (.f64 (PI.f64) l)) 1) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 (.f64 (PI.f64) l)) -1) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F (neg.f64 F))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 (.f64 (PI.f64) l)) (/.f64 1 F)) (.f64 (cos.f64 (.f64 (PI.f64) l)) F))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1 (sin.f64 (.f64 (PI.f64) l))) (.f64 (.f64 F (neg.f64 F)) (cos.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 F) (sin.f64 (.f64 (PI.f64) l))) (.f64 F (cos.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) 1) (.f64 F F))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (cbrt.f64 (pow.f64 F 4))) (pow.f64 (cbrt.f64 F) 2))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (sin.f64 (.f64 (PI.f64) l)) (pow.f64 F -2)) (cos.f64 (.f64 (PI.f64) l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 -1 (tan.f64 (.f64 (PI.f64) l))) (.f64 F (neg.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (/.f64 1 F) (tan.f64 (.f64 (PI.f64) l))) F)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) -1) (.f64 F (neg.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 1 F)) F)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (.f64 (pow.f64 F -2) (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (.f64 (PI.f64) l)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) F) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (/.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 2) (pow.f64 F 4)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 (tan.f64 (.f64 (PI.f64) l))) (pow.f64 F -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 3) (pow.f64 (.f64 F F) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 3) (pow.f64 (pow.f64 F -2) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (pow.f64 F -2) 3) (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 F -2))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (tan.f64 (*.f64 (PI.f64) l)) (pow.f64 F -2))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (pow.f64 F -2))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 F -2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 F -2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 F -2)) (cbrt.f64 (pow.f64 (.f64 F F) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (pow.f64 (.f64 F F) -2)) (cbrt.f64 (pow.f64 F -2)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 F) (/.f64 1 F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 -1 (/.f64 1 (.f64 F (neg.f64 F))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (pow.f64 F 4)) -1) (pow.f64 (pow.f64 (cbrt.f64 F) 2) -1))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 F -2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 F F) -1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 F -2) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (pow.f64 F -2) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (pow.f64 F -2)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 1 F) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 F F) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 F -2)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (pow.f64 F -2))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (pow.f64 F -2) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 F -2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (pow.f64 F -2)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (.f64 2 (log.f64 F)) -1))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (pow.f64 F -2)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 F -2)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) l))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (PI.f64) l) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (PI.f64) l) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (PI.f64) l)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (PI.f64) l)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (PI.f64) l) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (exp.f64 l) (PI.f64)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (PI.f64) l) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (PI.f64) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (PI.f64) l)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (PI.f64) l)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (*.f64 (PI.f64) l)))))))

simplify36.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

580×	`associate-/r/_binary64`
523×	`associate-/l/_binary64`
465×	`associate-*l/_binary64`
353×	`associate-*r/_binary64`
230×	`associate-/l*_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	47	926
1	131	920
2	444	920
3	2361	917

Stop Event

1×	node limit

Counts

144 → 115

Calls

Call 1

Inputs
(*.f64 (PI.f64) l)
(+.f64 (.f64 (PI.f64) l) (.f64 1/3 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))))
(+.f64 (.f64 (PI.f64) l) (+.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/15 (*.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))
(+.f64 (.f64 (PI.f64) l) (+.f64 (.f64 17/315 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7))) (+.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/15 (*.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (*.f64 (PI.f64) l) (pow.f64 F 2))
(+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))
(+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2)))))
(+.f64 (.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (pow.f64 F 2))) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (pow.f64 F 2))

Outputs
(*.f64 (PI.f64) l)
(+.f64 (.f64 (PI.f64) l) (.f64 1/3 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))))
(fma.f64 (PI.f64) l (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))))
(fma.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (.f64 (PI.f64) l))
(fma.f64 (pow.f64 (PI.f64) 3) (.f64 1/3 (pow.f64 l 3)) (.f64 (PI.f64) l))
(+.f64 (.f64 (PI.f64) l) (+.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/15 (*.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))
(fma.f64 (PI.f64) l (fma.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (.f64 2/15 (*.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))
(fma.f64 (PI.f64) l (fma.f64 2/15 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (.f64 1/3 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))
(+.f64 (.f64 (PI.f64) l) (+.f64 (.f64 17/315 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7))) (+.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/15 (*.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))))
(fma.f64 (PI.f64) l (fma.f64 17/315 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (fma.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (.f64 2/15 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))))
(fma.f64 (PI.f64) l (fma.f64 17/315 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (fma.f64 2/15 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))))))
(fma.f64 (PI.f64) l (fma.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (fma.f64 2/15 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (.f64 17/315 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7))))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (*.f64 (PI.f64) l) (pow.f64 F 2))
(/.f64 (.f64 (PI.f64) l) (.f64 F F))
(*.f64 (/.f64 (PI.f64) F) (/.f64 l F))
(.f64 l (/.f64 (PI.f64) (.f64 F F)))
(+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))
(+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (.f64 F F) (pow.f64 l 3)))))
(fma.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (.f64 F F) (pow.f64 l 3))) (.f64 (/.f64 (PI.f64) F) (/.f64 l F)))
(fma.f64 (/.f64 (PI.f64) F) (/.f64 l F) (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (/.f64 (*.f64 F F) (pow.f64 l 3)) 1/3)))
(.f64 (/.f64 l F) (+.f64 (/.f64 (PI.f64) F) (/.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (.f64 l l))) F)))
(+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2)))))
(fma.f64 2/15 (/.f64 (pow.f64 (PI.f64) 5) (/.f64 (.f64 F F) (pow.f64 l 5))) (+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (*.f64 F F) (pow.f64 l 3))))))
(fma.f64 2/15 (.f64 (/.f64 (pow.f64 l 5) F) (/.f64 (pow.f64 (PI.f64) 5) F)) (fma.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (.f64 F F) (pow.f64 l 3))) (*.f64 (/.f64 (PI.f64) F) (/.f64 l F))))
(fma.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (.f64 F F) (pow.f64 l 3))) (fma.f64 (/.f64 2/15 F) (/.f64 (pow.f64 (PI.f64) 5) (/.f64 F (pow.f64 l 5))) (.f64 l (/.f64 (PI.f64) (*.f64 F F)))))
(fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (.f64 (/.f64 l F) (+.f64 (/.f64 (PI.f64) F) (/.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (.f64 l l))) F))))
(+.f64 (.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (pow.f64 F 2))) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))))
(fma.f64 17/315 (/.f64 (pow.f64 (PI.f64) 7) (/.f64 (.f64 F F) (pow.f64 l 7))) (fma.f64 2/15 (/.f64 (pow.f64 (PI.f64) 5) (/.f64 (.f64 F F) (pow.f64 l 5))) (+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (.f64 F F) (pow.f64 l 3)))))))
(fma.f64 17/315 (/.f64 (pow.f64 (PI.f64) 7) (/.f64 (.f64 F F) (pow.f64 l 7))) (fma.f64 2/15 (.f64 (/.f64 (pow.f64 l 5) F) (/.f64 (pow.f64 (PI.f64) 5) F)) (fma.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (.f64 F F) (pow.f64 l 3))) (.f64 (/.f64 (PI.f64) F) (/.f64 l F)))))
(fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (fma.f64 17/315 (.f64 (/.f64 (pow.f64 l 7) (.f64 F F)) (pow.f64 (PI.f64) 7)) (fma.f64 (/.f64 (PI.f64) F) (/.f64 l F) (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (/.f64 (*.f64 F F) (pow.f64 l 3)) 1/3)))))
(fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (fma.f64 17/315 (.f64 (/.f64 (pow.f64 l 7) F) (/.f64 (pow.f64 (PI.f64) 7) F)) (.f64 (/.f64 l F) (+.f64 (/.f64 (PI.f64) F) (/.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (*.f64 l l))) F)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))
(/.f64 1 (pow.f64 F 2))
(/.f64 1 (*.f64 F F))

prune193.0ms (2.8%)

Pruning

19 alts after pruning (19 fresh and 0 done)

	Pruned	Kept	Total
New	111	19	130
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	113	19	132

Error

11.4b

Counts

132 → 19

Alt Table

Status	Error	Program
	15.9b	(-.f64 (.f64 (PI.f64) l) (.f64 (exp.f64 (log.f64 (pow.f64 F -2))) (tan.f64 (*.f64 (PI.f64) l))))
	24.3b	(-.f64 (.f64 (PI.f64) l) (-.f64 (exp.f64 (log1p.f64 (.f64 (tan.f64 (*.f64 (PI.f64) l)) (pow.f64 F -2)))) 1))
	22.7b	(-.f64 (.f64 (PI.f64) l) (.f64 (cbrt.f64 (pow.f64 (pow.f64 F -2) 3)) (tan.f64 (*.f64 (PI.f64) l))))
	31.7b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (fma.f64 (PI.f64) l (fma.f64 2/15 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))))
	40.6b	(-.f64 (cbrt.f64 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
	23.0b	(-.f64 (.f64 (PI.f64) l) (.f64 (pow.f64 (pow.f64 (pow.f64 F -2) 3) 1/3) (tan.f64 (*.f64 (PI.f64) l))))
	44.6b	(-.f64 (sqrt.f64 (pow.f64 (.f64 (PI.f64) l) 2)) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
▶	11.6b	(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
	39.2b	(-.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) l)) 2) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
	35.3b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) F) 2))
	11.7b	(-.f64 (.f64 (PI.f64) l) (/.f64 (.f64 (sin.f64 (.f64 (PI.f64) l)) (/.f64 1 F)) (.f64 (cos.f64 (*.f64 (PI.f64) l)) F)))
	15.8b	(-.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) l)) 3) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
	21.4b	(-.f64 (.f64 (PI.f64) l) (.f64 (.f64 (cbrt.f64 (pow.f64 F -2)) (cbrt.f64 (pow.f64 (.f64 F F) -2))) (tan.f64 (*.f64 (PI.f64) l))))
	25.3b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 l F) (+.f64 (/.f64 (PI.f64) F) (/.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (*.f64 l l))) F))))
	15.1b	(-.f64 (.f64 (PI.f64) l) (/.f64 1 (/.f64 (.f64 F F) (tan.f64 (*.f64 (PI.f64) l)))))
	25.2b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) l))))))
	22.5b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (sqrt.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 2))))
	15.2b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) l)) 3))))
	50.0b	(-.f64 (pow.f64 (pow.f64 (.f64 (PI.f64) l) 3) 1/3) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))

Compiler

Compiled 3102 to 1515 computations (51.2% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)
✓	0.2b	(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
	0.3b	(*.f64 (PI.f64) l)
	26.6b	(tan.f64 (*.f64 (PI.f64) l))

series7.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	F	@	-inf	(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
1.0ms	l	@	0	(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
1.0ms	F	@	inf	(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
1.0ms	l	@	inf	(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
1.0ms	l	@	-inf	(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)

rewrite48.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

876×	`log1p-expm1-u_binary64`
876×	`expm1-log1p-u_binary64`
88×	`*-un-lft-identity_binary64`
88×	`add-sqr-sqrt_binary64`
88×	`pow1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	23
1	170	23
2	2340	23

Stop Event

1×	node limit

Counts

2 → 72

Calls

Call 1

Inputs
(/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)
(/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 1 F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) 2) (.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) (/.f64 1 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 2) (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) (.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) (/.f64 1 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (tan.f64 (.f64 (PI.f64) l))) (/.f64 1 (neg.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 F) (tan.f64 (.f64 (PI.f64) l)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.f64 (tan.f64 (.f64 (PI.f64) l)) (cbrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (tan.f64 (.f64 (PI.f64) l)) (sqrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) 2) 1) (/.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) 1) (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) 2) (pow.f64 (cbrt.f64 F) 2)) (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) (cbrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) 2) (sqrt.f64 F)) (/.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) (sqrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 F (tan.f64 (.f64 (PI.f64) l))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (neg.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 3) (pow.f64 F 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 (/.f64 1 F) (/.f64 1 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (tan.f64 (.f64 (PI.f64) l)) (/.f64 1 (.f64 F F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) (/.f64 1 F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))) 2) (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 2) (.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (/.f64 1 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) F) (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (.f64 (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (/.f64 1 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (neg.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (/.f64 1 (neg.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 F) (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) 2) F) (/.f64 (cbrt.f64 (tan.f64 (.f64 (PI.f64) l))) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) 1) (/.f64 (/.f64 1 F) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 2) 1) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 1) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) F))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 1 F) (cbrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (pow.f64 (cbrt.f64 F) 2)) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) (cbrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 2) (pow.f64 (cbrt.f64 F) 2)) (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (pow.f64 (cbrt.f64 F) 2)) (/.f64 (sqrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (cbrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (sqrt.f64 F)) (/.f64 (/.f64 1 F) (sqrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 1 (sqrt.f64 F)) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) (sqrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (/.f64 (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) 2) (sqrt.f64 F)) (/.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F)) (sqrt.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F)) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (/.f64 (sqrt.f64 (tan.f64 (.f64 (PI.f64) l))) F) 2)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 F (/.f64 F (tan.f64 (.f64 (PI.f64) l)))) -1)))) (#(struct:change #<rule egg-rr> (2) ((x neg.f64 (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) (neg.f64 F)))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F)) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F)))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F)) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (/.f64 (pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) 3) (pow.f64 F 3)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (.f64 F F))))))))

Outputs

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

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

simplify42.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

801×	`fma-def_binary64`
774×	`associate-/r/_binary64`
694×	`associate-/l/_binary64`
238×	`times-frac_binary64`
206×	`unswap-sqr_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	49	1130
1	138	1122
2	434	1118
3	2265	1118

Stop Event

1×	node limit

Counts

120 → 91

Calls

Call 1

Inputs
(/.f64 (*.f64 (PI.f64) l) F)
(+.f64 (/.f64 (.f64 (PI.f64) l) F) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) F)))
(+.f64 (/.f64 (.f64 (PI.f64) l) F) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) F)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) F))))
(+.f64 (.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) F)) (+.f64 (/.f64 (.f64 (PI.f64) l) F) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) F)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) F)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (*.f64 (PI.f64) l) (pow.f64 F 2))
(+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))
(+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2)))))
(+.f64 (.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (pow.f64 F 2))) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))

Outputs
(/.f64 (*.f64 (PI.f64) l) F)
(/.f64 l (/.f64 F (PI.f64)))
(*.f64 l (/.f64 (PI.f64) F))
(+.f64 (/.f64 (.f64 (PI.f64) l) F) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) F)))
(+.f64 (/.f64 (.f64 (PI.f64) l) F) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 F (pow.f64 l 3)))))
(fma.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 F (pow.f64 l 3))) (/.f64 l (/.f64 F (PI.f64))))
(fma.f64 1/3 (.f64 (/.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)) (.f64 l (/.f64 (PI.f64) F)))
(fma.f64 1/3 (.f64 (pow.f64 l 3) (/.f64 (pow.f64 (PI.f64) 3) F)) (.f64 l (/.f64 (PI.f64) F)))
(+.f64 (/.f64 (.f64 (PI.f64) l) F) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) F)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) F))))
(+.f64 (/.f64 (.f64 (PI.f64) l) F) (fma.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) F) (*.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 F (pow.f64 l 3))))))
(+.f64 (/.f64 l (/.f64 F (PI.f64))) (fma.f64 2/15 (/.f64 (pow.f64 (PI.f64) 5) (/.f64 F (pow.f64 l 5))) (*.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 F (pow.f64 l 3))))))
(fma.f64 1/3 (.f64 (/.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)) (fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) F)) (*.f64 l (/.f64 (PI.f64) F))))
(fma.f64 1/3 (.f64 (pow.f64 l 3) (/.f64 (pow.f64 (PI.f64) 3) F)) (fma.f64 (/.f64 2/15 F) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (*.f64 l (/.f64 (PI.f64) F))))
(+.f64 (.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) F)) (+.f64 (/.f64 (.f64 (PI.f64) l) F) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) F)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) F)))))
(fma.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) F) (+.f64 (/.f64 (.f64 (PI.f64) l) F) (fma.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) F) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 F (pow.f64 l 3)))))))
(+.f64 (fma.f64 2/15 (/.f64 (pow.f64 (PI.f64) 5) (/.f64 F (pow.f64 l 5))) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 F (pow.f64 l 3))))) (fma.f64 17/315 (.f64 (/.f64 (pow.f64 (PI.f64) 7) F) (pow.f64 l 7)) (/.f64 l (/.f64 F (PI.f64)))))
(fma.f64 17/315 (.f64 (pow.f64 l 7) (/.f64 (pow.f64 (PI.f64) 7) F)) (fma.f64 1/3 (.f64 (/.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)) (fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) F)) (.f64 l (/.f64 (PI.f64) F)))))
(fma.f64 (/.f64 2/15 F) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (fma.f64 (/.f64 17/315 F) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (fma.f64 1/3 (.f64 (pow.f64 l 3) (/.f64 (pow.f64 (PI.f64) 3) F)) (.f64 l (/.f64 (PI.f64) F)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (*.f64 (PI.f64) l) (pow.f64 F 2))
(/.f64 (.f64 (PI.f64) l) (.f64 F F))
(*.f64 (/.f64 (PI.f64) F) (/.f64 l F))
(/.f64 (PI.f64) (/.f64 (*.f64 F F) l))
(+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))
(+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (*.f64 F F))))
(fma.f64 1/3 (/.f64 (pow.f64 l 3) (/.f64 (.f64 F F) (pow.f64 (PI.f64) 3))) (.f64 (/.f64 (PI.f64) F) (/.f64 l F)))
(fma.f64 l (/.f64 (PI.f64) (.f64 F F)) (.f64 1/3 (.f64 (pow.f64 l 3) (/.f64 (pow.f64 (PI.f64) 3) (.f64 F F)))))
(+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2)))))
(fma.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (.f64 F F)) (+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (*.f64 F F)))))
(fma.f64 2/15 (.f64 (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F)) (pow.f64 l 5)) (fma.f64 1/3 (/.f64 (pow.f64 l 3) (/.f64 (.f64 F F) (pow.f64 (PI.f64) 3))) (.f64 (/.f64 (PI.f64) F) (/.f64 l F))))
(fma.f64 1/3 (/.f64 (pow.f64 l 3) (/.f64 (.f64 F F) (pow.f64 (PI.f64) 3))) (fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (.f64 (/.f64 (PI.f64) F) (/.f64 l F))))
(fma.f64 1/3 (.f64 (pow.f64 l 3) (/.f64 (pow.f64 (PI.f64) 3) (.f64 F F))) (fma.f64 (.f64 2/15 (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (pow.f64 l 5) (/.f64 (PI.f64) (/.f64 (*.f64 F F) l))))
(+.f64 (.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (pow.f64 F 2))) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))))
(fma.f64 17/315 (/.f64 (pow.f64 (PI.f64) 7) (/.f64 (.f64 F F) (pow.f64 l 7))) (fma.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (.f64 F F)) (+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (.f64 F F))))))
(fma.f64 17/315 (/.f64 (pow.f64 (PI.f64) 7) (/.f64 F (/.f64 (pow.f64 l 7) F))) (fma.f64 2/15 (.f64 (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F)) (pow.f64 l 5)) (fma.f64 1/3 (/.f64 (pow.f64 l 3) (/.f64 (.f64 F F) (pow.f64 (PI.f64) 3))) (.f64 (/.f64 (PI.f64) F) (/.f64 l F)))))
(fma.f64 17/315 (/.f64 (pow.f64 (PI.f64) 7) (.f64 (/.f64 F (pow.f64 l 7)) F)) (fma.f64 1/3 (/.f64 (pow.f64 l 3) (/.f64 (.f64 F F) (pow.f64 (PI.f64) 3))) (fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (*.f64 (/.f64 (PI.f64) F) (/.f64 l F)))))
(fma.f64 17/315 (.f64 (pow.f64 l 7) (/.f64 (pow.f64 (PI.f64) 7) (.f64 F F))) (fma.f64 1/3 (.f64 (pow.f64 l 3) (/.f64 (pow.f64 (PI.f64) 3) (.f64 F F))) (fma.f64 (.f64 2/15 (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (pow.f64 l 5) (/.f64 (PI.f64) (/.f64 (*.f64 F F) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (cos.f64 (.f64 (PI.f64) l)) (.f64 F F)))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F F)) (cos.f64 (*.f64 (PI.f64) l)))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))

prune271.0ms (3.9%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	139	11	150
Fresh	13	5	18
Picked	1	0	1
Done	0	0	0
Total	153	16	169

Error

11.4b

Counts

169 → 16

Alt Table

Status	Error	Program
	37.1b	(-.f64 (cbrt.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3))) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
▶	11.6b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) -1))
	15.3b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (*.f64 F F))) 3))
	23.0b	(-.f64 (.f64 (PI.f64) l) (.f64 (pow.f64 (pow.f64 (pow.f64 F -2) 3) 1/3) (tan.f64 (*.f64 (PI.f64) l))))
	12.3b	(-.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) l)) 3) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
	44.6b	(-.f64 (sqrt.f64 (pow.f64 (.f64 (PI.f64) l) 2)) (.f64 (/.f64 1 (.f64 F F)) (tan.f64 (.f64 (PI.f64) l))))
	38.2b	(-.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) l)) 2) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
	25.3b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 l F) (+.f64 (/.f64 (PI.f64) F) (/.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (*.f64 l l))) F))))
	20.4b	(-.f64 (.f64 (PI.f64) l) (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (*.f64 F F)))))
	14.5b	(-.f64 (.f64 (PI.f64) l) (/.f64 (expm1.f64 (log1p.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F))) F))
	15.9b	(-.f64 (.f64 (PI.f64) l) (.f64 (exp.f64 (log.f64 (pow.f64 F -2))) (tan.f64 (*.f64 (PI.f64) l))))
	17.3b	(-.f64 (.f64 (PI.f64) l) (/.f64 (sqrt.f64 (pow.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) 2)) F))
	22.5b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 (.f64 F F)) (sqrt.f64 (pow.f64 (tan.f64 (.f64 (PI.f64) l)) 2))))
	21.7b	(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) l)))) F) F))
	46.7b	(-.f64 (pow.f64 (pow.f64 (.f64 (PI.f64) l) 3) 1/3) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
	11.8b	(-.f64 (.f64 (PI.f64) l) (/.f64 (/.f64 (tan.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) l)) 3)) F) F))

Compiler

Compiled 3378 to 1412 computations (58.2% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))
	0.3b	(*.f64 (PI.f64) l)
✓	0.6b	(pow.f64 (.f64 F (/.f64 F (tan.f64 (.f64 (PI.f64) l)))) -1)
	26.6b	(tan.f64 (*.f64 (PI.f64) l))

series11.0ms (0.2%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
2.0ms	l	@	-inf	(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))
1.0ms	F	@	0	(pow.f64 (.f64 F (/.f64 F (tan.f64 (.f64 (PI.f64) l)))) -1)
1.0ms	l	@	-inf	(pow.f64 (.f64 F (/.f64 F (tan.f64 (.f64 (PI.f64) l)))) -1)
1.0ms	l	@	inf	(pow.f64 (.f64 F (/.f64 F (tan.f64 (.f64 (PI.f64) l)))) -1)
1.0ms	l	@	0	(pow.f64 (.f64 F (/.f64 F (tan.f64 (.f64 (PI.f64) l)))) -1)

rewrite54.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

545×	`log-prod_binary64`
194×	`pow1/3_binary64`
188×	`expm1-udef_binary64`
188×	`log1p-udef_binary64`
177×	`pow3_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	26
1	211	23
2	2678	23

Stop Event

1×	node limit

Counts

2 → 67

Calls

Call 1

Inputs
(pow.f64 (.f64 F (/.f64 F (tan.f64 (.f64 (PI.f64) l)))) -1)
(/.f64 F (tan.f64 (*.f64 (PI.f64) l)))

Outputs

((#(struct:change #<rule egg-rr> (2) ((x +.f64 0 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (*.f64 (cbrt.f64 (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))) (cbrt.f64 (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))))) (log.f64 (cbrt.f64 (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (log.f64 (sqrt.f64 (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))) (log.f64 (sqrt.f64 (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))))) (#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F) 1)))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 1 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)) (cbrt.f64 (pow.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) -2)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (cbrt.f64 (pow.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) -2)) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) (/.f64 1 F))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)) (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (cbrt.f64 (pow.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) 2))) (cbrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))) (#(struct:change #<rule egg-rr> (2) ((x *.f64 (/.f64 1 (*.f64 F F)) (tan.f64 (*.f64 (PI.f64) l)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 -1 (neg.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 F) (/.f64 F (tan.f64 (*.f64 (PI.f64) l))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (sqrt.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)) (/.f64 F (sqrt.f64 (tan.f64 (*.f64 (PI.f64) l)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (/.f64 1 (cbrt.f64 (pow.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) 2))) (cbrt.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F))))))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (/.f64 F (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)) -2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F) 3))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (*.f64 (log.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (/.f64 (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F) F)))))))

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

simplify42.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

515×	`distribute-rgt-neg-in_binary64`
430×	`unswap-sqr_binary64`
378×	`associate-l_binary64`
377×	`associate-r_binary64`
325×	`fma-neg_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	1112
1	180	1106
2	614	1102
3	3544	1098

Stop Event

1×	node limit

Counts

115 → 86

Calls

Call 1

Inputs
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (*.f64 (PI.f64) l) (pow.f64 F 2))
(+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))
(+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2)))))
(+.f64 (.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (pow.f64 F 2))) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (*.f64 (PI.f64) l))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (.f64 1/3 (.f64 (PI.f64) (.f64 l F))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 F (pow.f64 l 3))))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) F))))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))

Outputs
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (*.f64 (PI.f64) l) (pow.f64 F 2))
(/.f64 (.f64 (PI.f64) l) (.f64 F F))
(.f64 l (/.f64 (PI.f64) (.f64 F F)))
(+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))
(+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (.f64 F F) (pow.f64 l 3)))))
(fma.f64 1/3 (.f64 (/.f64 (pow.f64 (PI.f64) 3) (.f64 F F)) (pow.f64 l 3)) (/.f64 (.f64 (PI.f64) l) (.f64 F F)))
(fma.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (.f64 (/.f64 F (pow.f64 l 3)) F)) (.f64 l (/.f64 (PI.f64) (*.f64 F F))))
(+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2)))))
(fma.f64 2/15 (/.f64 (pow.f64 (PI.f64) 5) (/.f64 (.f64 F F) (pow.f64 l 5))) (+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (*.f64 F F) (pow.f64 l 3))))))
(fma.f64 2/15 (.f64 (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F)) (pow.f64 l 5)) (fma.f64 1/3 (.f64 (/.f64 (pow.f64 (PI.f64) 3) (.f64 F F)) (pow.f64 l 3)) (/.f64 (.f64 (PI.f64) l) (.f64 F F))))
(fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (fma.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (.f64 (/.f64 F (pow.f64 l 3)) F)) (.f64 l (/.f64 (PI.f64) (*.f64 F F)))))
(+.f64 (.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (pow.f64 F 2))) (+.f64 (.f64 2/15 (/.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)) (pow.f64 F 2))) (+.f64 (/.f64 (.f64 (PI.f64) l) (pow.f64 F 2)) (.f64 1/3 (/.f64 (*.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) (pow.f64 F 2))))))
(fma.f64 17/315 (/.f64 (.f64 (pow.f64 (PI.f64) 7) (pow.f64 l 7)) (.f64 F F)) (fma.f64 2/15 (/.f64 (pow.f64 (PI.f64) 5) (/.f64 (.f64 F F) (pow.f64 l 5))) (+.f64 (/.f64 (.f64 (PI.f64) l) (.f64 F F)) (.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (/.f64 (*.f64 F F) (pow.f64 l 3)))))))
(fma.f64 17/315 (.f64 (/.f64 (pow.f64 (PI.f64) 7) (.f64 F F)) (pow.f64 l 7)) (fma.f64 2/15 (.f64 (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F)) (pow.f64 l 5)) (fma.f64 1/3 (.f64 (/.f64 (pow.f64 (PI.f64) 3) (.f64 F F)) (pow.f64 l 3)) (/.f64 (.f64 (PI.f64) l) (.f64 F F)))))
(fma.f64 2/15 (.f64 (pow.f64 l 5) (/.f64 (pow.f64 (PI.f64) 5) (.f64 F F))) (fma.f64 17/315 (.f64 (pow.f64 l 7) (/.f64 (pow.f64 (PI.f64) 7) (.f64 F F))) (fma.f64 1/3 (/.f64 (pow.f64 (PI.f64) 3) (.f64 (/.f64 F (pow.f64 l 3)) F)) (.f64 l (/.f64 (PI.f64) (*.f64 F F))))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (pow.f64 F 2) (cos.f64 (*.f64 (PI.f64) l))))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 (.f64 F F) (cos.f64 (.f64 (PI.f64) l))))
(/.f64 (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))) (*.f64 F F))
(/.f64 (sin.f64 (.f64 (PI.f64) l)) (.f64 F (.f64 F (cos.f64 (.f64 (PI.f64) l)))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 F (*.f64 (PI.f64) l))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (.f64 1/3 (.f64 (PI.f64) (.f64 l F))))
(+.f64 (/.f64 F (.f64 (PI.f64) l)) (.f64 -1/3 (.f64 (.f64 (PI.f64) l) F)))
(+.f64 (/.f64 F (.f64 (PI.f64) l)) (.f64 (.f64 -1/3 (.f64 (PI.f64) l)) F))
(fma.f64 (.f64 (.f64 (PI.f64) l) F) -1/3 (/.f64 F (*.f64 (PI.f64) l)))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 F (pow.f64 l 3))))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (fma.f64 1/3 (.f64 (.f64 (PI.f64) l) F) (.f64 1/45 (.f64 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) F))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (fma.f64 1/3 (.f64 (PI.f64) (.f64 l F)) (.f64 (pow.f64 (PI.f64) 3) (.f64 (.f64 F (pow.f64 l 3)) 1/45))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (.f64 F (+.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) 1/45)) (.f64 (PI.f64) (.f64 l 1/3)))))
(+.f64 (/.f64 F (.f64 (PI.f64) l)) (.f64 F (fma.f64 (.f64 (PI.f64) l) -1/3 (.f64 (pow.f64 l 3) (*.f64 (pow.f64 (PI.f64) 3) -1/45)))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) F))))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (fma.f64 1/3 (.f64 (.f64 (PI.f64) l) F) (fma.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 F (pow.f64 l 5))) (.f64 1/45 (.f64 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)) F)))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (fma.f64 1/3 (.f64 (PI.f64) (.f64 l F)) (fma.f64 1/45 (.f64 F (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 l 5) (.f64 (pow.f64 (PI.f64) 5) F))))))
(-.f64 (/.f64 F (.f64 (PI.f64) l)) (fma.f64 (pow.f64 (PI.f64) 5) (.f64 F (.f64 (pow.f64 l 5) 2/945)) (.f64 F (+.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) 1/45)) (.f64 (PI.f64) (.f64 l 1/3))))))
(+.f64 (/.f64 F (.f64 (PI.f64) l)) (fma.f64 F (fma.f64 (.f64 (PI.f64) l) -1/3 (.f64 (pow.f64 l 3) (.f64 (pow.f64 (PI.f64) 3) -1/45))) (.f64 (.f64 (pow.f64 l 5) (*.f64 F (pow.f64 (PI.f64) 5))) -2/945)))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))
(/.f64 (.f64 F (cos.f64 (.f64 (PI.f64) l))) (sin.f64 (*.f64 (PI.f64) l)))
(/.f64 F (/.f64 (sin.f64 (.f64 (PI.f64) l)) (cos.f64 (.f64 (PI.f64) l))))
(.f64 (/.f64 F (sin.f64 (.f64 (PI.f64) l))) (cos.f64 (*.f64 (PI.f64) l)))
(.f64 (cos.f64 (.f64 (PI.f64) l)) (/.f64 F (sin.f64 (*.f64 (PI.f64) l))))

prune174.0ms (2.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	141	4	145
Fresh	10	5	15
Picked	1	0	1
Done	0	0	0
Total	152	9	161

Error

2.1b

Counts

161 → 9

Alt Table

Status	Error	Program
▶	2.6b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) F))))))) -1))
	15.9b	(-.f64 (.f64 (PI.f64) l) (.f64 (exp.f64 (log.f64 (pow.f64 F -2))) (tan.f64 (*.f64 (PI.f64) l))))
	15.3b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (*.f64 F F))) 3))
	23.0b	(-.f64 (.f64 (PI.f64) l) (.f64 (pow.f64 (pow.f64 (pow.f64 F -2) 3) 1/3) (tan.f64 (*.f64 (PI.f64) l))))
	12.3b	(-.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) l)) 3) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
	11.7b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
	37.1b	(-.f64 (cbrt.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3))) (pow.f64 (.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) -1))
	25.3b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 l F) (+.f64 (/.f64 (PI.f64) F) (/.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (*.f64 l l))) F))))
	38.2b	(-.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) l)) 2) (pow.f64 (.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) -1))

Compiler

Compiled 3319 to 1449 computations (56.3% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(pow.f64 (PI.f64) 5)
✓	2.2b	(.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F)))))))
✓	3.7b	(*.f64 (pow.f64 l 5) F)
✓	6.1b	(*.f64 (pow.f64 l 3) F)

series30.0ms (0.4%)

Counts

4 → 48

Calls

18 calls:

Time	Variable		Point	Expression
9.0ms	F	@	0	(.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F)))))))
4.0ms	F	@	inf	(.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F)))))))
3.0ms	l	@	-inf	(.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F)))))))
2.0ms	F	@	inf	(*.f64 (pow.f64 l 5) F)
1.0ms	F	@	-inf	(.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F)))))))

rewrite37.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

314×	`add-sqr-sqrt_binary64`
305×	`pow1_binary64`
296×	`add-log-exp_binary64`
296×	`log1p-expm1-u_binary64`
296×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	77
1	640	77

Stop Event

1×	node limit

Counts

4 → 27

Calls

Call 1

Inputs
(*.f64 (pow.f64 l 3) F)
(*.f64 (pow.f64 l 5) F)
(.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) F))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F)))))))
(pow.f64 (PI.f64) 5)

Outputs
((#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (pow.f64 l 3) F) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 (pow.f64 l 3) F)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 (pow.f64 l 3) F) (.f64 (pow.f64 l 3) F)) (.f64 (pow.f64 l 3) F)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (pow.f64 l 3) F)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (pow.f64 l 3) F)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (pow.f64 l 3) F)))))))
((#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 F (pow.f64 l 5)) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 F (pow.f64 l 5))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 F (pow.f64 l 5)) (.f64 F (pow.f64 l 5))) (.f64 F (pow.f64 l 5))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 F (pow.f64 l 5))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 F (pow.f64 l 5))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 F (pow.f64 l 5))))))))
((#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3))))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3))))))) (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)))))))) (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)))))))))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3)))))))))))))
((#(struct:change #<rule egg-rr> (2) ((x .f64 1 (pow.f64 (PI.f64) 5))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (.f64 (cbrt.f64 (pow.f64 (PI.f64) 5)) (cbrt.f64 (pow.f64 (PI.f64) 5))) (cbrt.f64 (pow.f64 (PI.f64) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (pow.f64 (PI.f64) 5)) (sqrt.f64 (pow.f64 (PI.f64) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (PI.f64) 5/2) (pow.f64 (PI.f64) 5/2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (pow.f64 (PI.f64) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 (PI.f64) 5)) (pow.f64 (PI.f64) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (pow.f64 (PI.f64) 5)))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (PI.f64)) 5))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (pow.f64 (PI.f64) 5)))))))

simplify48.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

650×	`associate-l_binary64`
549×	`unswap-sqr_binary64`
497×	`associate-r_binary64`
258×	`fma-def_binary64`
255×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	70	1269
1	221	1269
2	750	1225
3	4318	1225

Stop Event

1×	node limit

Counts

75 → 47

Calls

Call 1

Inputs
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(.f64 (pow.f64 F 2) (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))))
(.f64 (pow.f64 F 2) (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))))
(.f64 (pow.f64 F 2) (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))))
(.f64 (pow.f64 F 2) (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))))
(.f64 (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (pow.f64 F 2))
(.f64 (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (pow.f64 F 2))
(.f64 (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (pow.f64 F 2))
(.f64 (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (pow.f64 F 2))
(.f64 -1 (.f64 (pow.f64 F 2) (-.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))) (/.f64 1 (*.f64 (PI.f64) l)))))
(.f64 -1 (.f64 (pow.f64 F 2) (-.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))) (/.f64 1 (*.f64 (PI.f64) l)))))
(.f64 -1 (.f64 (pow.f64 F 2) (-.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))) (/.f64 1 (*.f64 (PI.f64) l)))))
(.f64 -1 (.f64 (pow.f64 F 2) (-.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))) (/.f64 1 (*.f64 (PI.f64) l)))))
(/.f64 (pow.f64 F 2) (*.f64 (PI.f64) l))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (.f64 1/3 (.f64 (PI.f64) (.f64 l (pow.f64 F 2)))))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 (pow.f64 F 2) l))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 F 2) (pow.f64 l 3))))))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 (pow.f64 F 2) l))) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) (pow.f64 F 2)))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))))))
(.f64 -2/945 (.f64 (pow.f64 (PI.f64) 5) (*.f64 (pow.f64 F 2) (pow.f64 l 5))))
(neg.f64 (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) (pow.f64 F 2)))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2))))))
(neg.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 (pow.f64 F 2) l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 F 2) (pow.f64 l 3)))))))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 F 2) (pow.f64 l 3)))) (.f64 1/3 (.f64 (PI.f64) (.f64 l (pow.f64 F 2)))))))
(.f64 -2/945 (.f64 (pow.f64 (PI.f64) 5) (*.f64 (pow.f64 F 2) (pow.f64 l 5))))
(neg.f64 (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) (pow.f64 F 2)))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2))))))
(neg.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 (pow.f64 F 2) l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 F 2) (pow.f64 l 3)))))))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 F 2) (pow.f64 l 3)))) (.f64 1/3 (.f64 (PI.f64) (.f64 l (pow.f64 F 2)))))))

Outputs
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 3))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(*.f64 F (pow.f64 l 5))
(.f64 (pow.f64 F 2) (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 (pow.f64 F 2) (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 (pow.f64 F 2) (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 (pow.f64 F 2) (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5)))))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (pow.f64 F 2))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (pow.f64 F 2))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (pow.f64 F 2))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 (-.f64 (/.f64 1 (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3)))))) (pow.f64 F 2))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 -1 (.f64 (pow.f64 F 2) (-.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))) (/.f64 1 (*.f64 (PI.f64) l)))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 -1 (.f64 (pow.f64 F 2) (-.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))) (/.f64 1 (*.f64 (PI.f64) l)))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 -1 (.f64 (pow.f64 F 2) (-.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))) (/.f64 1 (*.f64 (PI.f64) l)))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 -1 (.f64 (pow.f64 F 2) (-.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) l)) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 l 3))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (pow.f64 l 5))))) (/.f64 1 (*.f64 (PI.f64) l)))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(/.f64 (pow.f64 F 2) (*.f64 (PI.f64) l))
(/.f64 (/.f64 (*.f64 F F) (PI.f64)) l)
(*.f64 (/.f64 F l) (/.f64 F (PI.f64)))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (.f64 1/3 (.f64 (PI.f64) (.f64 l (pow.f64 F 2)))))
(-.f64 (/.f64 (/.f64 (.f64 F F) (PI.f64)) l) (.f64 (.f64 1/3 (PI.f64)) (.f64 l (*.f64 F F))))
(+.f64 (.f64 (/.f64 F l) (/.f64 F (PI.f64))) (.f64 (.f64 -1/3 (PI.f64)) (.f64 l (*.f64 F F))))
(fma.f64 (.f64 F (.f64 F (.f64 l (PI.f64)))) -1/3 (.f64 (/.f64 F l) (/.f64 F (PI.f64))))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 (pow.f64 F 2) l))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 F 2) (pow.f64 l 3))))))
(-.f64 (/.f64 (/.f64 (.f64 F F) (PI.f64)) l) (fma.f64 1/3 (.f64 (PI.f64) (.f64 l (.f64 F F))) (.f64 (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 3) (.f64 F F)))))
(-.f64 (.f64 (/.f64 F l) (/.f64 F (PI.f64))) (fma.f64 1/3 (.f64 l (.f64 (.f64 F F) (PI.f64))) (.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 F F) 1/45))))
(-.f64 (.f64 (/.f64 F l) (/.f64 F (PI.f64))) (.f64 (.f64 F F) (fma.f64 l (.f64 (PI.f64) 1/3) (.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3))))))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 (pow.f64 F 2) l))) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) (pow.f64 F 2)))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 -2/945 (.f64 (pow.f64 (PI.f64) 5) (*.f64 (pow.f64 F 2) (pow.f64 l 5))))
(.f64 (.f64 -2/945 (pow.f64 (PI.f64) 5)) (.f64 (pow.f64 l 5) (.f64 F F)))
(.f64 (pow.f64 (PI.f64) 5) (.f64 (.f64 (pow.f64 l 5) (.f64 F F)) -2/945))
(.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (.f64 F (.f64 F -2/945))))
(neg.f64 (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) (pow.f64 F 2)))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2))))))
(neg.f64 (fma.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (.f64 F F))) (.f64 (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 3) (*.f64 F F)))))
(-.f64 (.f64 (pow.f64 (PI.f64) 5) (.f64 (.f64 (pow.f64 l 5) (.f64 F F)) -2/945)) (.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 F F) 1/45)))
(neg.f64 (.f64 (.f64 F F) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))
(neg.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 (pow.f64 F 2) l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 F 2) (pow.f64 l 3)))))))
(neg.f64 (fma.f64 1/3 (.f64 (PI.f64) (.f64 l (.f64 F F))) (fma.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (.f64 F F))) (.f64 (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 3) (.f64 F F))))))
(-.f64 (.f64 (.f64 -1/3 (PI.f64)) (.f64 l (.f64 F F))) (fma.f64 2/945 (.f64 (.f64 F F) (.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5))) (.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (*.f64 F F) 1/45))))
(.f64 F (.f64 F (-.f64 (.f64 l (.f64 (PI.f64) -1/3)) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5)))))))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 F 2) (pow.f64 l 3)))) (.f64 1/3 (.f64 (PI.f64) (.f64 l (pow.f64 F 2)))))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 -2/945 (.f64 (pow.f64 (PI.f64) 5) (*.f64 (pow.f64 F 2) (pow.f64 l 5))))
(.f64 (.f64 -2/945 (pow.f64 (PI.f64) 5)) (.f64 (pow.f64 l 5) (.f64 F F)))
(.f64 (pow.f64 (PI.f64) 5) (.f64 (.f64 (pow.f64 l 5) (.f64 F F)) -2/945))
(.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (.f64 F (.f64 F -2/945))))
(neg.f64 (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) (pow.f64 F 2)))) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2))))))
(neg.f64 (fma.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (.f64 F F))) (.f64 (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 3) (*.f64 F F)))))
(-.f64 (.f64 (pow.f64 (PI.f64) 5) (.f64 (.f64 (pow.f64 l 5) (.f64 F F)) -2/945)) (.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 F F) 1/45)))
(neg.f64 (.f64 (.f64 F F) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))
(neg.f64 (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 (pow.f64 F 2) l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 F 2) (pow.f64 l 3)))))))
(neg.f64 (fma.f64 1/3 (.f64 (PI.f64) (.f64 l (.f64 F F))) (fma.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (.f64 F F))) (.f64 (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 3) (.f64 F F))))))
(-.f64 (.f64 (.f64 -1/3 (PI.f64)) (.f64 l (.f64 F F))) (fma.f64 2/945 (.f64 (.f64 F F) (.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5))) (.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (*.f64 F F) 1/45))))
(.f64 F (.f64 F (-.f64 (.f64 l (.f64 (PI.f64) -1/3)) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5)))))))
(-.f64 (/.f64 (pow.f64 F 2) (.f64 (PI.f64) l)) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 l 5) (pow.f64 F 2)))) (+.f64 (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 F 2) (pow.f64 l 3)))) (.f64 1/3 (.f64 (PI.f64) (.f64 l (pow.f64 F 2)))))))
(.f64 (.f64 F F) (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 l (PI.f64)) (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 2/945 (*.f64 (pow.f64 l 5) (pow.f64 (PI.f64) 5)))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 (.f64 l (PI.f64)) 1/3 (fma.f64 1/45 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))
(.f64 F (.f64 F (-.f64 (/.f64 1 (.f64 l (PI.f64))) (fma.f64 l (.f64 (PI.f64) 1/3) (fma.f64 (pow.f64 l 3) (.f64 1/45 (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 l 5) (*.f64 2/945 (pow.f64 (PI.f64) 5))))))))

prune90.0ms (1.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	44	3	47
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	45	11	56

Error

1.5b

Counts

56 → 11

Alt Table

Status	Error	Program
	15.3b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (cbrt.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) (*.f64 F F))) 3))
	23.0b	(-.f64 (.f64 (PI.f64) l) (.f64 (pow.f64 (pow.f64 (pow.f64 F -2) 3) 1/3) (tan.f64 (*.f64 (PI.f64) l))))
	12.3b	(-.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) l)) 3) (/.f64 (/.f64 (tan.f64 (.f64 (PI.f64) l)) F) F))
	11.7b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 1 F) (/.f64 (tan.f64 (*.f64 (PI.f64) l)) F)))
	15.9b	(-.f64 (.f64 (PI.f64) l) (.f64 (exp.f64 (log.f64 (pow.f64 F -2))) (tan.f64 (*.f64 (PI.f64) l))))
	37.1b	(-.f64 (cbrt.f64 (.f64 (pow.f64 l 3) (pow.f64 (PI.f64) 3))) (pow.f64 (.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) -1))
	2.6b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (pow.f64 (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3))))))) 1) -1))
	2.3b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (log.f64 (exp.f64 (.f64 F (pow.f64 l 5)))))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) F))))))) -1))
	25.3b	(-.f64 (.f64 (PI.f64) l) (.f64 (/.f64 l F) (+.f64 (/.f64 (PI.f64) F) (/.f64 (.f64 1/3 (.f64 (pow.f64 (PI.f64) 3) (*.f64 l l))) F))))
	38.2b	(-.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) l)) 2) (pow.f64 (.f64 F (/.f64 F (tan.f64 (*.f64 (PI.f64) l)))) -1))
	33.5b	(-.f64 (.f64 (PI.f64) l) (pow.f64 (exp.f64 (log.f64 (.f64 F (-.f64 (/.f64 F (.f64 l (PI.f64))) (fma.f64 1/3 (.f64 (.f64 (PI.f64) F) l) (fma.f64 2/945 (.f64 (.f64 F (pow.f64 l 5)) (pow.f64 (PI.f64) 5)) (.f64 1/45 (.f64 (.f64 (pow.f64 l 3) F) (pow.f64 (PI.f64) 3))))))))) -1))

Compiler

Compiled 2345 to 1424 computations (39.3% saved)

regimes1.0s (14.8%)

Accuracy

Total 0.6b remaining (33.6%)

Threshold costs 0.6b (33.6%)

Counts

227 → 1

Compiler

Compiled 4431 to 1881 computations (57.5% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

29×	`*-commutative_binary64`
22×	`+-commutative_binary64`
20×	`sub-neg_binary64`
18×	`neg-sub0_binary64`
18×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	76
1	50	76
2	61	76
3	82	76
4	116	76
5	150	76
6	178	76
7	196	76
8	204	76
9	205	76

Stop Event

1×

saturated

Calls

Call 1

Inputs

(-.f64 (*.f64 (PI.f64) l) (pow.f64 (*.f64 F (-.f64 (/.f64 F (*.f64 (PI.f64) l)) (+.f64 (*.f64 1/3 (*.f64 (PI.f64) (*.f64 F l))) (+.f64 (*.f64 2/945 (*.f64 (pow.f64 (PI.f64) 5) (log.f64 (exp.f64 (*.f64 F (pow.f64 l 5)))))) (*.f64 1/45 (*.f64 (pow.f64 (PI.f64) 3) (*.f64 (pow.f64 l 3) F))))))) -1))

Outputs
(-.f64 (.f64 (PI.f64) l) (pow.f64 (.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 F l))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (log.f64 (exp.f64 (.f64 F (pow.f64 l 5)))))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 l 3) F))))))) -1))
(-.f64 (.f64 (PI.f64) l) (pow.f64 (.f64 F (-.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 1/3 (.f64 (PI.f64) (.f64 l F))) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (log.f64 (exp.f64 (.f64 F (pow.f64 l 5)))))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 F (pow.f64 l 3)))))))) -1))
(-.f64 (.f64 (PI.f64) l) (pow.f64 (.f64 F (+.f64 (/.f64 F (.f64 (PI.f64) l)) (-.f64 (.f64 (.f64 (PI.f64) (.f64 l F)) -1/3) (+.f64 (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (log.f64 (exp.f64 (.f64 F (pow.f64 l 5)))))) (.f64 1/45 (.f64 (pow.f64 (PI.f64) 3) (.f64 F (pow.f64 l 3)))))))) -1))
(-.f64 (.f64 (PI.f64) l) (pow.f64 (.f64 F (+.f64 (/.f64 F (.f64 (PI.f64) l)) (+.f64 (.f64 (.f64 (PI.f64) (.f64 l F)) -1/3) (-.f64 (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 F (pow.f64 l 3))) -1/45) (.f64 2/945 (.f64 (pow.f64 (PI.f64) 5) (log.f64 (exp.f64 (.f64 F (pow.f64 l 5)))))))))) -1))

end252.0ms (3.6%)

Stop Event

1×

fuel

Compiler

Compiled 390 to 269 computations (31% saved)

Details

analyze1.1s (16.5%)

sample3.2s (46.5%)

preprocess71.0ms (1%)

simplify18.0ms (0.3%)

prune3.0ms (0%)

localize9.0ms (0.1%)

series12.0ms (0.2%)

rewrite50.0ms (0.7%)

simplify36.0ms (0.5%)

prune193.0ms (2.8%)

localize7.0ms (0.1%)

series7.0ms (0.1%)

rewrite48.0ms (0.7%)

simplify42.0ms (0.6%)

prune271.0ms (3.9%)

localize8.0ms (0.1%)

series11.0ms (0.2%)

rewrite54.0ms (0.8%)

simplify42.0ms (0.6%)

prune174.0ms (2.5%)

localize26.0ms (0.4%)

series30.0ms (0.4%)

rewrite37.0ms (0.5%)

simplify48.0ms (0.7%)

prune90.0ms (1.3%)

regimes1.0s (14.8%)

simplify6.0ms (0.1%)

end252.0ms (3.6%)

Profiling