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)

sample4.7s (52.1%)

Results

2.4s	1893×	body	1024	valid
931.0ms	4756×	body	128	valid
898.0ms	1048×	body	512	valid
219.0ms	454×	body	256	valid
188.0ms	103×	body	2048	valid
13.0ms	2×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify128.0ms (1.4%)

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	124	34
4	217	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 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 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.2b	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
✓	0.3b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	26.8b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	27.2b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series38.0ms (0.4%)

Counts

4 → 60

Calls

4 calls:

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

rewrite14.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`add-sqr-sqrt_binary64`
13×	`associate-r_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 (PI.f64) (/.f64 angle 180))
3.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
1.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
1.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

simplify103.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

600×	`fma-neg_binary64`
587×	`times-frac_binary64`
403×	`*-commutative_binary64`
321×	`fma-def_binary64`
249×	`cancel-sign-sub-inv_binary64`

Counts

132 → 110

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	196	2107
1	448	2003
2	1447	1981
3	3580	1967
4	4922	1967
5	4939	1967

prune447.0ms (4.9%)

Pruning

30 alts after pruning (30 fresh and 0 done)

	Pruned	Kept	Total
New	122	30	152
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	123	30	153

Error

12.5b

Counts

153 → 30

Alt Table

Status	Error	Program
	27.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (PI.f64) (/.f64 angle 180)) (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	38.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	13.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	22.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	13.4b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (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))
	21.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
▶	13.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (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))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	19.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (-.f64 (log.f64 angle) (log.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 6150 to 4502 computations (26.8% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (*.f64 (PI.f64) angle) 180)
	0.3b	(*.f64 (PI.f64) (/.f64 angle 180))
	26.8b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	27.0b	(cos.f64 (/.f64 (*.f64 (PI.f64) angle) 180))

series7.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

4.0ms	(cos.f64 (/.f64 (*.f64 (PI.f64) angle) 180))
3.0ms	(/.f64 (*.f64 (PI.f64) angle) 180)

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`

Counts

2 → 32

Calls

2 calls:

3.0ms	(/.f64 (*.f64 (PI.f64) angle) 180)
1.0ms	(cos.f64 (/.f64 (*.f64 (PI.f64) angle) 180))

simplify50.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

632×	`fma-def_binary64`
605×	`unswap-sqr_binary64`
565×	`cancel-sign-sub-inv_binary64`
327×	`fma-neg_binary64`
277×	`associate-r_binary64`

Counts

56 → 62

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	91	698
1	192	626
2	555	619
3	2215	611
4	5112	611

prune632.0ms (7%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	115	7	122
Fresh	5	24	29
Picked	1	0	1
Done	0	0	0
Total	121	31	152

Error

12.5b

Counts

152 → 31

Alt Table

Status	Error	Program
	27.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (PI.f64) (/.f64 angle 180)) (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180)))) (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	38.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	13.7b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (-.f64 (log.f64 (.f64 (PI.f64) angle)) (log.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	13.4b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (*.f64 (PI.f64) (/.f64 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (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))
	21.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (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))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	19.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
▶	13.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 5241 to 3770 computations (28.1% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f64 (*.f64 (PI.f64) angle) 180)
✓	0.3b	(/.f64 (*.f64 angle (PI.f64)) 180)
✓	26.7b	(sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))
	27.0b	(cos.f64 (/.f64 (*.f64 (PI.f64) angle) 180))

series7.0ms (0.1%)

Counts

2 → 24

Calls

2 calls:

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

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
4×	`*-un-lft-identity_binary64`
4×	`add-sqr-sqrt_binary64`
4×	`add-cube-cbrt_binary64`

Counts

2 → 32

Calls

2 calls:

3.0ms	(/.f64 (*.f64 angle (PI.f64)) 180)
1.0ms	(sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))

simplify60.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

745×	`fma-def_binary64`
633×	`fma-neg_binary64`
604×	`associate-/r/_binary64`
341×	`distribute-rgt-neg-in_binary64`
337×	`distribute-lft-neg-in_binary64`

Counts

56 → 60

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	90	727
1	198	642
2	599	640
3	2105	640
4	4828	640
5	4966	640

prune611.0ms (6.7%)

Pruning

31 alts after pruning (31 fresh and 0 done)

	Pruned	Kept	Total
New	118	4	122
Fresh	3	27	30
Picked	1	0	1
Done	0	0	0
Total	122	31	153

Error

12.5b

Counts

153 → 31

Alt Table

Status	Error	Program
	27.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (cbrt.f64 (.f64 (.f64 (.f64 (PI.f64) (/.f64 angle 180)) (.f64 (PI.f64) (/.f64 angle 180))) (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180)))) (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (-.f64 (log.f64 (.f64 (PI.f64) angle)) (log.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (*.f64 angle (PI.f64)) 180))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	13.4b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (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))
	21.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (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))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))) (cbrt.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)))) (cbrt.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64)))) 2)))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
▶	13.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	38.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 5179 to 3634 computations (29.8% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.3b	(/.f64 (*.f64 (PI.f64) angle) 180)
✓	0.3b	(.f64 1/180 (.f64 angle (PI.f64)))
✓	26.6b	(sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))
	27.0b	(cos.f64 (/.f64 (*.f64 (PI.f64) angle) 180))

series7.0ms (0.1%)

Counts

2 → 4

Calls

2 calls:

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

rewrite8.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`add-cbrt-cube_binary64`
7×	`add-exp-log_binary64`
7×	`pow1_binary64`
3×	`associate-l_binary64`
3×	`cbrt-unprod_binary64`

Counts

2 → 29

Calls

2 calls:

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

simplify51.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

732×	`fma-def_binary64`
727×	`distribute-rgt-neg-in_binary64`
545×	`associate-l_binary64`
436×	`fma-neg_binary64`
435×	`associate-r_binary64`

Counts

33 → 37

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	73	501
1	168	425
2	526	423
3	1833	423
4	3839	423
5	5167	423

prune511.0ms (5.6%)

Pruning

29 alts after pruning (29 fresh and 0 done)

	Pruned	Kept	Total
New	94	5	99
Fresh	6	24	30
Picked	1	0	1
Done	0	0	0
Total	101	29	130

Error

12.5b

Counts

130 → 29

Alt Table

Status	Error	Program
	13.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 1 (/.f64 180 (.f64 angle (PI.f64)))))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180)))) (cbrt.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (PI.f64)) (.f64 (sqrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (expm1.f64 (log1p.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	21.2b	(+.f64 (pow.f64 (.f64 a (.f64 (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (sqrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (log1p.f64 (expm1.f64 (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 1/180 (.f64 angle (PI.f64))))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180))))) (cbrt.f64 (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	16.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (.f64 (.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (cbrt.f64 1/180) (*.f64 angle (PI.f64)))))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.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))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (-.f64 (log.f64 (.f64 (PI.f64) angle)) (log.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	19.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (pow.f64 b 2) (pow.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180))) 2)))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (expm1.f64 (log1p.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (cbrt.f64 (PI.f64)) (cbrt.f64 (PI.f64))) (.f64 (cbrt.f64 (PI.f64)) (/.f64 angle 180))))) 2))
	38.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180))) (.f64 (sqrt.f64 (PI.f64)) (/.f64 (sqrt.f64 angle) (sqrt.f64 180)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (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))
	21.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 1/32400 (.f64 (pow.f64 angle 2) (*.f64 (pow.f64 (PI.f64) 2) (pow.f64 b 2)))))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (.f64 (.f64 (cbrt.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))) (cbrt.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180)))) (cbrt.f64 (sin.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2))
	13.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2))
	38.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (*.f64 b (sin.f64 (exp.f64 (+.f64 (log.f64 (PI.f64)) (log.f64 (/.f64 angle 180)))))) 2))
	13.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 (PI.f64) angle) 180))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (sqrt.f64 1/180) (.f64 (sqrt.f64 1/180) (.f64 angle (PI.f64)))))))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 (PI.f64) (sqrt.f64 180)) (/.f64 angle (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	13.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 (/.f64 angle 180)) (cbrt.f64 (/.f64 angle 180)))) (cbrt.f64 (/.f64 angle 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 3791 to 2670 computations (29.6% saved)

regimes1.0s (11.2%)

Accuracy

Total 0.8b remaining (5.9%)

Threshold costs 0.8b (5.9%)

Counts

125 → 1

Compiler

Compiled 23916 to 18852 computations (21.2% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

5×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	23	45
1	28	45
2	28	45

end582.0ms (6.4%)

Compiler: Compiled 984 to 768 computations (22% saved)

Details

analyze2.0ms (0%)

sample4.7s (52.1%)

simplify128.0ms (1.4%)

prune2.0ms (0%)

localize12.0ms (0.1%)

series38.0ms (0.4%)

rewrite14.0ms (0.1%)

simplify103.0ms (1.1%)

prune447.0ms (4.9%)

localize15.0ms (0.2%)

series7.0ms (0.1%)

rewrite6.0ms (0.1%)

simplify50.0ms (0.6%)

prune632.0ms (7%)

localize16.0ms (0.2%)

series7.0ms (0.1%)

rewrite6.0ms (0.1%)

simplify60.0ms (0.7%)

prune611.0ms (6.7%)

localize18.0ms (0.2%)

series7.0ms (0.1%)

rewrite8.0ms (0.1%)

simplify51.0ms (0.6%)

prune511.0ms (5.6%)

regimes1.0s (11.2%)

simplify3.0ms (0%)

end582.0ms (6.4%)

Profiling