Details

analyze1.6s (10.6%)

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.7s (38.6%)

Results

1.3s	1478×	body	1024	valid
1.2s	5347×	body	128	valid
1.1s	1257×	body	1024	invalid
491.0ms	788×	body	512	valid
410.0ms	677×	body	512	invalid
334.0ms	74×	body	4096	valid
289.0ms	1298×	body	128	invalid
280.0ms	203×	body	2048	valid
158.0ms	366×	body	256	valid
134.0ms	318×	body	256	invalid

Compiler

Compiled 80 to 65 computations (18.8% saved)

simplify40.0ms (0.3%)

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

prune3.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

30.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	30.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (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.4b	(-.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))))
✓	23.5b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	23.6b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series59.0ms (0.4%)

Counts

4 → 66

Calls

4 calls:

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

rewrite31.0ms (0.2%)

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:

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

simplify176.0ms (1.2%)

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

prune430.0ms (2.9%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	198	24	222
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	199	24	223

Error

28.7b

Counts

223 → 24

Alt Table

Status	Error	Program
	42.6b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.3b	(.f64 (.f64 (sqrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	30.6b	(.f64 (.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)))))
	30.7b	(.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))))
	42.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	48.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.7b	(.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)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	39.7b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.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))))
	30.8b	(.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))))
	35.5b	(.f64 (expm1.f64 (log1p.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))))
	36.1b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 a) 2) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2) (.f64 (pow.f64 (cbrt.f64 a) 2) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.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))))
	33.5b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.8b	(.f64 (.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	39.9b	(.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))))
	35.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
	51.8b	(.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))))
	42.1b	(.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))))
	33.6b	(.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))))
	42.4b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	51.6b	(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (exp.f64 (pow.f64 b 2)) (exp.f64 (pow.f64 a 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 10240 to 7349 computations (28.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.4b	(-.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))))
✓	23.3b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	23.6b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series3.0ms (0%)

Counts

1 → 4

Calls

1 calls:

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

simplify61.0ms (0.4%)

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

prune478.0ms (3.2%)

Pruning

27 alts after pruning (27 fresh and 0 done)

	Pruned	Kept	Total
New	211	10	221
Fresh	6	17	23
Picked	1	0	1
Done	0	0	0
Total	218	27	245

Error

28.7b

Counts

245 → 27

Alt Table

Status	Error	Program
	39.9b	(.f64 (.f64 2 (.f64 (pow.f64 b 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.8b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	42.6b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.3b	(.f64 (.f64 (sqrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.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))))
	42.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	42.5b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	31.0b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	39.8b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	30.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 1/180 (.f64 angle (PI.f64)))))
	51.8b	(.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))))
	30.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	42.1b	(.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))))
	43.0b	(.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))))
	30.8b	(.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))))
	35.5b	(.f64 (expm1.f64 (log1p.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	30.6b	(.f64 (.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)))))))
	51.6b	(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (exp.f64 (pow.f64 b 2)) (exp.f64 (pow.f64 a 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.1b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 a) 2) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2) (.f64 (pow.f64 (cbrt.f64 a) 2) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.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))))
	33.5b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.2b	(.f64 (exp.f64 (log.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)))))
	35.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (fma.f64 angle (.f64 -1/64800 (.f64 angle (pow.f64 (PI.f64) 2))) 1))
	52.7b	(.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)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.6b	(.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))))
	48.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))

Compiler

Compiled 10422 to 7235 computations (30.6% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.4b	(-.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))))
	23.3b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	23.6b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune1.0s (6.9%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	241	14	255
Fresh	5	21	26
Picked	1	0	1
Done	0	0	0
Total	247	35	282

Error

28.6b

Counts

282 → 35

Alt Table

Status	Error	Program
	39.9b	(.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))))
	42.6b	(.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)))))))
	35.7b	(.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)))))))
	30.8b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	42.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 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)))))))
	42.6b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.3b	(.f64 (.f64 (sqrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.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))))
	42.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	31.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	42.5b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	31.0b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	39.8b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	30.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 1/180 (.f64 angle (PI.f64)))))
	51.8b	(.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))))
	39.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)))))))
	31.8b	(.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)))
	52.7b	(.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)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.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)))) (.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.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
▶	30.7b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))) (cbrt.f64 (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)))))))
	42.2b	(.f64 (exp.f64 (log.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)))))))
	35.0b	(.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 (-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))))
	43.0b	(.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))))
	30.8b	(.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))))
	35.5b	(.f64 (expm1.f64 (log1p.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))))
	34.8b	(.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)))))))
	30.8b	(.f64 (.f64 (.f64 2 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.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)))))))
	36.1b	(.f64 (-.f64 (+.f64 (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 a 2)))) (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 b 2))))) (+.f64 (.f64 1/90 (.f64 angle (.f64 (PI.f64) (pow.f64 a 2)))) (.f64 1/17496000 (.f64 (pow.f64 angle 3) (.f64 (pow.f64 (PI.f64) 3) (pow.f64 b 2)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	30.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 a) 2) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2) (.f64 (pow.f64 (cbrt.f64 a) 2) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.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))))
	33.5b	(.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.7b	(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (exp.f64 (pow.f64 b 2)) (exp.f64 (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)))))))
	34.8b	(.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))))
	48.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	31.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.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)))))))

Compiler

Compiled 16755 to 11494 computations (31.4% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	9.3b	(.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))) (cbrt.f64 (pow.f64 a 2))))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	23.3b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	23.6b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	24.4b	(cbrt.f64 (pow.f64 a 2))

series78.0ms (0.5%)

Counts

2 → 48

Calls

2 calls:

48.0ms

(*.f64 (*.f64 2 (+.f64 (pow.f64 b 2) (*.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))) (cbrt.f64 (pow.f64 a 2))))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

30.0ms

(cbrt.f64 (pow.f64 a 2))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

8×	`cbrt-prod_binary64`
7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
5×	`*-un-lft-identity_binary64`

Counts

2 → 40

Calls

2 calls:

9.0ms

(*.f64 (*.f64 2 (+.f64 (pow.f64 b 2) (*.f64 (neg.f64 (*.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))) (cbrt.f64 (pow.f64 a 2))))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

1.0ms

(cbrt.f64 (pow.f64 a 2))

simplify86.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

783×	`fma-def_binary64`
391×	`cancel-sign-sub-inv_binary64`
342×	`fma-neg_binary64`
326×	`unswap-sqr_binary64`
275×	`associate-r_binary64`

Counts

88 → 77

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	166	2449
1	459	1942
2	1923	1910
3	4415	1902
4	4992	1902

prune786.0ms (5.3%)

Pruning

38 alts after pruning (38 fresh and 0 done)

	Pruned	Kept	Total
New	195	7	202
Fresh	3	31	34
Picked	1	0	1
Done	0	0	0
Total	199	38	237

Error

28.6b

Counts

237 → 38

Alt Table

Status	Error	Program
	30.7b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))) (.f64 (.f64 (cbrt.f64 (cbrt.f64 (pow.f64 a 2))) (cbrt.f64 (cbrt.f64 (pow.f64 a 2)))) (cbrt.f64 (cbrt.f64 (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)))))))
	39.9b	(.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))))
	42.6b	(.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)))))))
	35.7b	(.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)))))))
	31.9b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))) (cbrt.f64 (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)))
	30.8b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	42.6b	(.f64 (.f64 -2 (.f64 (pow.f64 a 2) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.3b	(.f64 (.f64 (sqrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.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))))
	31.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	30.9b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 a 2)))))) (cbrt.f64 (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)))))))
	42.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.5b	(.f64 (.f64 (.f64 2 (neg.f64 (.f64 a a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	31.0b	(.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	39.8b	(.f64 (.f64 (.f64 2 (.f64 b b)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	30.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 1/180 (.f64 angle (PI.f64)))))
	51.8b	(.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))))
	39.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)))))))
	31.8b	(.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)))
	52.7b	(.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)))))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	41.6b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (log.f64 (exp.f64 (cbrt.f64 (pow.f64 a 2)))))) (cbrt.f64 (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)))))))
	42.2b	(.f64 (exp.f64 (log.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)))))))
	35.0b	(.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 (-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))))
	43.0b	(.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))))
	30.8b	(.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))))
	35.5b	(.f64 (expm1.f64 (log1p.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))))
	31.1b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (pow.f64 (pow.f64 a 2) 1/3))) (cbrt.f64 (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)))))))
	48.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (log.f64 (exp.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	34.8b	(.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)))))))
	30.8b	(.f64 (.f64 (.f64 2 (fma.f64 (pow.f64 (.f64 (cbrt.f64 b) (cbrt.f64 b)) 2) (pow.f64 (cbrt.f64 b) 2) (neg.f64 (.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)))))))
	30.9b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))) (cbrt.f64 (pow.f64 a 2))))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.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)))))))
	36.1b	(.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.1b	(.f64 (.f64 (.f64 2 (+.f64 (pow.f64 b 2) (.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2)))) (.f64 (pow.f64 (.f64 a a) 1/6) (pow.f64 (.f64 a a) 1/6))))) (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.8b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (.f64 (cbrt.f64 (pow.f64 b 2)) (cbrt.f64 (pow.f64 b 2))) (cbrt.f64 (pow.f64 b 2)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 a) 2) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 a) 2)) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2) (.f64 (pow.f64 (cbrt.f64 a) 2) (pow.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.3b	(.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))))
	33.5b	(.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.7b	(.f64 (.f64 (.f64 2 (log.f64 (/.f64 (exp.f64 (pow.f64 b 2)) (exp.f64 (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)))))))
	34.8b	(.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))))
	30.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))

Compiler

Compiled 13672 to 9642 computations (29.5% saved)

regimes3.2s (22%)

Accuracy

Total 2.3b remaining (7.4%)

Threshold costs 0b (0%)

Counts

213 → 1

Compiler

Compiled 93792 to 71160 computations (24.1% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-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	19	41
1	25	41
2	30	41
3	32	41
4	33	41
5	33	41

end927.0ms (6.3%)

Compiler: Compiled 1663 to 1261 computations (24.2% saved)

Details

analyze1.6s (10.6%)

sample5.7s (38.6%)

simplify40.0ms (0.3%)

prune3.0ms (0%)

localize15.0ms (0.1%)

series59.0ms (0.4%)

rewrite31.0ms (0.2%)

simplify176.0ms (1.2%)

prune430.0ms (2.9%)

localize15.0ms (0.1%)

series3.0ms (0%)

rewrite2.0ms (0%)

simplify61.0ms (0.4%)

prune478.0ms (3.2%)

localize20.0ms (0.1%)

prune1.0s (6.9%)

localize25.0ms (0.2%)

series78.0ms (0.5%)

rewrite13.0ms (0.1%)

simplify86.0ms (0.6%)

prune786.0ms (5.3%)

regimes3.2s (22%)

simplify3.0ms (0%)

end927.0ms (6.3%)

Profiling