Details

analyze570.0ms (3.1%)

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.3s (12.7%)

Results

2.2s

8256×

body

128

valid

Compiler

Compiled 130 to 94 computations (27.7% saved)

simplify48.0ms (0.3%)

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

12.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	12.4b	(.f32 (cos.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))))))
	12.4b	(.f32 (cos.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

▶

12.4b

(*.f32 (cos.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))))))

12.4b

(*.f32 (cos.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)

localize49.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (cos.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.3b	(.f32 (.f32 uy 2) (PI.f32))
✓	0.4b	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
✓	12.2b	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))

series337.0ms (1.9%)

Counts

4 → 92

Calls

4 calls:

302.0ms	(.f32 (cos.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))))))
22.0ms	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))
9.0ms	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
3.0ms	(.f32 (.f32 uy 2) (PI.f32))

rewrite42.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:

12.0ms	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))
11.0ms	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
8.0ms	(.f32 (cos.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 (.f32 uy 2) (PI.f32))

simplify137.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

615×	`associate-l_binary32`
546×	`associate-r_binary32`
390×	`fma-def_binary32`
156×	`times-frac_binary32`
153×	`associate-/l*_binary32`

Counts

201 → 251

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	450	10119
1	1413	8467
2	5203	8467

prune385.0ms (2.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	238	13	251
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	240	13	253

Error

0.2b

Counts

253 → 13

Alt Table

Status	Error	Program
	13.5b	(exp.f32 (+.f32 (log.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (log.f32 (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))))
	12.4b	(.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.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))))))
	2.6b	(-.f32 (+.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)))))) (.f32 2/3 (.f32 (.f32 (pow.f32 uy 4) (pow.f32 (PI.f32) 4)) (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))))))))) (+.f32 (.f32 4/45 (.f32 (.f32 (pow.f32 uy 6) (pow.f32 (PI.f32) 6)) (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)))))))) (.f32 2 (.f32 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 uy 2)) (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 (cos.f32 (.f32 (.f32 uy 2) (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))))))
	6.9b	(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)))))
	12.4b	(log.f32 (exp.f32 (.f32 (cos.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))))))))
	12.4b	(.f32 (cos.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))) (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))
	4.5b	(-.f32 (fma.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos (.f32 ux ux)) (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux))))) (fma.f32 1/2 (.f32 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 6))) (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 5)))) (fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 3))) (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4)))) (fma.f32 3/2 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 5))) (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 4)))) (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (+.f32 (sqrt.f32 (.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 1/2 (.f32 (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux)))) (.f32 (.f32 ux ux) (.f32 maxCos (.f32 maxCos (cos.f32 (.f32 2 (.f32 uy (PI.f32)))))))) (+.f32 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 3))) (+.f32 (.f32 1/2 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 3))) (.f32 1/2 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (.f32 maxCos maxCos) (pow.f32 ux 4)))))) (+.f32 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 5))) (+.f32 (.f32 1/2 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (pow.f32 (.f32 maxCos ux) 3))) (.f32 3/2 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 (pow.f32 maxCos 3) (pow.f32 ux 5)))))) (fma.f32 1/2 (.f32 (sqrt.f32 (/.f32 1 (pow.f32 (.f32 ux (-.f32 2 ux)) 3))) (.f32 (.f32 ux ux) (.f32 maxCos (.f32 maxCos (cos.f32 (.f32 2 (.f32 uy (PI.f32)))))))) (.f32 (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux)))) (.f32 maxCos (.f32 ux (cos.f32 (.f32 2 (*.f32 uy (PI.f32))))))))))))
	2.1b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 ux (-.f32 2 ux))))
	12.4b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (/.f32 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (+.f32 (pow.f32 (.f32 maxCos ux) 3) (pow.f32 (-.f32 1 ux) 3))) (+.f32 (.f32 (-.f32 1 ux) (-.f32 1 ux)) (-.f32 (.f32 (.f32 ux maxCos) (.f32 ux maxCos)) (.f32 (-.f32 1 ux) (*.f32 ux maxCos))))))))
	2.6b	(-.f32 (.f32 (+.f32 (.f32 2/3 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 uy 4))) 1) (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 (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 (.f32 uy uy) (pow.f32 (PI.f32) 2))) (.f32 4/45 (*.f32 (pow.f32 uy 6) (pow.f32 (PI.f32) 6))))))
	11.7b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (log.f32 (exp.f32 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))))
	7.8b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))

Compiler

Compiled 14414 to 9224 computations (36% saved)

localize71.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(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.1b	(cos.f32 (.f32 (.f32 uy 2) (PI.f32)))
✓	0.2b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (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.3b	(.f32 (.f32 uy 2) (PI.f32))

series337.0ms (1.9%)

Counts

3 → 64

Calls

3 calls:

231.0ms

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (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))))))

100.0ms

(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)))))

5.0ms

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

rewrite17.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-sqr-sqrt_binary32`
7×	`sqrt-prod_binary32`
7×	`*-un-lft-identity_binary32`
7×	`add-cube-cbrt_binary32`
6×	`associate-r_binary32`

Counts

3 → 52

Calls

3 calls:

6.0ms

(*.f32 (cos.f32 (*.f32 (*.f32 uy 2) (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))))))

5.0ms

(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)))))

1.0ms

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

simplify167.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

584×	`fma-def_binary32`
508×	`associate-r_binary32`
438×	`associate-l_binary32`
240×	`times-frac_binary32`
207×	`associate-/l*_binary32`

Counts

116 → 182

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	496	10094
1	1653	8990
2	5257	8990

prune554.0ms (3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	205	8	213
Fresh	9	3	12
Picked	1	0	1
Done	0	0	0
Total	215	11	226

Error

0.1b

Counts

226 → 11

Alt Table

Status	Error	Program
	0.5b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (pow.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) 3) (pow.f32 (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))) 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 (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2)))) (.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2)))))))))
	12.4b	(.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.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))))))
	2.1b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 ux (-.f32 2 ux))))
▶	0.4b	(.f32 (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (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))))))
	2.6b	(-.f32 (+.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)))))) (.f32 2/3 (.f32 (.f32 (pow.f32 uy 4) (pow.f32 (PI.f32) 4)) (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))))))))) (+.f32 (.f32 4/45 (.f32 (.f32 (pow.f32 uy 6) (pow.f32 (PI.f32) 6)) (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)))))))) (.f32 2 (.f32 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 uy 2)) (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 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (*.f32 uy (PI.f32)))))))
	0.4b	(.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (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.7b	(.f32 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))))) (sqrt.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.8b	(.f32 (log.f32 (exp.f32 (cos.f32 (.f32 (.f32 uy 2) (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))))))
	5.8b	(log.f32 (pow.f32 (exp.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32))))) (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2))))))))
	0.4b	(.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (.f32 2 (.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))))))

Compiler

Compiled 15961 to 9535 computations (40.3% saved)

localize81.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(cos.f32 (.f32 (.f32 uy 2) (PI.f32)))
✓	0.2b	(.f32 (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (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.2b	(.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (*.f32 uy 2) (PI.f32)))))
	0.3b	(.f32 (.f32 uy 2) (PI.f32))

series570.0ms (3.1%)

Counts

2 → 44

Calls

2 calls:

292.0ms

(*.f32 (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32)))))

278.0ms

(*.f32 (*.f32 (*.f32 (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32))))) (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (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))))))

rewrite31.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary32`
18×	`pow1_binary32`
16×	`cbrt-prod_binary32`
13×	`add-exp-log_binary32`
12×	`associate-r_binary32`

Counts

2 → 70

Calls

2 calls:

16.0ms

(*.f32 (*.f32 (*.f32 (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32))))) (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (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))))))

6.0ms

(*.f32 (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32)))))

simplify121.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

569×	`associate-l_binary32`
480×	`associate-r_binary32`
322×	`fma-def_binary32`
201×	`associate-/l*_binary32`
166×	`times-frac_binary32`

Counts

114 → 159

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	382	7859
1	1162	6908
2	5028	6908

prune1.6s (9%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	325	2	327
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	328	10	338

Error

0.1b

Counts

338 → 10

Alt Table

Status	Error	Program
	2.1b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 ux (-.f32 2 ux))))
✓	0.4b	(.f32 (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (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))))))
	2.6b	(-.f32 (+.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)))))) (.f32 2/3 (.f32 (.f32 (pow.f32 uy 4) (pow.f32 (PI.f32) 4)) (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))))))))) (+.f32 (.f32 4/45 (.f32 (.f32 (pow.f32 uy 6) (pow.f32 (PI.f32) 6)) (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)))))))) (.f32 2 (.f32 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 uy 2)) (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 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (*.f32 uy (PI.f32)))))))
	0.5b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (pow.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) 3) (pow.f32 (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))) 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 (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2)))) (.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2)))))))))
▶	0.4b	(.f32 (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (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.7b	(.f32 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))))) (sqrt.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.8b	(.f32 (log.f32 (exp.f32 (cos.f32 (.f32 (.f32 uy 2) (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.5b	(.f32 (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (cos.f32 (.f32 (.f32 (cbrt.f32 (.f32 2 (.f32 uy (PI.f32)))) (cbrt.f32 (.f32 2 (.f32 uy (PI.f32))))) (cbrt.f32 (.f32 2 (.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))))))
	5.8b	(log.f32 (pow.f32 (exp.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32))))) (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2))))))))

Compiler

Compiled 22014 to 13099 computations (40.5% saved)

localize121.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (*.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32))))))
✓	0.3b	(.f32 (.f32 (.f32 2 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 2 uy) (*.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))))

series686.0ms (3.8%)

Counts

3 → 36

Calls

3 calls:

340.0ms

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

340.0ms

(*.f32 (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (*.f32 (*.f32 (*.f32 2 uy) (*.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32))))))

6.0ms

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

rewrite36.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`add-exp-log_binary32`
35×	`pow1_binary32`
23×	`pow-prod-down_binary32`
22×	`cbrt-unprod_binary32`
22×	`prod-exp_binary32`

Counts

3 → 86

Calls

3 calls:

11.0ms

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

9.0ms

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

7.0ms

(*.f32 (cbrt.f32 (cos.f32 (*.f32 (*.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (*.f32 (*.f32 (*.f32 2 uy) (*.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32))))))

simplify112.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

686×	`fma-neg_binary32`
589×	`*-commutative_binary32`
416×	`unswap-sqr_binary32`
401×	`fma-def_binary32`
279×	`associate-l_binary32`

Counts

122 → 131

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	156	2347
1	314	2024
2	1187	1869
3	2107	1867
4	4388	1865
5	5042	1865

prune618.0ms (3.4%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	189	4	193
Fresh	3	5	8
Picked	1	0	1
Done	1	0	1
Total	194	9	203

Error

0.0b

Counts

203 → 9

Alt Table

Status	Error	Program
	2.1b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 ux (-.f32 2 ux))))
	0.4b	(.f32 (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (.f32 (.f32 (.f32 2 uy) (cbrt.f32 (PI.f32))) (cbrt.f32 (PI.f32))) (cbrt.f32 (PI.f32)))))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (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))))))
	2.6b	(-.f32 (+.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)))))) (.f32 2/3 (.f32 (.f32 (pow.f32 uy 4) (pow.f32 (PI.f32) 4)) (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))))))))) (+.f32 (.f32 4/45 (.f32 (.f32 (pow.f32 uy 6) (pow.f32 (PI.f32) 6)) (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)))))))) (.f32 2 (.f32 (.f32 (pow.f32 (PI.f32) 2) (pow.f32 uy 2)) (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 (.f32 (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cbrt.f32 (.f32 (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))) (cos.f32 (.f32 2 (*.f32 uy (PI.f32)))))))
	0.5b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (/.f32 (sqrt.f32 (-.f32 (pow.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) 3) (pow.f32 (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))) 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 (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2))) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2)))) (.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 (.f32 maxCos ux) (+.f32 (.f32 maxCos ux) 2)))))))))
	0.5b	(.f32 (.f32 (.f32 (.f32 (cbrt.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))))) (.f32 (cbrt.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))))) (cbrt.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32))))))) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (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.8b	(.f32 (log.f32 (exp.f32 (cos.f32 (.f32 (.f32 uy 2) (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.4b	(.f32 (.f32 (.f32 (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))))) (cbrt.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (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.3b	(.f32 (.f32 (pow.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32))))) 1/3) (cbrt.f32 (cos.f32 (.f32 (.f32 uy 2) (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))))))

Compiler

Compiled 11905 to 6389 computations (46.3% saved)

regimes8.8s (48.4%)

Accuracy

Total 0.3b remaining (78.4%)

Threshold costs 0.3b (78.4%)

Counts

394 → 1

Compiler

Compiled 263452 to 175287 computations (33.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary32`
3×	`+-commutative_binary32`
2×	`sub-neg_binary32`
1×	`neg-sub0_binary32`
1×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	87
1	42	87
2	47	87
3	49	87
4	50	87
5	50	87

end335.0ms (1.8%)

Compiler: Compiled 763 to 483 computations (36.7% saved)

Details

analyze570.0ms (3.1%)

sample2.3s (12.7%)

simplify48.0ms (0.3%)

prune5.0ms (0%)

localize49.0ms (0.3%)

series337.0ms (1.9%)

rewrite42.0ms (0.2%)

simplify137.0ms (0.8%)

prune385.0ms (2.1%)

localize71.0ms (0.4%)

series337.0ms (1.9%)

rewrite17.0ms (0.1%)

simplify167.0ms (0.9%)

prune554.0ms (3%)

localize81.0ms (0.4%)

series570.0ms (3.1%)

rewrite31.0ms (0.2%)

simplify121.0ms (0.7%)

prune1.6s (9%)

localize121.0ms (0.7%)

series686.0ms (3.8%)

rewrite36.0ms (0.2%)

simplify112.0ms (0.6%)

prune618.0ms (3.4%)

regimes8.8s (48.4%)

simplify4.0ms (0%)

end335.0ms (1.8%)

Profiling