Details

analyze1.5s (13.5%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
31.2%	68.6%	0.1%	8
40.6%	59.3%	0.1%	9
40.6%	59.3%	0.1%	10
46%	53.8%	0.1%	11
52.7%	47.2%	0.1%	12
52.7%	44.6%	2.8%	13
55.9%	40.6%	3.5%	14

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample5.7s (50%)

Results

1.3s	1518×	body	1024	valid
1.2s	5322×	body	128	valid
1.0s	1216×	body	1024	invalid
478.0ms	752×	body	512	valid
384.0ms	634×	body	512	invalid
365.0ms	81×	body	4096	valid
316.0ms	225×	body	2048	valid
286.0ms	1297×	body	128	invalid
152.0ms	358×	body	256	valid
133.0ms	314×	body	256	invalid

Compiler

Compiled 54 to 44 computations (18.5% saved)

preprocess36.0ms (0.3%)

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)

simplify21.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)))))

prune6.0ms (0.1%)

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

33.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	33.8b	(.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)))))
▶	33.8b	(.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))))

Status

Error

Program

33.8b

(*.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)))))

▶

33.8b

(*.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))))

Compiler

Compiled 153 to 116 computations (24.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.4b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	10.7b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	24.3b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	24.7b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series42.0ms (0.4%)

Counts

4 → 84

Calls

21 calls:

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

rewrite72.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 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 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 log1p.f64 (expm1.f64 (fma.f64 b b (*.f64 a (neg.f64 a)))))))))

simplify41.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

835×	`associate-l_binary64`
790×	`associate-r_binary64`
484×	`fma-def_binary64`
234×	`*-commutative_binary64`
156×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	91	1916
1	246	1654
2	853	1536

Stop Event

1×	node limit

Counts

240 → 196

Calls

Call 1

Inputs
1
(+.f64 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) 1)
(+.f64 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) (+.f64 1 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)))))
(+.f64 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) (+.f64 1 (+.f64 (.f64 -1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))))))
(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 1/180 (.f64 angle (PI.f64))) (+.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 1/180 (.f64 angle (PI.f64))) (+.f64 (.f64 -1/30855889612800000000 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7))) (+.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))))))
(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 1/90 (.f64 angle (*.f64 (PI.f64) (-.f64 (pow.f64 b 2) (pow.f64 a 2)))))
(+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (.f64 -1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))))
(+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (.f64 -1/17496000 (.f64 (pow.f64 angle 3) (*.f64 (pow.f64 (PI.f64) 3) (-.f64 (pow.f64 b 2) (pow.f64 a 2)))))))
(+.f64 (.f64 -1/15427944806400000000 (.f64 (pow.f64 angle 7) (.f64 (pow.f64 (PI.f64) 7) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (+.f64 (.f64 1/11337408000000 (.f64 (pow.f64 angle 5) (.f64 (pow.f64 (PI.f64) 5) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (.f64 -1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (-.f64 (pow.f64 b 2) (pow.f64 a 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))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(pow.f64 b 2)
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(*.f64 -1 (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(*.f64 -1 (pow.f64 a 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))
(+.f64 (*.f64 -1 (pow.f64 a 2)) (pow.f64 b 2))

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

prune327.0ms (2.9%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	167	29	196
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	169	29	198

Error

31.1b

Counts

198 → 29

Alt Table

Status	Error	Program
	34.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 (PI.f64) (.f64 angle 1/180))) 2)))
	34.0b	(.f64 (.f64 (.f64 2 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	50.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)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	44.5b	(.f64 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	51.1b	(.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))))
	46.1b	(.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))))
	47.7b	(.f64 (.f64 (.f64 2 (/.f64 1 (/.f64 (fma.f64 b b (.f64 a a)) (-.f64 (pow.f64 b 4) (pow.f64 a 4))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))
	46.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))))
	34.1b	(.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))))
▶	33.9b	(.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)))))
	37.7b	(.f64 (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)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.4b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.7b	(.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))))
	50.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	44.5b	(.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))))
	36.8b	(.f64 (.f64 angle (.f64 (PI.f64) (.f64 1/90 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.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))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	36.8b	(.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	35.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	51.7b	(.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))))
	34.0b	(.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)))))))
	43.8b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.8b	(.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))))
	48.3b	(.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))))
	49.3b	(.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))))
	34.0b	(.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)))
	49.1b	(.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))))

Compiler

Compiled 8358 to 5163 computations (38.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.4b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.7b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	24.3b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	24.7b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series2.0ms (0%)

Counts

1 → 4

Calls

3 calls:

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

rewrite31.0ms (0.3%)

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 1/180 (.f64 angle (PI.f64))))

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

Outputs

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

simplify65.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

961×	`fma-def_binary64`
666×	`sqr-pow_binary64`
355×	`*-commutative_binary64`
317×	`pow-sqr_binary64`
243×	`unswap-sqr_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	28	92
1	72	90
2	198	88
3	849	88
4	2130	82
5	2635	79
6	2946	70
7	3171	70
8	3415	70
9	3735	70
10	4163	70
11	4674	70

Stop Event

1×	node limit

Counts

21 → 24

Calls

Call 1

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

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

prune459.0ms (4%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	181	12	193
Fresh	7	21	28
Picked	1	0	1
Done	0	0	0
Total	189	33	222

Error

31.1b

Counts

222 → 33

Alt Table

Status	Error	Program
	34.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 (PI.f64) (.f64 angle 1/180))) 2)))
	34.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 angle (.f64 (PI.f64) 1/180))) 2)))
	34.0b	(.f64 (.f64 (.f64 2 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	44.5b	(.f64 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 3))
	46.1b	(.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))))
	43.5b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 b b))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	47.7b	(.f64 (.f64 (.f64 2 (/.f64 1 (/.f64 (fma.f64 b b (.f64 a a)) (-.f64 (pow.f64 b 4) (pow.f64 a 4))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	49.3b	(.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))))
	33.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 1/180 (.f64 angle (PI.f64)))))
	34.1b	(.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))))
	37.7b	(.f64 (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)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.4b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	45.9b	(.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 1/180 (*.f64 angle (PI.f64)))))
	54.7b	(.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))))
	50.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	44.5b	(.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))))
	50.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)))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	36.8b	(.f64 (.f64 angle (.f64 (PI.f64) (.f64 1/90 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.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))))
	36.8b	(.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	35.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	34.2b	(.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)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	51.7b	(.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))))
	46.5b	(.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 1/180 (*.f64 angle (PI.f64)))))
	34.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))) 3)))
	43.8b	(.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))))
	34.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	48.3b	(.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))))
	46.0b	(.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 1/180 (.f64 angle (PI.f64)))))
	34.0b	(.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)))
▶	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	49.1b	(.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))))

Compiler

Compiled 8561 to 5137 computations (40% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.4b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	10.7b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))
✓	24.4b	(sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
	24.7b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series11.0ms (0.1%)

Counts

2 → 48

Calls

12 calls:

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

rewrite66.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

814×	`prod-diff_binary64`
158×	`add-sqr-sqrt_binary64`
155×	`pow1_binary64`
153×	`*-un-lft-identity_binary64`
148×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	35
1	318	35
2	3882	35

Stop Event

1×	node limit

Counts

2 → 33

Calls

Call 1

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

Outputs

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

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

simplify45.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

588×	`associate-l_binary64`
533×	`associate-r_binary64`
363×	`fma-def_binary64`
312×	`unswap-sqr_binary64`
190×	`*-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	63	1534
1	177	1274
2	635	1158
3	3673	1136

Stop Event

1×	node limit

Counts

81 → 56

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

prune460.0ms (4%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	181	10	191
Fresh	6	26	32
Picked	1	0	1
Done	0	0	0
Total	188	36	224

Error

31.0b

Counts

224 → 36

Alt Table

Status	Error	Program
	34.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 (PI.f64) (.f64 angle 1/180))) 2)))
	51.3b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
▶	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	34.0b	(.f64 (.f64 (.f64 2 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	44.5b	(.f64 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.6b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	34.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 3))
	46.1b	(.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))))
	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))) 3)))
	43.5b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 b b))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	47.7b	(.f64 (.f64 (.f64 2 (/.f64 1 (/.f64 (fma.f64 b b (.f64 a a)) (-.f64 (pow.f64 b 4) (pow.f64 a 4))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.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)))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	34.1b	(.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))))
	35.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180)))) 1)
	37.7b	(.f64 (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)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.4b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	45.9b	(.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 1/180 (*.f64 angle (PI.f64)))))
	54.7b	(.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))))
	44.5b	(.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))))
	33.8b	(.f64 (.f64 (.f64 2 (+.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))))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	50.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))) 1))
	36.8b	(.f64 (.f64 angle (.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 (PI.f64) 1/90))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	50.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)))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	35.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	34.2b	(.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)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	51.7b	(.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))))
	34.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))) 2)))
	46.5b	(.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 1/180 (*.f64 angle (PI.f64)))))
	43.8b	(.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))))
	48.3b	(.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))))
	49.3b	(.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))))
	46.0b	(.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 1/180 (.f64 angle (PI.f64)))))
	49.1b	(.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))))
	36.8b	(.f64 (.f64 angle (.f64 (PI.f64) (.f64 1/90 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 8715 to 5245 computations (39.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.4b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.7b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))
	24.4b	(sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
✓	24.4b	(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))

series2.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite33.0ms (0.3%)

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 angle (.f64 (PI.f64) 1/180)))

Outputs

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

simplify69.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

961×	`fma-def_binary64`
513×	`sqr-pow_binary64`
376×	`*-commutative_binary64`
317×	`pow-sqr_binary64`
240×	`unswap-sqr_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	32	172
1	80	170
2	210	168
3	860	168
4	2162	162
5	2667	159
6	2978	150
7	3203	150
8	3447	150
9	3767	150
10	4195	150
11	4706	150

Stop Event

1×	node limit

Counts

29 → 26

Calls

Call 1

Inputs
1
(+.f64 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) 1)
(+.f64 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) (+.f64 1 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)))))
(+.f64 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) (+.f64 1 (+.f64 (.f64 -1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))))))
(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 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) 1)
(fma.f64 -1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1)
(fma.f64 (.f64 -1/64800 (.f64 angle angle)) (pow.f64 (PI.f64) 2) 1)
(fma.f64 (.f64 angle angle) (.f64 -1/64800 (pow.f64 (PI.f64) 2)) 1)
(fma.f64 -1/64800 (pow.f64 (*.f64 angle (PI.f64)) 2) 1)
(+.f64 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) (+.f64 1 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)))))
(fma.f64 -1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) (+.f64 1 (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)))))
(fma.f64 -1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1))
(fma.f64 (.f64 angle angle) (.f64 -1/64800 (pow.f64 (PI.f64) 2)) (fma.f64 (pow.f64 angle 4) (*.f64 1/25194240000 (pow.f64 (PI.f64) 4)) 1))
(fma.f64 -1/64800 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) 1))
(fma.f64 -1/64800 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (pow.f64 (*.f64 angle (PI.f64)) 4) 1))
(fma.f64 (pow.f64 (.f64 angle (PI.f64)) 2) (fma.f64 (pow.f64 (.f64 angle (PI.f64)) 2) 1/25194240000 -1/64800) 1)
(+.f64 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))) (+.f64 1 (+.f64 (.f64 -1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6))) (.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))))))
(+.f64 (fma.f64 -1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1) (fma.f64 -1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) (.f64 1/25194240000 (*.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)))))
(+.f64 (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) (.f64 -1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)))) (fma.f64 (.f64 -1/64800 (*.f64 angle angle)) (pow.f64 (PI.f64) 2) 1))
(fma.f64 -1/64800 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) (fma.f64 -1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) 1)))
(fma.f64 -1/64800 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (pow.f64 (.f64 angle (PI.f64)) 4) (fma.f64 -1/24488801280000000 (.f64 (pow.f64 angle 6) (pow.f64 (PI.f64) 6)) 1)))
(fma.f64 -1/64800 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) (fma.f64 1/25194240000 (pow.f64 (.f64 angle (PI.f64)) 4) (fma.f64 -1/24488801280000000 (pow.f64 (.f64 angle (PI.f64)) 6) 1)))
(fma.f64 (pow.f64 (.f64 angle (PI.f64)) 2) (fma.f64 (pow.f64 (.f64 angle (PI.f64)) 2) 1/25194240000 -1/64800) (fma.f64 -1/24488801280000000 (pow.f64 (*.f64 angle (PI.f64)) 6) 1))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))

prune445.0ms (3.9%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	180	13	193
Fresh	9	26	35
Picked	1	0	1
Done	0	0	0
Total	190	39	229

Error

31.0b

Counts

229 → 39

Alt Table

Status	Error	Program
	42.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 3))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	34.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 3))
	48.6b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	54.7b	(.f64 (log.f64 (+.f64 1 (expm1.f64 (.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))))))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	43.5b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 b b))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	46.1b	(.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))))
	47.7b	(.f64 (.f64 (.f64 2 (/.f64 1 (/.f64 (fma.f64 b b (.f64 a a)) (-.f64 (pow.f64 b 4) (pow.f64 a 4))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	49.3b	(.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))))
	34.0b	(.f64 (.f64 (.f64 2 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	46.2b	(.f64 (exp.f64 (log.f64 (.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))))))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	44.5b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	46.0b	(.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 1/180 (.f64 angle (PI.f64)))))
	34.0b	(.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)))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	34.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (log.f64 (exp.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 1/180 angle))) 2)))))
	35.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180)))) 1)
	34.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))) 2) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	37.7b	(.f64 (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)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.4b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	45.9b	(.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 1/180 (*.f64 angle (PI.f64)))))
	50.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	44.5b	(.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))))
	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))) 1))
	50.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)))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	36.8b	(.f64 (.f64 angle (.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 (PI.f64) 1/90))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	49.1b	(.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))))
	35.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	34.2b	(.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)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	51.6b	(.f64 (pow.f64 (pow.f64 (.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))))) 3) 1/3) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	46.5b	(.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 1/180 (*.f64 angle (PI.f64)))))
	34.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))) 2)))
	45.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle))) 2))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	43.8b	(.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))))
	34.0b	(.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 2 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))))) 3) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	50.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 1/180 angle)))))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	48.3b	(.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))))
	34.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 (PI.f64) (.f64 angle 1/180))) 2)))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (log.f64 (exp.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 1/180 angle))) 3)))))
	36.8b	(.f64 (.f64 angle (.f64 (PI.f64) (.f64 1/90 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 8180 to 5103 computations (37.6% saved)

regimes1.1s (9.8%)

Accuracy

Total 2.9b remaining (9.2%)

Threshold costs 0b (0%)

Counts

158 → 1

Compiler

Compiled 4715 to 3025 computations (35.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-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	21	41
1	30	41
2	35	41
3	37	41
4	38	41

Stop Event

1×

saturated

Calls

Call 1

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

Outputs

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

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

end723.0ms (6.4%)

Stop Event

1×

fuel

Compiler

Compiled 1199 to 948 computations (20.9% saved)

Details

analyze1.5s (13.5%)

sample5.7s (50%)

preprocess36.0ms (0.3%)

simplify21.0ms (0.2%)

prune6.0ms (0.1%)

localize12.0ms (0.1%)

series42.0ms (0.4%)

rewrite72.0ms (0.6%)

simplify41.0ms (0.4%)

prune327.0ms (2.9%)

localize17.0ms (0.1%)

series2.0ms (0%)

rewrite31.0ms (0.3%)

simplify65.0ms (0.6%)

prune459.0ms (4%)

localize21.0ms (0.2%)

series11.0ms (0.1%)

rewrite66.0ms (0.6%)

simplify45.0ms (0.4%)

prune460.0ms (4%)

localize15.0ms (0.1%)

series2.0ms (0%)

rewrite33.0ms (0.3%)

simplify69.0ms (0.6%)

prune445.0ms (3.9%)

regimes1.1s (9.8%)

simplify2.0ms (0%)

end723.0ms (6.4%)

Profiling