Details

analyze598.0ms (3.3%)

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.4s (13%)

Results

2.3s

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

13.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	13.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))))))
	13.2b	(.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

▶

13.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))))))

13.2b

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

localize55.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.9b	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))

series342.0ms (1.9%)

Counts

4 → 92

Calls

4 calls:

307.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))))
10.0ms	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
3.0ms	(.f32 (.f32 uy 2) (PI.f32))

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

13.0ms	(.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
6.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))))))
5.0ms	(-.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))

simplify154.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

prune384.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
	7.8b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	13.2b	(.f32 (cos.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))))
	1.0b	(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))))) (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (-.f32 (sqrt.f32 (.f32 ux (-.f32 2 ux))) (.f32 (.f32 maxCos ux) (sqrt.f32 (/.f32 1 (*.f32 ux (-.f32 2 ux))))))))
	13.2b	(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))))))))
▶	0.3b	(.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.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)))))
	12.8b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (-.f32 (fma.f32 ux ux (fma.f32 2 (.f32 maxCos ux) 1)) (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux))))))
	0.5b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (.f32 ux (+.f32 ux (*.f32 2 maxCos))))))
	13.3b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (log.f32 (exp.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))))
	2.8b	(-.f32 (+.f32 (.f32 2/3 (.f32 (.f32 (pow.f32 (PI.f32) 4) (pow.f32 uy 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)))))))) (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)))))))))
	1.0b	(-.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos (pow.f32 ux 2))) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))) (.f32 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (.f32 maxCos ux)) (sqrt.f32 (/.f32 1 (-.f32 (.f32 2 ux) (pow.f32 ux 2))))))
	2.1b	(-.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))))))))))
	14.7b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (cbrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos))) (cbrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))) (.f32 (cbrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos))) (cbrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))) (.f32 (cbrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos))) (cbrt.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos))))))))

Compiler

Compiled 14114 to 9032 computations (36% saved)

localize74.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))

series344.0ms (1.9%)

Counts

3 → 64

Calls

3 calls:

241.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))))))

99.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)))))

3.0ms

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

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

8.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))))))

4.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)))

simplify231.0ms (1.3%)

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

prune537.0ms (2.9%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	202	11	213
Fresh	11	1	12
Picked	1	0	1
Done	0	0	0
Total	214	12	226

Error

0.1b

Counts

226 → 12

Alt Table

Status	Error	Program
	1.4b	(.f32 (.f32 (sqrt.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.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.6b	(.f32 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (fabs.f32 (cbrt.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 (cbrt.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 (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))))))
	0.9b	(.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 (expm1.f32 (log1p.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.7b	(log.f32 (exp.f32 (.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 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (.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 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))))))
	7.8b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	0.9b	(.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))))))
	2.2b	(exp.f32 (log.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 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 4 (.f32 (fma.f32 maxCos (.f32 ux ux) ux) (fma.f32 maxCos (.f32 ux ux) ux))) (.f32 (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))))) (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 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 8 (pow.f32 (fma.f32 maxCos (.f32 ux ux) ux) 3)) (pow.f32 (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.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))))))))

Compiler

Compiled 15877 to 9425 computations (40.6% saved)

localize84.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series244.0ms (1.3%)

Counts

4 → 68

Calls

4 calls:

230.0ms	(.f32 (cos.f32 (expm1.f32 (log1p.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))))))
8.0ms	(log1p.f32 (.f32 2 (.f32 uy (PI.f32))))
3.0ms	(expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))
3.0ms	(*.f32 uy (PI.f32))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary32`
9×	`associate-r_binary32`
9×	`*-un-lft-identity_binary32`
9×	`add-cube-cbrt_binary32`
8×	`add-cbrt-cube_binary32`

Counts

4 → 68

Calls

4 calls:

6.0ms	(.f32 (cos.f32 (expm1.f32 (log1p.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))))))
4.0ms	(*.f32 uy (PI.f32))
0.0ms	(log1p.f32 (.f32 2 (.f32 uy (PI.f32))))
0.0ms	(expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))

simplify120.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

469×	`associate-r_binary32`
417×	`fma-def_binary32`
373×	`associate-l_binary32`
163×	`associate-+l+_binary32`
148×	`times-frac_binary32`

Counts

136 → 181

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	423	7340
1	1265	6474
2	5025	6474

prune390.0ms (2.1%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	178	3	181
Fresh	3	8	11
Picked	1	0	1
Done	0	0	0
Total	182	11	193

Error

0.1b

Counts

193 → 11

Alt Table

Status	Error	Program
▶	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (.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))))) (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)))))) (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 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (fabs.f32 (cbrt.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 (cbrt.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.9b	(.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 (expm1.f32 (log1p.f32 (.f32 2 (.f32 (sqrt.f32 uy) (.f32 (sqrt.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.5b	(.f32 (.f32 (cbrt.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cbrt.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.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)))))) (cbrt.f32 (cos.f32 (.f32 (*.f32 (PI.f32) uy) 2)))))
	0.5b	(/.f32 (.f32 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 4 (.f32 (fma.f32 maxCos (.f32 ux ux) ux) (fma.f32 maxCos (.f32 ux ux) ux))) (.f32 (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))) (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))))) (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 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (.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 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))))))
	7.8b	(.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	0.9b	(.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.7b	(log.f32 (exp.f32 (.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 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 8 (pow.f32 (fma.f32 maxCos (.f32 ux ux) ux) 3)) (pow.f32 (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.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))))))))

Compiler

Compiled 12532 to 7161 computations (42.9% saved)

localize111.0ms (0.6%)

Local error

Found 4 expressions with local error:

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

series574.0ms (3.1%)

Counts

3 → 56

Calls

3 calls:

501.0ms

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

64.0ms

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

9.0ms

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

rewrite86.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

66×	`sqrt-div_binary32`
65×	`pow1_binary32`
40×	`add-sqr-sqrt_binary32`
33×	`flip--_binary32`
33×	`flip3--_binary32`

Counts

3 → 169

Calls

3 calls:

20.0ms

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

11.0ms

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

3.0ms

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

simplify337.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

732×	`associate-l_binary32`
310×	`*-commutative_binary32`
230×	`+-commutative_binary32`
223×	`fma-def_binary32`
203×	`associate-+r+_binary32`

Counts

225 → 282

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	837	19296
1	2554	16606
2	4999	16606
3	4954	16606

prune1.6s (8.8%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	368	4	372
Fresh	4	6	10
Picked	1	0	1
Done	0	0	0
Total	373	10	383

Error

0.0b

Counts

383 → 10

Alt Table

Status	Error	Program
	0.5b	(cbrt.f32 (.f32 (.f32 (+.f32 (.f32 (.f32 (cos.f32 (exp.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cos.f32 1)) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (.f32 (.f32 (sin.f32 (exp.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))) (sin.f32 1)) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (.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))))) (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)))))) (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	(cbrt.f32 (.f32 (.f32 (.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (sqrt.f32 (pow.f32 (-.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux)) (fma.f32 ux ux (.f32 ux (*.f32 maxCos (fma.f32 maxCos ux 2))))) 3))))
	0.5b	(.f32 (.f32 (cbrt.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cbrt.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.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)))))) (cbrt.f32 (cos.f32 (.f32 (*.f32 (PI.f32) uy) 2)))))
	0.4b	(cbrt.f32 (.f32 (.f32 (.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 (.f32 uy (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))))))) (.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))))) (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)))))) (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 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (.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 maxCos (.f32 ux (fma.f32 maxCos ux 2)))))))))
	0.9b	(.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	(cbrt.f32 (.f32 (.f32 (.f32 (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cos.f32 (expm1.f32 (log1p.f32 (.f32 2 (.f32 (.f32 (cbrt.f32 (.f32 (PI.f32) uy)) (cbrt.f32 (.f32 (PI.f32) uy))) (cbrt.f32 (.f32 (PI.f32) uy)))))))) (.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))))) (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)))))) (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.9b	(.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.7b	(log.f32 (exp.f32 (.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 (cos.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (-.f32 (.f32 8 (pow.f32 (fma.f32 maxCos (.f32 ux ux) ux) 3)) (pow.f32 (fma.f32 ux ux (.f32 maxCos (.f32 ux (fma.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))))))))

Compiler

Compiled 50042 to 27354 computations (45.3% saved)

regimes9.1s (50%)

Accuracy

Total 0.2b remaining (74.4%)

Threshold costs 0.2b (74.4%)

Counts

424 → 1

Compiler

Compiled 265946 to 164766 computations (38% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`*-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	22	45
1	33	45
2	37	45
3	39	45
4	40	45
5	38	45

end373.0ms (2%)

Compiler: Compiled 828 to 477 computations (42.4% saved)

Details

analyze598.0ms (3.3%)

sample2.4s (13%)

simplify48.0ms (0.3%)

prune5.0ms (0%)

localize55.0ms (0.3%)

series342.0ms (1.9%)

rewrite36.0ms (0.2%)

simplify154.0ms (0.8%)

prune384.0ms (2.1%)

localize74.0ms (0.4%)

series344.0ms (1.9%)

rewrite18.0ms (0.1%)

simplify231.0ms (1.3%)

prune537.0ms (2.9%)

localize84.0ms (0.5%)

series244.0ms (1.3%)

rewrite15.0ms (0.1%)

simplify120.0ms (0.7%)

prune390.0ms (2.1%)

localize111.0ms (0.6%)

series574.0ms (3.1%)

rewrite86.0ms (0.5%)

simplify337.0ms (1.8%)

prune1.6s (8.8%)

regimes9.1s (50%)

simplify3.0ms (0%)

end373.0ms (2%)

Profiling