Details

analyze1.9s (16.3%)

Algorithm

1×

Search

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

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample5.8s (49.5%)

Results

1.4s	1591×	body	1024	valid
1.2s	5345×	body	128	valid
1.2s	1336×	body	1024	invalid
469.0ms	749×	body	512	valid
441.0ms	676×	body	512	invalid
314.0ms	1365×	body	128	invalid
288.0ms	68×	body	4096	valid
260.0ms	183×	body	2048	valid
137.0ms	314×	body	256	invalid
136.0ms	320×	body	256	valid

preprocess45.0ms (0.4%)

Algorithm

2×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	saturated
1×	node limit

Calls

Call 1

Inputs
0
1
2

Outputs
0
1
2

Call 2

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

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

Compiler

Compiled 26 to 21 computations (19.2% saved)

simplify23.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 2

Calls

Call 1

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

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

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

32.9b

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

32.9b

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

33.0b

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

Compiler

Compiled 153 to 116 computations (24.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.9b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	10.5b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	24.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	24.8b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series16.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	angle	@	0	(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))))

rewrite75.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

4 → 156

Calls

Call 1

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

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

simplify61.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

788×	`associate-l_binary64`
714×	`associate-r_binary64`
475×	`fma-def_binary64`
252×	`*-commutative_binary64`
176×	`distribute-lft-in_binary64`

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit

Counts

240 → 193

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

prune432.0ms (3.7%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	167	26	193
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	169	26	195

Error

29.7b

Counts

195 → 26

Alt Table

Status	Error	Program
	49.4b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.2b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	51.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.1b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3))
	42.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))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1))
	35.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))))
	45.5b	(.f64 (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)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.8b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.4b	(.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))))
	44.4b	(.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))))
	41.2b	(.f64 (.f64 (.f64 2 (expm1.f64 (log1p.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))))
	50.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))))
	44.6b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	51.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
▶	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	53.5b	(.f64 (.f64 (.f64 2 (log.f64 (exp.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))))
	45.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.9b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	45.4b	(.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))))
	47.2b	(.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))))
	33.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)

Compiler

Compiled 8176 to 4991 computations (39% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.9b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.5b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	23.8b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	24.8b	(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))))

rewrite32.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

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

Outputs

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

simplify63.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

990×	`fma-def_binary64`
513×	`sqr-pow_binary64`
358×	`*-commutative_binary64`
317×	`pow-sqr_binary64`
243×	`unswap-sqr_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

Stop Event

1×	node limit

Counts

21 → 24

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

prune488.0ms (4.2%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	182	9	191
Fresh	4	21	25
Picked	1	0	1
Done	0	0	0
Total	187	30	217

Error

29.7b

Counts

217 → 30

Alt Table

Status	Error	Program
	47.2b	(.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 1/180 (*.f64 angle (PI.f64)))))
	49.4b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.7b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	33.2b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	51.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3))
	33.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	45.4b	(.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))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1))
	35.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))))
	45.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	45.5b	(.f64 (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)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.8b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.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 1/180 (*.f64 angle (PI.f64)))))
	33.4b	(.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))))
	44.4b	(.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))))
	41.2b	(.f64 (.f64 (.f64 2 (expm1.f64 (log1p.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))))
	50.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))))
	44.6b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	51.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))) 2)))
	33.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	42.9b	(.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))))
	32.9b	(.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)))))
	45.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
▶	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))

Compiler

Compiled 8390 to 4976 computations (40.7% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.9b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.5b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	23.8b	(cos.f64 (.f64 angle (.f64 (PI.f64) 1/180)))
	24.8b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite33.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

Outputs

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

simplify68.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

990×	`fma-def_binary64`
513×	`sqr-pow_binary64`
367×	`*-commutative_binary64`
317×	`pow-sqr_binary64`
240×	`unswap-sqr_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	30	174
1	74	172
2	200	168
3	832	168
4	2179	162
5	2684	159
6	2995	150
7	3220	150
8	3464	150
9	3784	150
10	4212	150
11	4723	150

Stop Event

1×	node limit

Counts

29 → 26

Calls

Call 1

Inputs
1
(+.f64 1 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(+.f64 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))))

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

prune500.0ms (4.3%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	187	6	193
Fresh	1	28	29
Picked	1	0	1
Done	0	0	0
Total	189	34	223

Error

29.7b

Counts

223 → 34

Alt Table

Status	Error	Program
	47.2b	(.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 1/180 (*.f64 angle (PI.f64)))))
	49.4b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (fma.f64 b b (.f64 a (neg.f64 a))) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (+.f64 1 (expm1.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.7b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	33.2b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	51.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3))
	33.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)))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	45.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	42.9b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	45.4b	(.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))))
▶	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1))
	35.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))))
	45.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	45.5b	(.f64 (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)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.8b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.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 1/180 (*.f64 angle (PI.f64)))))
	33.4b	(.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))))
	44.4b	(.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))))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	41.2b	(.f64 (.f64 (.f64 2 (expm1.f64 (log1p.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))))
	50.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))))
	43.0b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	45.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))) 2)))
	33.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	45.4b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	32.9b	(.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)))))
	51.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.6b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))

Compiler

Compiled 9094 to 5762 computations (36.6% saved)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.9b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.5b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	24.2b	(cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))
	24.8b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series1.0ms (0%)

Counts

1 → 12

Calls

3 calls:

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

rewrite31.0ms (0.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

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

Stop Event

1×	node limit

Counts

1 → 17

Calls

Call 1

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

Outputs

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

simplify72.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

990×	`fma-def_binary64`
513×	`sqr-pow_binary64`
367×	`*-commutative_binary64`
317×	`pow-sqr_binary64`
240×	`unswap-sqr_binary64`

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	30	174
1	74	172
2	200	168
3	832	168
4	2179	162
5	2684	159
6	2995	150
7	3220	150
8	3464	150
9	3784	150
10	4212	150
11	4723	150

Stop Event

1×	node limit

Counts

29 → 26

Calls

Call 1

Inputs
1
(+.f64 1 (.f64 -1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2))))
(+.f64 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))))

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

prune524.0ms (4.5%)

Pruning

36 alts after pruning (36 fresh and 0 done)

	Pruned	Kept	Total
New	184	9	193
Fresh	6	27	33
Picked	1	0	1
Done	0	0	0
Total	191	36	227

Error

29.7b

Counts

227 → 36

Alt Table

Status	Error	Program
	45.3b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	47.2b	(.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 1/180 (*.f64 angle (PI.f64)))))
	42.7b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	33.2b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 a (neg.f64 a)))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2)))
	51.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (-.f64 (exp.f64 (log1p.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1)) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3))
	42.9b	(.f64 (.f64 (.f64 2 (.f64 a (neg.f64 a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))) 1))
	33.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))) 3)) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))) 1))
	33.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)))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	45.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	33.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 b (pow.f64 (cbrt.f64 b) 2)) (cbrt.f64 b) (.f64 a (neg.f64 a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))) 1))
	45.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))) 1))
	45.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	45.5b	(.f64 (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)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.8b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 (exp.f64 (log1p.f64 (sqrt.f64 (pow.f64 (cos.f64 (.f64 angle (.f64 1/180 (PI.f64)))) 2)))) 1))
	33.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 1/180 (*.f64 angle (PI.f64)))))
	33.4b	(.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))))
	44.4b	(.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))))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))))
	50.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))))
	46.4b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (fma.f64 b b (.f64 a (neg.f64 a)))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))) 1))
	43.0b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 -2 (.f64 a a))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	45.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) 2))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.6b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	42.6b	(.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (.f64 b b))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (.f64 angle 1/180))))) 1))
	45.4b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180))) (.f64 2 (fma.f64 b b (.f64 a (neg.f64 a))))))) (log.f64 (exp.f64 (cos.f64 (.f64 angle (.f64 (PI.f64) 1/180))))))
	32.9b	(.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)))))
	45.4b	(.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))))
	35.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))))
	49.4b	(.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)))) (-.f64 (exp.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (*.f64 angle 1/180))))) 1))
	51.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (.f64 angle 1/180)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)

Compiler

Compiled 8543 to 5441 computations (36.3% saved)

regimes858.0ms (7.4%)

Accuracy

Total -25.3b remaining (-81.5%)

Threshold costs -25.3b (-81.5%)

Counts

138 → 1

Compiler

Compiled 4233 to 2728 computations (35.6% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	41
1	30	41
2	35	41
3	37	41
4	38	41

Stop Event

1×

saturated

Calls

Call 1

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

Outputs

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

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

end589.0ms (5%)

Stop Event

1×

fuel

Compiler

Compiled 1053 to 696 computations (33.9% saved)

Details

analyze1.9s (16.3%)

sample5.8s (49.5%)

preprocess45.0ms (0.4%)

simplify23.0ms (0.2%)

prune5.0ms (0%)

localize13.0ms (0.1%)

series16.0ms (0.1%)

rewrite75.0ms (0.6%)

simplify61.0ms (0.5%)

prune432.0ms (3.7%)

localize15.0ms (0.1%)

series1.0ms (0%)

rewrite32.0ms (0.3%)

simplify63.0ms (0.5%)

prune488.0ms (4.2%)

localize18.0ms (0.2%)

series1.0ms (0%)

rewrite33.0ms (0.3%)

simplify68.0ms (0.6%)

prune500.0ms (4.3%)

localize24.0ms (0.2%)

series1.0ms (0%)

rewrite31.0ms (0.3%)

simplify72.0ms (0.6%)

prune524.0ms (4.5%)

regimes858.0ms (7.4%)

simplify3.0ms (0%)

end589.0ms (5%)

Profiling