Details

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

sample7.6s (49.6%)

Results

3.9s	1941×	body	1024	valid
1.5s	4785×	body	128	valid
1.2s	946×	body	512	valid
368.0ms	107×	body	2048	valid
356.0ms	474×	body	256	valid
26.0ms	3×	body	4096	valid

Compiler

Compiled 74 to 59 computations (20.3% saved)

simplify158.0ms (1%)

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

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

11.5b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	11.5b	(+.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)

localize24.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
✓	0.3b	(*.f64 (PI.f64) (/.f64 angle 180))
✓	26.3b	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
✓	26.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series78.0ms (0.5%)

Counts

4 → 60

Calls

4 calls:

56.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
8.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
7.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
6.0ms	(*.f64 (PI.f64) (/.f64 angle 180))

rewrite26.0ms (0.2%)

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:

9.0ms	(*.f64 (PI.f64) (/.f64 angle 180))
6.0ms	(pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)
2.0ms	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))
2.0ms	(cos.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

simplify176.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

600×	`fma-neg_binary64`
587×	`times-frac_binary64`
402×	`*-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

prune714.0ms (4.7%)

Pruning

28 alts after pruning (28 fresh and 0 done)

	Pruned	Kept	Total
New	124	28	152
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	125	28	153

Error

10.9b

Counts

153 → 28

Alt Table

Status	Error	Program
	11.6b	(+.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))
	11.7b	(+.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))
	11.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 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	35.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	11.5b	(+.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))
	11.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 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	11.7b	(+.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))
▶	11.4b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.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))
	11.7b	(+.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))))
	17.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	17.2b	(+.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))))
	20.5b	(+.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))
	11.7b	(+.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))
	20.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (log.f64 (exp.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.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)))))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	11.6b	(+.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))
	11.7b	(+.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))
	17.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 1/180 (*.f64 angle (PI.f64)))) 2)))
	11.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.5b	(+.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))
	11.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 1/180 (.f64 angle (PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.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))
	11.5b	(+.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))
	11.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 6046 to 4421 computations (26.9% saved)

localize25.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 angle) (cbrt.f64 angle))
✓	0.6b	(cbrt.f64 angle)
✓	26.2b	(cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))
	26.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series101.0ms (0.7%)

Counts

3 → 36

Calls

3 calls:

51.0ms	(cbrt.f64 angle)
40.0ms	(*.f64 (cbrt.f64 angle) (cbrt.f64 angle))
10.0ms	(cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))

rewrite10.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
12×	`*-un-lft-identity_binary64`
12×	`add-cube-cbrt_binary64`
10×	`pow1_binary64`

Counts

3 → 64

Calls

3 calls:

4.0ms	(*.f64 (cbrt.f64 angle) (cbrt.f64 angle))
2.0ms	(cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))
2.0ms	(cbrt.f64 angle)

simplify87.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

501×	`fma-neg_binary64`
362×	`*-commutative_binary64`
321×	`associate-/l*_binary64`
227×	`cancel-sign-sub-inv_binary64`
225×	`fma-def_binary64`

Counts

100 → 99

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	108	1244
1	219	874
2	729	825
3	2319	799
4	3865	707
5	4893	707
6	4856	707

prune1.0s (6.8%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	141	12	153
Fresh	4	23	27
Picked	1	0	1
Done	0	0	0
Total	146	35	181

Error

10.8b

Counts

181 → 35

Alt Table

Status	Error	Program
▶	11.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a 1) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	40.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1)) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.6b	(+.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))
	11.7b	(+.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))
	20.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (expm1.f64 (log1p.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.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 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	34.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	35.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.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 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	11.7b	(+.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))
	11.7b	(+.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))))
	17.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	11.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))) (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) (cos.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 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.7b	(+.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))
	17.2b	(+.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))))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.7b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (log.f64 (exp.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.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)))))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle)))) (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	11.6b	(+.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))
	11.7b	(+.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))
	17.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 1/180 (*.f64 angle (PI.f64)))) 2)))
	11.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (pow.f64 (cbrt.f64 angle) 2) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.5b	(+.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))
	11.5b	(+.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))
	11.5b	(+.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))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	34.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (cbrt.f64 (pow.f64 angle 2/3)) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 8063 to 5446 computations (32.5% saved)

localize47.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 angle)
✓	2.4b	(expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))))
✓	26.4b	(cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))
	26.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series55.0ms (0.4%)

Counts

2 → 24

Calls

2 calls:

38.0ms

(expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))))

16.0ms

(cos.f64 (*.f64 (*.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 20

Calls

2 calls:

2.0ms

(cos.f64 (*.f64 (*.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))

0.0ms

(expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))))

simplify44.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

623×	`associate-/r/_binary64`
402×	`associate-/l/_binary64`
364×	`unswap-sqr_binary64`
330×	`cancel-sign-sub-inv_binary64`
280×	`fma-def_binary64`

Counts

44 → 47

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	75	870
1	159	719
2	443	509
3	1758	483
4	4906	483

prune1.2s (7.8%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	112	7	119
Fresh	6	28	34
Picked	1	0	1
Done	0	0	0
Total	119	35	154

Error

10.8b

Counts

154 → 35

Alt Table

Status	Error	Program
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (.f64 (cbrt.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))))) (cbrt.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))))) (cbrt.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	40.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1)) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.6b	(+.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))
	11.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (expm1.f64 (log1p.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.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 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))
	34.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	35.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	11.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 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	11.7b	(+.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))
	11.7b	(+.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))))
	17.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	11.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))) (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) (cos.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 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.7b	(+.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))
	17.2b	(+.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))))
	11.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 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))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.7b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
▶	11.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (log.f64 (exp.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.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)))))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	11.7b	(+.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))
	17.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 1/180 (*.f64 angle (PI.f64)))) 2)))
	11.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (pow.f64 (cbrt.f64 angle) 2) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.5b	(+.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))
	40.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1)) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.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))
	11.5b	(+.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))
	11.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	34.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (cbrt.f64 (pow.f64 angle 2/3)) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 7248 to 4884 computations (32.6% saved)

localize54.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 angle)
	2.4b	(expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle))))
✓	26.5b	(cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))
	26.9b	(sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))

series17.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

16.0ms

(cos.f64 (*.f64 (*.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))

rewrite4.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 9

Calls

1 calls:

3.0ms

(cos.f64 (*.f64 (*.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))

simplify48.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

724×	`associate-/r/_binary64`
487×	`associate-/l/_binary64`
330×	`cancel-sign-sub-inv_binary64`
302×	`unswap-sqr_binary64`
280×	`fma-def_binary64`

Counts

21 → 25

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	62	634
1	140	510
2	418	429
3	1839	297
4	5097	297

prune1.3s (8.3%)

Pruning

35 alts after pruning (35 fresh and 0 done)

	Pruned	Kept	Total
New	152	3	155
Fresh	2	32	34
Picked	1	0	1
Done	0	0	0
Total	155	35	190

Error

10.8b

Counts

190 → 35

Alt Table

Status	Error	Program
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (/.f64 (cbrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (.f64 (cbrt.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))))) (cbrt.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))))) (cbrt.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	40.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1)) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.6b	(+.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))
	11.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (log1p.f64 (expm1.f64 (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	20.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (expm1.f64 (log1p.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.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 1 (sqrt.f64 180))) (/.f64 angle (sqrt.f64 180))))) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (.f64 (.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180)))) (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	34.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (cbrt.f64 (sqrt.f64 angle)) (cbrt.f64 (sqrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	35.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) (*.f64 (cbrt.f64 2) (cbrt.f64 2))) (cbrt.f64 2)))
	11.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 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2))
	11.7b	(+.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))
	34.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)) (sqrt.f64 180))) (/.f64 (.f64 (cbrt.f64 (pow.f64 angle 2/3)) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	34.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (pow.f64 angle 1/3))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	17.2b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 6)))
	40.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1))))) (sqrt.f64 180))) (/.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 angle)) (cbrt.f64 (cbrt.f64 angle))) (cbrt.f64 (cbrt.f64 angle))) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.7b	(+.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))))
	11.7b	(+.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))
	17.2b	(+.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))))
	11.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 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))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (pow.f64 (cbrt.f64 (cbrt.f64 angle)) 4)) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.7b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (/.f64 (.f64 angle (PI.f64)) 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	20.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (log.f64 (exp.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	22.0b	(+.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)))))
	20.3b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (expm1.f64 (log1p.f64 (.f64 (PI.f64) (/.f64 angle 180)))))) 2))
	11.7b	(+.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))
	17.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 1/180 (*.f64 angle (PI.f64)))) 2)))
	11.4b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180)))))) (cbrt.f64 (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (pow.f64 (cbrt.f64 angle) 2) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.6b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2) (.f64 (.f64 (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2)) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))) (cbrt.f64 (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))))
	19.5b	(+.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))
	40.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (.f64 (pow.f64 (.f64 -1 angle) 1/3) (cbrt.f64 -1)) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))
	11.5b	(+.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))
	11.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 1/180 (*.f64 angle (PI.f64))))) 2))
	11.5b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (PI.f64) (/.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle))) (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (cbrt.f64 (.f64 (cbrt.f64 angle) (cbrt.f64 angle)))) (sqrt.f64 180))) (/.f64 (cbrt.f64 angle) (sqrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (PI.f64) (/.f64 angle 180)))) 2))

Compiler

Compiled 8604 to 4787 computations (44.4% saved)

regimes1.5s (10.1%)

Accuracy

Total 0.8b remaining (5.8%)

Threshold costs 0.8b (5.8%)

Counts

119 → 1

Compiler

Compiled 28355 to 21312 computations (24.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`*-commutative_binary64`
1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	73
1	35	73
2	35	73

end972.0ms (6.4%)

Compiler: Compiled 1488 to 1081 computations (27.4% saved)

Details

analyze4.0ms (0%)

sample7.6s (49.6%)

simplify158.0ms (1%)

prune5.0ms (0%)

localize24.0ms (0.2%)

series78.0ms (0.5%)

rewrite26.0ms (0.2%)

simplify176.0ms (1.2%)

prune714.0ms (4.7%)

localize25.0ms (0.2%)

series101.0ms (0.7%)

rewrite10.0ms (0.1%)

simplify87.0ms (0.6%)

prune1.0s (6.8%)

localize47.0ms (0.3%)

series55.0ms (0.4%)

rewrite3.0ms (0%)

simplify44.0ms (0.3%)

prune1.2s (7.8%)

localize54.0ms (0.4%)

series17.0ms (0.1%)

rewrite4.0ms (0%)

simplify48.0ms (0.3%)

prune1.3s (8.3%)

regimes1.5s (10.1%)

simplify3.0ms (0%)

end972.0ms (6.4%)

Profiling