Details

analyze3.3s (14.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	99.9%	0.1%	7
0%	99.9%	0.1%	8
0%	99.9%	0.1%	9
1.6%	98.3%	0.1%	10
1.6%	98.3%	0.1%	11
2.7%	97.1%	0.1%	12
4.3%	94.2%	1.5%	13
5%	93.2%	1.8%	14

Compiler

Compiled 27 to 22 computations (18.5% saved)

sample12.8s (54.9%)

Results

7.7s	2055×	body	8192	exit
1.3s	1497×	body	1024	valid
1.3s	5404×	body	128	valid
567.0ms	636×	body	1024	invalid
444.0ms	686×	body	512	valid
367.0ms	83×	body	4096	valid
287.0ms	198×	body	2048	valid
233.0ms	353×	body	512	invalid
190.0ms	388×	body	256	valid
149.0ms	616×	body	128	invalid
75.0ms	171×	body	256	invalid

Compiler

Compiled 80 to 65 computations (18.8% saved)

simplify41.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

387×	`unsub-neg_binary64`
380×	`neg-sub0_binary64`
373×	`neg-mul-1_binary64`
358×	`*-commutative_binary64`
328×	`fma-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	37
1	37	37
2	84	37
3	224	37
4	803	37
5	2061	37
6	3861	37
7	5076	37

prune4.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

29.7b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 101 to 78 computations (22.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	9.3b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	22.0b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	22.0b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series74.0ms (0.3%)

Counts

4 → 66

Calls

4 calls:

58.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
9.0ms	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
4.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
3.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

rewrite30.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

64×	`prod-diff_binary64`
64×	`unpow-prod-down_binary64`
57×	`add-sqr-sqrt_binary64`
45×	`*-un-lft-identity_binary64`
41×	`add-cube-cbrt_binary64`

Counts

4 → 151

Calls

4 calls:

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

simplify186.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

580×	`cancel-sign-sub-inv_binary64`
482×	`fma-neg_binary64`
457×	`unswap-sqr_binary64`
363×	`associate-r_binary64`
310×	`associate-l_binary64`

Counts

217 → 222

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	338	8304
1	701	4859
2	2506	3469
3	4594	3463
4	4981	3463
5	4871	3463

prune416.0ms (1.8%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	201	21	222
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	202	21	223

Error

27.5b

Counts

223 → 21

Alt Table

Status	Error	Program
	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	33.7b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.8b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.9b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.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))))
	29.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	56.3b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 a b) (-.f64 (pow.f64 (sqrt.f64 b) 2) (pow.f64 (sqrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	40.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	47.1b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 a a (.f64 b b)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (.f64 (.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))))
	43.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.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))))
	43.5b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.8b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	37.5b	(.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))))
	47.9b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.3b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
▶	29.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	51.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	31.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 1/180 (.f64 angle (PI.f64)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	55.4b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 10116 to 7249 computations (28.3% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	9.3b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	21.9b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	22.0b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series4.0ms (0%)

Counts

1 → 4

Calls

1 calls:

4.0ms

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

rewrite2.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

1×	`*-un-lft-identity_binary64`
1×	`add-sqr-sqrt_binary64`
1×	`add-cube-cbrt_binary64`
1×	`add-cbrt-cube_binary64`
1×	`add-exp-log_binary64`

Counts

1 → 9

Calls

1 calls:

1.0ms

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

simplify63.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

861×	`distribute-rgt-neg-in_binary64`
699×	`distribute-lft-neg-in_binary64`
488×	`fma-def_binary64`
475×	`cancel-sign-sub-inv_binary64`
369×	`*-commutative_binary64`

Counts

13 → 17

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	40	238
1	94	217
2	246	213
3	973	211
4	2721	205
5	4427	205
6	4978	205

prune454.0ms (2%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	215	6	221
Fresh	2	18	20
Picked	1	0	1
Done	0	0	0
Total	218	24	242

Error

27.4b

Counts

242 → 24

Alt Table

Status	Error	Program
	51.3b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.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)))))
	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	43.7b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	37.5b	(.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))))
	29.5b	(.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)))))
	47.9b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.8b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.9b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.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))))
	29.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	40.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	47.1b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 a a (.f64 b b)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.f64 (cbrt.f64 (.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (.f64 (.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))))
	43.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.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))))
	43.5b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	29.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	30.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.7b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	31.8b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.7b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	42.3b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	56.3b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 a b) (-.f64 (pow.f64 (sqrt.f64 b) 2) (pow.f64 (sqrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	51.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	31.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 1/180 (.f64 angle (PI.f64)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	55.4b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 10270 to 7143 computations (30.4% saved)

localize21.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	9.3b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	21.9b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	22.0b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune723.0ms (3.1%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	244	11	255
Fresh	3	20	23
Picked	1	0	1
Done	0	0	0
Total	248	31	279

Error

27.4b

Counts

279 → 31

Alt Table

Status	Error	Program
	31.8b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	51.3b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	43.7b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
▶	29.5b	(.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)))))
	47.9b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.7b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	42.3b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.2b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 a a))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	29.8b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.9b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.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))))
	29.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	36.0b	(.f64 (expm1.f64 (log1p.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	56.3b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 a b) (-.f64 (pow.f64 (sqrt.f64 b) 2) (pow.f64 (sqrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	55.5b	(.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))))
	40.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	47.1b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 a a (.f64 b b)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	51.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	31.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 1/180 (.f64 angle (PI.f64)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 1)))
	43.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.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))))
	43.5b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a 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 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	55.4b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (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 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1))))
	33.7b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	37.5b	(.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))))
	29.7b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	37.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	30.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 16309 to 11180 computations (31.4% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.7b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	9.4b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	21.9b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
✓	22.2b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series61.0ms (0.3%)

Counts

2 → 40

Calls

2 calls:

57.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
4.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
3×	`associate-r_binary64`
3×	`cbrt-unprod_binary64`

Counts

2 → 31

Calls

2 calls:

10.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
1.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

simplify108.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

742×	`fma-def_binary64`
438×	`fma-neg_binary64`
429×	`cancel-sign-sub-inv_binary64`
236×	`associate-r_binary64`
220×	`associate-l_binary64`

Counts

71 → 64

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	146	2456
1	413	1947
2	1639	1903
3	4518	1901
4	4994	1901
5	4955	1901

prune572.0ms (2.5%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	212	6	218
Fresh	2	28	30
Picked	1	0	1
Done	0	0	0
Total	215	34	249

Error

27.3b

Counts

249 → 34

Alt Table

Status	Error	Program
	40.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (.f64 (.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))))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	33.7b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	31.8b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	51.3b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	29.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	43.7b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	29.8b	(.f64 (.f64 (.f64 2 (.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	37.5b	(.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))))
	47.9b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.7b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	42.3b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	42.2b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 a a))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	29.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 1)
	29.8b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	29.9b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.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))))
	29.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	36.0b	(.f64 (expm1.f64 (log1p.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	56.3b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 a b) (-.f64 (pow.f64 (sqrt.f64 b) 2) (pow.f64 (sqrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	55.5b	(.f64 (exp.f64 (+.f64 (log.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))))
	43.0b	(.f64 (cbrt.f64 (.f64 8 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a))) 3))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	51.0b	(.f64 (log.f64 (pow.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a)))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	31.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 1/180 (.f64 angle (PI.f64)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	29.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 1)))
	43.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.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))))
	43.5b	(.f64 (exp.f64 (log.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a 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 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	29.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	55.4b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (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 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1))))
	29.7b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)) (pow.f64 (cbrt.f64 a) 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	37.9b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	47.1b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 a a (.f64 b b)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.0b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))))) (fma.f64 (neg.f64 (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 a 2)) (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 9748 to 6490 computations (33.4% saved)

regimes3.7s (15.7%)

Accuracy

Total 2.4b remaining (7.8%)

Threshold costs 0b (0%)

Counts

180 → 1

Compiler

Compiled 82123 to 62048 computations (24.4% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

12×	`*-commutative_binary64`
5×	`+-commutative_binary64`
5×	`sub-neg_binary64`
4×	`distribute-lft-neg-in_binary64`
4×	`distribute-rgt-neg-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	52
1	36	52
2	44	52
3	54	52
4	61	52
5	66	52
6	68	52
7	67	52

end725.0ms (3.1%)

Compiler: Compiled 1357 to 1017 computations (25.1% saved)

Details

analyze3.3s (14.1%)

sample12.8s (54.9%)

simplify41.0ms (0.2%)

prune4.0ms (0%)

localize15.0ms (0.1%)

series74.0ms (0.3%)

rewrite30.0ms (0.1%)

simplify186.0ms (0.8%)

prune416.0ms (1.8%)

localize16.0ms (0.1%)

series4.0ms (0%)

rewrite2.0ms (0%)

simplify63.0ms (0.3%)

prune454.0ms (2%)

localize21.0ms (0.1%)

prune723.0ms (3.1%)

localize15.0ms (0.1%)

series61.0ms (0.3%)

rewrite13.0ms (0.1%)

simplify108.0ms (0.5%)

prune572.0ms (2.5%)

regimes3.7s (15.7%)

simplify4.0ms (0%)

end725.0ms (3.1%)

Profiling