Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
99.9%	0%	0.1%	1

Compiler

Compiled 25 to 20 computations (20% saved)

sample5.0s (48.2%)

Results

2.3s	1888×	body	1024	valid
1.3s	4758×	body	128	valid
857.0ms	1055×	body	512	valid
214.0ms	458×	body	256	valid
171.0ms	96×	body	2048	valid
6.0ms	1×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify130.0ms (1.3%)

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

13.4b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	13.4b	(+.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))
✓	26.8b	(sin.f64 (*.f64 (/.f64 angle 180) (PI.f64)))
✓	27.2b	(cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))

series38.0ms (0.4%)

Counts

4 → 60

Calls

4 calls:

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

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

simplify121.0ms (1.2%)

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

prune496.0ms (4.8%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	169	29	198
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	170	29	199

Error

12.7b

Counts

199 → 29

Alt Table

Status	Error	Program
	19.1b	(+.f64 (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (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))
	13.4b	(+.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))
	13.9b	(+.f64 (exp.f64 (log.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))
	38.8b	(+.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))
	51.9b	(+.f64 (exp.f64 (.f64 (+.f64 (log.f64 a) (log.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	38.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))
	34.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))
	38.5b	(+.f64 (pow.f64 (.f64 a (sin.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) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.5b	(+.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))
	13.5b	(+.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))
	13.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 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.6b	(+.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))
	13.7b	(+.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))
	13.4b	(+.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))
	13.4b	(+.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))
	13.5b	(+.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)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	13.4b	(+.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))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (*.f64 (/.f64 angle (sqrt.f64 180)) (PI.f64))))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.6b	(+.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))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2))
	34.9b	(+.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))
	37.2b	(+.f64 (-.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 (PI.f64) 2) (pow.f64 a 2)))) (.f64 1/3149280000 (.f64 (pow.f64 angle 4) (.f64 (pow.f64 (PI.f64) 4) (pow.f64 a 2))))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.4b	(+.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))
▶	13.3b	(+.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))
	13.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (*.f64 b 1) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (sqrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))

Compiler

Compiled 7470 to 5484 computations (26.6% saved)

localize17.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series31.0ms (0.3%)

Counts

2 → 36

Calls

2 calls:

27.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180)))) 2)
4.0ms	(sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

5×	`add-exp-log_binary64`
5×	`pow1_binary64`
3×	`pow-unpow_binary64`
3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`

Counts

2 → 29

Calls

2 calls:

4.0ms	(pow.f64 (.f64 a (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180)))) 2)
1.0ms	(sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))

simplify74.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

855×	`fma-neg_binary64`
550×	`cancel-sign-sub-inv_binary64`
332×	`distribute-rgt-neg-in_binary64`
324×	`distribute-lft-neg-in_binary64`
312×	`*-commutative_binary64`

Counts

65 → 63

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	115	1264
1	259	1169
2	827	1151
3	2143	1132
4	4695	1132
5	4961	1132

prune628.0ms (6.1%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	134	8	142
Fresh	5	23	28
Picked	1	0	1
Done	0	0	0
Total	140	31	171

Error

12.7b

Counts

171 → 31

Alt Table

Status	Error	Program
	13.5b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	19.1b	(+.f64 (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2)) (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))
	13.4b	(+.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))
	13.3b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	34.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))
	38.5b	(+.f64 (pow.f64 (.f64 a (sin.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) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	22.8b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))) 2))
	37.2b	(+.f64 (-.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 (PI.f64) 2) (pow.f64 a 2)))) (.f64 1/3149280000 (.f64 (pow.f64 angle 4) (.f64 (pow.f64 (PI.f64) 4) (pow.f64 a 2))))) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.5b	(+.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))
	13.5b	(+.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))
▶	13.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b 1) 2))
	13.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 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.6b	(+.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))
	13.7b	(+.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))
	13.4b	(+.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))
	13.4b	(+.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))
	13.5b	(+.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)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	13.5b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (sqrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.6b	(+.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))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2))
	38.8b	(+.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))
	51.9b	(+.f64 (exp.f64 (.f64 (+.f64 (log.f64 a) (log.f64 (sin.f64 (.f64 (/.f64 angle 180) (PI.f64))))) 2)) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	34.9b	(+.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))
	13.8b	(+.f64 (exp.f64 (log.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))
	19.4b	(+.f64 (.f64 (pow.f64 a 2) (pow.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))) 2)) (pow.f64 (.f64 b (cos.f64 (*.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.4b	(+.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))

Compiler

Compiled 6070 to 4499 computations (25.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series20.0ms (0.2%)

Counts

2 → 36

Calls

2 calls:

17.0ms	(.f64 a (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))
3.0ms	(.f64 angle (.f64 (PI.f64) 1/180))

rewrite9.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`add-cbrt-cube_binary64`
9×	`add-exp-log_binary64`
9×	`pow1_binary64`
7×	`add-sqr-sqrt_binary64`
6×	`associate-l_binary64`

Counts

2 → 40

Calls

2 calls:

4.0ms	(.f64 a (sin.f64 (.f64 angle (*.f64 (PI.f64) 1/180))))
4.0ms	(.f64 angle (.f64 (PI.f64) 1/180))

simplify122.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

927×	`fma-neg_binary64`
615×	`distribute-rgt-neg-in_binary64`
530×	`fma-def_binary64`
404×	`*-commutative_binary64`
362×	`cancel-sign-sub-inv_binary64`

Counts

76 → 71

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	114	1117
1	251	1017
2	870	1013
3	1593	992
4	3362	992
5	4663	992
6	4920	992
7	4987	992
8	4939	992

prune557.0ms (5.4%)

Pruning

34 alts after pruning (34 fresh and 0 done)

	Pruned	Kept	Total
New	118	16	134
Fresh	12	18	30
Picked	1	0	1
Done	0	0	0
Total	131	34	165

Error

12.6b

Counts

165 → 34

Alt Table

Status	Error	Program
	13.4b	(+.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))
	19.1b	(+.f64 (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2)) (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2))) (pow.f64 (.f64 b 1) 2))
	13.5b	(+.f64 (pow.f64 (.f64 (.f64 a (.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 angle (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	38.8b	(+.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))
	13.5b	(+.f64 (pow.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (pow.f64 (.f64 b 1) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 angle) (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	34.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))
	38.5b	(+.f64 (pow.f64 (.f64 a (sin.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) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))) 2))
▶	13.3b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	13.5b	(+.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))
	13.5b	(+.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))
	13.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 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.7b	(+.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))
	13.4b	(+.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))
	37.3b	(+.f64 (-.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 (PI.f64) 2) (pow.f64 a 2)))) (.f64 1/3149280000 (.f64 (pow.f64 angle 4) (.f64 (pow.f64 (PI.f64) 4) (pow.f64 a 2))))) (pow.f64 (*.f64 b 1) 2))
	13.5b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.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))
	13.5b	(+.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)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
	13.5b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	19.4b	(+.f64 (.f64 (.f64 a a) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b 1) 2))
	22.7b	(+.f64 (pow.f64 (.f64 a (sin.f64 (expm1.f64 (log1p.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	52.8b	(+.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 a) (log.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (sqrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	16.3b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b 1) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.6b	(+.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))
	13.8b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2))) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2))
	35.0b	(+.f64 (.f64 (.f64 a a) (fma.f64 1/32400 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) (.f64 -1/3149280000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))))) (pow.f64 (*.f64 b 1) 2))

Compiler

Compiled 5267 to 3960 computations (24.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (.f64 a (expm1.f64 (log1p.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2)
✓	0.3b	(log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
✓	0.3b	(.f64 1/180 (.f64 angle (PI.f64)))
✓	26.6b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))

series320.0ms (3.1%)

Counts

4 → 40

Calls

4 calls:

285.0ms	(log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))
28.0ms	(pow.f64 (.f64 a (expm1.f64 (log1p.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2)
4.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
3.0ms	(.f64 1/180 (.f64 angle (PI.f64)))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-exp-log_binary64`
12×	`pow1_binary64`
9×	`add-cbrt-cube_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`

Counts

4 → 60

Calls

4 calls:

4.0ms	(.f64 1/180 (.f64 angle (PI.f64)))
2.0ms	(pow.f64 (.f64 a (expm1.f64 (log1p.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2)
1.0ms	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
0.0ms	(log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))))

simplify99.0ms (1%)

Algorithm

1×	egg-herbie

Rules

937×	`fma-neg_binary64`
486×	`*-commutative_binary64`
475×	`distribute-rgt-neg-in_binary64`
426×	`fma-def_binary64`
321×	`cancel-sign-sub-inv_binary64`

Counts

100 → 94

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	168	1810
1	367	1632
2	1212	1596
3	3100	1583
4	4806	1583
5	5002	1583

prune415.0ms (4%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	89	5	94
Fresh	3	30	33
Picked	1	0	1
Done	0	0	0
Total	93	35	128

Error

12.5b

Counts

128 → 35

Alt Table

Status	Error	Program
	13.4b	(+.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))
	19.1b	(+.f64 (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2)) (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2))) (pow.f64 (.f64 b 1) 2))
	13.5b	(+.f64 (pow.f64 (.f64 (.f64 a (.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 angle (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	13.7b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (.f64 (.f64 angle (PI.f64)) (+.f64 1/180 (.f64 (.f64 angle (PI.f64)) -1/64800))))) 2) (pow.f64 (.f64 b 1) 2))
	13.5b	(+.f64 (pow.f64 (.f64 (.f64 a (.f64 (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) (cbrt.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2)) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (cbrt.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (pow.f64 (.f64 b 1) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (.f64 (cbrt.f64 angle) (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	34.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))
	38.5b	(+.f64 (pow.f64 (.f64 a (sin.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) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	17.7b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (cbrt.f64 (pow.f64 (log1p.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 3)))) 2) (pow.f64 (.f64 b 1) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 1 (sqrt.f64 180)) (.f64 (PI.f64) (/.f64 angle (sqrt.f64 180)))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (.f64 (cbrt.f64 a) (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) 2) (pow.f64 (.f64 b 1) 2))
	13.5b	(+.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))
	13.5b	(+.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))
	13.4b	(+.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))
	37.3b	(+.f64 (-.f64 (.f64 1/32400 (.f64 (pow.f64 angle 2) (.f64 (pow.f64 (PI.f64) 2) (pow.f64 a 2)))) (.f64 1/3149280000 (.f64 (pow.f64 angle 4) (.f64 (pow.f64 (PI.f64) 4) (pow.f64 a 2))))) (pow.f64 (*.f64 b 1) 2))
	13.5b	(+.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) (cbrt.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.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))
	13.7b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (.f64 angle (PI.f64)))))))) 2) (pow.f64 (.f64 b 1) 2))
	35.0b	(+.f64 (.f64 (.f64 a a) (fma.f64 1/32400 (.f64 (.f64 angle angle) (pow.f64 (PI.f64) 2)) (.f64 -1/3149280000 (.f64 (pow.f64 angle 4) (pow.f64 (PI.f64) 4))))) (pow.f64 (*.f64 b 1) 2))
	13.5b	(+.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)) (.f64 (cbrt.f64 180) (cbrt.f64 180))) (*.f64 (/.f64 (cbrt.f64 angle) (cbrt.f64 180)) (PI.f64))))) 2))
	13.5b	(+.f64 (expm1.f64 (log1p.f64 (pow.f64 (.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) a) 2))) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	13.7b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (sin.f64 (.f64 (.f64 (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64)))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))) (cbrt.f64 (.f64 1/180 (.f64 angle (PI.f64))))))))) 2) (pow.f64 (.f64 b 1) 2))
	19.4b	(+.f64 (.f64 (.f64 a a) (pow.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64)))) 2)) (pow.f64 (*.f64 b 1) 2))
	52.8b	(+.f64 (pow.f64 (exp.f64 (+.f64 (log.f64 a) (log.f64 (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))))) 2) (pow.f64 (*.f64 b 1) 2))
	38.8b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (sin.f64 (exp.f64 (+.f64 (log.f64 1/180) (log.f64 (.f64 angle (PI.f64))))))))) 2) (pow.f64 (*.f64 b 1) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (.f64 (sqrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) (sqrt.f64 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))))) 2))
	16.3b	(+.f64 (pow.f64 (.f64 1/180 (.f64 angle (.f64 (PI.f64) a))) 2) (pow.f64 (.f64 b 1) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2) (pow.f64 (.f64 b (cos.f64 (exp.f64 (+.f64 (log.f64 (/.f64 angle 180)) (log.f64 (PI.f64)))))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (.f64 (/.f64 angle (cbrt.f64 180)) (PI.f64))))) 2) (pow.f64 (.f64 b (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))
	13.6b	(+.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))
	13.8b	(+.f64 (exp.f64 (log.f64 (pow.f64 (.f64 a (sin.f64 (.f64 angle (.f64 (PI.f64) 1/180)))) 2))) (pow.f64 (.f64 b 1) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (sin.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))) 3))) 2))
	13.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 (cos.f64 (.f64 (/.f64 angle 180) (PI.f64)))) 2))

Compiler

Compiled 3500 to 2615 computations (25.3% saved)

regimes1.5s (14.6%)

Accuracy

Total 0.9b remaining (6.8%)

Threshold costs 0.9b (6.8%)

Counts

183 → 1

Compiler

Compiled 33530 to 26814 computations (20% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	34
1	23	34
2	23	34

end709.0ms (6.8%)

Compiler: Compiled 1124 to 891 computations (20.7% saved)

Details

analyze2.0ms (0%)

sample5.0s (48.2%)

simplify130.0ms (1.3%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series38.0ms (0.4%)

rewrite14.0ms (0.1%)

simplify121.0ms (1.2%)

prune496.0ms (4.8%)

localize17.0ms (0.2%)

series31.0ms (0.3%)

rewrite6.0ms (0.1%)

simplify74.0ms (0.7%)

prune628.0ms (6.1%)

localize11.0ms (0.1%)

series20.0ms (0.2%)

rewrite9.0ms (0.1%)

simplify122.0ms (1.2%)

prune557.0ms (5.4%)

localize15.0ms (0.1%)

series320.0ms (3.1%)

rewrite10.0ms (0.1%)

simplify99.0ms (1%)

prune415.0ms (4%)

regimes1.5s (14.6%)

simplify2.0ms (0%)

end709.0ms (6.8%)

Profiling