Details

analyze1.5s (9.5%)

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)

sample224.0ms (1.4%)

Algorithm

1×

intervals

Results

34.0ms	46×	body	1024	valid
24.0ms	169×	body	128	valid
22.0ms	32×	body	1024	invalid
13.0ms	10×	body	2048	valid
9.0ms	21×	body	512	invalid
8.0ms	19×	body	512	valid
7.0ms	48×	body	128	invalid
5.0ms	1×	body	4096	valid
3.0ms	11×	body	256	valid
3.0ms	9×	body	256	invalid

Compiler

Compiled 56 to 46 computations (17.9% saved)

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

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

32.4b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	32.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)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.3b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	11.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	22.8b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	23.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series77.0ms (0.5%)

Counts

4 → 66

Calls

4 calls:

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

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

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	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
1.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

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

prune466.0ms (2.9%)

Pruning

25 alts after pruning (25 fresh and 0 done)

	Pruned	Kept	Total
New	197	25	222
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	198	25	223

Error

30.5b

Counts

223 → 25

Alt Table

Status	Error	Program
	52.5b	(.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))))
	42.1b	(.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))))
	32.6b	(.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)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.6b	(.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.6b	(.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))))
	47.0b	(.f64 (/.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (pow.f64 b 4) (pow.f64 a 4)))) (+.f64 (pow.f64 b 2) (pow.f64 a 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.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))))
	34.6b	(.f64 (.f64 angle (-.f64 (.f64 1/90 (.f64 (PI.f64) (pow.f64 b 2))) (.f64 1/90 (.f64 (pow.f64 a 2) (PI.f64))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.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))))
	42.1b	(.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))))
	32.6b	(.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))))
	36.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (fma.f64 angle (.f64 (PI.f64) 1/180) (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 angle 3) -1/34992000)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.4b	(.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.5b	(.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))))
	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))))
▶	32.3b	(.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))))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	58.2b	(.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))))
	46.5b	(.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))))
	36.7b	(.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))))
	42.1b	(.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.6b	(.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))))
	32.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)))))
	36.5b	(.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)))))

Compiler

Compiled 10308 to 7416 computations (28.1% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.3b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	11.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	22.8b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
	23.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune534.0ms (3.3%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	214	8	222
Fresh	4	20	24
Picked	1	0	1
Done	0	0	0
Total	219	28	247

Error

30.5b

Counts

247 → 28

Alt Table

Status	Error	Program
	32.6b	(.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)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.6b	(.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))))
	43.0b	(.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))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	32.6b	(.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))))
	47.0b	(.f64 (/.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (pow.f64 b 4) (pow.f64 a 4)))) (+.f64 (pow.f64 b 2) (pow.f64 a 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.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))))
	42.1b	(.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.1b	(.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.1b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	36.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (fma.f64 angle (.f64 (PI.f64) 1/180) (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 angle 3) -1/34992000)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.5b	(.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)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.6b	(.f64 (.f64 angle (.f64 1/90 (.f64 (PI.f64) (-.f64 (.f64 b b) (.f64 a a))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	43.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	32.4b	(.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.5b	(.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))))
	46.5b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	32.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)))))
	36.7b	(.f64 (expm1.f64 (log1p.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	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))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	32.6b	(.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)))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	58.2b	(.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))))
	46.5b	(.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))))
	42.1b	(.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))))
	36.7b	(.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))))
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 a a))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	44.6b	(.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))))
	36.5b	(.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)))))

Compiler

Compiled 10896 to 7952 computations (27% saved)

localize19.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.3b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	11.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	22.8b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
	23.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

prune770.0ms (4.8%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	247	11	258
Fresh	9	18	27
Picked	1	0	1
Done	0	0	0
Total	257	29	286

Error

30.4b

Counts

286 → 29

Alt Table

Status	Error	Program
	42.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.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))))))
	32.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (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)))))))
	32.6b	(.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)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	36.6b	(.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))))
	34.6b	(.f64 (.f64 angle (.f64 1/90 (.f64 (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))))))
	32.6b	(.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))))
	47.0b	(.f64 (/.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (pow.f64 b 4) (pow.f64 a 4)))) (+.f64 (pow.f64 b 2) (pow.f64 a 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.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))))))
	46.5b	(.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 (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))))))
	32.7b	(.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))))
	42.1b	(.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.1b	(.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.1b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.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))))))
	44.6b	(.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))))
▶	32.3b	(.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))))))
	36.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (fma.f64 angle (.f64 (PI.f64) 1/180) (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 angle 3) -1/34992000)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.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 (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))))))
	43.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.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)))
	32.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)))))
	36.7b	(.f64 (expm1.f64 (log1p.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	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))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	32.6b	(.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)))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	58.2b	(.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))))
	32.6b	(.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))))))
	36.7b	(.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.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 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)))))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))

Compiler

Compiled 16394 to 12010 computations (26.7% saved)

localize20.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.3b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	11.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
✓	23.0b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	23.1b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series66.0ms (0.4%)

Counts

2 → 40

Calls

2 calls:

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

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

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

prune880.0ms (5.5%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	245	10	255
Fresh	3	25	28
Picked	1	0	1
Done	0	0	0
Total	249	35	284

Error

30.3b

Counts

284 → 35

Alt Table

Status	Error	Program
	43.3b	(.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))) (.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))))))
	58.2b	(.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))))
	45.1b	(.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))))))
	32.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (.f64 (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.1b	(.f64 (.f64 -2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.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))))))
	58.2b	(.f64 (exp.f64 (+.f64 (+.f64 (log.f64 2) (log.f64 (-.f64 (pow.f64 b 2) (pow.f64 a 2)))) (log.f64 (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))))))
	32.6b	(.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))))))
	32.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 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 1)))
	36.6b	(.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.6b	(.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))))
	32.6b	(.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 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))))))
	34.6b	(.f64 (.f64 angle (.f64 1/90 (.f64 (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))))))
	47.0b	(.f64 (/.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (pow.f64 b 4) (pow.f64 a 4)))) (+.f64 (pow.f64 b 2) (pow.f64 a 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.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))))))
	46.5b	(.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 (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))))))
	32.7b	(.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))))
	42.1b	(.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.1b	(.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.1b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	34.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.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))))))
	32.6b	(.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))))))) (.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))))))
	44.6b	(.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))))
	32.3b	(.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))))))
	32.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)))
	32.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)))))
	36.7b	(.f64 (expm1.f64 (log1p.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	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))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	36.3b	(.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 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)))))))
	32.6b	(.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)))))) (log.f64 (exp.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	36.7b	(.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.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (fma.f64 angle (.f64 (PI.f64) 1/180) (.f64 (pow.f64 (PI.f64) 3) (.f64 (pow.f64 angle 3) -1/34992000)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.0b	(.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 (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))))))
	36.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 (-.f64 1 (.f64 1/64800 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)))))) (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))))
	32.6b	(.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))))))

Compiler

Compiled 15412 to 11020 computations (28.5% saved)

regimes4.7s (29.5%)

Accuracy

Total 2.5b remaining (7.9%)

Threshold costs 0b (0%)

Counts

233 → 1

Compiler

Compiled 131281 to 101782 computations (22.5% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	41
1	33	41
2	40	41
3	44	41
4	46	41
5	46	41

end1.0ms (0%)

Compiler: Compiled 28 to 21 computations (25% saved)

sample6.2s (39%)

Algorithm

1×

intervals

Results

994.0ms	1449×	body	1024	valid
843.0ms	1295×	body	1024	invalid
783.0ms	5163×	body	128	valid
359.0ms	87×	body	4096	valid
343.0ms	744×	body	512	valid
295.0ms	644×	body	512	invalid
221.0ms	188×	body	2048	valid
200.0ms	1291×	body	128	invalid
122.0ms	369×	body	256	valid
97.0ms	312×	body	256	invalid

Compiler

Compiled 1540 to 1188 computations (22.9% saved)

Details

analyze1.5s (9.5%)

sample224.0ms (1.4%)

simplify41.0ms (0.3%)

prune4.0ms (0%)

localize13.0ms (0.1%)

series77.0ms (0.5%)

rewrite32.0ms (0.2%)

simplify214.0ms (1.3%)

prune466.0ms (2.9%)

localize20.0ms (0.1%)

prune534.0ms (3.3%)

localize19.0ms (0.1%)

prune770.0ms (4.8%)

localize20.0ms (0.1%)

series66.0ms (0.4%)

rewrite14.0ms (0.1%)

simplify109.0ms (0.7%)

prune880.0ms (5.5%)

regimes4.7s (29.5%)

simplify3.0ms (0%)

end1.0ms (0%)

sample6.2s (39%)

Profiling