Details

analyze728.0ms (4.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)

sample184.0ms (1%)

Algorithm

1×

intervals

Results

35.0ms	256×	body	128	valid
10.0ms	256×	pre	128	true

Compiler

Compiled 82 to 60 computations (26.8% saved)

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

14.2b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	14.4b	(.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.4b	(.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.4b

(*.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.4b

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

localize53.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f32 (.f32 uy 2) (PI.f32))
✓	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 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos)))
✓	14.2b	(-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (*.f32 ux maxCos))))

series285.0ms (1.6%)

Counts

4 → 92

Calls

4 calls:

250.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))))))
21.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)))
3.0ms	(.f32 (.f32 uy 2) (PI.f32))

rewrite127.0ms (0.7%)

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:

98.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))))))
11.0ms	(.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))

simplify147.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 → 252

Iterations

Useful iterations: 1 (0.0ms)

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

prune433.0ms (2.4%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	238	14	252
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	240	14	254

Error

0.3b

Counts

254 → 14

Alt Table

Status	Error	Program
	1.3b	(fma.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (.f32 ux (-.f32 2 ux))) (.f32 (.f32 (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux)))) (sin.f32 (.f32 2 (.f32 (PI.f32) uy)))) (-.f32 (.f32 maxCos (.f32 ux ux)) (*.f32 maxCos ux))))
▶	0.5b	(.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.4b	(.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux)))))))) (cbrt.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))))
	14.4b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (+.f32 1 (fma.f32 maxCos ux (-.f32 1 ux))) (-.f32 1 (fma.f32 maxCos ux (-.f32 1 ux))))))
	2.1b	(-.f32 (+.f32 (.f32 4/15 (.f32 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)) (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 uy (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))))))))) (+.f32 (.f32 8/315 (.f32 (.f32 (pow.f32 uy 7) (pow.f32 (PI.f32) 7)) (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 4/3 (.f32 (.f32 (pow.f32 (PI.f32) 3) (pow.f32 uy 3)) (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))))))))))
	21.5b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))))
	14.4b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (/.f32 (-.f32 1 (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 6)) (+.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (+.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 3)))))))
	6.1b	(.f32 2 (.f32 (.f32 (PI.f32) uy) (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))))))))
	7.0b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	14.3b	(/.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 1 (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 6)))) (sqrt.f32 (+.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))))))))
	14.4b	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (cbrt.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 6)))))
	2.1b	(-.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 (PI.f32) uy)) (.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.4b	(.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (.f32 (cbrt.f32 (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux)))))) (cbrt.f32 (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux)))))))) (cbrt.f32 (sqrt.f32 (-.f32 1 (.f32 (+.f32 (-.f32 1 ux) (.f32 ux maxCos)) (+.f32 (-.f32 1 ux) (.f32 ux maxCos)))))))
	2.8b	(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 (PI.f32) uy)) (.f32 4/3 (*.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))))))

Compiler

Compiled 14340 to 9167 computations (36.1% saved)

localize89.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series251.0ms (1.4%)

Counts

3 → 44

Calls

3 calls:

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

5.0ms

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

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

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

7.0ms

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

2.0ms

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

simplify173.0ms (1%)

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

prune495.0ms (2.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	192	9	201
Fresh	9	4	13
Picked	1	0	1
Done	0	0	0
Total	202	13	215

Error

0.0b

Counts

215 → 13

Alt Table

Status	Error	Program
	21.5b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 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.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)))))))
	1.3b	(fma.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (.f32 ux (-.f32 2 ux))) (.f32 (.f32 (sqrt.f32 (/.f32 1 (.f32 ux (-.f32 2 ux)))) (sin.f32 (.f32 2 (.f32 (PI.f32) uy)))) (-.f32 (.f32 maxCos (.f32 ux ux)) (*.f32 maxCos ux))))
	2.1b	(.f32 (sqrt.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))))) (sqrt.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))))))
	14.4b	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (cbrt.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 6)))))
	0.9b	(.f32 (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (cbrt.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))))) (cbrt.f32 (sin.f32 (.f32 2 (*.f32 (PI.f32) uy))))))
	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))))))
▶	0.5b	(.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.7b	(/.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (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 (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)))))))) (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)))))))))
	7.0b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	0.6b	(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 (+.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))))))) (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)))))))))

Compiler

Compiled 15646 to 10337 computations (33.9% saved)

localize108.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(sin.f32 (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)

series268.0ms (1.5%)

Counts

4 → 56

Calls

4 calls:

248.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)))))))
15.0ms	(.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))
5.0ms	(sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))))
0.0ms	(pow.f32 (PI.f32) 3)

rewrite52.0ms (0.3%)

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

Calls

4 calls:

20.0ms	(.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))
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)))))))
2.0ms	(sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))))
2.0ms	(pow.f32 (PI.f32) 3)

simplify148.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

578×	`associate-l_binary32`
570×	`associate-r_binary32`
401×	`fma-def_binary32`
153×	`*-commutative_binary32`
146×	`times-frac_binary32`

Counts

160 → 198

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	453	9077
1	1436	7970
2	5304	7970

prune531.0ms (3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	191	7	198
Fresh	8	4	12
Picked	1	0	1
Done	0	0	0
Total	200	11	211

Error

0.0b

Counts

211 → 11

Alt Table

Status	Error	Program
	7.0b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 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)))))))
	14.4b	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (cbrt.f32 (pow.f32 (fma.f32 maxCos ux (-.f32 1 ux)) 6)))))
	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))))))
	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)))))))
	21.5b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))))
	0.9b	(.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (.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.5b	(.f32 (sin.f32 (cbrt.f32 (expm1.f32 (log1p.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)))))))
	2.1b	(.f32 (sqrt.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))))) (.f32 (sqrt.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.6b	(.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (sqrt.f32 (+.f32 (sqrt.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux))) (sqrt.f32 (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))))) (sqrt.f32 (-.f32 (sqrt.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux))) (sqrt.f32 (+.f32 (pow.f32 ux 2) (+.f32 (.f32 (pow.f32 maxCos 2) (pow.f32 ux 2)) (.f32 2 (.f32 maxCos ux))))))))
	0.6b	(cbrt.f32 (.f32 (.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))) (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))))) (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))))) (.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)))))) (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)))))))))

Compiler

Compiled 16048 to 11020 computations (31.3% saved)

localize115.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(sin.f32 (cbrt.f32 (expm1.f32 (log1p.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 (expm1.f32 (log1p.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)

series254.0ms (1.4%)

Counts

2 → 44

Calls

2 calls:

249.0ms

(*.f32 (sin.f32 (cbrt.f32 (expm1.f32 (log1p.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)))))))

5.0ms

(sin.f32 (cbrt.f32 (expm1.f32 (log1p.f32 (*.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 uy 3) 8))))))

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`add-sqr-sqrt_binary32`
10×	`*-un-lft-identity_binary32`
9×	`associate-r_binary32`
7×	`sqrt-prod_binary32`
6×	`associate-*r/_binary32`

Counts

2 → 42

Calls

2 calls:

20.0ms

(*.f32 (sin.f32 (cbrt.f32 (expm1.f32 (log1p.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.0ms

(sin.f32 (cbrt.f32 (expm1.f32 (log1p.f32 (*.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 uy 3) 8))))))

simplify162.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

590×	`fma-neg_binary32`
424×	`associate-l_binary32`
420×	`associate-r_binary32`
393×	`fma-def_binary32`
146×	`times-frac_binary32`

Counts

86 → 129

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	387	8134
1	1296	7068
2	4998	7068
3	5485	7068

prune498.0ms (2.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	195	3	198
Fresh	3	7	10
Picked	0	1	1
Done	0	0	0
Total	198	11	209

Error

0.0b

Counts

209 → 11

Alt Table

Status	Error	Program
	0.6b	(.f32 (sin.f32 (cbrt.f32 (expm1.f32 (log1p.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.9b	(.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (.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))))))))
	7.0b	(.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (-.f32 2 (*.f32 2 maxCos)) ux)))
	2.7b	(fma.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))))) (fma.f32 2 (.f32 (PI.f32) uy) (.f32 4803839602528529/18014398509481984 (.f32 (pow.f32 (PI.f32) 5) (pow.f32 uy 5)))) (.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))))) (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))) -6004799503160661/4503599627370496))
	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)))))))
	21.5b	(log.f32 (exp.f32 (.f32 (sin.f32 (.f32 2 (.f32 (PI.f32) uy))) (sqrt.f32 (-.f32 1 (.f32 (fma.f32 maxCos ux (-.f32 1 ux)) (fma.f32 maxCos ux (-.f32 1 ux))))))))
✓	0.5b	(.f32 (sin.f32 (cbrt.f32 (expm1.f32 (log1p.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 (cbrt.f32 (sin.f32 (cbrt.f32 (expm1.f32 (log1p.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))))))) (cbrt.f32 (sin.f32 (cbrt.f32 (expm1.f32 (log1p.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8)))))))) (.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 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (*.f32 (pow.f32 uy 3) 8)))))))
	2.1b	(.f32 (sqrt.f32 (sin.f32 (cbrt.f32 (.f32 (pow.f32 (PI.f32) 3) (.f32 (pow.f32 uy 3) 8))))) (.f32 (sqrt.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.6b	(.f32 (.f32 (sin.f32 (cbrt.f32 (.f32 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3)) 8))) (sqrt.f32 (+.f32 (sqrt.f32 (.f32 2 (fma.f32 maxCos (.f32 ux ux) ux))) (sqrt.f32 (+.f32 (.f32 (fma.f32 maxCos maxCos 1) (.f32 ux ux)) (.f32 2 (.f32 maxCos ux))))))) (sqrt.f32 (-.f32 (sqrt.f32 (+.f32 (.f32 2 (.f32 maxCos (pow.f32 ux 2))) (.f32 2 ux))) (sqrt.f32 (+.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))))))

Compiler

Compiled 15566 to 10740 computations (31% saved)

regimes10.3s (57.5%)

Accuracy

Total 0.4b remaining (86.1%)

Threshold costs 0.4b (86.1%)

Counts

409 → 1

Compiler

Compiled 257513 to 191797 computations (25.5% 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

end1.0ms (0%)

Compiler: Compiled 49 to 40 computations (18.4% saved)

sample2.4s (13.4%)

Algorithm

1×

intervals

Results

1.1s	8000×	body	128	valid
280.0ms	8000×	pre	128	true

Compiler

Compiled 819 to 571 computations (30.3% saved)

Details

analyze728.0ms (4.1%)

sample184.0ms (1%)

simplify47.0ms (0.3%)

prune5.0ms (0%)

localize53.0ms (0.3%)

series285.0ms (1.6%)

rewrite127.0ms (0.7%)

simplify147.0ms (0.8%)

prune433.0ms (2.4%)

localize89.0ms (0.5%)

series251.0ms (1.4%)

rewrite36.0ms (0.2%)

simplify173.0ms (1%)

prune495.0ms (2.8%)

localize108.0ms (0.6%)

series268.0ms (1.5%)

rewrite52.0ms (0.3%)

simplify148.0ms (0.8%)

prune531.0ms (3%)

localize115.0ms (0.6%)

series254.0ms (1.4%)

rewrite28.0ms (0.2%)

simplify162.0ms (0.9%)

prune498.0ms (2.8%)

regimes10.3s (57.5%)

simplify6.0ms (0%)

end1.0ms (0%)

sample2.4s (13.4%)

Profiling