Details

analyze132.0ms (1.4%)

Algorithm

1×

Search

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

Compiler

Compiled 96 to 69 computations (28.1% saved)

sample167.0ms (1.8%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 173 to 125 computations (27.7% saved)

simplify72.0ms (0.8%)

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

prune5.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

0.4b

Counts

2 → 1

Alt Table

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

Status

Error

Program

▶

0.4b

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

Compiler

Compiled 156 to 111 computations (28.8% saved)

localize136.0ms (1.5%)

Local error

Found 4 expressions with local error:

0.2b	(.f32 (sin.f32 (.f32 (*.f32 uy 2) PI.f32)) yi)
0.2b	(sin.f32 (.f32 (.f32 uy 2) PI.f32))
0.3b	(.f32 (.f32 uy 2) PI.f32)
0.3b	(.f32 (.f32 uy 2) PI.f32)

rewrite139.0ms (1.5%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

16×	`add-cbrt-cube_binary32`
16×	`add-exp-log_binary32`
16×	`pow1_binary32`
10×	`add-sqr-sqrt_binary32`
9×	`associate-r_binary32`

Counts

4 → 61

Calls

4 calls:

5.0ms	(.f32 (.f32 uy 2) PI.f32)
4.0ms	(.f32 (.f32 uy 2) PI.f32)
4.0ms	(.f32 (sin.f32 (.f32 (*.f32 uy 2) PI.f32)) yi)
2.0ms	(sin.f32 (.f32 (.f32 uy 2) PI.f32))

Compiler

Compiled 2898 to 1908 computations (34.2% saved)

series83.0ms (0.9%)

Error

0.3b

Counts

4 → 21

Calls

4 calls:

29.0ms	(.f32 (sin.f32 (.f32 (*.f32 uy 2) PI.f32)) yi)
13.0ms	(sin.f32 (.f32 (.f32 uy 2) PI.f32))
11.0ms	(.f32 (.f32 uy 2) PI.f32)
8.0ms	(.f32 (.f32 uy 2) PI.f32)

Compiler

Compiled 2482 to 1742 computations (29.8% saved)

simplify191.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

440×	`distribute-rgt-neg-in_binary32`
430×	`*-commutative_binary32`
405×	`sub-neg_binary32`
402×	`cancel-sign-sub-inv_binary32`
371×	`distribute-lft-neg-in_binary32`

Counts

82 → 55

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	116	1318
1	281	1159
2	980	1147
3	1644	1123
4	2775	1123
5	4236	1123
6	4772	1123
7	4941	1123
8	4875	1123

prune122.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	46	9	55
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	47	9	56

Error

0.2b

Counts

56 → 9

Alt Table

Status	Error	Program
	5.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sin.f32 (log.f32 (exp.f32 (.f32 2 (.f32 uy PI.f32))))) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
▶	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))) xi) (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	1.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) (.f32 yi (sqrt.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32)))))))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi)) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi))) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi))))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.5b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sin.f32 (.f32 (.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	3.0b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 2 (.f32 uy (.f32 PI.f32 yi))))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.5b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi)))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	5.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (log.f32 (exp.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))))) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) xi) (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))

Compiler

Compiled 3345 to 2187 computations (34.6% saved)

localize120.0ms (1.3%)

Local error

Found 4 expressions with local error:

0.2b	(sin.f32 (.f32 (.f32 uy 2) PI.f32))
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))))

rewrite255.0ms (2.8%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

17×	`pow1_binary32`
11×	`add-cbrt-cube_binary32`
11×	`add-exp-log_binary32`
10×	`add-sqr-sqrt_binary32`
8×	`*-un-lft-identity_binary32`

Counts

4 → 58

Calls

4 calls:

4.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)
2.0ms	(sin.f32 (.f32 (.f32 uy 2) PI.f32))

Compiler

Compiled 2753 to 1784 computations (35.2% saved)

series163.0ms (1.8%)

Error

0.2b

Counts

4 → 15

Calls

4 calls:

106.0ms	(exp.f32 (log.f32 (.f32 2 (.f32 uy PI.f32))))
13.0ms	(sin.f32 (.f32 (.f32 uy 2) PI.f32))
10.0ms	(*.f32 uy PI.f32)
9.0ms	(.f32 (.f32 uy 2) PI.f32)

Compiler

Compiled 1975 to 1394 computations (29.4% saved)

simplify87.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

467×	`sub-neg_binary32`
357×	`*-commutative_binary32`
301×	`exp-diff_binary32`
229×	`cancel-sign-sub-inv_binary32`
219×	`distribute-rgt-neg-in_binary32`

Counts

73 → 49

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	124	861
1	264	753
2	840	753
3	1645	753
4	3480	753
5	4762	753
6	4924	753

prune122.0ms (1.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	48	1	49
Fresh	0	8	8
Picked	1	0	1
Done	0	0	0
Total	49	9	58

Error

0.2b

Counts

58 → 9

Alt Table

Status	Error	Program
	5.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (log.f32 (exp.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))))) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
▶	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy))))))) xi) (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	1.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) (.f32 yi (sqrt.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32)))))))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi)) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi))) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi))))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.5b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sin.f32 (.f32 (.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	5.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sin.f32 (log.f32 (exp.f32 (.f32 2 (.f32 uy PI.f32))))) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	3.0b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 2 (.f32 uy (.f32 PI.f32 yi))))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.5b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi)))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) xi) (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))

Compiler

Compiled 2879 to 1937 computations (32.7% saved)

localize109.0ms (1.2%)

Local error

Found 4 expressions with local error:

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

rewrite301.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

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	(exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (*.f32 PI.f32 (sqrt.f32 uy))))))
7.0ms	(.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 3706 to 2185 computations (41% saved)

series51.0ms (0.6%)

Error

0.2b

Counts

4 → 12

Calls

4 calls:

14.0ms	(exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (*.f32 PI.f32 (sqrt.f32 uy))))))
10.0ms	(*.f32 PI.f32 (sqrt.f32 uy))
9.0ms	(.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy)))
9.0ms	(.f32 (.f32 uy 2) PI.f32)

Compiler

Compiled 1618 to 1166 computations (27.9% saved)

simplify93.0ms (1%)

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 → 64

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

prune138.0ms (1.5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	64	0	64
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	64	9	73

Error

0.2b

Counts

73 → 9

Alt Table

Status	Error	Program
	5.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (log.f32 (exp.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))))) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
✓	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy))))))) xi) (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	1.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) (.f32 yi (sqrt.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32)))))))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi)) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi))) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi))))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.5b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sin.f32 (.f32 (.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	5.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sin.f32 (log.f32 (exp.f32 (.f32 2 (.f32 uy PI.f32))))) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	3.0b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 2 (.f32 uy (.f32 PI.f32 yi))))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.5b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi)))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
▶	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) xi) (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))

Compiler

Compiled 3141 to 2029 computations (35.4% saved)

localize104.0ms (1.1%)

Local error

Found 4 expressions with local error:

0.2b	(sin.f32 (.f32 (.f32 uy 2) PI.f32))
0.3b	(.f32 (.f32 (+.f32 uy uy) (*.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))
0.3b	(.f32 (.f32 uy 2) PI.f32)
0.5b	(.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32)))

rewrite279.0ms (3%)

Algorithm

1×	rewrite-expression-head

Error

0.2b

Rules

23×	`add-exp-log_binary32`
23×	`pow1_binary32`
16×	`add-cbrt-cube_binary32`
14×	`associate-l_binary32`
14×	`*-un-lft-identity_binary32`

Counts

4 → 81

Calls

4 calls:

11.0ms	(.f32 (.f32 (+.f32 uy uy) (*.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))
10.0ms	(.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32)))
4.0ms	(.f32 (.f32 uy 2) PI.f32)
2.0ms	(sin.f32 (.f32 (.f32 uy 2) PI.f32))

Compiler

Compiled 4222 to 2123 computations (49.7% saved)

series78.0ms (0.8%)

Error

0.2b

Counts

4 → 15

Calls

4 calls:

21.0ms	(.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32)))
14.0ms	(sin.f32 (.f32 (.f32 uy 2) PI.f32))
10.0ms	(.f32 (.f32 uy 2) PI.f32)
10.0ms	(.f32 (.f32 (+.f32 uy uy) (*.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))

Compiler

Compiled 1974 to 1313 computations (33.5% saved)

simplify119.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

347×	`distribute-rgt-out_binary32`
325×	`associate-l_binary32`
262×	`associate-r_binary32`
246×	`count-2_binary32`
239×	`unswap-sqr_binary32`

Counts

96 → 74

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	151	1500
1	353	1301
2	1326	1229
3	2432	1220
4	4740	1220
5	4986	1220
6	4938	1220

prune165.0ms (1.8%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	74	0	74
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	74	9	83

Error

0.2b

Counts

83 → 9

Alt Table

Status	Error	Program
	5.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (log.f32 (exp.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))))) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (exp.f32 (log.f32 (.f32 2 (.f32 (sqrt.f32 uy) (.f32 PI.f32 (sqrt.f32 uy))))))) xi) (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	1.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) (.f32 yi (sqrt.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32)))))))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi)) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi))) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) yi))))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.5b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sin.f32 (.f32 (.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))
	5.3b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (sin.f32 (log.f32 (exp.f32 (.f32 2 (.f32 uy PI.f32))))) yi))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	3.0b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 2 (.f32 uy (.f32 PI.f32 yi))))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.5b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) PI.f32)) xi) (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy PI.f32))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi)))) (.f32 (.f32 ux (*.f32 (-.f32 1 ux) maxCos)) zi))
	0.4b	(+.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) (.f32 ux (.f32 (-.f32 1 ux) maxCos))))) (+.f32 (.f32 (cos.f32 (.f32 (.f32 (+.f32 uy uy) (.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) xi) (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))) (.f32 (.f32 ux (.f32 (-.f32 1 ux) maxCos)) zi))

Compiler

Compiled 3288 to 1966 computations (40.2% saved)

regimes2.2s (23.6%)

Accuracy

Total 0.2b remaining (46.5%)

Threshold costs 0.2b (46.5%)

Compiler

Compiled 68735 to 49009 computations (28.7% saved)

simplify11.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`
19×	`neg-sub0_binary32`
19×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	77
1	52	77
2	66	77
3	80	77
4	93	77
5	108	77
6	117	77
7	133	77
8	159	77
9	185	77
10	197	77
11	204	77
12	206	77
13	202	77

end1.0ms (0%)

Compiler: Compiled 55 to 40 computations (27.3% saved)

sample3.8s (41.1%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 685 to 482 computations (29.6% saved)

Iter	Nodes	Cost
0	31	77
1	52	77
2	66	77
3	80	77
4	93	77
5	108	77
6	117	77
7	133	77
8	159	77
9	185	77
10	197	77
11	204	77
12	206	77
13	202	77

Iter	Nodes	Cost
0	31	77
1	52	77
2	66	77
3	80	77
4	93	77
5	108	77
6	117	77
7	133	77
8	159	77
9	185	77
10	197	77
11	204	77
12	206	77
13	202	77

Details

analyze132.0ms (1.4%)

sample167.0ms (1.8%)

simplify72.0ms (0.8%)

prune5.0ms (0.1%)

localize136.0ms (1.5%)

rewrite139.0ms (1.5%)

series83.0ms (0.9%)

simplify191.0ms (2.1%)

prune122.0ms (1.3%)

localize120.0ms (1.3%)

rewrite255.0ms (2.8%)

series163.0ms (1.8%)

simplify87.0ms (0.9%)

prune122.0ms (1.3%)

localize109.0ms (1.2%)

rewrite301.0ms (3.3%)

series51.0ms (0.6%)

simplify93.0ms (1%)

prune138.0ms (1.5%)

localize104.0ms (1.1%)

rewrite279.0ms (3%)

series78.0ms (0.8%)

simplify119.0ms (1.3%)

prune165.0ms (1.8%)

regimes2.2s (23.6%)

simplify11.0ms (0.1%)

end1.0ms (0%)

sample3.8s (41.1%)

Profiling

Iter	Nodes	Cost
0	31	77
1	52	77
2	66	77
3	80	77
4	93	77
5	108	77
6	117	77
7	133	77
8	159	77
9	185	77
10	197	77
11	204	77
12	206	77
13	202	77