Details

analyze1.6s (14.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
31.2%	68.6%	0.1%	7
37.4%	62.4%	0.1%	8
45.2%	54.6%	0.1%	9
45.2%	54.6%	0.1%	10
50.3%	49.5%	0.1%	11
56.4%	43.5%	0.1%	12
56.4%	41.4%	2.2%	13
59.3%	37.9%	2.8%	14

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample5.8s (50.3%)

Results

1.4s	1572×	body	1024	valid
1.2s	5267×	body	128	valid
1.1s	1255×	body	1024	invalid
487.0ms	770×	body	512	valid
386.0ms	618×	body	512	invalid
332.0ms	76×	body	4096	valid
327.0ms	1447×	body	128	invalid
247.0ms	178×	body	2048	valid
175.0ms	393×	body	256	valid
132.0ms	303×	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)))))

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

30.6b

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

30.6b

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

30.6b

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

Compiler

Compiled 153 to 116 computations (24.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	23.7b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	24.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series16.0ms (0.1%)

Counts

4 → 72

Calls

18 calls:

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

rewrite59.0ms (0.5%)

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	53
1	345	53
2	4254	53

Stop Event

1×	node limit

Counts

4 → 72

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

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

simplify42.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	119	1902
1	371	1582
2	1463	1540

Stop Event

1×	node limit

Counts

144 → 106

Calls

Call 1

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

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

prune306.0ms (2.7%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	96	31	127
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	97	32	129

Error

27.5b

Counts

129 → 32

Alt Table

Status	Error	Program
▶	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	49.1b	(.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))))
	39.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (pow.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3) 1/3)))
	30.8b	(.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 (PI.f64) (.f64 angle 1/180)))) 3))
	43.4b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.0b	(.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 a a) 1/17496000))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 a (.f64 a 1/90))) (.f64 (pow.f64 angle 3) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.8b	(.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))))
	35.2b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	34.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (cbrt.f64 (.f64 (pow.f64 (PI.f64) 3) (pow.f64 (.f64 angle 1/180) 3)))))
	48.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.5b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.6b	(.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)))))
	48.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	40.8b	(.f64 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	30.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (/.f64 (*.f64 (PI.f64) angle) 180)))
	43.1b	(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	50.8b	(.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))))
	40.7b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.4b	(.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 (/.f64 180 (*.f64 (PI.f64) angle)))))
	30.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.8b	(.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)))
	31.0b	(.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.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 1)))
	45.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.8b	(.f64 (.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (.f64 (pow.f64 a 2) (PI.f64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	49.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (sqrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 2)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	45.3b	(.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 5643 to 4217 computations (25.3% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (PI.f64) (/.f64 180 angle))
✓	8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle))))
✓	23.6b	(sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))
	24.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series5.0ms (0%)

Counts

3 → 60

Calls

15 calls:

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

rewrite59.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

285×	`expm1-udef_binary64`
285×	`log1p-udef_binary64`
166×	`add-sqr-sqrt_binary64`
162×	`pow1_binary64`
160×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43
1	331	43
2	4269	43

Stop Event

1×	node limit

Counts

3 → 76

Calls

Call 1

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

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

Outputs

((#(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 log1p.f64 (expm1.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 expm1.f64 (log1p.f64 (sin.f64 (*.f64 (PI.f64) (*.f64 angle 1/180)))))))))

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

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

simplify51.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	95	1728
1	304	1408
2	1235	1368
3	4624	1368

Stop Event

1×	node limit

Counts

136 → 101

Calls

Call 1

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

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

prune286.0ms (2.5%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	117	11	128
Fresh	4	27	31
Picked	1	0	1
Done	0	0	0
Total	122	38	160

Error

27.3b

Counts

160 → 38

Alt Table

Status	Error	Program
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	49.1b	(.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))))
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (.f64 (PI.f64) 1/180) (pow.f64 (cbrt.f64 angle) 2)) (cbrt.f64 angle)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	39.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (pow.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3) 1/3)))
	30.8b	(.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 (PI.f64) (.f64 angle 1/180)))) 3))
	31.2b	(.f64 (.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 1)
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) (/.f64 180 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	45.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	31.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1) (/.f64 (cbrt.f64 (PI.f64)) (/.f64 180 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.4b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.0b	(.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 a a) 1/17496000))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 a (.f64 a 1/90))) (.f64 (pow.f64 angle 3) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.8b	(.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))))
	35.2b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 180) (/.f64 (cbrt.f64 (PI.f64)) (/.f64 1 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.5b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.6b	(.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)))))
	48.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	36.3b	(.f64 (+.f64 (+.f64 (.f64 (PI.f64) (.f64 (.f64 b b) (.f64 angle 1/90))) (.f64 (.f64 a a) (+.f64 (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000) (.f64 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) 1/15427944806400000000)))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (.f64 b b) (+.f64 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) 1/15427944806400000000)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	40.8b	(.f64 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	30.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	43.1b	(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	50.8b	(.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))))
	40.7b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	45.3b	(.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))))
	42.5b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.4b	(.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 (/.f64 180 (*.f64 (PI.f64) angle)))))
	30.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.8b	(.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)))
	43.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 1 (cbrt.f64 (/.f64 32400 (.f64 angle angle)))) (/.f64 (PI.f64) (cbrt.f64 (/.f64 180 angle)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	32.8b	(.f64 (.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (.f64 (pow.f64 a 2) (PI.f64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	49.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (sqrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 2)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 6241 to 4639 computations (25.7% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.8b	(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)
	8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	23.7b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	23.8b	(cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))

series19.0ms (0.2%)

Counts

2 → 4

Calls

6 calls:

Time	Variable		Point	Expression
8.0ms	angle	@	0	(cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))
7.0ms	angle	@	-inf	(cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))
1.0ms	angle	@	inf	(cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))
1.0ms	angle	@	0	(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)
1.0ms	angle	@	inf	(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)

rewrite40.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

829×	`pow1_binary64`
775×	`log1p-expm1-u_binary64`
775×	`expm1-log1p-u_binary64`
91×	`add-sqr-sqrt_binary64`
86×	`add-log-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	210	18
2	2149	18

Stop Event

1×	node limit

Counts

2 → 57

Calls

Call 1

Inputs
(cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))
(pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)

Outputs

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

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

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	4
1	4	4

Stop Event

1×

saturated

Counts

61 → 58

Calls

Call 1

Inputs
1
1
1
1

Outputs
1
1
1
1

prune377.0ms (3.3%)

Pruning

49 alts after pruning (49 fresh and 0 done)

	Pruned	Kept	Total
New	97	19	116
Fresh	7	30	37
Picked	1	0	1
Done	0	0	0
Total	105	49	154

Error

27.1b

Counts

154 → 49

Alt Table

Status	Error	Program
	42.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	30.6b	(.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 1/180 (PI.f64)))) 3)))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	49.1b	(.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))))
	43.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	30.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 2)) (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))))))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2) (cbrt.f64 (PI.f64))) (cbrt.f64 (*.f64 angle 1/180)))))
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (.f64 (PI.f64) 1/180) (pow.f64 (cbrt.f64 angle) 2)) (cbrt.f64 angle)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	39.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (pow.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3) 1/3)))
	30.8b	(.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 (PI.f64) (.f64 angle 1/180)))) 3))
	40.5b	(.f64 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 -2 (.f64 a a))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	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 (.f64 (PI.f64) (cbrt.f64 (.f64 (.f64 angle angle) 1/32400))) (cbrt.f64 (*.f64 angle 1/180)))))
	31.2b	(.f64 (.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 1)
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) (/.f64 180 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.7b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 b b))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	48.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 1/6) 3) (pow.f64 (pow.f64 (.f64 angle (*.f64 1/180 (PI.f64))) 1/6) 3))))
	31.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1) (/.f64 (cbrt.f64 (PI.f64)) (/.f64 180 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.4b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.0b	(.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 a a) 1/17496000))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 a (.f64 a 1/90))) (.f64 (pow.f64 angle 3) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	30.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 2) 3) (cbrt.f64 (.f64 angle (*.f64 1/180 (PI.f64)))))))
	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.8b	(.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))))
	35.2b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 3)))
	48.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 1/6) (.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 1/6) (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2)))))
	32.8b	(.f64 (.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (.f64 (pow.f64 a 2) (PI.f64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.8b	(.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 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 3)))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))) (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2)))))
	30.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 180) (/.f64 (cbrt.f64 (PI.f64)) (/.f64 1 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (.f64 (cbrt.f64 (PI.f64)) (*.f64 angle 1/180)))))
	49.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (sqrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 2)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.6b	(.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 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (.f64 angle 1/180)) (pow.f64 (cbrt.f64 (.f64 angle (*.f64 1/180 (PI.f64)))) 2)))))
	48.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	36.3b	(.f64 (+.f64 (+.f64 (.f64 (PI.f64) (.f64 (.f64 b b) (.f64 angle 1/90))) (.f64 (.f64 a a) (+.f64 (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000) (.f64 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) 1/15427944806400000000)))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (.f64 b b) (+.f64 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) 1/15427944806400000000)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	50.8b	(.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))))
	40.7b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (expm1.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 3)))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	45.3b	(.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))))
	42.5b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.4b	(.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 (/.f64 180 (*.f64 (PI.f64) angle)))))
	30.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	33.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))

Compiler

Compiled 6996 to 5324 computations (23.9% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(cbrt.f64 (PI.f64))
	8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	23.7b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	24.0b	(cos.f64 (.f64 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64))))

series1.0ms (0%)

Counts

2 → 12

Calls

3 calls:

Time

Variable

Point

Expression

1.0ms

angle

(cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64))))

0.0ms

angle

inf

(cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64))))

0.0ms

angle

-inf

(cos.f64 (*.f64 (*.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64))))

rewrite40.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

884×	`log1p-expm1-u_binary64`
884×	`expm1-log1p-u_binary64`
106×	`add-sqr-sqrt_binary64`
102×	`pow1_binary64`
101×	`*-un-lft-identity_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	14
1	224	14
2	2488	14

Stop Event

1×	node limit

Counts

2 → 41

Calls

Call 1

Inputs
(cos.f64 (.f64 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64))))
(cbrt.f64 (PI.f64))

Outputs

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

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

simplify28.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

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

Stop Event

1×	node limit

Counts

53 → 50

Calls

Call 1

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

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

prune453.0ms (3.9%)

Pruning

55 alts after pruning (55 fresh and 0 done)

	Pruned	Kept	Total
New	121	10	131
Fresh	3	45	48
Picked	1	0	1
Done	0	0	0
Total	125	55	180

Error

27.0b

Counts

180 → 55

Alt Table

Status	Error	Program
	42.9b	(.f64 (cbrt.f64 (pow.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	30.6b	(.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 1/180 (PI.f64)))) 3)))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	49.1b	(.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))))
	43.2b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	30.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2) (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 2)) (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))))))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (pow.f64 (cbrt.f64 (cbrt.f64 (PI.f64))) 3))))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2) (cbrt.f64 (PI.f64))) (cbrt.f64 (*.f64 angle 1/180)))))
	40.7b	(.f64 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 -2 (.f64 a a))) (cos.f64 (.f64 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (.f64 (.f64 (PI.f64) 1/180) (pow.f64 (cbrt.f64 angle) 2)) (cbrt.f64 angle)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	39.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (pow.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3) 1/3)))
	30.8b	(.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 (PI.f64) (.f64 angle 1/180)))) 3))
	40.5b	(.f64 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 -2 (.f64 a a))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3)))
	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 (.f64 (PI.f64) (cbrt.f64 (.f64 (.f64 angle angle) 1/32400))) (cbrt.f64 (*.f64 angle 1/180)))))
	31.2b	(.f64 (.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) 1)
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (sqrt.f64 (PI.f64)) 1) (/.f64 (sqrt.f64 (PI.f64)) (/.f64 180 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 1/6) 3) (pow.f64 (pow.f64 (.f64 angle (*.f64 1/180 (PI.f64))) 1/6) 3))))
	31.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 1) (/.f64 (cbrt.f64 (PI.f64)) (/.f64 180 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.4b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.0b	(.f64 (+.f64 (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 b b) 1/90)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 a a) 1/17496000))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 a (.f64 a 1/90))) (.f64 (pow.f64 angle 3) (.f64 1/17496000 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	30.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 2) 3) (cbrt.f64 (.f64 angle (*.f64 1/180 (PI.f64)))))))
	30.6b	(.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 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.8b	(.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))))
	35.2b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	45.3b	(.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 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	33.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 3)))
	48.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 1/6) (.f64 (pow.f64 (.f64 angle (.f64 1/180 (PI.f64))) 1/6) (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2)))))
	53.9b	(.f64 (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))))) (cos.f64 (.f64 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	30.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) (cos.f64 (.f64 (.f64 (.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	32.8b	(.f64 (.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (.f64 (pow.f64 a 2) (PI.f64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.8b	(.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 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 3)))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))) 2) (.f64 (cbrt.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64))))) (pow.f64 (cbrt.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2)))))
	47.0b	(.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 (.f64 (.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	30.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (/.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) 180) (/.f64 (cbrt.f64 (PI.f64)) (/.f64 1 angle))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 3)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (pow.f64 (cbrt.f64 (PI.f64)) 2) (.f64 (cbrt.f64 (PI.f64)) (*.f64 angle 1/180)))))
	49.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (sqrt.f64 (pow.f64 (.f64 (PI.f64) (.f64 angle 1/180)) 2)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (cbrt.f64 (PI.f64)) (.f64 (cbrt.f64 (.f64 angle 1/180)) (pow.f64 (cbrt.f64 (.f64 angle (*.f64 1/180 (PI.f64)))) 2)))))
	48.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (pow.f64 (sqrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.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 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	44.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (.f64 (.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))
	36.3b	(.f64 (+.f64 (+.f64 (.f64 (PI.f64) (.f64 (.f64 b b) (.f64 angle 1/90))) (.f64 (.f64 a a) (+.f64 (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000) (.f64 (.f64 (pow.f64 angle 7) (pow.f64 (PI.f64) 7)) 1/15427944806400000000)))) (-.f64 (.f64 (.f64 (.f64 (pow.f64 angle 5) (pow.f64 (PI.f64) 5)) 1/11337408000000) (-.f64 (.f64 b b) (.f64 a a))) (fma.f64 angle (.f64 (PI.f64) (.f64 (.f64 a a) 1/90)) (.f64 (.f64 b b) (+.f64 (.f64 (pow.f64 (PI.f64) 7) (.f64 (pow.f64 angle 7) 1/15427944806400000000)) (.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) 1/17496000)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	50.8b	(.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))))
	40.7b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (expm1.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 3)))
	30.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (/.f64 (PI.f64) (/.f64 180 angle)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))) 2)))
	42.5b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.4b	(.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 (/.f64 180 (*.f64 (PI.f64) angle)))))
	30.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2) (fma.f64 b b (.f64 a (neg.f64 a))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.8b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) (.f64 b b))) (cos.f64 (.f64 (.f64 (*.f64 angle 1/180) (pow.f64 (cbrt.f64 (PI.f64)) 2)) (cbrt.f64 (PI.f64)))))

Compiler

Compiled 6355 to 4571 computations (28.1% saved)

regimes1.0s (9.1%)

Accuracy

Total 3.5b remaining (11.1%)

Threshold costs 0b (0%)

Counts

145 → 1

Compiler

Compiled 4266 to 3038 computations (28.8% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Calls

Call 1

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

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

end1.1s (9.6%)

Stop Event

1×

fuel

Compiler

Compiled 1913 to 1507 computations (21.2% saved)

Details

analyze1.6s (14.2%)

sample5.8s (50.3%)

preprocess36.0ms (0.3%)

simplify21.0ms (0.2%)

prune5.0ms (0%)

localize15.0ms (0.1%)

series16.0ms (0.1%)

rewrite59.0ms (0.5%)

simplify42.0ms (0.4%)

prune306.0ms (2.7%)

localize15.0ms (0.1%)

series5.0ms (0%)

rewrite59.0ms (0.5%)

simplify51.0ms (0.4%)

prune286.0ms (2.5%)

localize18.0ms (0.2%)

series19.0ms (0.2%)

rewrite40.0ms (0.4%)

simplify6.0ms (0.1%)

prune377.0ms (3.3%)

localize21.0ms (0.2%)

series1.0ms (0%)

rewrite40.0ms (0.3%)

simplify28.0ms (0.2%)

prune453.0ms (3.9%)

regimes1.0s (9.1%)

simplify2.0ms (0%)

end1.1s (9.6%)

Profiling