Details

analyze1.5s (12.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
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.9s (47%)

Results

1.3s	1498×	body	1024	valid
1.2s	5306×	body	128	valid
1.1s	1297×	body	1024	invalid
558.0ms	760×	body	512	valid
417.0ms	92×	body	4096	valid
402.0ms	667×	body	512	invalid
289.0ms	214×	body	2048	valid
286.0ms	1305×	body	128	invalid
164.0ms	386×	body	256	valid
133.0ms	318×	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

32.5b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	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 (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.1b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	10.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	25.2b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	25.5b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series73.0ms (0.6%)

Counts

4 → 66

Calls

4 calls:

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

rewrite79.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

156× egg-rr

Counts

4 → 156

Calls

2 calls:

75.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	55
1	343	55
2	3966	55
3	5253	55
0	0	0
1	0	0

simplify88.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

785×	`fma-def_binary64`
483×	`*-commutative_binary64`
482×	`cancel-sign-sub-inv_binary64`
441×	`sub-neg_binary64`
258×	`unswap-sqr_binary64`

Counts

222 → 191

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	1836
1	356	1516
2	1373	1474
3	4185	1474
4	4857	1474
5	4959	1474

prune346.0ms (2.7%)

Pruning

26 alts after pruning (26 fresh and 0 done)

	Pruned	Kept	Total
New	165	26	191
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	166	26	192

Error

30.0b

Counts

192 → 26

Alt Table

Status	Error	Program
	50.9b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 b b (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
▶	32.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 1/180 (.f64 angle (PI.f64)))))
	32.5b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 3))
	33.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	32.8b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (pow.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	35.3b	(.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))))
	43.4b	(.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.9b	(.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))))
	45.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	37.5b	(.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))))
	54.5b	(.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))))
	46.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	45.0b	(.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 2)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.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.7b	(.f64 (pow.f64 (cbrt.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.7b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (neg.f64 (.f64 a a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	43.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))))
	37.1b	(.f64 (expm1.f64 (log1p.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.9b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	49.6b	(.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3) 1/3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.4b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 8382 to 5116 computations (39% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.1b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
	10.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
✓	25.1b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	25.5b	(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))))

rewrite37.0ms (0.3%)

Algorithm

2×	batch-egg-rewrite

Rules

22× egg-rr

Counts

1 → 22

Calls

2 calls:

37.0ms	((cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	140	10
2	1576	10
3	5161	10
0	0	0
1	0	0

simplify93.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

862×	`distribute-rgt-neg-in_binary64`
700×	`distribute-lft-neg-in_binary64`
488×	`fma-def_binary64`
475×	`cancel-sign-sub-inv_binary64`
353×	`*-commutative_binary64`

Counts

26 → 29

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	27	94
1	76	94
2	224	90
3	940	88
4	2678	82
5	4363	82
6	4966	82
7	4998	82
8	4962	82

prune361.0ms (2.9%)

Pruning

33 alts after pruning (33 fresh and 0 done)

	Pruned	Kept	Total
New	180	14	194
Fresh	6	19	25
Picked	1	0	1
Done	0	0	0
Total	187	33	220

Error

29.8b

Counts

220 → 33

Alt Table

Status	Error	Program
	43.4b	(.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)))))
	46.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	37.1b	(.f64 (expm1.f64 (log1p.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)))))
	50.9b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 b b (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	42.9b	(.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 1/180 (.f64 angle (PI.f64)))))
	32.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))))
	35.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (sin.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)))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 3))
	33.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	32.8b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (pow.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	35.3b	(.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))))
	43.4b	(.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))))
	43.2b	(.f64 (.f64 2 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 b b))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	32.4b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	45.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.5b	(.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))))
	46.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) 3) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	46.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	45.0b	(.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 2)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 (.f64 2 (pow.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) 3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	32.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	32.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))
	32.7b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (neg.f64 (.f64 a a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))))))
▶	32.4b	(.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)))))
	43.3b	(.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))))
	49.6b	(.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3) 1/3) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	52.4b	(.f64 (.f64 (.f64 2 (pow.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 a a)) 3) 1/3)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))

Compiler

Compiled 8930 to 5347 computations (40.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	1.1b	(-.f64 (pow.f64 b 2) (pow.f64 a 2))
✓	10.0b	(.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	25.1b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
✓	25.3b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series61.0ms (0.5%)

Counts

2 → 40

Calls

2 calls:

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

rewrite71.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

33× egg-rr

Counts

2 → 33

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	35
1	316	35
2	3599	35
3	4915	35
0	0	0
1	0	0

simplify62.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

710×	`fma-def_binary64`
526×	`unswap-sqr_binary64`
444×	`distribute-rgt-neg-in_binary64`
414×	`*-commutative_binary64`
414×	`cancel-sign-sub-inv_binary64`

Counts

73 → 55

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	95	1552
1	287	1232
2	1155	1192
3	3608	1192
4	5144	1192

prune367.0ms (2.9%)

Pruning

32 alts after pruning (32 fresh and 0 done)

	Pruned	Kept	Total
New	186	7	193
Fresh	7	25	32
Picked	1	0	1
Done	0	0	0
Total	194	32	226

Error

29.7b

Counts

226 → 32

Alt Table

Status	Error	Program
	43.4b	(.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)))))
	46.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	37.1b	(.f64 (expm1.f64 (log1p.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)))))
	50.9b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 b b (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (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 1/180 (.f64 angle (PI.f64))))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))) (sin.f64 1))))
	42.9b	(.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 1/180 (.f64 angle (PI.f64)))))
	32.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))))
	35.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (sin.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)))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 3))
	33.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 1)
	32.8b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (pow.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	35.3b	(.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))))
	43.4b	(.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))))
▶	32.4b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	33.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))))
	45.0b	(.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	54.5b	(.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))))
	46.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	46.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	48.0b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (pow.f64 (sqrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	32.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	32.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))
	32.6b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) 3) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	32.7b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (neg.f64 (.f64 a a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.8b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	33.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 1)
	43.3b	(.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))))
	45.2b	(.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 2)) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	49.7b	(.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3) 1/3) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))

Compiler

Compiled 8877 to 5139 computations (42.1% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f64 1/180 (.f64 angle (PI.f64)))
✓	10.0b	(.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	25.1b	(cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	25.5b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series70.0ms (0.6%)

Counts

2 → 36

Calls

2 calls:

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

rewrite71.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

39× egg-rr

Counts

2 → 39

Calls

2 calls:

70.0ms	((.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 1/180 (.f64 angle (PI.f64))))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	33
1	388	33
2	4551	33
3	4946	33
0	0	0
1	0	0

simplify44.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

583×	`associate-+l+_binary64`
451×	`cancel-sign-sub-inv_binary64`
356×	`associate--r+_binary64`
304×	`associate--l+_binary64`
226×	`associate-r_binary64`

Counts

75 → 54

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	124	1656
1	408	1314
2	1603	1216
3	5093	1216

prune236.0ms (1.9%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	100	9	109
Fresh	5	26	31
Picked	1	0	1
Done	0	0	0
Total	106	35	141

Error

19.2b

Counts

141 → 35

Alt Table

Status	Error	Program
	43.4b	(.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)))))
	46.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	37.1b	(.f64 (expm1.f64 (log1p.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)))))
	50.9b	(.f64 (.f64 (.f64 2 (/.f64 (-.f64 (pow.f64 b 4) (pow.f64 a 4)) (fma.f64 b b (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	43.3b	(.f64 (.f64 (.f64 2 (pow.f64 b 2)) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (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 1/180 (.f64 angle (PI.f64))))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))) (sin.f64 1))))
	42.9b	(.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 1/180 (.f64 angle (PI.f64)))))
	32.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) (log.f64 (sqrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))))
	32.8b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3)))
	21.9b	(.f64 (.f64 2 (.f64 (-.f64 b a) (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (+.f64 a b)))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	35.3b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (+.f64 (.f64 (cos.f64 (exp.f64 (log1p.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cos.f64 1)) (.f64 (sin.f64 (exp.f64 (log1p.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (sin.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)))) (pow.f64 (cbrt.f64 (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 3))
	32.3b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180)))
	32.8b	(.f64 (.f64 (.f64 2 (.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) (pow.f64 (cbrt.f64 (-.f64 (.f64 b b) (.f64 a a))) 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	32.6b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2)))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 a) a)) (pow.f64 (cbrt.f64 a) 2) (.f64 (.f64 (cbrt.f64 a) a) (pow.f64 (cbrt.f64 a) 2))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	33.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 1)
	33.4b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 1)
	35.3b	(.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))))
	43.4b	(.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))))
	47.3b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (/.f64 (sqrt.f64 (.f64 (PI.f64) angle)) (/.f64 180 (sqrt.f64 (*.f64 (PI.f64) angle))))))
	45.2b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	33.1b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))) (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))) (log.f64 (cbrt.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))))))
	46.8b	(.f64 (.f64 (.f64 2 (exp.f64 (log.f64 (-.f64 (.f64 b b) (.f64 a a))))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	32.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	35.2b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180))))))
	32.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (.f64 (pow.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
	32.7b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (pow.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)))
	43.3b	(.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))))
	36.1b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3))))
	32.9b	(.f64 (.f64 (.f64 2 (.f64 (+.f64 b a) (-.f64 b a))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (/.f64 (pow.f64 (cbrt.f64 (.f64 (PI.f64) angle)) 2) (/.f64 180 (cbrt.f64 (*.f64 (PI.f64) angle))))))
	32.6b	(.f64 (pow.f64 (cbrt.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a))))) 3) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	32.7b	(.f64 (.f64 (.f64 2 (+.f64 (fma.f64 (pow.f64 (cbrt.f64 b) 2) (.f64 (cbrt.f64 b) b) (neg.f64 (.f64 a a))) (fma.f64 (neg.f64 a) a (.f64 a a)))) (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))
	46.4b	(.f64 (.f64 (.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sqrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2))) (cos.f64 (*.f64 (PI.f64) (/.f64 angle 180))))
	45.2b	(.f64 (sqrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 2)) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))
	49.7b	(.f64 (pow.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (.f64 2 (-.f64 (.f64 b b) (.f64 a a)))) 3) 1/3) (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64)))))

Compiler

Compiled 4643 to 2848 computations (38.7% saved)

regimes2.4s (19%)

Accuracy

Total 2.7b remaining (12.8%)

Threshold costs 0b (0%)

Counts

160 → 1

Compiler

Compiled 63060 to 48600 computations (22.9% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
3×	`+-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	17	37
1	26	37
2	31	37
3	33	37
4	34	37
5	34	37

end595.0ms (4.7%)

Compiler: Compiled 1132 to 844 computations (25.4% saved)

Details

analyze1.5s (12.1%)

sample5.9s (47%)

simplify39.0ms (0.3%)

prune3.0ms (0%)

localize13.0ms (0.1%)

series73.0ms (0.6%)

rewrite79.0ms (0.6%)

simplify88.0ms (0.7%)

prune346.0ms (2.7%)

localize16.0ms (0.1%)

series3.0ms (0%)

rewrite37.0ms (0.3%)

simplify93.0ms (0.7%)

prune361.0ms (2.9%)

localize13.0ms (0.1%)

series61.0ms (0.5%)

rewrite71.0ms (0.6%)

simplify62.0ms (0.5%)

prune367.0ms (2.9%)

localize15.0ms (0.1%)

series70.0ms (0.6%)

rewrite71.0ms (0.6%)

simplify44.0ms (0.3%)

prune236.0ms (1.9%)

regimes2.4s (19%)

simplify3.0ms (0%)

end595.0ms (4.7%)

Profiling