Details

analyze1.6s (11.8%)

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 (43.8%)

Results

1.3s	1540×	body	1024	valid
1.2s	5363×	body	128	valid
1.1s	1271×	body	1024	invalid
447.0ms	719×	body	512	valid
423.0ms	676×	body	512	invalid
366.0ms	82×	body	4096	valid
293.0ms	1312×	body	128	invalid
242.0ms	168×	body	2048	valid
170.0ms	384×	body	256	valid
133.0ms	330×	body	256	invalid

Compiler

Compiled 80 to 65 computations (18.8% saved)

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

28.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	28.2b	(.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)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.2b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	20.9b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	21.0b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series62.0ms (0.5%)

Counts

4 → 66

Calls

4 calls:

50.0ms	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
6.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))))
7.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)))

simplify174.0ms (1.3%)

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

prune376.0ms (2.9%)

Pruning

22 alts after pruning (22 fresh and 0 done)

	Pruned	Kept	Total
New	200	22	222
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	201	22	223

Error

25.4b

Counts

223 → 22

Alt Table

Status	Error	Program
	28.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	40.6b	(.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.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))))
	38.8b	(.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))))
	28.6b	(.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))))
	28.5b	(.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))))
	28.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	42.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (-.f64 1 (.f64 1/64800 (.f64 (pow.f64 angle 2) (pow.f64 (PI.f64) 2)))))
	44.2b	(.f64 (/.f64 (.f64 (.f64 2 (-.f64 (.f64 (pow.f64 b 2) (pow.f64 b 2)) (.f64 (pow.f64 a 2) (pow.f64 a 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (pow.f64 b 2) (pow.f64 a 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	39.0b	(.f64 (.f64 (.f64 2 (expm1.f64 (log1p.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))))
	28.5b	(.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))))
	41.2b	(.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))))
	42.8b	(.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))))
▶	28.2b	(.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))))))
	34.3b	(.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))))
	28.6b	(.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))))
	32.1b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.7b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.3b	(.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.3b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 10188 to 7291 computations (28.4% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.2b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	20.9b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
	21.0b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune623.0ms (4.7%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	249	9	258
Fresh	4	17	21
Picked	1	0	1
Done	0	0	0
Total	254	26	280

Error

25.1b

Counts

280 → 26

Alt Table

Status	Error	Program
	28.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	40.6b	(.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))))
	41.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 (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))))))
	28.5b	(.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 (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))))))
	28.5b	(.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)))))) (.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))))))
	47.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))))
	38.8b	(.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))))
	44.2b	(.f64 (/.f64 (.f64 (.f64 2 (-.f64 (.f64 (pow.f64 b 2) (pow.f64 b 2)) (.f64 (pow.f64 a 2) (pow.f64 a 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (pow.f64 b 2) (pow.f64 a 2))) (.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))))))
	28.6b	(.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))))
	28.5b	(.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))))
	28.3b	(.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)))))
	29.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 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 1)))
	42.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (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)))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)))))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
▶	27.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.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))))))
	28.3b	(.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 (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))))))
	42.8b	(.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))))
	28.6b	(.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))))
	32.1b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.7b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	30.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	39.0b	(.f64 (.f64 (.f64 2 (expm1.f64 (log1p.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))))
	28.3b	(.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 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	52.3b	(.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))))
	34.3b	(.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))))
	42.3b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 16190 to 11855 computations (26.8% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.2b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	20.9b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	21.2b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series49.0ms (0.4%)

Counts

2 → 40

Calls

2 calls:

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

rewrite14.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:

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

simplify99.0ms (0.7%)

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

prune666.0ms (5.1%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	247	8	255
Fresh	4	21	25
Picked	1	0	1
Done	0	0	0
Total	252	29	281

Error

25.1b

Counts

281 → 29

Alt Table

Status	Error	Program
	28.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	40.6b	(.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))))
	41.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 (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))))))
	28.3b	(.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))))) (.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))))))
	47.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))))
	38.8b	(.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))))
	44.2b	(.f64 (/.f64 (.f64 (.f64 2 (-.f64 (.f64 (pow.f64 b 2) (pow.f64 b 2)) (.f64 (pow.f64 a 2) (pow.f64 a 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (pow.f64 b 2) (pow.f64 a 2))) (.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))))))
	28.2b	(.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 1/180 (.f64 angle (PI.f64))))) (.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))))))
	28.5b	(.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))))
	28.3b	(.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)))))
	29.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 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 1)))
	30.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 1)))
	30.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	39.0b	(.f64 (.f64 (.f64 2 (expm1.f64 (log1p.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))))
	33.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	28.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	52.3b	(.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))))
	28.3b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (.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))))))
	42.8b	(.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))))
	41.0b	(.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a)))))) (.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))))))
	34.3b	(.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))))
	28.6b	(.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))))
	32.1b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.7b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	28.5b	(.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 (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))))))
	42.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	28.3b	(.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 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
▶	28.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.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 1/180 (*.f64 angle (PI.f64)))))))
	42.3b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 16284 to 11686 computations (28.2% saved)

localize22.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	8.9b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	20.9b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	21.2b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	21.2b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

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.5%)

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

prune342.0ms (2.6%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	112	5	117
Fresh	2	26	28
Picked	1	0	1
Done	0	0	0
Total	115	31	146

Error

25.1b

Counts

146 → 31

Alt Table

Status	Error	Program
	28.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	40.6b	(.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))))
	28.3b	(.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))))) (.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))))))
	47.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))))
	38.8b	(.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))))
	44.2b	(.f64 (/.f64 (.f64 (.f64 2 (-.f64 (.f64 (pow.f64 b 2) (pow.f64 b 2)) (.f64 (pow.f64 a 2) (pow.f64 a 2)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (pow.f64 b 2) (pow.f64 a 2))) (.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))))))
	28.2b	(.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 1/180 (.f64 angle (PI.f64))))) (.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))))))
	28.5b	(.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))))
	28.3b	(.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)))))
	29.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 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 1)))
	42.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (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 1/180 (.f64 angle (PI.f64))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (fma.f64 angle (.f64 -1/64800 (*.f64 angle (pow.f64 (PI.f64) 2))) 1))))
	30.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 1)))
	30.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	39.0b	(.f64 (.f64 (.f64 2 (expm1.f64 (log1p.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))))
	33.6b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	41.0b	(.f64 (exp.f64 (log.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (.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 1/180 (*.f64 angle (PI.f64)))))))
	28.3b	(.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 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	28.3b	(.f64 (.f64 (.f64 (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (cbrt.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (.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))))))
	27.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	42.8b	(.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))))
	41.0b	(.f64 (exp.f64 (log.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (-.f64 (.f64 b b) (.f64 a a)))))) (.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))))))
	34.3b	(.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))))
	32.1b	(.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.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 3))) (.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 1/180 (*.f64 angle (PI.f64)))))))
	28.6b	(.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))))
	52.7b	(.f64 (.f64 (.f64 2 (log.f64 (exp.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	28.5b	(.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 (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))))))
	52.3b	(.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.2b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 1)) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))
	42.3b	(.f64 (.f64 (.f64 2 (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 7205 to 5109 computations (29.1% saved)

regimes2.5s (19.2%)

Accuracy

Total 2.5b remaining (8%)

Threshold costs 0b (0%)

Counts

157 → 1

Compiler

Compiled 82396 to 62994 computations (23.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-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	25	67
1	35	67
2	40	67
3	42	67
4	43	67
5	43	67

end706.0ms (5.4%)

Compiler: Compiled 1351 to 1036 computations (23.3% saved)

Details

analyze1.6s (11.8%)

sample5.8s (43.8%)

simplify39.0ms (0.3%)

prune3.0ms (0%)

localize14.0ms (0.1%)

series62.0ms (0.5%)

rewrite31.0ms (0.2%)

simplify174.0ms (1.3%)

prune376.0ms (2.9%)

localize19.0ms (0.1%)

prune623.0ms (4.7%)

localize19.0ms (0.1%)

series49.0ms (0.4%)

rewrite14.0ms (0.1%)

simplify99.0ms (0.7%)

prune666.0ms (5.1%)

localize22.0ms (0.2%)

series3.0ms (0%)

rewrite2.0ms (0%)

simplify61.0ms (0.5%)

prune342.0ms (2.6%)

regimes2.5s (19.2%)

simplify4.0ms (0%)

end706.0ms (5.4%)

Profiling