Details

analyze575.0ms (5.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
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

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample6.7s (62.2%)

Results

1.6s	1545×	body	1024	valid
1.3s	1265×	body	1024	invalid
1.1s	5126×	body	64	valid
599.0ms	763×	body	512	valid
546.0ms	694×	body	512	invalid
355.0ms	81×	body	4096	valid
349.0ms	1571×	body	64	invalid
247.0ms	168×	body	2048	valid
226.0ms	373×	body	256	valid
187.0ms	316×	body	256	invalid
87.0ms	200×	body	128	valid
67.0ms	163×	body	128	invalid

preprocess51.0ms (0.5%)

Algorithm

2×	egg-herbie

Rules

592×	`associate-l_binary64`
575×	`associate-r_binary64`
431×	`distribute-rgt-neg-in_binary64`
423×	`fma-neg_binary64`
405×	`neg-sub0_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
5	5309	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 2 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (+.f64 b a) (-.f64 a 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 b angle) (.f64 2 (-.f64 b angle))) (.f64 (sin.f64 (.f64 a (/.f64 (PI.f64) 180))) (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)))))))
(.f64 2 (.f64 (.f64 (+.f64 a angle) (-.f64 angle a)) (.f64 (sin.f64 (.f64 b (/.f64 (PI.f64) 180))) (cos.f64 (.f64 b (/.f64 (PI.f64) 180))))))

Compiler

Compiled 26 to 21 computations (19.2% saved)

simplify35.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

387×	`unsub-neg_binary64`
380×	`neg-sub0_binary64`
373×	`neg-mul-1_binary64`
364×	`unswap-sqr_binary64`
328×	`fma-neg_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
6	5385	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)))))
(.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 2 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (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

29.8b

Counts

3 → 2

Alt Table

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

Status

Error

Program

29.8b

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

▶

29.8b

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

Compiler

Compiled 153 to 116 computations (24.2% saved)

localize15.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))
✓	9.1b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	22.8b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	23.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series15.0ms (0.1%)

Counts

4 → 84

Calls

21 calls:

Time	Variable		Point	Expression
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))))
1.0ms	a	@	0	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
1.0ms	angle	@	0	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

rewrite88.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

798×	`log-prod_binary64`
751×	`prod-diff_binary64`
296×	`expm1-udef_binary64`
296×	`log1p-udef_binary64`
266×	`fma-def_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 → 197

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

simplify68.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

905×	`distribute-rgt-in_binary64`
902×	`distribute-lft-in_binary64`
788×	`associate-l_binary64`
714×	`associate-r_binary64`
475×	`fma-def_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	90	1918
1	244	1656
2	861	1536
3	4839	1514

Stop Event

1×	node limit

Counts

281 → 234

Calls

Call 1

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

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

prune547.0ms (5.1%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	200	34	234
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	202	34	236

Error

27.5b

Counts

236 → 34

Alt Table

Status	Error	Program
	32.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1))))
	30.3b	(.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))))
	44.2b	(.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)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	51.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.7b	(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (/.f64 1 (fma.f64 b b (.f64 a 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))))
	52.3b	(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 b b))) (pow.f64 (exp.f64 a) a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.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) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 angle (.f64 (PI.f64) (.f64 (-.f64 (.f64 b b) (.f64 a a)) 1/90))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	48.0b	(.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))))
	41.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	49.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 1/90 (.f64 angle (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (PI.f64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.7b	(.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))))
	53.5b	(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (/.f64 1 (fma.f64 (.f64 a a) (fma.f64 b b (.f64 a a)) (pow.f64 b 4))) (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))))
	36.5b	(.f64 (.f64 (.f64 2 (fma.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) (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))))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.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))))))
	45.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.8b	(.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.6b	(.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))))
	53.1b	(.f64 (+.f64 (log.f64 (.f64 (cbrt.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))))) (cbrt.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))))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (fma.f64 b b (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	36.0b	(.f64 (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))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	40.6b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.9b	(.f64 (.f64 (.f64 2 (fma.f64 (+.f64 b a) (-.f64 b 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))))
▶	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	42.6b	(.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))))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))))
	30.0b	(.f64 (.f64 (.f64 2 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	40.7b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))))

Compiler

Compiled 10259 to 6329 computations (38.3% saved)

localize16.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))
	9.1b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	22.6b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	23.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series1.0ms (0%)

Counts

1 → 4

Calls

3 calls:

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

rewrite38.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

650×	`pow1_binary64`
598×	`add-log-exp_binary64`
598×	`log1p-expm1-u_binary64`
598×	`expm1-log1p-u_binary64`
586×	`add-exp-log_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 → 16

Calls

Call 1

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

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

Outputs

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

simplify147.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

1168×	`sqr-pow_binary64`
990×	`fma-def_binary64`
625×	`pow-sqr_binary64`
565×	`cube-prod_binary64`
426×	`fabs-mul_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	26	94
1	66	92
2	188	88
3	824	88
4	2169	82
5	2674	79
6	2985	70
7	3210	70
8	3454	70
9	3774	70
10	4202	70
11	4713	70
12	5342	70
13	5600	70
14	5820	70
15	5990	70
16	6128	70
17	6242	70
18	7025	70
19	7892	70

Stop Event

1×	node limit

Counts

20 → 23

Calls

Call 1

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

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

prune594.0ms (5.5%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	215	12	227
Fresh	9	24	33
Picked	1	0	1
Done	0	0	0
Total	225	36	261

Error

27.5b

Counts

261 → 36

Alt Table

Status	Error	Program
	30.2b	(.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 1/180 (.f64 angle (PI.f64)))))
	30.0b	(.f64 (.f64 (.f64 2 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.3b	(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (pow.f64 (exp.f64 b) b) (+.f64 1 (expm1.f64 (.f64 a a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	51.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.7b	(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (/.f64 1 (fma.f64 b b (.f64 a 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))))
	30.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) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 angle (.f64 (PI.f64) (.f64 (-.f64 (.f64 b b) (.f64 a a)) 1/90))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	40.7b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	46.3b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	48.0b	(.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))))
	49.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 1/90 (.f64 angle (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (PI.f64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
▶	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	41.7b	(.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))))
	53.5b	(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (/.f64 1 (fma.f64 (.f64 a a) (fma.f64 b b (.f64 a a)) (pow.f64 b 4))) (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))))
	36.5b	(.f64 (.f64 (.f64 2 (fma.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) (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))))
	29.7b	(.f64 (.f64 (.f64 2 (fma.f64 (+.f64 b a) (-.f64 b a) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	44.2b	(.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)) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	45.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.5b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	53.1b	(.f64 (+.f64 (log.f64 (.f64 (cbrt.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))))) (cbrt.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))))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (fma.f64 b b (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	36.0b	(.f64 (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))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	40.7b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	49.6b	(.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 1/180 (*.f64 angle (PI.f64)))))
	49.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	41.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))))
	46.0b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))))
	32.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1))))
	30.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	42.6b	(.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))))

Compiler

Compiled 10160 to 6025 computations (40.7% 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))
	9.1b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	22.6b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	23.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune631.0ms (5.9%)

Pruning

47 alts after pruning (47 fresh and 0 done)

	Pruned	Kept	Total
New	211	16	227
Fresh	4	31	35
Picked	1	0	1
Done	0	0	0
Total	216	47	263

Error

27.5b

Counts

263 → 47

Alt Table

Status	Error	Program
	46.0b	(.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)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))))
	32.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1))))
	29.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	36.4b	(.f64 (.f64 (.f64 2 (fma.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)))) (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)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	30.2b	(.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 1/180 (.f64 angle (PI.f64)))))
	30.0b	(.f64 (.f64 (.f64 2 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.3b	(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (pow.f64 (exp.f64 b) b) (+.f64 1 (expm1.f64 (.f64 a a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	51.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	36.0b	(.f64 (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))))))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	30.2b	(.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)))
▶	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3)) 3))
	46.7b	(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (/.f64 1 (fma.f64 b b (.f64 a 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))))
	30.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	41.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	32.7b	(.f64 (.f64 angle (.f64 (PI.f64) (.f64 (-.f64 (.f64 b b) (.f64 a a)) 1/90))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) 3))
	30.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	48.0b	(.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))))
	29.8b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	49.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 1/90 (.f64 angle (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (PI.f64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	48.1b	(.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) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	51.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	40.7b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	30.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) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	41.7b	(.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))))
	53.5b	(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (/.f64 1 (fma.f64 (.f64 a a) (fma.f64 b b (.f64 a a)) (pow.f64 b 4))) (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))))
	36.5b	(.f64 (.f64 (.f64 2 (fma.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) (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))))
	29.7b	(.f64 (.f64 (.f64 2 (fma.f64 (+.f64 b a) (-.f64 b a) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	44.2b	(.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)) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	45.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.5b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	44.2b	(.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)) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	53.1b	(.f64 (+.f64 (log.f64 (.f64 (cbrt.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))))) (cbrt.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))))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (fma.f64 b b (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.2b	(.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))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	40.7b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	49.6b	(.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 1/180 (*.f64 angle (PI.f64)))))
	49.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	49.6b	(.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)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))))
	46.0b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	45.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	42.6b	(.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))))

Compiler

Compiled 11705 to 7374 computations (37% saved)

localize20.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))
	9.1b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	22.6b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	23.2b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune630.0ms (5.9%)

Pruning

48 alts after pruning (48 fresh and 0 done)

	Pruned	Kept	Total
New	219	8	227
Fresh	6	40	46
Picked	1	0	1
Done	0	0	0
Total	226	48	274

Error

27.5b

Counts

274 → 48

Alt Table

Status	Error	Program
	40.6b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3)) 3))
	30.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))))
	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3))) 3)) 3))
	30.2b	(.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 1/180 (.f64 angle (PI.f64)))))
	30.0b	(.f64 (.f64 (.f64 2 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.3b	(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (pow.f64 (exp.f64 b) b) (+.f64 1 (expm1.f64 (.f64 a a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	30.2b	(.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))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3)) 3))
	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	51.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.7b	(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (/.f64 1 (fma.f64 b b (.f64 a 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))))
	30.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	41.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	32.7b	(.f64 (.f64 angle (.f64 (PI.f64) (.f64 (-.f64 (.f64 b b) (.f64 a a)) 1/90))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	48.0b	(.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))))
	29.8b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	49.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 1/90 (.f64 angle (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (PI.f64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.f64 (.f64 (.f64 2 (sqrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	48.1b	(.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) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	51.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	40.7b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	46.0b	(.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)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3)) 3))
	29.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3)) 3))
	41.7b	(.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))))
	30.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) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	53.5b	(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (/.f64 1 (fma.f64 (.f64 a a) (fma.f64 b b (.f64 a a)) (pow.f64 b 4))) (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))))
	36.5b	(.f64 (.f64 (.f64 2 (fma.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) (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))))
	42.7b	(.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))))))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3)) 3))
	29.7b	(.f64 (.f64 (.f64 2 (fma.f64 (+.f64 b a) (-.f64 b a) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	44.2b	(.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)) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	45.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.5b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	44.2b	(.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)) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
	53.1b	(.f64 (+.f64 (log.f64 (.f64 (cbrt.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))))) (cbrt.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))))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (fma.f64 b b (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3)) 3))
	40.7b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	49.6b	(.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 1/180 (*.f64 angle (PI.f64)))))
	49.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	49.6b	(.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)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
	30.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) 3)) 3))
	42.6b	(.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))))
	29.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))))
	46.0b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	32.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1))))
	45.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))

Compiler

Compiled 10752 to 6826 computations (36.5% saved)

regimes548.0ms (5.1%)

Accuracy

Total -33.8b remaining (-114%)

Threshold costs -33.8b (-114%)

Counts

72 → 1

Calls

Call 1

Inputs
(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3)) 3))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3))) 3)) 3))
(.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))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3)) 3))
(.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)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3)) 3))
(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3)) 3))
(.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))))))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3)) 3))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3)) 3))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) 3)) 3))
(.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)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.f64 (.f64 (.f64 2 (fma.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)))) (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)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.f64 (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))))))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3)) 3))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2))) 3))
(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.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) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.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) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
(.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)) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
(.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))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
(.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)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.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))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 3))
(.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 1/180 (.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (pow.f64 (exp.f64 b) b) (+.f64 1 (expm1.f64 (.f64 a a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3))
(.f64 (.f64 (.f64 2 (fma.f64 (+.f64 b a) (-.f64 b a) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.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)) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.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 1/180 (*.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1))))
(.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))))
(.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)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.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)))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cos.f64 1)) (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (sin.f64 1)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (/.f64 1 (fma.f64 b b (.f64 a 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))))
(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (+.f64 1 (expm1.f64 (.f64 b b))) (pow.f64 (exp.f64 a) a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
(.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))))
(.f64 (.f64 angle (.f64 (PI.f64) (.f64 (-.f64 (.f64 b b) (.f64 a a)) 1/90))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2))))) (fma.f64 (neg.f64 (cbrt.f64 a)) (.f64 a (pow.f64 (cbrt.f64 a) 2)) (.f64 (cbrt.f64 a) (.f64 a (pow.f64 (cbrt.f64 a) 2)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
(.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))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 3))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 1/90 (.f64 angle (.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)) (PI.f64)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.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))))
(.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))))
(.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))))
(.f64 (.f64 (.f64 2 (fma.f64 (-.f64 (pow.f64 b 6) (pow.f64 a 6)) (/.f64 1 (fma.f64 (.f64 a a) (fma.f64 b b (.f64 a a)) (pow.f64 b 4))) (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))))
(.f64 (.f64 (.f64 2 (fma.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) (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))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.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))))))
(.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))))
(.f64 (.f64 (.f64 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 (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))))
(.f64 (+.f64 (log.f64 (.f64 (cbrt.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))))) (cbrt.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))))))) (log.f64 (cbrt.f64 (pow.f64 (pow.f64 (exp.f64 2) (fma.f64 b b (.f64 a (neg.f64 a)))) (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (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))))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.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))))
(.f64 (.f64 (.f64 2 (fma.f64 (+.f64 b a) (-.f64 b 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))))
(.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)))))
(.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))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))))))
(.f64 (.f64 (.f64 2 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a)))) (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 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))))))
(.f64 (-.f64 (.f64 b b) (.f64 a a)) (.f64 2 (.f64 (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 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 1/180 (.f64 angle (PI.f64)))))

Results

45.0ms	29.7b	`a`
45.0ms	29.7b	`b`
44.0ms	29.7b	`angle`
35.0ms	29.7b	`(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))`
37.0ms	29.7b	`(*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))`
41.0ms	29.7b	`(-.f64 (pow.f64 b 2) (pow.f64 a 2))`
25.0ms	29.7b	`(pow.f64 b 2)`
26.0ms	29.7b	`(pow.f64 a 2)`
44.0ms	29.7b	`(*.f64 (PI.f64) (/.f64 angle 180))`
45.0ms	29.7b	`(*.f64 (PI.f64) (/.f64 angle 180))`
46.0ms	29.7b	`(/.f64 angle 180)`
48.0ms	29.7b	`(/.f64 angle 180)`

Compiler

Compiled 2333 to 1531 computations (34.4% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×

saturated

Calls

Call 1

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

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

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

end22.0ms (0.2%)

Stop Event

1×

fuel

Compiler

Compiled 52 to 42 computations (19.2% saved)

Details

analyze575.0ms (5.4%)

sample6.7s (62.2%)

preprocess51.0ms (0.5%)

simplify35.0ms (0.3%)

prune4.0ms (0%)

localize15.0ms (0.1%)

series15.0ms (0.1%)

rewrite88.0ms (0.8%)

simplify68.0ms (0.6%)

prune547.0ms (5.1%)

localize16.0ms (0.1%)

series1.0ms (0%)

rewrite38.0ms (0.4%)

simplify147.0ms (1.4%)

prune594.0ms (5.5%)

localize19.0ms (0.2%)

prune631.0ms (5.9%)

localize20.0ms (0.2%)

prune630.0ms (5.9%)

regimes548.0ms (5.1%)

simplify3.0ms (0%)

end22.0ms (0.2%)

Profiling