Details

analyze144.0ms (0.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1

Compiler

Compiled 96 to 69 computations (28.1% saved)

sample216.0ms (1.1%)

Algorithm

1×

intervals

Results

69.0ms	256×	body	128	valid
13.0ms	256×	pre	128	true

Compiler

Compiled 173 to 125 computations (27.7% saved)

simplify69.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

493×	`associate--l+_binary32`
415×	`unsub-neg_binary32`
384×	`associate--l-_binary32`
362×	`distribute-rgt-in_binary32`
356×	`distribute-neg-in_binary32`

Counts

1 → 1

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	27	101
1	66	101
2	189	72
3	606	72
4	1602	72
5	2259	72
6	4869	72
7	4951	72

prune9.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))

Status

Error

Program

▶

0.3b

(+.f32 (+.f32 (*.f32 (*.f32 (cos.f32 (*.f32 (*.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (*.f32 (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux) (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) xi) (*.f32 (*.f32 (sin.f32 (*.f32 (*.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (*.f32 (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux) (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (*.f32 (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))

Compiler

Compiled 194 to 137 computations (29.4% saved)

localize123.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))
0.2b	(.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) yi)
0.3b	(.f32 (.f32 uy 2) PI.f32)
0.3b	(.f32 (.f32 uy 2) PI.f32)

rewrite597.0ms (3.1%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

133×	`pow1_binary32`
75×	`pow-prod-down_binary32`
55×	`add-cbrt-cube_binary32`
55×	`add-exp-log_binary32`
36×	`cbrt-unprod_binary32`

Counts

4 → 124

Calls

4 calls:

15.0ms	(.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))
8.0ms	(.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) yi)
4.0ms	(.f32 (.f32 uy 2) PI.f32)
4.0ms	(.f32 (.f32 uy 2) PI.f32)

Compiler

Compiled 6986 to 4604 computations (34.1% saved)

series640.0ms (3.3%)

Error

0.2b

Counts

4 → 32

Calls

4 calls:

295.0ms	(.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) yi)
112.0ms	(.f32 (.f32 uy 2) PI.f32)
85.0ms	(.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))
23.0ms	(.f32 (.f32 uy 2) PI.f32)

Compiler

Compiled 6588 to 4707 computations (28.6% saved)

simplify144.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

815×	`associate-r_binary32`
804×	`associate-l_binary32`
342×	`*-commutative_binary32`
227×	`unswap-sqr_binary32`
187×	`log-prod_binary32`

Counts

156 → 135

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	351	4356
1	1016	3802
2	3970	3790
3	4887	3790
4	4949	3790

prune370.0ms (1.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	126	9	135
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	127	9	136

Error

0.1b

Counts

136 → 9

Alt Table

Status	Error	Program
	0.6b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (-.f32 (.f32 (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (.f32 maxCos (.f32 maxCos (+.f32 (.f32 ux ux) (pow.f32 ux 4)))))) (+.f32 (.f32 2 (.f32 (.f32 uy PI.f32) yi)) (.f32 4/15 (.f32 yi (.f32 (pow.f32 uy 5) (pow.f32 PI.f32 5)))))) (.f32 (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (.f32 maxCos (.f32 maxCos (+.f32 (.f32 ux ux) (pow.f32 ux 4)))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 PI.f32 3)))) (.f32 8/315 (.f32 (pow.f32 uy 7) (.f32 yi (pow.f32 PI.f32 7)))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.5b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))))) (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2)))))))) (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	15.1b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (sqrt.f32 yi)) (sqrt.f32 yi))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.6b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))

Compiler

Compiled 6429 to 4170 computations (35.1% saved)

localize123.0ms (0.6%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) yi)
0.3b	(.f32 (.f32 uy 2) PI.f32)
0.3b	(*.f32 uy PI.f32)
1.4b	(exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))

rewrite525.0ms (2.7%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

22×	`pow1_binary32`
16×	`add-cbrt-cube_binary32`
16×	`add-exp-log_binary32`
11×	`add-sqr-sqrt_binary32`
10×	`pow-prod-down_binary32`

Counts

4 → 71

Calls

4 calls:

9.0ms	(.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) yi)
5.0ms	(exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))
4.0ms	(.f32 (.f32 uy 2) PI.f32)
3.0ms	(*.f32 uy PI.f32)

Compiler

Compiled 4794 to 3156 computations (34.2% saved)

series439.0ms (2.3%)

Error

0.1b

Counts

4 → 27

Calls

4 calls:

261.0ms	(.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (*.f32 (-.f32 1 ux) maxCos) ux))))) yi)
32.0ms	(exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))
23.0ms	(.f32 (.f32 uy 2) PI.f32)
22.0ms	(*.f32 uy PI.f32)

Compiler

Compiled 6053 to 4291 computations (29.1% saved)

simplify140.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

597×	`associate-r_binary32`
572×	`associate-l_binary32`
569×	`cancel-sign-sub-inv_binary32`
287×	`*-commutative_binary32`
167×	`unswap-sqr_binary32`

Counts

98 → 73

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	325	3406
1	885	2918
2	3321	2906
3	4862	2906
4	4995	2906
5	4926	2906

prune399.0ms (2.1%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	71	2	73
Fresh	2	6	8
Picked	1	0	1
Done	0	0	0
Total	74	8	82

Error

0.1b

Counts

82 → 8

Alt Table

Status	Error	Program
▶	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy))))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))))) (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2)))))))) (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.6b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (-.f32 (.f32 (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (.f32 maxCos (.f32 maxCos (+.f32 (.f32 ux ux) (pow.f32 ux 4)))))) (+.f32 (.f32 2 (.f32 (.f32 uy PI.f32) yi)) (.f32 4/15 (.f32 yi (.f32 (pow.f32 uy 5) (pow.f32 PI.f32 5)))))) (.f32 (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (.f32 maxCos (.f32 maxCos (+.f32 (.f32 ux ux) (pow.f32 ux 4)))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 PI.f32 3)))) (.f32 8/315 (.f32 (pow.f32 uy 7) (.f32 yi (pow.f32 PI.f32 7)))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.5b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	15.1b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (sqrt.f32 yi)) (sqrt.f32 yi))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.6b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (exp.f32 (log.f32 (.f32 uy (.f32 2 PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))

Compiler

Compiled 5504 to 3671 computations (33.3% saved)

localize131.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.3b	(.f32 (.f32 uy 2) PI.f32)
0.3b	(.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy)))
0.4b	(*.f32 PI.f32 (sqrt.f32 uy))
1.4b	(exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (*.f32 PI.f32 (sqrt.f32 uy))))))

rewrite453.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

26×	`pow1_binary32`
16×	`add-cbrt-cube_binary32`
16×	`add-exp-log_binary32`
15×	`add-sqr-sqrt_binary32`
13×	`pow-prod-down_binary32`

Counts

4 → 77

Calls

4 calls:

7.0ms	(.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy)))
7.0ms	(exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (*.f32 PI.f32 (sqrt.f32 uy))))))
4.0ms	(*.f32 PI.f32 (sqrt.f32 uy))
4.0ms	(.f32 (.f32 uy 2) PI.f32)

Compiler

Compiled 4903 to 3004 computations (38.7% saved)

series137.0ms (0.7%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

41.0ms	(.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy)))
30.0ms	(exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (*.f32 PI.f32 (sqrt.f32 uy))))))
26.0ms	(*.f32 PI.f32 (sqrt.f32 uy))
22.0ms	(.f32 (.f32 uy 2) PI.f32)

Compiler

Compiled 2150 to 1530 computations (28.8% saved)

simplify91.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

422×	`prod-exp_binary32`
353×	`*-commutative_binary32`
349×	`div-exp_binary32`
295×	`sub-neg_binary32`
224×	`unswap-sqr_binary32`

Counts

89 → 62

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	121	1244
1	261	798
2	806	798
3	1398	798
4	2924	798
5	4809	798
6	5431	798

prune273.0ms (1.4%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	61	1	62
Fresh	0	7	7
Picked	0	1	1
Done	0	0	0
Total	61	9	70

Error

0.1b

Counts

70 → 9

Alt Table

Status	Error	Program
✓	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy))))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))))) (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2)))))))) (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.6b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (-.f32 (.f32 (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (.f32 maxCos (.f32 maxCos (+.f32 (.f32 ux ux) (pow.f32 ux 4)))))) (+.f32 (.f32 2 (.f32 (.f32 uy PI.f32) yi)) (.f32 4/15 (.f32 yi (.f32 (pow.f32 uy 5) (pow.f32 PI.f32 5)))))) (.f32 (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (.f32 maxCos (.f32 maxCos (+.f32 (.f32 ux ux) (pow.f32 ux 4)))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 PI.f32 3)))) (.f32 8/315 (.f32 (pow.f32 uy 7) (.f32 yi (pow.f32 PI.f32 7)))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.5b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 (sqrt.f32 uy)) (.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 (sqrt.f32 uy))))))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	15.1b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (sqrt.f32 yi)) (sqrt.f32 yi))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.6b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (exp.f32 (log.f32 (.f32 uy (.f32 2 PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))

Compiler

Compiled 4329 to 2843 computations (34.3% saved)

localize134.0ms (0.7%)

Local error

Found 4 expressions with local error:

0.3b	(.f32 (.f32 uy 2) PI.f32)
0.3b	(*.f32 uy PI.f32)
0.3b	(*.f32 uy PI.f32)
0.5b	(.f32 (sqrt.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (*.f32 uy PI.f32))))

rewrite615.0ms (3.2%)

Algorithm

1×	rewrite-expression-head

Error

0.1b

Rules

140×	`pow1_binary32`
76×	`pow-prod-down_binary32`
60×	`sqrt-pow1_binary32`
19×	`add-sqr-sqrt_binary32`
17×	`pow-prod-up_binary32`

Counts

4 → 120

Calls

4 calls:

11.0ms	(.f32 (sqrt.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (*.f32 uy PI.f32))))
6.0ms	(.f32 (.f32 uy 2) PI.f32)
3.0ms	(*.f32 uy PI.f32)
3.0ms	(*.f32 uy PI.f32)

Compiler

Compiled 6436 to 4114 computations (36.1% saved)

series107.0ms (0.6%)

Error

0.1b

Counts

4 → 12

Calls

4 calls:

26.0ms	(.f32 (sqrt.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (*.f32 uy PI.f32))))
23.0ms	(*.f32 uy PI.f32)
22.0ms	(.f32 (.f32 uy 2) PI.f32)
21.0ms	(*.f32 uy PI.f32)

Compiler

Compiled 2096 to 1458 computations (30.4% saved)

simplify108.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

413×	`associate-/l/_binary32`
367×	`*-commutative_binary32`
316×	`sqr-pow_binary32`
299×	`log-prod_binary32`
287×	`distribute-rgt-in_binary32`

Counts

132 → 93

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	103	1179
1	207	1056
2	770	1036
3	1149	1022
4	1786	994
5	2454	994
6	4653	994
7	5109	994

prune302.0ms (1.6%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	93	0	93
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	93	9	102

Error

0.1b

Counts

102 → 9

Alt Table

Status	Error	Program
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy))))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))))) (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2)))))))) (cbrt.f32 (.f32 yi (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.6b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (-.f32 (.f32 (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (.f32 maxCos (.f32 maxCos (+.f32 (.f32 ux ux) (pow.f32 ux 4)))))) (+.f32 (.f32 2 (.f32 (.f32 uy PI.f32) yi)) (.f32 4/15 (.f32 yi (.f32 (pow.f32 uy 5) (pow.f32 PI.f32 5)))))) (.f32 (sqrt.f32 (-.f32 (+.f32 1 (.f32 2 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)))) (.f32 maxCos (.f32 maxCos (+.f32 (.f32 ux ux) (pow.f32 ux 4)))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 PI.f32 3)))) (.f32 8/315 (.f32 (pow.f32 uy 7) (.f32 yi (pow.f32 PI.f32 7)))))))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.5b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi))) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 (sqrt.f32 uy)) (.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 (sqrt.f32 uy))))))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) zi))
	15.1b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 maxCos maxCos) (.f32 ux ux)) (pow.f32 (-.f32 1 ux) 2))))) (sqrt.f32 yi)) (sqrt.f32 yi))) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.4b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
	0.6b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (exp.f32 (log.f32 (.f32 uy (.f32 2 PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))

Compiler

Compiled 3763 to 2498 computations (33.6% saved)

regimes8.4s (43.3%)

Accuracy

Total 0.2b remaining (44.3%)

Threshold costs 0.2b (44.3%)

Compiler

Compiled 158744 to 112545 computations (29.1% saved)

simplify14.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

39×	`distribute-rgt-neg-in_binary32`
26×	`distribute-lft-neg-in_binary32`
25×	`cancel-sign-sub-inv_binary32`
21×	`*-commutative_binary32`
19×	`neg-sub0_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	36	121
1	60	121
2	74	121
3	88	121
4	101	121
5	116	121
6	125	121
7	141	121
8	167	121
9	193	121
10	205	121
11	212	121
12	214	121
13	210	121

end3.0ms (0%)

Compiler: Compiled 82 to 57 computations (30.5% saved)

sample4.7s (24.3%)

Algorithm

1×

intervals

Results

2.2s	8000×	body	128	valid
453.0ms	8000×	pre	128	true

Compiler

Compiled 985 to 682 computations (30.8% saved)

Iter	Nodes	Cost
0	36	121
1	60	121
2	74	121
3	88	121
4	101	121
5	116	121
6	125	121
7	141	121
8	167	121
9	193	121
10	205	121
11	212	121
12	214	121
13	210	121

Iter	Nodes	Cost
0	36	121
1	60	121
2	74	121
3	88	121
4	101	121
5	116	121
6	125	121
7	141	121
8	167	121
9	193	121
10	205	121
11	212	121
12	214	121
13	210	121

Details

analyze144.0ms (0.7%)

sample216.0ms (1.1%)

simplify69.0ms (0.4%)

prune9.0ms (0%)

localize123.0ms (0.6%)

rewrite597.0ms (3.1%)

series640.0ms (3.3%)

simplify144.0ms (0.7%)

prune370.0ms (1.9%)

localize123.0ms (0.6%)

rewrite525.0ms (2.7%)

series439.0ms (2.3%)

simplify140.0ms (0.7%)

prune399.0ms (2.1%)

localize131.0ms (0.7%)

rewrite453.0ms (2.3%)

series137.0ms (0.7%)

simplify91.0ms (0.5%)

prune273.0ms (1.4%)

localize134.0ms (0.7%)

rewrite615.0ms (3.2%)

series107.0ms (0.6%)

simplify108.0ms (0.6%)

prune302.0ms (1.6%)

regimes8.4s (43.3%)

simplify14.0ms (0.1%)

end3.0ms (0%)

sample4.7s (24.3%)

Profiling

Iter	Nodes	Cost
0	36	121
1	60	121
2	74	121
3	88	121
4	101	121
5	116	121
6	125	121
7	141	121
8	167	121
9	193	121
10	205	121
11	212	121
12	214	121
13	210	121