Details

analyze2.1s (15.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
0%	99.9%	0.1%	5
25%	74.9%	0.1%	6
25%	74.9%	0.1%	7
25%	62.4%	12.6%	8
31.2%	56.2%	12.6%	9
34.3%	53%	12.6%	10
42.9%	44.5%	12.6%	11
46.8%	40.6%	12.6%	12
47.8%	39.6%	12.6%	13
52.6%	34.8%	12.6%	14

Compiler

Compiled 25 to 20 computations (20% saved)

sample230.0ms (1.7%)

Algorithm

1×

intervals

Results

62.0ms	57×	body	1024	valid
52.0ms	47×	body	1024	invalid
23.0ms	34×	body	512	valid
22.0ms	27×	body	512	invalid
21.0ms	143×	body	128	valid
13.0ms	8×	body	2048	valid
7.0ms	17×	body	256	invalid
6.0ms	1×	body	4096	valid
5.0ms	13×	body	256	valid
3.0ms	20×	body	128	invalid

Compiler

Compiled 52 to 42 computations (19.2% saved)

simplify142.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 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	30	34
2	64	34
3	110	34
4	199	34
5	439	34
6	627	34
7	1082	34
8	1109	34
9	1301	34
10	1506	34
11	1804	34
12	2096	34
13	2519	34
14	3154	34
15	3470	34
16	3822	34
17	3976	34
18	4044	34
19	4086	34
20	4883	34
21	4855	34

prune2.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

23.8b

Counts

1 → 1

Alt Table

Status	Error	Program
▶	23.8b	(+.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 48 to 38 computations (20.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(*.f64 PI.f64 (/.f64 angle 180))
0.3b	(*.f64 PI.f64 (/.f64 angle 180))
27.3b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
27.3b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite153.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Error

22.6b

Rules

30×	`add-sqr-sqrt_binary64`
26×	`associate-r_binary64`
20×	`times-frac_binary64`
20×	`*-un-lft-identity_binary64`
20×	`add-cube-cbrt_binary64`

Counts

4 → 78

Calls

4 calls:

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

Compiler

Compiled 2073 to 1467 computations (29.2% saved)

series41.0ms (0.3%)

Error

23.2b

Counts

4 → 14

Calls

4 calls:

9.0ms	(*.f64 PI.f64 (/.f64 angle 180))
8.0ms	(*.f64 PI.f64 (/.f64 angle 180))
7.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
7.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 803 to 629 computations (21.7% saved)

simplify102.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

424×	`associate-l_binary64`
391×	`associate-/r*_binary64`
390×	`associate-/l/_binary64`
387×	`associate-r_binary64`
329×	`distribute-rgt-neg-in_binary64`

Counts

92 → 54

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	105	1196
1	224	1058
2	689	1058
3	2231	1055
4	4571	1055
5	4941	1055
6	4962	1055

prune102.0ms (0.8%)

Pruning

23 alts after pruning (23 fresh and 0 done)

	Pruned	Kept	Total
New	31	23	54
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	32	23	55

Error

22.7b

Counts

55 → 23

Alt Table

Status	Error	Program
	31.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.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 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 angle PI.f64) 180))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.9b	(+.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))
	43.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	24.0b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	24.0b	(+.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 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))
	24.0b	(+.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 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
▶	23.7b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 1/180 (*.f64 angle PI.f64)) 1))) 2))
	34.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 PI.f64 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.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))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	24.0b	(+.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 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))

Compiler

Compiled 2514 to 1819 computations (27.6% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(.f64 1/180 (.f64 angle PI.f64))
0.3b	(*.f64 PI.f64 (/.f64 angle 180))
27.3b	(sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))
27.3b	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite202.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

22.6b

Rules

18×	`add-sqr-sqrt_binary64`
14×	`associate-r_binary64`
14×	`add-cbrt-cube_binary64`
14×	`add-exp-log_binary64`
13×	`*-un-lft-identity_binary64`

Counts

4 → 64

Calls

4 calls:

5.0ms	(*.f64 PI.f64 (/.f64 angle 180))
4.0ms	(.f64 1/180 (.f64 angle PI.f64))
2.0ms	(sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))
1.0ms	(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

Compiler

Compiled 1765 to 1236 computations (30% saved)

series40.0ms (0.3%)

Error

22.5b

Counts

4 → 14

Calls

4 calls:

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

Compiler

Compiled 857 to 670 computations (21.8% saved)

simplify90.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

594×	`times-frac_binary64`
399×	`associate-/l/_binary64`
351×	`associate-/r*_binary64`
326×	`*-commutative_binary64`
323×	`associate-/r/_binary64`

Counts

78 → 47

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	131	1008
1	288	867
2	972	867
3	2166	867
4	4557	867
5	4915	867
6	4960	867

prune116.0ms (0.9%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	43	4	47
Fresh	2	20	22
Picked	1	0	1
Done	0	0	0
Total	46	24	70

Error

22.6b

Counts

70 → 24

Alt Table

Status	Error	Program
	24.0b	(+.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 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))
	24.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180))) 1))) 2))
	24.0b	(+.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 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	24.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (pow.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)))) 1))) 2))
	31.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 PI.f64 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.9b	(+.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))
	43.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	24.0b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
▶	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 angle PI.f64) 180))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 1/180 (*.f64 angle PI.f64)) 1))) 2))
	34.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	23.8b	(+.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))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.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 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	24.0b	(+.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 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))

Compiler

Compiled 2549 to 1867 computations (26.8% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b	(/.f64 (*.f64 angle PI.f64) 180)
0.3b	(.f64 1/180 (.f64 angle PI.f64))
27.3b	(cos.f64 (/.f64 (*.f64 angle PI.f64) 180))
27.3b	(sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))

rewrite128.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Error

22.6b

Rules

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

Counts

4 → 53

Calls

4 calls:

5.0ms	(/.f64 (*.f64 angle PI.f64) 180)
4.0ms	(.f64 1/180 (.f64 angle PI.f64))
2.0ms	(sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))
1.0ms	(cos.f64 (/.f64 (*.f64 angle PI.f64) 180))

Compiler

Compiled 1458 to 978 computations (32.9% saved)

series40.0ms (0.3%)

Error

22.6b

Counts

4 → 14

Calls

4 calls:

8.0ms	(.f64 1/180 (.f64 angle PI.f64))
8.0ms	(sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))
7.0ms	(cos.f64 (/.f64 (*.f64 angle PI.f64) 180))
7.0ms	(/.f64 (*.f64 angle PI.f64) 180)

Compiler

Compiled 857 to 654 computations (23.7% saved)

simplify79.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

639×	`associate-l_binary64`
549×	`associate-r_binary64`
400×	`unswap-sqr_binary64`
381×	`distribute-rgt-neg-in_binary64`
312×	`associate-/l*_binary64`

Counts

67 → 36

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	107	843
1	222	720
2	722	720
3	3072	720
4	4965	720
5	4960	720

prune108.0ms (0.8%)

Pruning

24 alts after pruning (23 fresh and 1 done)

	Pruned	Kept	Total
New	36	0	36
Fresh	0	23	23
Picked	0	1	1
Done	0	0	0
Total	36	24	60

Error

22.6b

Counts

60 → 24

Alt Table

Status	Error	Program
	24.0b	(+.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 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))
	24.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180))) 1))) 2))
	24.0b	(+.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 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	24.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (pow.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)))) 1))) 2))
	31.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64))) 3))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 PI.f64 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
▶	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.9b	(+.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))
	43.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	24.0b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
✓	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 angle PI.f64) 180))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 1/180 (*.f64 angle PI.f64)) 1))) 2))
	34.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	23.8b	(+.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))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.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 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	24.0b	(+.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 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))

Compiler

Compiled 2239 to 1636 computations (26.9% saved)

localize21.0ms (0.2%)

Local error

Found 4 expressions with local error:

1.0b	(cbrt.f64 PI.f64)
1.0b	(*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))
27.3b	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
27.4b	(cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))

rewrite187.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

22.5b

Rules

21×	`add-sqr-sqrt_binary64`
19×	`cbrt-prod_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
11×	`pow1_binary64`

Counts

4 → 65

Calls

4 calls:

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

Compiler

Compiled 2055 to 1168 computations (43.2% saved)

series28.0ms (0.2%)

Error

22.6b

Counts

4 → 8

Calls

4 calls:

9.0ms	(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
7.0ms	(cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (*.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))
0.0ms	(*.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64))
0.0ms	(cbrt.f64 PI.f64)

Compiler

Compiled 585 to 427 computations (27% saved)

simplify133.0ms (1%)

Algorithm

1×	egg-herbie

Rules

934×	`distribute-rgt-neg-in_binary64`
597×	`associate-l_binary64`
521×	`distribute-lft-neg-in_binary64`
335×	`cancel-sign-sub-inv_binary64`
306×	`neg-mul-1_binary64`

Counts

73 → 49

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	84	1003
1	156	787
2	447	760
3	1619	744
4	3528	615
5	4742	615
6	4825	615
7	4995	615
8	4892	615

prune99.0ms (0.7%)

Pruning

26 alts after pruning (25 fresh and 1 done)

	Pruned	Kept	Total
New	45	4	49
Fresh	1	21	22
Picked	1	0	1
Done	0	1	1
Total	47	26	73

Error

22.6b

Counts

73 → 26

Alt Table

Status	Error	Program
	24.0b	(+.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 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))
	24.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 (.f64 (cbrt.f64 1/180) (cbrt.f64 1/180)) (.f64 (*.f64 angle PI.f64) (cbrt.f64 1/180))) 1))) 2))
	24.0b	(+.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 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (sin.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 PI.f64)) (cbrt.f64 (sqrt.f64 PI.f64))) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	24.0b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (pow.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)))) 1))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 PI.f64)) 5) (cbrt.f64 (cbrt.f64 PI.f64))) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (/.f64 (.f64 angle PI.f64) 180))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 1/180 (*.f64 angle PI.f64)) 1))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (/.f64 PI.f64 (.f64 (cbrt.f64 180) (cbrt.f64 180))) (/.f64 angle (cbrt.f64 180))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (exp.f64 (log.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (pow.f64 (.f64 1/180 (.f64 angle PI.f64)) 1))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (.f64 (.f64 (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64))))) (cbrt.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 PI.f64 (sqrt.f64 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.9b	(+.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))
	43.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 PI.f64) (*.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2))
	24.0b	(+.f64 (pow.f64 (.f64 a (cos.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 (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	31.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (.f64 (cbrt.f64 PI.f64) (cbrt.f64 PI.f64)) (.f64 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (cbrt.f64 (pow.f64 (sin.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2))
	24.0b	(+.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 (/.f64 angle 180) (cbrt.f64 PI.f64))))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cbrt.f64 (pow.f64 (cos.f64 (.f64 PI.f64 (/.f64 angle 180))) 3))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (/.f64 (.f64 angle PI.f64) 180))) 2))
	44.4b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (exp.f64 (log.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	34.1b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (log.f64 (exp.f64 (sin.f64 (.f64 1/180 (*.f64 angle PI.f64)))))) 2))
	23.8b	(+.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))
	23.9b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 (sqrt.f64 PI.f64) (.f64 (/.f64 angle 180) (sqrt.f64 PI.f64))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	23.8b	(+.f64 (pow.f64 (.f64 a (log.f64 (exp.f64 (cos.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2) (pow.f64 (.f64 b (sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))) 2))
	43.8b	(+.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 angle)) (/.f64 (sqrt.f64 angle) 180)))) 2))
	43.8b	(+.f64 (pow.f64 (.f64 a (cos.f64 (.f64 PI.f64 (/.f64 angle 180)))) 2) (pow.f64 (.f64 b (sin.f64 (.f64 (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64))) (sqrt.f64 (.f64 1/180 (.f64 angle PI.f64)))))) 2))

Compiler

Compiled 1687 to 1189 computations (29.5% saved)

regimes2.3s (16.7%)

Accuracy

Total 1.0b remaining (4.5%)

Threshold costs 1.0b (4.5%)

Compiler

Compiled 45803 to 34889 computations (23.8% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	44
1	30	44
2	29	44

end1.0ms (0%)

Compiler: Compiled 30 to 25 computations (16.7% saved)

sample7.1s (52.2%)

Algorithm

1×

intervals

Results

1.8s	1619×	body	1024	valid
1.6s	1415×	body	1024	invalid
769.0ms	4934×	body	128	valid
587.0ms	825×	body	512	valid
551.0ms	734×	body	512	invalid
330.0ms	187×	body	2048	valid
232.0ms	341×	body	256	invalid
165.0ms	432×	body	256	valid
103.0ms	635×	body	128	invalid
15.0ms	3×	body	4096	valid
3.0ms	1×	body	2048	invalid

Compiler

Compiled 880 to 669 computations (24% saved)

Details

analyze2.1s (15.7%)

sample230.0ms (1.7%)

simplify142.0ms (1%)

prune2.0ms (0%)

localize13.0ms (0.1%)

rewrite153.0ms (1.1%)

series41.0ms (0.3%)

simplify102.0ms (0.7%)

prune102.0ms (0.8%)

localize16.0ms (0.1%)

rewrite202.0ms (1.5%)

series40.0ms (0.3%)

simplify90.0ms (0.7%)

prune116.0ms (0.9%)

localize16.0ms (0.1%)

rewrite128.0ms (0.9%)

series40.0ms (0.3%)

simplify79.0ms (0.6%)

prune108.0ms (0.8%)

localize21.0ms (0.2%)

rewrite187.0ms (1.4%)

series28.0ms (0.2%)

simplify133.0ms (1%)

prune99.0ms (0.7%)

regimes2.3s (16.7%)

simplify3.0ms (0%)

end1.0ms (0%)

sample7.1s (52.2%)

Profiling