Details

analyze10.1s (41%)

Algorithm

1×

Search

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

Compiler

Compiled 118 to 85 computations (28% saved)

sample4.4s (17.9%)

Results

4.3s

8256×

body

128

valid

Compiler

Compiled 307 to 220 computations (28.3% saved)

simplify65.0ms (0.3%)

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)

localize94.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series39.0ms (0.2%)

Counts

4 → 72

Calls

4 calls:

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

rewrite26.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

16×	`add-cbrt-cube_binary32`
16×	`add-exp-log_binary32`
16×	`pow1_binary32`
14×	`add-sqr-sqrt_binary32`
13×	`*-un-lft-identity_binary32`

Counts

4 → 92

Calls

4 calls:

9.0ms	(.f32 (.f32 (-.f32 1 ux) maxCos) (-.f32 (*.f32 ux maxCos) maxCos))
5.0ms	(.f32 (.f32 uy 2) (PI.f32))
4.0ms	(.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi)
1.0ms	(sin.f32 (.f32 (.f32 uy 2) (PI.f32)))

simplify123.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

542×	`associate-l_binary32`
517×	`fma-neg_binary32`
481×	`associate-r_binary32`
301×	`cancel-sign-sub-inv_binary32`
270×	`exp-prod_binary32`

Counts

164 → 174

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	278	3041
1	658	2723
2	2786	2610
3	4428	2602
4	4967	2602

prune774.0ms (3.1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	191	13	204
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	192	14	206

Error

0.1b

Counts

206 → 14

Alt Table

Status	Error	Program
	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.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.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 (sin.f32 (.f32 (.f32 (.f32 uy 2) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) yi))))
	10.1b	(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 (log.f32 (exp.f32 (.f32 (sin.f32 (.f32 (.f32 uy 2) (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 uy 2) (PI.f32))) xi (.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 (.f32 uy 2) (PI.f32))))) yi))))
	4.8b	(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 (log.f32 (exp.f32 (sin.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 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) (.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi)))))
▶	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	2.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 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/3 (.f32 (pow.f32 uy 3) (*.f32 yi (pow.f32 (PI.f32) 3))))))))
	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.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 (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 (.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))))
	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 (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))) (sqrt.f32 (.f32 (.f32 uy 2) (PI.f32))))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	2.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 (fma.f32 yi (fma.f32 2 (.f32 uy (PI.f32)) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 yi (pow.f32 (PI.f32) 3)) (*.f32 (pow.f32 uy 3) -4/3))))))

Compiler

Compiled 11981 to 6988 computations (41.7% saved)

localize92.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series11.0ms (0%)

Counts

1 → 24

Calls

1 calls:

11.0ms

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

rewrite6.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary32`
6×	`add-exp-log_binary32`
6×	`pow1_binary32`
3×	`associate-r_binary32`
3×	`add-sqr-sqrt_binary32`

Counts

1 → 23

Calls

1 calls:

5.0ms

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

simplify65.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

751×	`fma-neg_binary32`
662×	`fma-def_binary32`
385×	`associate-l_binary32`
366×	`unswap-sqr_binary32`
309×	`*-commutative_binary32`

Counts

47 → 39

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	52	634
1	119	565
2	359	565
3	1116	565
4	1862	565
5	4222	565
6	5048	565

prune589.0ms (2.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	153	12	165
Fresh	12	1	13
Picked	1	0	1
Done	0	0	0
Total	166	13	179

Error

0.1b

Counts

179 → 13

Alt Table

Status	Error	Program
▶	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.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 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))))
	4.8b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (log.f32 (exp.f32 (sin.f32 (.f32 2 (*.f32 uy (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 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (.f32 (.f32 (.f32 2 uy) (*.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) yi))))
	10.1b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (log.f32 (exp.f32 (.f32 yi (sin.f32 (.f32 2 (*.f32 uy (PI.f32))))))))))
	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (*.f32 uy (PI.f32)))))) yi))))
	2.0b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (fma.f32 yi (fma.f32 2 (.f32 uy (PI.f32)) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 yi (pow.f32 (PI.f32) 3)) (.f32 (pow.f32 uy 3) -4/3))))))
	0.5b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (*.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi)))))
	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (.f32 2 (.f32 uy (PI.f32)))))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (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 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) xi (.f32 (sin.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 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (*.f32 uy (PI.f32))))))))))
	1.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 yi (sqrt.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))))))
	2.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (-.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 (PI.f32) 3))))))))

Compiler

Compiled 9083 to 5650 computations (37.8% saved)

localize90.0ms (0.4%)

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) zi)
✓	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))

series308.0ms (1.2%)

Counts

3 → 108

Calls

3 calls:

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

16.0ms

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

8.0ms

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

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-cbrt-cube_binary32`
22×	`add-exp-log_binary32`
22×	`pow1_binary32`
12×	`associate-*l/_binary32`
12×	`cbrt-unprod_binary32`

Counts

3 → 69

Calls

3 calls:

8.0ms

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

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

6.0ms

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

simplify152.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

727×	`associate-r_binary32`
709×	`associate-l_binary32`
418×	`fma-neg_binary32`
256×	`fma-def_binary32`
197×	`*-commutative_binary32`

Counts

177 → 169

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	428	6951
1	1216	6155
2	4886	6151
3	5203	6151

prune2.0s (8%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	381	4	385
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	383	15	398

Error

0.1b

Counts

398 → 15

Alt Table

Status	Error	Program
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 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))))
	0.5b	(+.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 (exp.f32 (log.f32 (.f32 (-.f32 1 ux) (*.f32 maxCos ux)))) zi))
	10.1b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (log.f32 (exp.f32 (.f32 yi (sin.f32 (.f32 2 (*.f32 uy (PI.f32))))))))))
	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (*.f32 uy (PI.f32)))))) yi))))
	2.0b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (fma.f32 yi (fma.f32 2 (.f32 uy (PI.f32)) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 yi (pow.f32 (PI.f32) 3)) (.f32 (pow.f32 uy 3) -4/3))))))
	0.5b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (*.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi)))))
	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (.f32 2 (.f32 uy (PI.f32)))))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	0.5b	(+.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 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (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 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	4.8b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (log.f32 (exp.f32 (sin.f32 (.f32 2 (*.f32 uy (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 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (*.f32 uy (PI.f32))))))))))
	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 maxCos (.f32 ux zi)) (.f32 maxCos (.f32 (pow.f32 ux 2) zi))))
▶	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 maxCos (-.f32 ux (*.f32 ux ux))) zi))
	1.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 yi (sqrt.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))))))
	2.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (-.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 (PI.f32) 3))))))))

Compiler

Compiled 31462 to 20634 computations (34.4% saved)

localize102.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.2b	(.f32 (.f32 (-.f32 1 ux) maxCos) ux)
✓	0.2b	(.f32 (.f32 maxCos (-.f32 ux (*.f32 ux ux))) zi)
	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))

series28.0ms (0.1%)

Counts

1 → 36

Calls

1 calls:

28.0ms

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

rewrite9.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

6×	`add-cbrt-cube_binary32`
6×	`add-exp-log_binary32`
6×	`pow1_binary32`
3×	`associate-r_binary32`
3×	`cbrt-unprod_binary32`

Counts

1 → 22

Calls

1 calls:

7.0ms

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

simplify64.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

704×	`fma-def_binary32`
308×	`distribute-rgt-in_binary32`
301×	`distribute-lft-in_binary32`
272×	`*-commutative_binary32`
249×	`fma-neg_binary32`

Counts

58 → 39

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	71	875
1	189	788
2	708	788
3	2153	788
4	4836	788
5	4977	788

prune1.6s (6.7%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	341	0	341
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	341	15	356

Error

0.1b

Counts

356 → 15

Alt Table

Status	Error	Program
	0.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 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))))
	0.5b	(+.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 (exp.f32 (log.f32 (.f32 (-.f32 1 ux) (*.f32 maxCos ux)))) zi))
	10.1b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (log.f32 (exp.f32 (.f32 yi (sin.f32 (.f32 2 (*.f32 uy (PI.f32))))))))))
	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sin.f32 (expm1.f32 (log1p.f32 (.f32 2 (*.f32 uy (PI.f32)))))) yi))))
	2.0b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (fma.f32 yi (fma.f32 2 (.f32 uy (PI.f32)) (.f32 4/15 (.f32 (pow.f32 uy 5) (pow.f32 (PI.f32) 5)))) (.f32 (.f32 yi (pow.f32 (PI.f32) 3)) (.f32 (pow.f32 uy 3) -4/3))))))
	0.5b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32)))) (*.f32 (cbrt.f32 yi) (cbrt.f32 yi))) (cbrt.f32 yi)))))
	0.3b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (sqrt.f32 (.f32 2 (.f32 uy (PI.f32)))) (sqrt.f32 (.f32 2 (.f32 uy (PI.f32)))))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32))) yi))))
	0.5b	(+.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 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (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 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 (.f32 2 uy) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) (PI.f32))) yi))))
	4.8b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (log.f32 (exp.f32 (sin.f32 (.f32 2 (*.f32 uy (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 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (.f32 (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32)))))) (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))) (cbrt.f32 (.f32 yi (sin.f32 (.f32 2 (*.f32 uy (PI.f32))))))))))
	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 maxCos (.f32 ux zi)) (.f32 maxCos (.f32 (pow.f32 ux 2) zi))))
✓	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 maxCos (-.f32 ux (*.f32 ux ux))) zi))
	1.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (.f32 (sqrt.f32 (sin.f32 (.f32 (.f32 uy 2) (PI.f32)))) (.f32 yi (sqrt.f32 (sin.f32 (.f32 2 (.f32 uy (PI.f32))))))))))
	2.4b	(fma.f32 ux (.f32 (.f32 (-.f32 1 ux) maxCos) zi) (.f32 (sqrt.f32 (fma.f32 ux (.f32 ux (.f32 (.f32 maxCos maxCos) (fma.f32 2 ux -1))) 1)) (fma.f32 (cos.f32 (.f32 (.f32 uy 2) (PI.f32))) xi (-.f32 (.f32 2 (.f32 uy (.f32 yi (PI.f32)))) (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 (PI.f32) 3))))))))

Compiler

Compiled 27483 to 16323 computations (40.6% saved)

regimes3.4s (13.9%)

Accuracy

Total 0.3b remaining (66.7%)

Threshold costs 0.3b (66.7%)

Counts

174 → 1

Compiler

Compiled 113704 to 79032 computations (30.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`*-commutative_binary32`
2×	`+-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	32	65
1	46	65
2	49	65
3	51	65
4	52	65
5	51	65

end447.0ms (1.8%)

Compiler: Compiled 990 to 688 computations (30.5% saved)

Details

analyze10.1s (41%)

sample4.4s (17.9%)

simplify65.0ms (0.3%)

prune7.0ms (0%)

localize94.0ms (0.4%)

series39.0ms (0.2%)

rewrite26.0ms (0.1%)

simplify123.0ms (0.5%)

prune774.0ms (3.1%)

localize92.0ms (0.4%)

series11.0ms (0%)

rewrite6.0ms (0%)

simplify65.0ms (0.3%)

prune589.0ms (2.4%)

localize90.0ms (0.4%)

series308.0ms (1.2%)

rewrite28.0ms (0.1%)

simplify152.0ms (0.6%)

prune2.0s (8%)

localize102.0ms (0.4%)

series28.0ms (0.1%)

rewrite9.0ms (0%)

simplify64.0ms (0.3%)

prune1.6s (6.7%)

regimes3.4s (13.9%)

simplify4.0ms (0%)

end447.0ms (1.8%)

Profiling