Details

analyze34.0ms (0.2%)

Algorithm

1×

Search

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

Compiler

Compiled 118 to 85 computations (28% saved)

sample304.0ms (1.8%)

Algorithm

1×

intervals

Results

130.0ms	256×	body	128	valid
18.0ms	256×	pre	128	true

Compiler

Compiled 195 to 141 computations (27.7% saved)

simplify67.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

929×	`unsub-neg_binary32`
384×	`associate--l-_binary32`
362×	`distribute-rgt-in_binary32`
356×	`distribute-neg-in_binary32`
347×	`distribute-rgt-neg-in_binary32`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	27	99
1	67	97
2	204	70
3	683	66
4	1864	66
5	2617	66
6	4625	66
7	5073	66

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

0.3b

Counts

3 → 2

Alt Table

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

Status

Error

Program

▶

0.3b

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

0.3b

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

Compiler

Compiled 354 to 242 computations (31.6% saved)

localize128.0ms (0.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(*.f32 (-.f32 1 ux) maxCos)
✓	0.2b	(.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (*.f32 ux maxCos) maxCos))
✓	0.2b	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi)
✓	0.3b	(.f32 (.f32 uy 2) (PI.f32))

series36.0ms (0.2%)

Counts

4 → 72

Calls

4 calls:

15.0ms	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi)
13.0ms	(.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (*.f32 ux maxCos) maxCos))
5.0ms	(*.f32 (-.f32 1 ux) maxCos)
3.0ms	(.f32 (.f32 uy 2) (PI.f32))

rewrite28.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`add-sqr-sqrt_binary32`
18×	`*-un-lft-identity_binary32`
18×	`add-cbrt-cube_binary32`
18×	`add-exp-log_binary32`
18×	`pow1_binary32`

Counts

4 → 108

Calls

4 calls:

8.0ms	(.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (*.f32 ux maxCos) maxCos))
6.0ms	(*.f32 (-.f32 1 ux) maxCos)
4.0ms	(.f32 (.f32 uy 2) (PI.f32))
4.0ms	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi)

simplify103.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

815×	`fma-neg_binary32`
598×	`associate-l_binary32`
505×	`associate-r_binary32`
240×	`cancel-sign-sub-inv_binary32`
228×	`*-commutative_binary32`

Counts

180 → 193

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	284	3039
1	655	2722
2	2750	2568
3	4436	2561
4	4934	2561

prune1.0s (6.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	254	12	266
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	255	13	268

Error

0.1b

Counts

268 → 13

Alt Table

Status	Error	Program
	1.2b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 (pow.f32 (PI.f32) 5) yi)))) (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) yi)))))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 uy 2)) (log.f32 (PI.f32))))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	1.2b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 (sqrt.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32)))) yi)))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (*.f32 uy 2) (PI.f32))))) yi))))
	0.5b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi)) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))))
	0.9b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (exp.f32 (+.f32 (+.f32 (log.f32 uy) (log.f32 2)) (log.f32 (PI.f32))))) yi))))
	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	17.0b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (exp.f32 (log.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) yi))))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
▶	0.3b	(fma.f32 ux (.f32 (.f32 (+.f32 1 (sqrt.f32 ux)) (.f32 (-.f32 1 (sqrt.f32 ux)) maxCos)) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	17.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 yi)) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 yi))))))
	0.9b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (fma.f32 yi (+.f32 (.f32 2 (.f32 uy (PI.f32))) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 yi (-.f32 (.f32 -4/3 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))) (.f32 (.f32 8/315 (pow.f32 uy 7)) (pow.f32 (PI.f32) 7))))))))

Compiler

Compiled 14887 to 8550 computations (42.6% saved)

localize120.0ms (0.7%)

Local error

Found 4 expressions with local error:

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

series40.0ms (0.2%)

Counts

2 → 26

Calls

2 calls:

26.0ms	(.f32 (+.f32 1 (sqrt.f32 ux)) (.f32 (-.f32 1 (sqrt.f32 ux)) maxCos))
13.0ms	(*.f32 (-.f32 1 (sqrt.f32 ux)) maxCos)

rewrite21.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

15×	`add-sqr-sqrt_binary32`
14×	`associate-l_binary32`
13×	`*-un-lft-identity_binary32`
10×	`associate-*l/_binary32`
9×	`add-cbrt-cube_binary32`

Counts

2 → 58

Calls

2 calls:

11.0ms	(.f32 (+.f32 1 (sqrt.f32 ux)) (.f32 (-.f32 1 (sqrt.f32 ux)) maxCos))
6.0ms	(*.f32 (-.f32 1 (sqrt.f32 ux)) maxCos)

simplify79.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

642×	`distribute-rgt-in_binary32`
609×	`distribute-lft-in_binary32`
476×	`neg-mul-1_binary32`
336×	`fma-def_binary32`
275×	`*-commutative_binary32`

Counts

84 → 90

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	93	1218
1	246	1069
2	870	1069
3	2882	899
4	4611	899
5	5322	899

prune853.0ms (5.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	192	13	205

Error

0.1b

Counts

205 → 13

Alt Table

Status	Error	Program
	1.2b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 (pow.f32 (PI.f32) 5) yi)))) (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) yi)))))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 uy 2)) (log.f32 (PI.f32))))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	1.2b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 (sqrt.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32)))) yi)))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (*.f32 uy 2) (PI.f32))))) yi))))
	0.5b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi)) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))))
	0.9b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (exp.f32 (+.f32 (+.f32 (log.f32 uy) (log.f32 2)) (log.f32 (PI.f32))))) yi))))
▶	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	17.0b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (exp.f32 (log.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) yi))))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
✓	0.3b	(fma.f32 ux (.f32 (.f32 (+.f32 1 (sqrt.f32 ux)) (.f32 (-.f32 1 (sqrt.f32 ux)) maxCos)) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	17.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 yi)) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 yi))))))
	0.9b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (fma.f32 yi (+.f32 (.f32 2 (.f32 uy (PI.f32))) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 yi (-.f32 (.f32 -4/3 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))) (.f32 (.f32 8/315 (pow.f32 uy 7)) (pow.f32 (PI.f32) 7))))))))

Compiler

Compiled 12239 to 7073 computations (42.2% saved)

localize112.0ms (0.7%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi)
	0.3b	(.f32 (.f32 uy 2) (PI.f32))
✓	0.3b	(.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))
✓	0.5b	(.f32 (.f32 uy 2) (*.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))))

series344.0ms (2.1%)

Counts

2 → 24

Calls

2 calls:

341.0ms	(.f32 (.f32 uy 2) (*.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))))
3.0ms	(.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))

rewrite23.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

32×	`add-exp-log_binary32`
32×	`pow1_binary32`
21×	`cbrt-unprod_binary32`
21×	`prod-exp_binary32`
21×	`pow-prod-down_binary32`

Counts

2 → 56

Calls

2 calls:

9.0ms	(.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))
8.0ms	(.f32 (.f32 uy 2) (*.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))))

simplify93.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

582×	`distribute-rgt-in_binary32`
495×	`*-commutative_binary32`
444×	`fma-def_binary32`
330×	`sqr-pow_binary32`
235×	`associate-l_binary32`

Counts

80 → 74

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	87	1221
1	188	1004
2	822	962
3	1259	962
4	1887	962
5	2677	962
6	4864	962
7	4974	962

prune642.0ms (3.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	146	0	146
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	146	13	159

Error

0.1b

Counts

159 → 13

Alt Table

Status	Error	Program
	1.2b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 (pow.f32 (PI.f32) 5) yi)))) (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) yi)))))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 uy 2)) (log.f32 (PI.f32))))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	1.2b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 (sqrt.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32)))) yi)))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (*.f32 uy 2) (PI.f32))))) yi))))
	0.5b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi)) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))))
	0.9b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (exp.f32 (+.f32 (+.f32 (log.f32 uy) (log.f32 2)) (log.f32 (PI.f32))))) yi))))
✓	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	17.0b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (exp.f32 (log.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) yi))))
▶	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (*.f32 (-.f32 1 ux) maxCos) ux) zi))
✓	0.3b	(fma.f32 ux (.f32 (.f32 (+.f32 1 (sqrt.f32 ux)) (.f32 (-.f32 1 (sqrt.f32 ux)) maxCos)) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	17.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 yi)) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 yi))))))
	0.9b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (fma.f32 yi (+.f32 (.f32 2 (.f32 uy (PI.f32))) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 yi (-.f32 (.f32 -4/3 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))) (.f32 (.f32 8/315 (pow.f32 uy 7)) (pow.f32 (PI.f32) 7))))))))

Compiler

Compiled 9652 to 5269 computations (45.4% saved)

localize81.0ms (0.5%)

Local error

Found 4 expressions with local error:

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

series293.0ms (1.8%)

Counts

3 → 96

Calls

3 calls:

261.0ms

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

25.0ms

(*.f32 (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux) (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux))

7.0ms

(*.f32 (*.f32 (-.f32 1 ux) maxCos) ux)

rewrite41.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

127×	`pow1_binary32`
72×	`pow-prod-down_binary32`
49×	`add-cbrt-cube_binary32`
49×	`add-exp-log_binary32`
33×	`cbrt-unprod_binary32`

Counts

3 → 114

Calls

3 calls:

13.0ms

(*.f32 (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux) (*.f32 (*.f32 (-.f32 1 ux) maxCos) ux))

9.0ms

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

7.0ms

(*.f32 (*.f32 (-.f32 1 ux) maxCos) ux)

simplify184.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

584×	`times-frac_binary32`
462×	`*-commutative_binary32`
409×	`fma-neg_binary32`
273×	`fma-def_binary32`
187×	`sub-neg_binary32`

Counts

210 → 195

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	441	7480
1	1276	6699
2	3393	6683
3	4886	6683
4	4990	6683

prune2.9s (17.3%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	480	1	481
Fresh	0	10	10
Picked	1	0	1
Done	0	2	2
Total	481	13	494

Error

0.1b

Counts

494 → 13

Alt Table

Status	Error	Program
	1.2b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 (pow.f32 (PI.f32) 5) yi)))) (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 (pow.f32 (PI.f32) 3) yi)))))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (exp.f32 (+.f32 (log.f32 (.f32 uy 2)) (log.f32 (PI.f32))))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	1.2b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 (sqrt.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32)))) yi)))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (*.f32 uy 2) (PI.f32))))) yi))))
	0.3b	(+.f32 (+.f32 (.f32 (.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) xi) (.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (-.f32 1 (.f32 (.f32 (.f32 (-.f32 1 ux) maxCos) ux) (.f32 (.f32 (-.f32 1 ux) maxCos) ux))))) yi)) (.f32 (.f32 (-.f32 1 ux) (*.f32 maxCos ux)) zi))
	0.5b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi)) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))) (cbrt.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))))
	0.9b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (exp.f32 (+.f32 (+.f32 (log.f32 uy) (log.f32 2)) (log.f32 (PI.f32))))) yi))))
✓	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	17.0b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (exp.f32 (log.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))))))
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) yi))))
✓	0.3b	(fma.f32 ux (.f32 (.f32 (+.f32 1 (sqrt.f32 ux)) (.f32 (-.f32 1 (sqrt.f32 ux)) maxCos)) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	17.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 yi)) (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (sqrt.f32 yi))))))
	0.9b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (.f32 ux maxCos) maxCos))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (fma.f32 yi (+.f32 (.f32 2 (.f32 uy (PI.f32))) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 yi (-.f32 (.f32 -4/3 (.f32 (pow.f32 uy 3) (pow.f32 (PI.f32) 3))) (.f32 (.f32 8/315 (pow.f32 uy 7)) (pow.f32 (PI.f32) 7))))))))

Compiler

Compiled 37684 to 24568 computations (34.8% saved)

regimes5.0s (30.2%)

Accuracy

Total 0.2b remaining (57%)

Threshold costs 0.2b (57%)

Counts

255 → 1

Compiler

Compiled 157376 to 108212 computations (31.2% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

14×	`*-commutative_binary32`
4×	`+-commutative_binary32`
4×	`sub-neg_binary32`
2×	`neg-sub0_binary32`
2×	`neg-mul-1_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	88
1	51	88
2	58	88
3	62	88
4	64	88
5	63	88

end1.0ms (0%)

Compiler: Compiled 62 to 42 computations (32.3% saved)

sample4.0s (24.3%)

Algorithm

1×

intervals

Results

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

Compiler

Compiled 978 to 675 computations (31% saved)

Details

analyze34.0ms (0.2%)

sample304.0ms (1.8%)

simplify67.0ms (0.4%)

prune7.0ms (0%)

localize128.0ms (0.8%)

series36.0ms (0.2%)

rewrite28.0ms (0.2%)

simplify103.0ms (0.6%)

prune1.0s (6.2%)

localize120.0ms (0.7%)

series40.0ms (0.2%)

rewrite21.0ms (0.1%)

simplify79.0ms (0.5%)

prune853.0ms (5.1%)

localize112.0ms (0.7%)

series344.0ms (2.1%)

rewrite23.0ms (0.1%)

simplify93.0ms (0.6%)

prune642.0ms (3.9%)

localize81.0ms (0.5%)

series293.0ms (1.8%)

rewrite41.0ms (0.2%)

simplify184.0ms (1.1%)

prune2.9s (17.3%)

regimes5.0s (30.2%)

simplify4.0ms (0%)

end1.0ms (0%)

sample4.0s (24.3%)

Profiling