Details

analyze1.6s (12.4%)

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
25%	74.9%	0.1%	6
31.2%	68.6%	0.1%	7
37.4%	62.4%	0.1%	8
45.2%	54.6%	0.1%	9
45.2%	54.6%	0.1%	10
50.3%	49.5%	0.1%	11
56.4%	43.5%	0.1%	12
56.4%	41.4%	2.2%	13
59.3%	37.9%	2.8%	14

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample5.7s (43.6%)

Results

1.3s	1465×	body	1024	valid
1.2s	5411×	body	128	valid
1.1s	1337×	body	1024	invalid
463.0ms	746×	body	512	valid
417.0ms	693×	body	512	invalid
315.0ms	73×	body	4096	valid
311.0ms	1375×	body	128	invalid
267.0ms	187×	body	2048	valid
156.0ms	374×	body	256	valid
126.0ms	297×	body	256	invalid

Compiler

Compiled 54 to 44 computations (18.5% saved)

preprocess32.0ms (0.2%)

Algorithm

2×	egg-herbie

Rules

592×	`associate-l_binary64`
575×	`associate-r_binary64`
233×	`distribute-rgt-in_binary64`
230×	`distribute-lft-in_binary64`
207×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	148
1	92	148
2	262	148
3	922	148
4	3731	148
0	3	3

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

Inputs
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 a 2) (pow.f64 b 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 angle 2))) (sin.f64 (.f64 (PI.f64) (/.f64 a 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 a 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 angle 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 b 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 b 180))))

Outputs
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))
(.f64 2 (.f64 (.f64 (-.f64 (.f64 b b) (*.f64 a a)) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (cos.f64 (/.f64 (PI.f64) (/.f64 180 angle)))))
(.f64 2 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (-.f64 (.f64 b b) (.f64 a a)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
(.f64 2 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (-.f64 (.f64 b b) (.f64 a a)) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 a 2) (pow.f64 b 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 2 (-.f64 (.f64 a a) (.f64 b b))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))
(.f64 (cos.f64 (/.f64 (PI.f64) (/.f64 180 angle))) (.f64 (-.f64 (.f64 a a) (.f64 b b)) (*.f64 2 (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle))))))
(.f64 2 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (-.f64 (.f64 a a) (*.f64 b b)))))
(.f64 2 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (-.f64 (.f64 a a) (*.f64 b b)))))
(.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 a a) (*.f64 b b)))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 angle 2))) (sin.f64 (.f64 (PI.f64) (/.f64 a 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 a 180))))
(.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 angle angle))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 a 180))) (cos.f64 (*.f64 (PI.f64) (/.f64 a 180)))))
(.f64 2 (.f64 (.f64 (-.f64 (.f64 b b) (.f64 angle angle)) (sin.f64 (.f64 (PI.f64) (/.f64 a 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 a 180)))))
(.f64 (-.f64 (.f64 b b) (.f64 angle angle)) (.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (/.f64 a 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 a 180)))))
(.f64 (.f64 (.f64 2 (+.f64 b angle)) (.f64 (sin.f64 (.f64 a (/.f64 (PI.f64) 180))) (-.f64 b angle))) (cos.f64 (.f64 a (/.f64 (PI.f64) 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 angle 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 b 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 b 180))))
(.f64 (.f64 2 (-.f64 (.f64 angle angle) (.f64 a a))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 b 180))) (cos.f64 (*.f64 (PI.f64) (/.f64 b 180)))))
(.f64 2 (.f64 (-.f64 (.f64 angle angle) (.f64 a a)) (*.f64 (sin.f64 (/.f64 (PI.f64) (/.f64 180 b))) (cos.f64 (/.f64 (PI.f64) (/.f64 180 b))))))
(.f64 (-.f64 (.f64 angle angle) (.f64 a a)) (.f64 2 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 b 180))) (cos.f64 (*.f64 (PI.f64) (/.f64 b 180))))))
(.f64 2 (.f64 (.f64 (+.f64 a angle) (-.f64 angle a)) (.f64 (sin.f64 (/.f64 b (/.f64 180 (PI.f64)))) (cos.f64 (/.f64 b (/.f64 180 (PI.f64)))))))

Compiler

Compiled 26 to 21 computations (19.2% saved)

simplify23.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

387×	`unsub-neg_binary64`
324×	`distribute-rgt-in_binary64`
306×	`distribute-lft-in_binary64`
302×	`*-commutative_binary64`
278×	`associate-+r+_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	37
1	37	37
2	91	37
3	275	37
4	1081	37
5	3145	37

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Outputs
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 2 (-.f64 (.f64 b b) (.f64 a a))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))
(.f64 2 (.f64 (.f64 (-.f64 (.f64 b b) (.f64 a a)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))
(.f64 2 (.f64 (fma.f64 b b (neg.f64 (.f64 a a))) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
(.f64 2 (.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
(.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (.f64 -2 (-.f64 (.f64 a a) (.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))

prune4.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

28.7b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	28.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	28.7b	(.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (.f64 -2 (-.f64 (.f64 a a) (.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))

Status

Error

Program

▶

28.7b

(*.f64 (*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

28.7b

(*.f64 (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))) (*.f64 (*.f64 -2 (-.f64 (*.f64 a a) (*.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))))

Compiler

Compiled 153 to 116 computations (24.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	10.2b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	19.7b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	19.9b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series18.0ms (0.1%)

Counts

4 → 66

Calls

21 calls:

Time	Variable		Point	Expression
3.0ms	a	@	-inf	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
2.0ms	angle	@	0	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
2.0ms	angle	@	-inf	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
2.0ms	b	@	0	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
1.0ms	b	@	inf	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

rewrite73.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

751×	`prod-diff_binary64`
172×	`add-sqr-sqrt_binary64`
167×	`pow1_binary64`
165×	`*-un-lft-identity_binary64`
161×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	55
1	345	55
2	4254	55

Stop Event

1×	node limit

Counts

4 → 156

Calls

Call 1

Inputs
(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(-.f64 (pow.f64 b 2) (pow.f64 a 2))

Outputs
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))))
((#(struct:change #<rule egg-rr> (2) ((x -.f64 (exp.f64 (log1p.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (pow.f64 (pow.f64 (exp.f64 2) (fma.f64 b b (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3) (pow.f64 (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (.f64 (pow.f64 (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a)))) 3) (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))))))))
((#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b b) (.f64 a (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 b b) (.f64 (.f64 a (neg.f64 a)) 1))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 (.f64 a (neg.f64 a)) 1 (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 -1 (.f64 a a) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 4))) (pow.f64 (cbrt.f64 a) 2) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (.f64 a (neg.f64 a)) (.f64 b b))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (.f64 a (neg.f64 a))) (fma.f64 (.f64 a (neg.f64 a)) 1 (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (.f64 a (neg.f64 a))) (fma.f64 -1 (.f64 a a) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 4))) (pow.f64 (cbrt.f64 a) 2) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (.f64 a (neg.f64 a))) (fma.f64 (.f64 a (neg.f64 a)) 1 (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (.f64 a (neg.f64 a))) (fma.f64 -1 (.f64 a a) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 4))) (pow.f64 (cbrt.f64 a) 2) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (.f64 a (neg.f64 a)) 1 (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 -1 (.f64 a a) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 4))) (pow.f64 (cbrt.f64 a) 2) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (.f64 a (neg.f64 a)) 1 (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 -1 (.f64 a a) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 4))) (pow.f64 (cbrt.f64 a) 2) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (.f64 a (neg.f64 a)) 1 (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 -1 (.f64 a a) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 4))) (pow.f64 (cbrt.f64 a) 2) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (.f64 a (neg.f64 a)) 1 (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 -1 (.f64 a a) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 4))) (pow.f64 (cbrt.f64 a) 2) (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (.f64 b b) (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 b 4)) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (.f64 b b) (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 b 4)) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (neg.f64 (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a)))) (fma.f64 (neg.f64 (.f64 (sqrt.f64 a) a)) (sqrt.f64 a) (.f64 (.f64 (sqrt.f64 a) a) (sqrt.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (.f64 b b) (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 b 4)) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (neg.f64 (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a))))) (fma.f64 (neg.f64 (sqrt.f64 a)) (.f64 a (sqrt.f64 a)) (.f64 (sqrt.f64 a) (.f64 a (sqrt.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b b) 1 (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 1 (.f64 b b) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (cbrt.f64 (pow.f64 b 4)) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (cbrt.f64 (pow.f64 b 4)) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (sqrt.f64 b) (.f64 (sqrt.f64 b) b) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x +.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (fma.f64 b b (.f64 a (neg.f64 a))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x .f64 1 (fma.f64 b b (.f64 a (neg.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2) (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (sqrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (sqrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (/.f64 1 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (pow.f64 (.f64 b a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (/.f64 1 (fma.f64 b b (.f64 a a))))))) (#(struct:change #<rule egg-rr> (2) ((x .f64 (+.f64 b a) (-.f64 b a))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (pow.f64 (.f64 b a) 2))) (-.f64 (pow.f64 b 6) (pow.f64 a 6))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 1 (/.f64 (fma.f64 b b (.f64 a a)) (-.f64 (pow.f64 b 4) (pow.f64 a 4))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (pow.f64 (.f64 b a) 2))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 b b (.f64 a a)))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6))) (neg.f64 (+.f64 (pow.f64 b 4) (+.f64 (pow.f64 a 4) (pow.f64 (.f64 b a) 2)))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (neg.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4))) (neg.f64 (fma.f64 b b (.f64 a a))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (+.f64 (pow.f64 b 6) (pow.f64 (.f64 a (neg.f64 a)) 3)) (+.f64 (pow.f64 b 4) (-.f64 (.f64 (.f64 a (neg.f64 a)) (.f64 a (neg.f64 a))) (.f64 (.f64 b b) (.f64 a (neg.f64 a))))))))) (#(struct:change #<rule egg-rr> (2) ((x /.f64 (-.f64 (pow.f64 b 4) (.f64 (.f64 a (neg.f64 a)) (.f64 a (neg.f64 a)))) (-.f64 (.f64 b b) (.f64 a (neg.f64 a))))))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 1)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)))) (#(struct:change #<rule egg-rr> (2) ((x pow.f64 (sqrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2)))) (#(struct:change #<rule egg-rr> (2) ((x sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (exp.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x log.f64 (+.f64 1 (expm1.f64 (fma.f64 b b (.f64 a (neg.f64 a))))))))) (#(struct:change #<rule egg-rr> (2) ((x cbrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3))))) (#(struct:change #<rule egg-rr> (2) ((x expm1.f64 (log1p.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))))) (#(struct:change #<rule egg-rr> (2) ((x exp.f64 (.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 1))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 b b (.f64 a (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 1 (.f64 b b) (.f64 a (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x fma.f64 (cbrt.f64 (pow.f64 b 4)) (pow.f64 (cbrt.f64 b) 2) (.f64 a (neg.f64 a)))))) (#(struct:change #<rule egg-rr> (2) ((x log1p.f64 (expm1.f64 (fma.f64 b b (*.f64 a (neg.f64 a)))))))))

simplify43.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

785×	`fma-def_binary64`
482×	`cancel-sign-sub-inv_binary64`
434×	`*-commutative_binary64`
258×	`unswap-sqr_binary64`
237×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	1836
1	374	1516
2	1468	1474

Stop Event

1×	node limit

Counts

222 → 194

Calls

Call 1

Inputs
1
(-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (+.f64 (.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(.f64 1/180 (.f64 angle (PI.f64)))
(-.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(-.f64 (+.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(-.f64 (+.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (+.f64 (.f64 1/30855889612800000000 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (*.f64 (pow.f64 a 2) (PI.f64)))))
(-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2))))))
(-.f64 (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 3)))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 5)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))))
(-.f64 (+.f64 (.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 a 2)))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 3))))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 a 2)))) (+.f64 (.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2))))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(*.f64 -1 (pow.f64 a 2))
(pow.f64 b 2)
(pow.f64 b 2)
(pow.f64 b 2)
(*.f64 -1 (pow.f64 a 2))
(*.f64 -1 (pow.f64 a 2))

Outputs
1
(-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(-.f64 1 (.f64 (.f64 1/64800 (*.f64 angle angle)) (pow.f64 (PI.f64) 2)))
(+.f64 1 (.f64 (.f64 (*.f64 (pow.f64 (PI.f64) 2) angle) angle) -1/64800))
(fma.f64 (.f64 (pow.f64 (PI.f64) 2) -1/64800) (.f64 angle angle) 1)
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(+.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (.f64 -1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2))))
(+.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (.f64 (.f64 (.f64 (pow.f64 (PI.f64) 2) angle) angle) -1/64800))
(fma.f64 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) -1/64800 (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (+.f64 (.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
(-.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (fma.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) (.f64 (.f64 1/64800 (*.f64 angle angle)) (pow.f64 (PI.f64) 2))))
(-.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (fma.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) (.f64 1/64800 (.f64 (*.f64 (pow.f64 (PI.f64) 2) angle) angle))))
(+.f64 (.f64 (pow.f64 (PI.f64) 6) (.f64 (pow.f64 angle 6) -1/24488801280000000)) (fma.f64 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) -1/64800 (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(.f64 1/180 (.f64 angle (PI.f64)))
(.f64 (.f64 1/180 angle) (PI.f64))
(.f64 (PI.f64) (.f64 angle 1/180))
(-.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(-.f64 (.f64 (.f64 1/180 angle) (PI.f64)) (.f64 (.f64 1/34992000 (pow.f64 angle 3)) (pow.f64 (PI.f64) 3)))
(fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 (*.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000))
(fma.f64 (.f64 (pow.f64 (PI.f64) 3) -1/34992000) (pow.f64 angle 3) (.f64 1/180 (*.f64 angle (PI.f64))))
(-.f64 (+.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(+.f64 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 (.f64 1/22674816000000 (pow.f64 angle 5)) (pow.f64 (PI.f64) 5))) (.f64 -1/34992000 (*.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(fma.f64 1/180 (.f64 angle (PI.f64)) (fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000)))
(fma.f64 (pow.f64 angle 5) (.f64 1/22674816000000 (pow.f64 (PI.f64) 5)) (fma.f64 (.f64 (pow.f64 (PI.f64) 3) -1/34992000) (pow.f64 angle 3) (.f64 1/180 (.f64 angle (PI.f64)))))
(-.f64 (+.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (+.f64 (.f64 1/30855889612800000000 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)))))
(-.f64 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 (.f64 1/22674816000000 (pow.f64 angle 5)) (pow.f64 (PI.f64) 5))) (fma.f64 1/30855889612800000000 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) (.f64 (.f64 1/34992000 (pow.f64 angle 3)) (pow.f64 (PI.f64) 3))))
(-.f64 (fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (.f64 (PI.f64) (.f64 angle 1/180))) (fma.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (pow.f64 (PI.f64) 7) (.f64 1/30855889612800000000 (pow.f64 angle 7)))))
(fma.f64 angle (.f64 (PI.f64) 1/180) (fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000 (.f64 (pow.f64 (PI.f64) 7) (*.f64 (pow.f64 angle 7) -1/30855889612800000000)))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (.f64 1/180 angle) (PI.f64)))
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 -2 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a)))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 -2 (*.f64 a a)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (*.f64 a a)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64))))
(.f64 2 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (*.f64 b b)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 b b)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64))))
(.f64 2 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (*.f64 b b)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 b b)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (*.f64 1/180 angle) (PI.f64))))
(.f64 2 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (*.f64 b b)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 b b)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 -2 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a)))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 -2 (*.f64 a a)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (*.f64 a a)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 -2 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a)))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 -2 (*.f64 a a)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (*.f64 a a)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (*.f64 (pow.f64 a 2) (PI.f64)))))
(.f64 angle (.f64 1/90 (-.f64 (.f64 (PI.f64) (.f64 b b)) (.f64 (PI.f64) (.f64 a a)))))
(.f64 (.f64 angle 1/90) (.f64 (PI.f64) (-.f64 (.f64 b b) (*.f64 a a))))
(.f64 (.f64 (.f64 angle (PI.f64)) 1/90) (-.f64 (.f64 b b) (*.f64 a a)))
(-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2))))))
(-.f64 (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 b b))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (.f64 a a))))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 (.f64 1/17496000 (pow.f64 angle 3)) (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)))))
(-.f64 (fma.f64 1/90 (.f64 (PI.f64) (.f64 (.f64 b b) angle)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 a a) 1/17496000))) (fma.f64 1/90 (.f64 (PI.f64) (.f64 angle (.f64 a a))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) 1/17496000))))
(+.f64 (fma.f64 (.f64 (pow.f64 angle 3) (.f64 a a)) (.f64 (pow.f64 (PI.f64) 3) 1/17496000) (.f64 (.f64 (.f64 angle (PI.f64)) 1/90) (-.f64 (.f64 b b) (.f64 a a)))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) -1/17496000)))
(-.f64 (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 3)))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 5)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))))
(-.f64 (fma.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (.f64 b b))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 b b))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (.f64 a a)))))) (fma.f64 1/11337408000000 (.f64 (.f64 (pow.f64 angle 5) (.f64 a a)) (pow.f64 (PI.f64) 5)) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 (.f64 1/17496000 (pow.f64 angle 3)) (.f64 (pow.f64 (PI.f64) 3) (.f64 b b))))))
(-.f64 (fma.f64 1/11337408000000 (.f64 (pow.f64 (PI.f64) 5) (.f64 (.f64 b b) (pow.f64 angle 5))) (fma.f64 1/90 (.f64 (PI.f64) (.f64 (.f64 b b) angle)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 a a) 1/17496000)))) (fma.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (.f64 a a))) (fma.f64 1/90 (.f64 (PI.f64) (.f64 angle (.f64 a a))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) 1/17496000)))))
(-.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 a a))))) (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a)))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 (.f64 b b) (*.f64 (pow.f64 angle 3) 1/17496000)))))
(-.f64 (+.f64 (.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 a 2)))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 3))))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 a 2)))) (+.f64 (.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2))))))))
(-.f64 (fma.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (.f64 a a))) (fma.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (.f64 b b))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 b b))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (.f64 a a))))))) (fma.f64 1/11337408000000 (.f64 (.f64 (pow.f64 angle 5) (.f64 a a)) (pow.f64 (PI.f64) 5)) (fma.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (.f64 b b))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 (.f64 1/17496000 (pow.f64 angle 3)) (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)))))))
(-.f64 (fma.f64 1/15427944806400000000 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) (.f64 a a))) (fma.f64 1/11337408000000 (.f64 (pow.f64 (PI.f64) 5) (.f64 (.f64 b b) (pow.f64 angle 5))) (fma.f64 1/90 (.f64 (PI.f64) (.f64 (.f64 b b) angle)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 a a) 1/17496000))))) (fma.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (.f64 a a))) (fma.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (.f64 b b))) (fma.f64 1/90 (.f64 (PI.f64) (.f64 angle (.f64 a a))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) 1/17496000))))))
(+.f64 (fma.f64 (pow.f64 angle 7) (.f64 1/15427944806400000000 (.f64 (pow.f64 (PI.f64) 7) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 a a)))))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (.f64 b b) (+.f64 (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000) (.f64 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) 1/15427944806400000000))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (.f64 b b)) (.f64 (sin.f64 (.f64 (.f64 1/180 angle) (PI.f64))) (*.f64 a a))))
(.f64 (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (-.f64 (.f64 b b) (.f64 a a)))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))))
(*.f64 -1 (pow.f64 a 2))
(neg.f64 (*.f64 a a))
(*.f64 a (neg.f64 a))
(pow.f64 b 2)
(*.f64 b b)
(pow.f64 b 2)
(*.f64 b b)
(pow.f64 b 2)
(*.f64 b b)
(*.f64 -1 (pow.f64 a 2))
(neg.f64 (*.f64 a a))
(*.f64 a (neg.f64 a))
(*.f64 -1 (pow.f64 a 2))
(neg.f64 (*.f64 a a))
(*.f64 a (neg.f64 a))

prune318.0ms (2.4%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	166	28	194
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	168	28	196

Error

26.1b

Counts

196 → 28

Alt Table

Status	Error	Program
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	49.3b	(.f64 (pow.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3) 1/3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	28.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	40.1b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	50.9b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (fma.f64 angle (.f64 (PI.f64) 1/180) (fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) -1/30855889612800000000)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	44.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	29.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	40.3b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (fma.f64 (.f64 (pow.f64 (PI.f64) 2) -1/64800) (.f64 angle angle) 1))
	53.1b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.0b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.0b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	45.6b	(.f64 (sqrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 2)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.8b	(.f64 (-.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 a a))))) (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a)))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 (.f64 b b) (.f64 (pow.f64 angle 3) 1/17496000))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.4b	(.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 2) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	28.9b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	28.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))
	41.8b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	47.5b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	44.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (sqrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))

Compiler

Compiled 8676 to 5356 computations (38.3% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.2b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	19.7b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	19.9b	(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	angle	@	0	(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
0.0ms	angle	@	inf	(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
0.0ms	angle	@	-inf	(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))

rewrite32.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

652×	`pow1_binary64`
600×	`add-log-exp_binary64`
600×	`log1p-expm1-u_binary64`
600×	`expm1-log1p-u_binary64`
70×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	140	10
2	1623	10

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

Inputs
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))

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

Outputs

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

simplify34.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

848×	`distribute-rgt-neg-in_binary64`
487×	`fma-def_binary64`
475×	`cancel-sign-sub-inv_binary64`
305×	`*-commutative_binary64`
274×	`fma-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	31	174
1	84	174
2	250	170
3	1171	168
4	4105	162

Stop Event

1×	node limit

Counts

29 → 26

Calls

Call 1

Inputs
1
(-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (+.f64 (.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))

Outputs
1
(-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(+.f64 1 (.f64 -1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2))))
(-.f64 1 (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2))))
(fma.f64 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) -1/64800 1)
(fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1)
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(+.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (.f64 -1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2))))
(-.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2))))
(fma.f64 (.f64 (.f64 angle angle) -1/64800) (pow.f64 (PI.f64) 2) (fma.f64 (pow.f64 angle 4) (*.f64 1/25194240000 (pow.f64 (PI.f64) 4)) 1))
(fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1))
(fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (pow.f64 (*.f64 angle (PI.f64)) 4) 1))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (+.f64 (.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
(-.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (fma.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)))))
(-.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (fma.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) (.f64 1/24488801280000000 (*.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)))))
(+.f64 (fma.f64 (pow.f64 angle 4) (.f64 1/25194240000 (pow.f64 (PI.f64) 4)) 1) (fma.f64 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) -1/64800 (.f64 (pow.f64 (PI.f64) 6) (*.f64 (pow.f64 angle 6) -1/24488801280000000))))
(fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 (pow.f64 angle 6) (.f64 (pow.f64 (PI.f64) 6) -1/24488801280000000) (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1)))
(fma.f64 (pow.f64 angle 6) (.f64 (pow.f64 (PI.f64) 6) -1/24488801280000000) (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (pow.f64 (.f64 angle (PI.f64)) 4) 1)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))

prune409.0ms (3.1%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	181	12	193
Fresh	6	21	27
Picked	1	0	1
Done	0	0	0
Total	188	33	221

Error

26.1b

Counts

221 → 33

Alt Table

Status	Error	Program
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	49.3b	(.f64 (pow.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3) 1/3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	40.1b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	44.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (sqrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2)) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	41.8b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	50.9b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (fma.f64 angle (.f64 (PI.f64) 1/180) (fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) -1/30855889612800000000)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	44.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	40.3b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (fma.f64 (.f64 (pow.f64 (PI.f64) 2) -1/64800) (.f64 angle angle) 1))
▶	28.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	53.1b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.0b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.4b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	29.0b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	28.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))
	45.6b	(.f64 (sqrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 2)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.8b	(.f64 (-.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 a a))))) (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a)))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 (.f64 b b) (.f64 (pow.f64 angle 3) 1/17496000))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.4b	(.f64 (pow.f64 (sqrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 2) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	47.7b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))
	44.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	51.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	28.8b	(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))

Compiler

Compiled 9587 to 6203 computations (35.3% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.2b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	19.7b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	19.8b	(cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

Time	Variable		Point	Expression
0.0ms	angle	@	0	(cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))
0.0ms	angle	@	inf	(cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))
0.0ms	angle	@	-inf	(cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))

rewrite31.0ms (0.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	140	10
2	1618	10

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

Inputs
(cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))

Outputs

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

simplify29.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

848×	`distribute-rgt-neg-in_binary64`
487×	`fma-def_binary64`
475×	`cancel-sign-sub-inv_binary64`
305×	`*-commutative_binary64`
274×	`fma-neg_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	31	174
1	84	174
2	250	170
3	1171	168
4	4105	162

Stop Event

1×	node limit

Counts

29 → 26

Calls

Call 1

Inputs
1
(-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (+.f64 (.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))

Outputs
1
(-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(+.f64 1 (.f64 -1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2))))
(-.f64 1 (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2))))
(fma.f64 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) -1/64800 1)
(fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1)
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(+.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (.f64 -1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2))))
(-.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2))))
(fma.f64 (.f64 (.f64 angle angle) -1/64800) (pow.f64 (PI.f64) 2) (fma.f64 (pow.f64 angle 4) (*.f64 1/25194240000 (pow.f64 (PI.f64) 4)) 1))
(fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1))
(fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (pow.f64 (*.f64 angle (PI.f64)) 4) 1))
(-.f64 (+.f64 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))) 1) (+.f64 (.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
(-.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (fma.f64 1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) (.f64 1/64800 (.f64 (*.f64 angle angle) (pow.f64 (PI.f64) 2)))))
(-.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1) (fma.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) (.f64 1/24488801280000000 (*.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)))))
(+.f64 (fma.f64 (pow.f64 angle 4) (.f64 1/25194240000 (pow.f64 (PI.f64) 4)) 1) (fma.f64 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) -1/64800 (.f64 (pow.f64 (PI.f64) 6) (*.f64 (pow.f64 angle 6) -1/24488801280000000))))
(fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 (pow.f64 angle 6) (.f64 (pow.f64 (PI.f64) 6) -1/24488801280000000) (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1)))
(fma.f64 (pow.f64 angle 6) (.f64 (pow.f64 (PI.f64) 6) -1/24488801280000000) (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (pow.f64 (.f64 angle (PI.f64)) 4) 1)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))

prune588.0ms (4.5%)

Pruning

40 alts after pruning (40 fresh and 0 done)

	Pruned	Kept	Total
New	177	16	193
Fresh	8	24	32
Picked	1	0	1
Done	0	0	0
Total	186	40	226

Error

26.1b

Counts

226 → 40

Alt Table

Status	Error	Program
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	28.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	40.5b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	30.9b	(.f64 (.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (.f64 (pow.f64 a 2) (PI.f64))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	44.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	40.1b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.7b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	44.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	49.3b	(.f64 (pow.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3) 1/3) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
▶	28.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	51.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.8b	(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	28.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 (PI.f64) angle)))))) 3) 2)))
	45.8b	(.f64 (sqrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 2)) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	50.9b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (fma.f64 angle (.f64 (PI.f64) 1/180) (fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) -1/30855889612800000000)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	28.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	53.1b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	47.7b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	29.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	40.3b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (fma.f64 (.f64 (pow.f64 (PI.f64) 2) -1/64800) (.f64 angle angle) 1))
	28.6b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	43.4b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	43.4b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	29.0b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	28.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))
	32.8b	(.f64 (-.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 a a))))) (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a)))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 (.f64 b b) (.f64 (pow.f64 angle 3) 1/17496000))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	47.7b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))
	41.8b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.1b	(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	32.6b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 10766 to 7251 computations (32.6% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	10.2b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
✓	19.7b	(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
	19.8b	(cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))

series5.0ms (0%)

Counts

2 → 48

Calls

12 calls:

Time	Variable		Point	Expression
1.0ms	a	@	-inf	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
0.0ms	angle	@	0	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
0.0ms	b	@	0	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
0.0ms	angle	@	0	(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
0.0ms	angle	@	inf	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))

rewrite53.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

849×	`prod-diff_binary64`
166×	`add-sqr-sqrt_binary64`
164×	`pow1_binary64`
161×	`*-un-lft-identity_binary64`
158×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	35
1	340	35
2	4089	35

Stop Event

1×	node limit

Counts

2 → 32

Calls

Call 1

Inputs
(sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))

Outputs

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

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

simplify51.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

710×	`fma-def_binary64`
414×	`cancel-sign-sub-inv_binary64`
400×	`sub-neg_binary64`
376×	`*-commutative_binary64`
216×	`fma-neg_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	95	1632
1	304	1312
2	1235	1272
3	4624	1272

Stop Event

1×	node limit

Counts

80 → 57

Calls

Call 1

Inputs
(.f64 1/180 (.f64 angle (PI.f64)))
(-.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(-.f64 (+.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(-.f64 (+.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (+.f64 (.f64 1/30855889612800000000 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (*.f64 (pow.f64 a 2) (PI.f64)))))
(-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2))))))
(-.f64 (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 3)))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 5)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))))
(-.f64 (+.f64 (.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 a 2)))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 3))))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 a 2)))) (+.f64 (.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2))))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))

Outputs
(.f64 1/180 (.f64 angle (PI.f64)))
(.f64 (PI.f64) (.f64 1/180 angle))
(-.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(-.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 (.f64 1/34992000 (pow.f64 angle 3)) (pow.f64 (PI.f64) 3)))
(fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 (*.f64 -1/34992000 (pow.f64 angle 3)) (pow.f64 (PI.f64) 3)))
(fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000 (.f64 1/180 (*.f64 angle (PI.f64))))
(-.f64 (+.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(+.f64 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (.f64 -1/34992000 (*.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3))))
(fma.f64 1/180 (.f64 angle (PI.f64)) (fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (.f64 (.f64 -1/34992000 (pow.f64 angle 3)) (pow.f64 (PI.f64) 3))))
(fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))))
(-.f64 (+.f64 (.f64 1/180 (.f64 angle (PI.f64))) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (+.f64 (.f64 1/30855889612800000000 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7))) (.f64 1/34992000 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)))))
(-.f64 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)))) (fma.f64 1/30855889612800000000 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) (.f64 (.f64 1/34992000 (pow.f64 angle 3)) (pow.f64 (PI.f64) 3))))
(-.f64 (fma.f64 1/180 (.f64 angle (PI.f64)) (.f64 (pow.f64 (PI.f64) 5) (.f64 1/22674816000000 (pow.f64 angle 5)))) (fma.f64 1/30855889612800000000 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) (.f64 (pow.f64 (PI.f64) 3) (.f64 1/34992000 (pow.f64 angle 3)))))
(fma.f64 1/180 (.f64 angle (PI.f64)) (fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000 (.f64 (pow.f64 (PI.f64) 7) (*.f64 (pow.f64 angle 7) -1/30855889612800000000)))))
(fma.f64 1/22674816000000 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) (fma.f64 1/180 (.f64 angle (PI.f64)) (fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) -1/34992000 (.f64 (pow.f64 (PI.f64) 7) (*.f64 (pow.f64 angle 7) -1/30855889612800000000)))))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))
(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 (.f64 -2 (.f64 a a)) (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 -2 (*.f64 a a)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (*.f64 a a)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 b b)))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (*.f64 b b)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (*.f64 b b)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 b b)))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (*.f64 b b)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (*.f64 b b)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 b b)))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (*.f64 b b)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (*.f64 b b)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 (.f64 -2 (.f64 a a)) (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 -2 (*.f64 a a)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (*.f64 a a)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 (.f64 -2 (.f64 a a)) (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 -2 (*.f64 a a)))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (*.f64 a a)))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(-.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (*.f64 (pow.f64 a 2) (PI.f64)))))
(.f64 angle (.f64 1/90 (-.f64 (.f64 (PI.f64) (.f64 b b)) (.f64 (PI.f64) (.f64 a a)))))
(.f64 (.f64 angle 1/90) (.f64 (PI.f64) (-.f64 (.f64 b b) (*.f64 a a))))
(.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (*.f64 a a)))))
(-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2))))))
(-.f64 (fma.f64 1/90 (.f64 (.f64 angle (PI.f64)) (.f64 b b)) (.f64 1/17496000 (.f64 (.f64 (pow.f64 angle 3) (.f64 a a)) (pow.f64 (PI.f64) 3)))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 1/17496000 (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 b b)))))
(-.f64 (fma.f64 1/90 (.f64 (PI.f64) (.f64 angle (.f64 b b))) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 angle 3) (.f64 a a))))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) 1/17496000))))
(+.f64 (fma.f64 (pow.f64 angle 3) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 a a))) (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a)))))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) -1/17496000)))
(-.f64 (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 3)))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 5)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))))
(-.f64 (fma.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (.f64 b b))) (fma.f64 1/90 (.f64 (.f64 angle (PI.f64)) (.f64 b b)) (.f64 1/17496000 (.f64 (.f64 (pow.f64 angle 3) (.f64 a a)) (pow.f64 (PI.f64) 3))))) (fma.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (.f64 a a))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 1/17496000 (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 b b))))))
(-.f64 (fma.f64 1/11337408000000 (.f64 (pow.f64 (PI.f64) 5) (.f64 (.f64 b b) (pow.f64 angle 5))) (fma.f64 1/90 (.f64 (PI.f64) (.f64 angle (.f64 b b))) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 angle 3) (.f64 a a)))))) (fma.f64 1/11337408000000 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 angle 5) (.f64 a a))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) 1/17496000)))))
(+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (pow.f64 angle 3) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 a a))))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (pow.f64 angle 3) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (*.f64 b b)))))))
(-.f64 (+.f64 (.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 a 2)))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 3))))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (pow.f64 a 2)))) (+.f64 (.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (pow.f64 b 2)))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2))))))))
(-.f64 (fma.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (.f64 a a))) (fma.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (.f64 b b))) (fma.f64 1/90 (.f64 (.f64 angle (PI.f64)) (.f64 b b)) (.f64 1/17496000 (.f64 (.f64 (pow.f64 angle 3) (.f64 a a)) (pow.f64 (PI.f64) 3)))))) (fma.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (.f64 a a))) (fma.f64 1/15427944806400000000 (.f64 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) (.f64 b b)) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 1/17496000 (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 b b)))))))
(-.f64 (fma.f64 1/15427944806400000000 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) (.f64 a a))) (fma.f64 1/11337408000000 (.f64 (pow.f64 (PI.f64) 5) (.f64 (.f64 b b) (pow.f64 angle 5))) (fma.f64 1/90 (.f64 (PI.f64) (.f64 angle (.f64 b b))) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 angle 3) (.f64 a a))))))) (fma.f64 1/11337408000000 (.f64 (pow.f64 (PI.f64) 5) (.f64 (pow.f64 angle 5) (.f64 a a))) (fma.f64 1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (.f64 b b))) (fma.f64 1/90 (.f64 angle (.f64 (PI.f64) (.f64 a a))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) 1/17496000))))))
(+.f64 (+.f64 (.f64 (PI.f64) (.f64 (.f64 b b) (.f64 angle 1/90))) (.f64 (.f64 a a) (+.f64 (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000) (.f64 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) 1/15427944806400000000)))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (.f64 b b) (+.f64 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) 1/15427944806400000000)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000))))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 2 (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))
(.f64 2 (-.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b)) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (*.f64 a a))))
(.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))
(.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))

prune560.0ms (4.3%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	186	6	192
Fresh	6	33	39
Picked	1	0	1
Done	0	0	0
Total	193	39	232

Error

26.0b

Counts

232 → 39

Alt Table

Status	Error	Program
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	28.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	40.5b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	40.1b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.7b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	44.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	49.3b	(.f64 (pow.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3) 1/3) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	51.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.8b	(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	28.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 (PI.f64) angle)))))) 3) 2)))
	44.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sqrt.f64 (pow.f64 (sin.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	45.8b	(.f64 (sqrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 2)) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	50.9b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 1) 3) 2)))
	43.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	28.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	53.1b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	47.7b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	31.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (fma.f64 (.f64 (pow.f64 (PI.f64) 2) -1/64800) (.f64 angle angle) 1))
	28.8b	(.f64 (.f64 (.f64 2 (.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2) (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	29.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	40.3b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	28.6b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	44.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))) 3) 2)))
	43.4b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	28.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))
	28.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 (PI.f64) angle)))) 2) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 (PI.f64) angle)))))) 3) 2)))
	32.8b	(.f64 (-.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 a a))))) (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a)))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (pow.f64 (PI.f64) 3) (.f64 (.f64 b b) (.f64 (pow.f64 angle 3) 1/17496000))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.9b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	28.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))
	49.3b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (sqrt.f64 b)) (sqrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	47.7b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	28.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	41.8b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.1b	(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sqrt.f64 (pow.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 3) 2)))
	29.0b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 9659 to 6446 computations (33.3% saved)

regimes2.5s (19.3%)

Accuracy

Total 2.8b remaining (9%)

Threshold costs 0b (0%)

Counts

307 → 1

Compiler

Compiled 11666 to 6817 computations (41.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	37
1	28	37
2	33	37
3	35	37
4	36	37

Stop Event

1×

saturated

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))

Outputs
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))

end830.0ms (6.4%)

Stop Event

1×

fuel

Compiler

Compiled 1436 to 1113 computations (22.5% saved)

Details

analyze1.6s (12.4%)

sample5.7s (43.6%)

preprocess32.0ms (0.2%)

simplify23.0ms (0.2%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series18.0ms (0.1%)

rewrite73.0ms (0.6%)

simplify43.0ms (0.3%)

prune318.0ms (2.4%)

localize16.0ms (0.1%)

series1.0ms (0%)

rewrite32.0ms (0.2%)

simplify34.0ms (0.3%)

prune409.0ms (3.1%)

localize21.0ms (0.2%)

series1.0ms (0%)

rewrite31.0ms (0.2%)

simplify29.0ms (0.2%)

prune588.0ms (4.5%)

localize21.0ms (0.2%)

series5.0ms (0%)

rewrite53.0ms (0.4%)

simplify51.0ms (0.4%)

prune560.0ms (4.3%)

regimes2.5s (19.3%)

simplify3.0ms (0%)

end830.0ms (6.4%)

Profiling