Details

analyze586.0ms (2.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.1%	99.9%	0
0%	0.1%	99.9%	1
0%	0.1%	99.9%	2
0%	0.1%	99.9%	3
0%	0%	99.9%	4
0%	0%	99.9%	5
0%	0%	99.9%	6
0.1%	0%	99.9%	7
0.1%	0%	99.9%	8
0.1%	0%	99.9%	9
0.1%	0%	99.9%	10
0.1%	0%	99.9%	11
0.1%	0%	99.9%	12
0.1%	0%	99.9%	13
0.1%	0%	99.9%	14

Compiler

Compiled 51 to 37 computations (27.5% saved)

sample2.5s (12.2%)

Results

2.3s

8256×

body

128

valid

Compiler

Compiled 130 to 94 computations (27.7% saved)

simplify47.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

743×	`sub-neg_binary32`
674×	`fma-neg_binary32`
386×	`associate--l-_binary32`
316×	`distribute-rgt-in_binary32`
286×	`unsub-neg_binary32`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	17	39
1	41	35
2	117	35
3	431	33
4	1755	33
5	4135	33
6	4966	33

prune5.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

14.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	14.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	14.3b	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))

Status

Error

Program

▶

14.3b

(*.f32 (sin.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (*.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))

14.3b

(*.f32 (sin.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (fma.f32 (fma.f32 ux maxCos (-.f32 1 ux)) (-.f32 ux (fma.f32 ux maxCos 1)) 1)))

Compiler

Compiled 156 to 110 computations (29.5% saved)

localize50.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
✓	0.4b	(.f32 (.f32 uy 2) (PI.f32))
✓	0.4b	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
✓	13.8b	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))

series292.0ms (1.5%)

Counts

4 → 92

Calls

4 calls:

231.0ms	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
37.0ms	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
21.0ms	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))
3.0ms	(.f32 (.f32 uy 2) (PI.f32))

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-sqr-sqrt_binary32`
18×	`pow1_binary32`
16×	`*-un-lft-identity_binary32`
14×	`associate-r_binary32`
14×	`add-cube-cbrt_binary32`

Counts

4 → 109

Calls

4 calls:

10.0ms	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
6.0ms	(.f32 (.f32 uy 2) (PI.f32))
6.0ms	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
4.0ms	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))

simplify170.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

632×	`associate-l_binary32`
569×	`associate-r_binary32`
419×	`fma-def_binary32`
156×	`times-frac_binary32`
153×	`associate-/l*_binary32`

Counts

201 → 251

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	462	10137
1	1454	8391
2	5353	8391

prune360.0ms (1.8%)

Pruning

18 alts after pruning (18 fresh and 0 done)

	Pruned	Kept	Total
New	233	18	251
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	235	18	253

Error

0.3b

Counts

253 → 18

Alt Table

Status	Error	Program
	14.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (/.f32 (-.f32 (pow.f32 1 3) (pow.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))) 3)) (+.f32 (.f32 1 1) (+.f32 (.f32 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))) (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))) (.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))))))))
	1.2b	(-.f32 (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (.f32 ux (-.f32 2 ux))) (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (+.f32 (.f32 (.f32 maxCos (.f32 ux ux)) (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux))))) (.f32 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 3)) (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 3))))))) (fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos ux) (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux))))) (.f32 1/2 (+.f32 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 3))) (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))) (.f32 (.f32 (.f32 ux ux) (.f32 maxCos (.f32 maxCos (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))) (+.f32 (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux)))) (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 3)))))))))
	14.3b	(.f32 (sin.f32 (exp.f32 (log.f32 (.f32 2 (.f32 uy (PI.f32)))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	14.9b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (sqrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos))) (sqrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))) (.f32 (sqrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos))) (sqrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))))
	6.7b	(.f32 2 (.f32 (.f32 uy (PI.f32)) (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2)))))))
▶	0.6b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	1.6b	(fma.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (.f32 ux (-.f32 2 ux))) (.f32 (.f32 (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux)))) (sin.f32 (.f32 2 (.f32 uy (PI.f32))))) (-.f32 (.f32 maxCos (.f32 ux ux)) (*.f32 maxCos ux))))
	14.3b	(/.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 3))))) (sqrt.f32 (+.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))
	14.3b	(cbrt.f32 (.f32 (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 (.f32 (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	2.8b	(-.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))))) (+.f32 (.f32 2 (.f32 uy (PI.f32))) (.f32 4/15 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5))))) (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))) (.f32 8/315 (.f32 (pow.f32 uy 7) (pow.f32 (PI.f32) 7))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (/.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 3))) (fma.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux)) 1))))
	3.6b	(fma.f32 4/15 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))))) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5))) (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))))) (-.f32 (.f32 2 (.f32 uy (PI.f32))) (.f32 4/3 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	7.1b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	14.9b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (sqrt.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))) (pow.f32 (sqrt.f32 (fma.f32 maxCos ux (-.f32 1 ux))) 3)))))
	21.3b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))))
	14.3b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (fabs.f32 (cbrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))) (sqrt.f32 (cbrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))))))

Compiler

Compiled 14605 to 9313 computations (36.2% saved)

localize115.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f32 maxCos (pow.f32 ux 2))
✓	0.2b	(sin.f32 (.f32 (.f32 uy 2) (PI.f32)))
✓	0.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	0.4b	(.f32 (.f32 uy 2) (PI.f32))

series250.0ms (1.2%)

Counts

3 → 44

Calls

3 calls:

238.0ms

(*.f32 (sin.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (+.f32 (*.f32 2 (*.f32 maxCos (pow.f32 ux 2))) (*.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (*.f32 2 (*.f32 maxCos ux)))))))

8.0ms

(*.f32 maxCos (pow.f32 ux 2))

4.0ms

(sin.f32 (*.f32 (*.f32 uy 2) (PI.f32)))

rewrite34.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary32`
17×	`associate-r_binary32`
14×	`*-un-lft-identity_binary32`
10×	`add-exp-log_binary32`
9×	`add-cube-cbrt_binary32`

Counts

3 → 71

Calls

3 calls:

22.0ms

(*.f32 (sin.f32 (*.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (+.f32 (*.f32 2 (*.f32 maxCos (pow.f32 ux 2))) (*.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (*.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (*.f32 2 (*.f32 maxCos ux)))))))

4.0ms

(*.f32 maxCos (pow.f32 ux 2))

1.0ms

(sin.f32 (*.f32 (*.f32 uy 2) (PI.f32)))

simplify147.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

542×	`associate-l_binary32`
511×	`associate-r_binary32`
420×	`fma-def_binary32`
180×	`times-frac_binary32`
155×	`associate-/l*_binary32`

Counts

115 → 169

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	425	7995
1	1364	6918
2	5105	6918

prune557.0ms (2.8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	189	11	200
Fresh	13	4	17
Picked	1	0	1
Done	0	0	0
Total	203	15	218

Error

0.0b

Counts

218 → 15

Alt Table

Status	Error	Program
▶	0.6b	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	0.9b	(.f32 (.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	0.8b	(.f32 (sin.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	0.7b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (fabs.f32 (cbrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))))) (sqrt.f32 (cbrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))))))))
	1.5b	(.f32 (sin.f32 (exp.f32 (log.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	0.9b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (.f32 (cbrt.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux)))))) (cbrt.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux)))))))) (cbrt.f32 (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux))))))))
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (.f32 2 (.f32 (PI.f32) uy))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (.f32 2 (.f32 (PI.f32) uy)))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (.f32 2 (*.f32 (PI.f32) uy))))))
	2.7b	(.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sqrt.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))))))
	19.0b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (/.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 3))) (fma.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux)) 1))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	0.8b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))))) (sqrt.f32 (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))))))))
	0.6b	(/.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 (.f32 8 (pow.f32 (fma.f32 maxCos (.f32 ux ux) ux) 3)) (pow.f32 (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))) 3)))) (sqrt.f32 (+.f32 (.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux))) (+.f32 (.f32 (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))))) (.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	14.9b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (sqrt.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))) (pow.f32 (sqrt.f32 (fma.f32 maxCos ux (-.f32 1 ux))) 3)))))

Compiler

Compiled 15657 to 10358 computations (33.8% saved)

localize102.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))
✓	0.3b	(.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))
✓	0.3b	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
✓	1.0b	(pow.f32 (PI.f32) 3)

series255.0ms (1.3%)

Counts

4 → 56

Calls

4 calls:

235.0ms	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
13.0ms	(.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))
7.0ms	(cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))
0.0ms	(pow.f32 (PI.f32) 3)

rewrite42.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

33×	`add-exp-log_binary32`
22×	`prod-exp_binary32`
19×	`add-sqr-sqrt_binary32`
18×	`*-un-lft-identity_binary32`
15×	`associate-l_binary32`

Counts

4 → 106

Calls

4 calls:

20.0ms	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
6.0ms	(.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))
4.0ms	(cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))
2.0ms	(pow.f32 (PI.f32) 3)

simplify132.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

573×	`associate-l_binary32`
568×	`associate-r_binary32`
376×	`fma-def_binary32`
150×	`*-commutative_binary32`
146×	`times-frac_binary32`

Counts

162 → 194

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	450	8920
1	1411	7862
2	5244	7862

prune497.0ms (2.5%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	188	6	194
Fresh	7	7	14
Picked	1	0	1
Done	0	0	0
Total	196	13	209

Error

0.0b

Counts

209 → 13

Alt Table

Status	Error	Program
	0.9b	(.f32 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (.f32 2 (.f32 (PI.f32) uy))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (.f32 2 (.f32 (PI.f32) uy)))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (.f32 2 (*.f32 (PI.f32) uy))))))
	10.6b	(/.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (sqrt.f32 (-.f32 (.f32 (.f32 8 (+.f32 (.f32 (pow.f32 maxCos 3) (pow.f32 ux 6)) (pow.f32 ux 3))) (fma.f32 (fma.f32 2 (.f32 maxCos ux) (.f32 maxCos (.f32 maxCos (.f32 ux ux)))) (-.f32 (fma.f32 2 (.f32 maxCos ux) (.f32 maxCos (.f32 maxCos (.f32 ux ux)))) (.f32 ux ux)) (pow.f32 ux 4))) (.f32 (fma.f32 4 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)) (.f32 ux (-.f32 (.f32 ux 4) (.f32 (.f32 maxCos (.f32 ux ux)) 4)))) (+.f32 (pow.f32 ux 6) (pow.f32 (fma.f32 2 (.f32 maxCos ux) (.f32 maxCos (.f32 maxCos (.f32 ux ux)))) 3)))))) (sqrt.f32 (.f32 (+.f32 (.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 (.f32 maxCos (pow.f32 ux 2)))) (-.f32 (.f32 (.f32 2 ux) (.f32 2 ux)) (.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)))) (+.f32 (.f32 (pow.f32 ux 2) (pow.f32 ux 2)) (-.f32 (.f32 (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))) (.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))))))))
	3.6b	(fma.f32 4803839602528529/18014398509481984 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5))) (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (-.f32 (.f32 2 (.f32 (PI.f32) uy)) (.f32 6004799503160661/4503599627370496 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	0.6b	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) 3) (.f32 (PI.f32) (.f32 (pow.f32 uy 3) 8))))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	19.0b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))))
▶	0.6b	(cbrt.f32 (pow.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (cbrt.f32 (.f32 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8)))) 3))
	0.7b	(.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (fabs.f32 (cbrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))))) (sqrt.f32 (cbrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (/.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 3))) (fma.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux)) 1))))
	0.9b	(.f32 (.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	0.7b	(/.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (sqrt.f32 (-.f32 (.f32 4 (.f32 (fma.f32 maxCos (.f32 ux ux) ux) (fma.f32 maxCos (.f32 ux ux) ux))) (.f32 (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))))) (sqrt.f32 (+.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))))))
	0.6b	(/.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 (.f32 8 (pow.f32 (fma.f32 maxCos (.f32 ux ux) ux) 3)) (pow.f32 (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))) 3)))) (sqrt.f32 (+.f32 (.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux))) (+.f32 (.f32 (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))))) (.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))))))))
	14.9b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (sqrt.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))) (pow.f32 (sqrt.f32 (fma.f32 maxCos ux (-.f32 1 ux))) 3)))))

Compiler

Compiled 16291 to 11124 computations (31.7% saved)

localize97.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))
✓	0.3b	(.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (cbrt.f32 (.f32 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))))
✓	0.7b	(pow.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (cbrt.f32 (.f32 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8)))) 3)
	1.0b	(pow.f32 (PI.f32) 3)

series1.3s (6.3%)

Counts

3 → 76

Calls

3 calls:

1.0s

(pow.f32 (*.f32 (sqrt.f32 (-.f32 (*.f32 2 (fma.f32 maxCos (*.f32 ux ux) ux)) (+.f32 (*.f32 (fma.f32 maxCos maxCos 1) (*.f32 ux ux)) (*.f32 2 (*.f32 maxCos ux))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8)))) 3)

240.0ms

(*.f32 (sqrt.f32 (-.f32 (*.f32 2 (fma.f32 maxCos (*.f32 ux ux) ux)) (+.f32 (*.f32 (fma.f32 maxCos maxCos 1) (*.f32 ux ux)) (*.f32 2 (*.f32 maxCos ux))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))))

12.0ms

(*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))

rewrite39.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

41×	`add-sqr-sqrt_binary32`
20×	`add-exp-log_binary32`
18×	`associate-l_binary32`
18×	`unswap-sqr_binary32`
15×	`associate-r_binary32`

Counts

3 → 113

Calls

3 calls:

12.0ms

(*.f32 (sqrt.f32 (-.f32 (*.f32 2 (fma.f32 maxCos (*.f32 ux ux) ux)) (+.f32 (*.f32 (fma.f32 maxCos maxCos 1) (*.f32 ux ux)) (*.f32 2 (*.f32 maxCos ux))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))))

10.0ms

(pow.f32 (*.f32 (sqrt.f32 (-.f32 (*.f32 2 (fma.f32 maxCos (*.f32 ux ux) ux)) (+.f32 (*.f32 (fma.f32 maxCos maxCos 1) (*.f32 ux ux)) (*.f32 2 (*.f32 maxCos ux))))) (sin.f32 (cbrt.f32 (*.f32 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8)))) 3)

9.0ms

(*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))

simplify385.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

429×	`*-commutative_binary32`
223×	`+-commutative_binary32`
209×	`fma-def_binary32`
200×	`times-frac_binary32`
196×	`associate-r_binary32`

Counts

189 → 257

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	910	19890
1	3039	17851
2	4942	17849
3	5019	17849

prune860.0ms (4.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	279	4	283
Fresh	3	9	12
Picked	1	0	1
Done	0	0	0
Total	283	13	296

Error

0.0b

Counts

296 → 13

Alt Table

Status	Error	Program
	3.6b	(fma.f32 4803839602528529/18014398509481984 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5))) (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (-.f32 (.f32 2 (.f32 (PI.f32) uy)) (.f32 6004799503160661/4503599627370496 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	0.6b	(.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) 3) (.f32 (PI.f32) (.f32 (pow.f32 uy 3) 8))))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	0.5b	(cbrt.f32 (.f32 (pow.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) 3) (sqrt.f32 (pow.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (.f32 ux (+.f32 (.f32 2 maxCos) (.f32 (fma.f32 maxCos maxCos 1) ux)))) 3))))
	0.9b	(cbrt.f32 (pow.f32 (.f32 (.f32 (cbrt.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux)))))) (cbrt.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))))) (.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 uy 3))))) (cbrt.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (.f32 ux (+.f32 (.f32 2 maxCos) (.f32 (fma.f32 maxCos maxCos 1) ux)))))))) 3))
	0.7b	(.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (fabs.f32 (cbrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))))) (sqrt.f32 (cbrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))))))))
	19.0b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))))
	14.3b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (/.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 3))) (fma.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux)) 1))))
	0.9b	(.f32 (.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))))) (sqrt.f32 (-.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)) (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (*.f32 maxCos ux)))))))
	0.6b	(cbrt.f32 (pow.f32 (/.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 8 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 uy 3))))) (sqrt.f32 (-.f32 (.f32 8 (pow.f32 (fma.f32 maxCos (.f32 ux ux) ux) 3)) (pow.f32 (.f32 ux (+.f32 (.f32 2 maxCos) (.f32 (fma.f32 maxCos maxCos 1) ux))) 3)))) (sqrt.f32 (+.f32 (.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux))) (+.f32 (.f32 (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux)))) (.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (*.f32 maxCos ux)))))))) 3))
	10.6b	(/.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (sqrt.f32 (-.f32 (.f32 (.f32 8 (+.f32 (.f32 (pow.f32 maxCos 3) (pow.f32 ux 6)) (pow.f32 ux 3))) (fma.f32 (fma.f32 2 (.f32 maxCos ux) (.f32 maxCos (.f32 maxCos (.f32 ux ux)))) (-.f32 (fma.f32 2 (.f32 maxCos ux) (.f32 maxCos (.f32 maxCos (.f32 ux ux)))) (.f32 ux ux)) (pow.f32 ux 4))) (.f32 (fma.f32 4 (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)) (.f32 ux (-.f32 (.f32 ux 4) (.f32 (.f32 maxCos (.f32 ux ux)) 4)))) (+.f32 (pow.f32 ux 6) (pow.f32 (fma.f32 2 (.f32 maxCos ux) (.f32 maxCos (.f32 maxCos (.f32 ux ux)))) 3)))))) (sqrt.f32 (.f32 (+.f32 (.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 (.f32 maxCos (pow.f32 ux 2)))) (-.f32 (.f32 (.f32 2 ux) (.f32 2 ux)) (.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux)))) (+.f32 (.f32 (pow.f32 ux 2) (pow.f32 ux 2)) (-.f32 (.f32 (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))) (.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux)))))))))
	14.9b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (sqrt.f32 (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))) (pow.f32 (sqrt.f32 (fma.f32 maxCos ux (-.f32 1 ux))) 3)))))
	0.5b	(cbrt.f32 (pow.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))) (sin.f32 (cbrt.f32 (.f32 (*.f32 (pow.f32 uy 3) (pow.f32 (pow.f32 (PI.f32) (sqrt.f32 3)) (sqrt.f32 3))) 8)))) 3))

Compiler

Compiled 29374 to 19217 computations (34.6% saved)

regimes10.8s (53.9%)

Accuracy

Total 0.4b remaining (84.5%)

Threshold costs 0.4b (84.5%)

Counts

466 → 1

Compiler

Compiled 296802 to 214800 computations (27.6% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

18×	`*-commutative_binary32`
13×	`+-commutative_binary32`
10×	`sub-neg_binary32`
9×	`neg-sub0_binary32`
9×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	72
1	44	72
2	53	72
3	65	72
4	88	72
5	104	72
6	114	72
7	120	72
8	122	72
9	121	72

end483.0ms (2.4%)

Compiler: Compiled 994 to 677 computations (31.9% saved)

Details

analyze586.0ms (2.9%)

sample2.5s (12.2%)

simplify47.0ms (0.2%)

prune5.0ms (0%)

localize50.0ms (0.3%)

series292.0ms (1.5%)

rewrite34.0ms (0.2%)

simplify170.0ms (0.8%)

prune360.0ms (1.8%)

localize115.0ms (0.6%)

series250.0ms (1.2%)

rewrite34.0ms (0.2%)

simplify147.0ms (0.7%)

prune557.0ms (2.8%)

localize102.0ms (0.5%)

series255.0ms (1.3%)

rewrite42.0ms (0.2%)

simplify132.0ms (0.7%)

prune497.0ms (2.5%)

localize97.0ms (0.5%)

series1.3s (6.3%)

rewrite39.0ms (0.2%)

simplify385.0ms (1.9%)

prune860.0ms (4.3%)

regimes10.8s (53.9%)

simplify6.0ms (0%)

end483.0ms (2.4%)

Profiling