Details

analyze2.5s (10.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
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
37.4%	49.9%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
49.7%	37.1%	13.2%	14

Compiler

Compiled 25 to 20 computations (20% saved)

sample8.1s (34.7%)

Results

2.4s	1697×	body	1024	valid
1.9s	1359×	body	1024	invalid
1.3s	5163×	body	128	valid
786.0ms	775×	body	512	valid
663.0ms	693×	body	512	invalid
389.0ms	188×	body	2048	valid
230.0ms	431×	body	256	valid
210.0ms	355×	body	256	invalid
155.0ms	571×	body	128	invalid
11.0ms	2×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify134.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1078×	`sqr-pow_binary64`
786×	`cube-prod_binary64`
770×	`fabs-mul_binary64`
484×	`unswap-sqr_binary64`
392×	`pow-sqr_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	30	34
2	66	34
3	122	34
4	216	34
5	465	34
6	669	34
7	1130	34
8	1177	34
9	1369	34
10	1574	34
11	1868	34
12	2152	34
13	2573	34
14	3206	34
15	3520	34
16	3872	34
17	4026	34
18	4094	34
19	4136	34
20	4933	34
21	4905	34

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

21.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 72 to 57 computations (20.8% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
✓	0.3b	(*.f64 (/.f64 angle 180) (PI.f64))
✓	25.1b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	25.4b	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series36.0ms (0.2%)

Counts

4 → 60

Calls

4 calls:

26.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
3.0ms	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
3.0ms	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
3.0ms	(*.f64 (/.f64 angle 180) (PI.f64))

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
13×	`associate-l_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
12×	`add-exp-log_binary64`

Counts

4 → 72

Calls

4 calls:

5.0ms	(*.f64 (/.f64 angle 180) (PI.f64))
3.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
1.0ms	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
1.0ms	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

simplify122.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

666×	`fma-neg_binary64`
430×	`distribute-rgt-neg-in_binary64`
421×	`*-commutative_binary64`
334×	`fma-def_binary64`
261×	`cancel-sign-sub-inv_binary64`

Counts

132 → 143

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	204	2095
1	444	1991
2	1333	1969
3	3381	1949
4	4817	1949
5	4993	1949
6	4934	1949

prune483.0ms (2.1%)

Pruning

37 alts after pruning (37 fresh and 0 done)

	Pruned	Kept	Total
New	161	37	198
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	162	37	199

Error

20.2b

Counts

199 → 37

Alt Table

Status	Error	Program
	21.9b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 (sqrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	36.5b	(+.f64 (log.f64 (exp.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	39.5b	(+.f64 (exp.f64 (.f64 (log.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	39.9b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))
	44.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	38.1b	(+.f64 (.f64 (.f64 a a) (fma.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (.f64 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
	37.0b	(+.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 a 2) (pow.f64 (PI.f64) 2)))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
	31.2b	(+.f64 (.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	26.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
	33.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	28.8b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.1b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
▶	21.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	31.4b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	43.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 7964 to 5854 computations (26.5% saved)

localize11.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))
	0.3b	(pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)
	0.3b	(*.f64 (/.f64 angle 180) (PI.f64))
	25.1b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series15.0ms (0.1%)

Counts

1 → 24

Calls

1 calls:

15.0ms

(*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-sqr-sqrt_binary64`
3×	`associate-r_binary64`
3×	`associate-l_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-cube-cbrt_binary64`

Counts

1 → 20

Calls

1 calls:

3.0ms

(*.f64 a (sin.f64 (*.f64 (/.f64 angle 180) (PI.f64))))

simplify81.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

753×	`fma-neg_binary64`
551×	`associate-l_binary64`
489×	`distribute-rgt-neg-in_binary64`
475×	`associate-r_binary64`
451×	`distribute-lft-neg-in_binary64`

Counts

44 → 42

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	82	785
1	186	727
2	605	723
3	2124	711
4	4135	711
5	4910	711
6	5085	711

prune526.0ms (2.2%)

Pruning

37 alts after pruning (37 fresh and 0 done)

	Pruned	Kept	Total
New	140	21	161
Fresh	20	16	36
Picked	1	0	1
Done	0	0	0
Total	161	37	198

Error

20.1b

Counts

198 → 37

Alt Table

Status	Error	Program
	22.4b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	31.1b	(+.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)) (pow.f64 (*.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
▶	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (PI.f64) (cbrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b 1) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	30.8b	(+.f64 (.f64 (.f64 a a) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	35.8b	(+.f64 (pow.f64 (log.f64 (exp.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	36.9b	(+.f64 (.f64 1/32400 (.f64 (.f64 angle angle) (.f64 (pow.f64 (PI.f64) 2) (.f64 a a)))) (pow.f64 (.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (PI.f64) (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b 1) 2))
	38.1b	(+.f64 (.f64 (.f64 a a) (fma.f64 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) 1/32400 (.f64 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4)) -1/3149280000))) (pow.f64 (*.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
	28.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2) (pow.f64 (*.f64 b 1) 2))
	26.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	27.4b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
	33.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	39.8b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) (cbrt.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))

Compiler

Compiled 5984 to 4536 computations (24.2% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2)))
✓	0.3b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	23.9b	(cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
✓	25.1b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series1.8s (7.9%)

Counts

4 → 72

Calls

4 calls:

931.0ms	(.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2)))
910.0ms	(cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
4.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
3.0ms	(*.f64 (PI.f64) (/.f64 angle 180))

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`cbrt-prod_binary64`
42×	`add-sqr-sqrt_binary64`
22×	`associate-r_binary64`
21×	`*-un-lft-identity_binary64`
21×	`add-cube-cbrt_binary64`

Counts

4 → 122

Calls

4 calls:

8.0ms	(.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2)))
5.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
2.0ms	(cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
1.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

simplify156.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

668×	`fma-def_binary64`
293×	`cancel-sign-sub-inv_binary64`
290×	`fma-neg_binary64`
228×	`associate-r_binary64`
205×	`associate-l_binary64`

Counts

194 → 190

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	282	5910
1	642	5614
2	1936	4955
3	4329	4841
4	4936	4841

prune1.7s (7.2%)

Pruning

46 alts after pruning (46 fresh and 0 done)

	Pruned	Kept	Total
New	359	17	376
Fresh	7	29	36
Picked	1	0	1
Done	0	0	0
Total	367	46	413

Error

20.0b

Counts

413 → 46

Alt Table

Status	Error	Program
	21.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (PI.f64) (cbrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 1) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 6)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b 1) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	30.8b	(+.f64 (.f64 (.f64 a a) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	35.8b	(+.f64 (pow.f64 (log.f64 (exp.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 4)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	28.9b	(+.f64 (.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 4) 1/3) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	33.7b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (PI.f64) (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	43.9b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))) (pow.f64 (.f64 b 1) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
	26.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	30.9b	(+.f64 (.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
▶	21.5b	(+.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	27.4b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
	33.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.6b	(+.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))) (pow.f64 (.f64 b 1) 2))
	39.8b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b 1) 2))
	47.2b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4)) (.f64 4 (log.f64 (/.f64 -1 a)))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	37.7b	(+.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (pow.f64 a 4))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.6b	(+.f64 (.f64 (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 3)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))

Compiler

Compiled 22698 to 17239 computations (24.1% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	2.0b	(sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))
✓	8.7b	(cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))
	23.9b	(cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	25.1b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series1.2s (5.1%)

Counts

2 → 48

Calls

2 calls:

600.0ms	(cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))
593.0ms	(sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`cbrt-prod_binary64`
9×	`sqrt-prod_binary64`
6×	`add-sqr-sqrt_binary64`
4×	`rem-sqrt-square_binary64`
4×	`*-un-lft-identity_binary64`

Counts

2 → 36

Calls

2 calls:

2.0ms	(sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))
2.0ms	(cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))

simplify116.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

925×	`fma-neg_binary64`
778×	`cancel-sign-sub-inv_binary64`
539×	`distribute-rgt-neg-in_binary64`
529×	`distribute-lft-neg-in_binary64`
360×	`associate-r_binary64`

Counts

84 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	125	2274
1	242	2257
2	559	1946
3	2205	1717
4	4269	1717
5	4973	1717
6	4949	1717

prune1.9s (8.1%)

Pruning

47 alts after pruning (46 fresh and 1 done)

	Pruned	Kept	Total
New	314	1	315
Fresh	0	45	45
Picked	0	1	1
Done	0	0	0
Total	314	47	361

Error

20.0b

Counts

361 → 47

Alt Table

Status	Error	Program
	21.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2) (pow.f64 (.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))))) (cbrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (PI.f64) (cbrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 1) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 6)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 180) (cbrt.f64 180)))) (/.f64 (cbrt.f64 angle) (cbrt.f64 180))))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (/.f64 angle 180)) (.f64 (PI.f64) (sqrt.f64 (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b 1) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) 1) (*.f64 (/.f64 (sqrt.f64 angle) 180) (PI.f64))))) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180))) (.f64 (cbrt.f64 (/.f64 angle 180)) (PI.f64))))) 2))
	30.8b	(+.f64 (.f64 (.f64 a a) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	35.8b	(+.f64 (pow.f64 (log.f64 (exp.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (*.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 4)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	28.9b	(+.f64 (.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 4) 1/3) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	33.7b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (pow.f64 (.f64 (PI.f64) (/.f64 angle 180)) 3)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (PI.f64) (/.f64 (cbrt.f64 angle) 180))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.5b	(+.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	43.9b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2))) (pow.f64 (.f64 b 1) 2))
	43.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b (cos.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (*.f64 (/.f64 angle 180) (sqrt.f64 (PI.f64))) (sqrt.f64 (PI.f64))))) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (sqrt.f64 angle) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 (sqrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
	26.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	30.9b	(+.f64 (.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 a 2)) (cbrt.f64 (pow.f64 a 2))) (.f64 (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)) (cbrt.f64 (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	44.0b	(+.f64 (pow.f64 (.f64 a (sin.f64 (exp.f64 (+.f64 (-.f64 (log.f64 angle) (log.f64 180)) (log.f64 (PI.f64)))))) 2) (pow.f64 (.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) 1) (.f64 (/.f64 (cbrt.f64 angle) 180) (PI.f64))))) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
✓	21.5b	(+.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	27.4b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b 1) 2))
	21.9b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180)) (.f64 (/.f64 (cbrt.f64 angle) (sqrt.f64 180)) (PI.f64))))) 2))
	33.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (/.f64 angle 180) (/.f64 angle 180)) (/.f64 angle 180)) (.f64 (.f64 (PI.f64) (PI.f64)) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.6b	(+.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))) (pow.f64 (.f64 b 1) 2))
	39.8b	(+.f64 (pow.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)) (pow.f64 (.f64 b 1) 2))
	47.2b	(+.f64 (.f64 (exp.f64 (.f64 1/3 (-.f64 (log.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4)) (.f64 4 (log.f64 (/.f64 -1 a)))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	37.7b	(+.f64 (.f64 (cbrt.f64 (.f64 (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 4) (pow.f64 a 4))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.6b	(+.f64 (.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)))) (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) (cbrt.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))))) (cbrt.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))))) (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	21.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (/.f64 angle 180) (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64)))) (cbrt.f64 (PI.f64))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (cbrt.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	21.6b	(+.f64 (.f64 (.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) 3)) (cbrt.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (pow.f64 (*.f64 b 1) 2))
	43.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64))) (.f64 (/.f64 (sqrt.f64 angle) (sqrt.f64 180)) (sqrt.f64 (PI.f64)))))) 2))

Compiler

Compiled 25161 to 18873 computations (25% saved)

regimes3.3s (14.2%)

Accuracy

Total 1.5b remaining (7.4%)

Threshold costs 0b (0%)

Counts

277 → 1

Compiler

Compiled 70011 to 55981 computations (20% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

3×	`*-commutative_binary64`
1×	`+-commutative_binary64`
1×	`*-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	22
1	22	22
2	21	22

end1.1s (4.7%)

Compiler: Compiled 1818 to 1431 computations (21.3% saved)

Details

analyze2.5s (10.5%)

sample8.1s (34.7%)

simplify134.0ms (0.6%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series36.0ms (0.2%)

rewrite13.0ms (0.1%)

simplify122.0ms (0.5%)

prune483.0ms (2.1%)

localize11.0ms (0%)

series15.0ms (0.1%)

rewrite4.0ms (0%)

simplify81.0ms (0.3%)

prune526.0ms (2.2%)

localize15.0ms (0.1%)

series1.8s (7.9%)

rewrite26.0ms (0.1%)

simplify156.0ms (0.7%)

prune1.7s (7.2%)

localize18.0ms (0.1%)

series1.2s (5.1%)

rewrite6.0ms (0%)

simplify116.0ms (0.5%)

prune1.9s (8.1%)

regimes3.3s (14.2%)

simplify2.0ms (0%)

end1.1s (4.7%)

Profiling