Details

analyze1.6s (13.1%)

Algorithm

1×

Search

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

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample5.9s (49.2%)

Results

1.3s	1558×	body	1024	valid
1.2s	1381×	body	1024	invalid
1.1s	5213×	body	128	valid
484.0ms	779×	body	512	valid
399.0ms	91×	body	4096	valid
369.0ms	613×	body	512	invalid
306.0ms	1375×	body	128	invalid
265.0ms	187×	body	2048	valid
187.0ms	428×	body	256	valid
153.0ms	362×	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)

simplify20.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

33.8b

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

33.8b

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

33.8b

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

Compiler

Compiled 153 to 116 computations (24.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.1b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	11.3b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	23.8b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	23.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series19.0ms (0.2%)

Counts

4 → 66

Calls

21 calls:

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

rewrite74.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 156

Calls

Call 1

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

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

simplify43.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit

Counts

222 → 194

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

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

prune318.0ms (2.7%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	169	25	194
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	171	25	196

Error

30.9b

Counts

196 → 25

Alt Table

Status	Error	Program
	44.8b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	38.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (fma.f64 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) -1/64800 1))
	46.4b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.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)))
	34.0b	(.f64 (.f64 (.f64 2 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	47.9b	(.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))))
	35.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	48.7b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a)))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.1b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.8b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.2b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	38.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.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))))
	41.9b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	49.4b	(.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))) 3) 1/3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	38.7b	(.f64 (+.f64 (fma.f64 (.f64 (pow.f64 angle 3) (pow.f64 (PI.f64) 3)) (.f64 (.f64 a a) 1/17496000) (.f64 angle (.f64 (.f64 (PI.f64) 1/90) (-.f64 (.f64 b b) (.f64 a a))))) (.f64 (.f64 (pow.f64 (PI.f64) 3) (.f64 b b)) (.f64 (pow.f64 angle 3) -1/17496000))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	38.7b	(.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.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.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)))
▶	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	34.3b	(.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)))

Compiler

Compiled 8410 to 5171 computations (38.5% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.1b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	11.3b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	23.8b	(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
	23.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite31.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

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

Outputs

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

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

29 → 26

Calls

Call 1

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

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

prune438.0ms (3.7%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	181	12	193
Fresh	2	22	24
Picked	1	0	1
Done	0	0	0
Total	184	34	218

Error

30.9b

Counts

218 → 34

Alt Table

Status	Error	Program
	44.8b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	38.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (fma.f64 (.f64 angle (.f64 angle (pow.f64 (PI.f64) 2))) -1/64800 1))
	46.4b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
▶	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	33.9b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	34.0b	(.f64 (.f64 (.f64 2 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	47.9b	(.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))))
	35.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	41.9b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.2b	(.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)) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	33.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a)))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.1b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	45.2b	(.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))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	49.4b	(.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))) 3) 1/3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.7b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	46.1b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	34.0b	(.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)))))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	45.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.9b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	33.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)))
	37.5b	(.f64 (.f64 angle (.f64 (.f64 (PI.f64) 1/90) (-.f64 (.f64 b b) (.f64 a a)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	41.8b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.2b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.3b	(.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)))
	47.3b	(.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))) 2)) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	38.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.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))))
	45.0b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	38.7b	(.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))))
	34.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2)))))

Compiler

Compiled 9278 to 5943 computations (35.9% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.1b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	11.3b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	23.8b	(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
	23.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune697.0ms (5.9%)

Pruning

39 alts after pruning (39 fresh and 0 done)

	Pruned	Kept	Total
New	206	13	219
Fresh	7	26	33
Picked	1	0	1
Done	0	0	0
Total	214	39	253

Error

30.7b

Counts

253 → 39

Alt Table

Status	Error	Program
	44.8b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	34.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.9b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.2b	(.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)) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	33.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a)))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.1b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	45.2b	(.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))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	37.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1)) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	46.1b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	38.7b	(.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.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2)))
	45.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	45.2b	(.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))) (.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)))
	41.9b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	33.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)))
	34.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	37.5b	(.f64 (.f64 angle (.f64 (.f64 (PI.f64) 1/90) (-.f64 (.f64 b b) (.f64 a a)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	41.8b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	45.0b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	46.2b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64))))))) 2)))
	34.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2)))))
	42.0b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	49.4b	(.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))) 3) 1/3) (.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)))
	34.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 1) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
▶	33.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	47.3b	(.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))) 2)) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	38.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	34.2b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a)))))) 3) (.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)))
	34.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) (pow.f64 (cbrt.f64 1) 2)))
	43.0b	(.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))))
	45.0b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	46.4b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	35.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)

Compiler

Compiled 12509 to 8482 computations (32.2% saved)

localize26.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	11.3b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	23.6b	(cos.f64 (.f64 angle (.f64 1/180 (PI.f64))))
	23.8b	(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
	23.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite36.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

Outputs

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

simplify29.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 4 (0.0ms)

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

Stop Event

1×	node limit

Counts

29 → 26

Calls

Call 1

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

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

prune396.0ms (3.3%)

Pruning

37 alts after pruning (37 fresh and 0 done)

	Pruned	Kept	Total
New	103	7	110
Fresh	8	30	38
Picked	1	0	1
Done	0	0	0
Total	112	37	149

Error

30.7b

Counts

149 → 37

Alt Table

Status	Error	Program
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	43.1b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	44.8b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	41.9b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2)))
	46.4b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	34.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2)))
	35.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	45.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2)))
	41.9b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.6b	(.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)))))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 2)))
	34.2b	(.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)) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	33.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a)))))) 3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.1b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.9b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a)))))) 3) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	45.2b	(.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))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	37.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1)) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	46.1b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))
	38.7b	(.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.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2)))
	34.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 angle (*.f64 1/180 (PI.f64)))) 3))) (pow.f64 (cbrt.f64 1) 2)))
	45.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	45.2b	(.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))) (.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)))
	41.9b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	33.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)))
	34.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	37.5b	(.f64 (.f64 angle (.f64 (.f64 (PI.f64) 1/90) (-.f64 (.f64 b b) (.f64 a a)))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	45.0b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	46.2b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	49.4b	(.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))) 3) 1/3) (.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)))
	34.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 1) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180)))) 2)))
	47.3b	(.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))) 2)) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	38.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 (pow.f64 a 4)) (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	45.0b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (log.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	34.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2)))))

Compiler

Compiled 6141 to 4707 computations (23.4% saved)

regimes1.5s (12.5%)

Accuracy

Total 3.0b remaining (9.3%)

Threshold costs 0b (0%)

Counts

174 → 1

Compiler

Compiled 5569 to 3705 computations (33.5% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	37
1	37	37
2	41	37
3	44	37
4	45	37

Stop Event

1×

saturated

Calls

Call 1

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

Outputs

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

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

end751.0ms (6.3%)

Stop Event

1×

fuel

Compiler

Compiled 1296 to 1029 computations (20.6% saved)

Details

analyze1.6s (13.1%)

sample5.9s (49.2%)

preprocess36.0ms (0.3%)

simplify20.0ms (0.2%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series19.0ms (0.2%)

rewrite74.0ms (0.6%)

simplify43.0ms (0.4%)

prune318.0ms (2.7%)

localize18.0ms (0.1%)

series1.0ms (0%)

rewrite31.0ms (0.3%)

simplify28.0ms (0.2%)

prune438.0ms (3.7%)

localize19.0ms (0.2%)

prune697.0ms (5.9%)

localize26.0ms (0.2%)

series1.0ms (0%)

rewrite36.0ms (0.3%)

simplify29.0ms (0.2%)

prune396.0ms (3.3%)

regimes1.5s (12.5%)

simplify2.0ms (0%)

end751.0ms (6.3%)

Profiling