Details

analyze120.0ms (0.6%)

Algorithm

1×

Search

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

Compiler

Compiled 96 to 69 computations (28.1% saved)

sample131.0ms (0.7%)

Algorithm

1×

intervals

Results

89.0ms	256×	body	128	valid
13.0ms	256×	pre	128	true

Compiler

Compiled 173 to 125 computations (27.7% saved)

simplify127.0ms (0.6%)

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

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

localize86.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

3 → 49

Calls

3 calls:

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

series53.0ms (0.3%)

Counts

3 → 48

Calls

3 calls:

39.0ms	(.f32 (sin.f32 (.f32 (*.f32 uy 2) PI.f32)) yi)
11.0ms	(.f32 (.f32 uy 2) PI.f32)
3.0ms	(sin.f32 (.f32 (.f32 uy 2) PI.f32))

simplify103.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

745×	`fma-def_binary32`
440×	`distribute-rgt-neg-in_binary32`
430×	`*-commutative_binary32`
402×	`cancel-sign-sub-inv_binary32`
392×	`fma-neg_binary32`

Counts

97 → 164

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	122	1465
1	293	1340
2	1048	1326
3	1936	1300
4	3759	1300
5	4717	1300
6	4938	1300

prune397.0ms (2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	200	12	212
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	201	13	214

Error

0.1b

Counts

214 → 13

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 (-.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 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)))) (.f32 (cbrt.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 (log1p.f32 (expm1.f32 (.f32 (.f32 uy 2) PI.f32)))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))))
	15.6b	(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)) (sqrt.f32 yi)) (sqrt.f32 yi)))))
	1.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 (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi PI.f32))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 PI.f32 5))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 PI.f32 3)))) (.f32 8/315 (.f32 (pow.f32 uy 7) (*.f32 yi (pow.f32 PI.f32 7)))))))))
	1.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 (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 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 PI.f32 PI.f32) PI.f32)))) xi (.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)) yi))))
	0.4b	(+.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))
	4.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 (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 yi yi) 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 (.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 (cbrt.f32 (.f32 2 (.f32 uy PI.f32))) (cbrt.f32 (.f32 2 (.f32 uy PI.f32)))) (cbrt.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 (-.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 2 (.f32 uy PI.f32))) (sqrt.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 (-.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 uy) (*.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 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 (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))))

Compiler

Compiled 7791 to 4594 computations (41% saved)

localize100.0ms (0.5%)

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	(expm1.f32 (.f32 (.f32 uy 2) PI.f32))
	0.3b	(.f32 (.f32 uy 2) PI.f32)
	0.3b	(.f32 (.f32 uy 2) PI.f32)

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

2×	`log1p-expm1-u_binary32`
1×	`*-un-lft-identity_binary32`
1×	`add-sqr-sqrt_binary32`
1×	`add-cube-cbrt_binary32`
1×	`add-cbrt-cube_binary32`

Counts

1 → 11

Calls

1 calls:

1.0ms

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

series3.0ms (0%)

Counts

1 → 12

Calls

1 calls:

3.0ms

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

simplify97.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

972×	`fma-def_binary32`
403×	`*-commutative_binary32`
334×	`unswap-sqr_binary32`
334×	`fma-neg_binary32`
246×	`exp-prod_binary32`

Counts

23 → 42

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	44	345
1	109	316
2	305	313
3	1101	306
4	2808	298
5	4113	298
6	4727	298
7	4918	298
8	4922	298

prune646.0ms (3.3%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	413	2	415
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	415	13	428

Error

0.1b

Counts

428 → 13

Alt Table

Status	Error	Program
	1.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 (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (.f32 (.f32 uy 2) 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 (-.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 (cbrt.f32 (.f32 2 (.f32 uy PI.f32))) (cbrt.f32 (.f32 2 (.f32 uy PI.f32)))) (cbrt.f32 (.f32 2 (.f32 uy PI.f32))))) yi))))
	2.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 (log1p.f32 (.f32 uy (.f32 2 (.f32 (fma.f32 uy PI.f32 1) PI.f32))))) xi (.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 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (*.f32 uy PI.f32))))) yi))))
	15.6b	(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)) (sqrt.f32 yi)) (sqrt.f32 yi)))))
	1.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 (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi PI.f32))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 PI.f32 5))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 PI.f32 3)))) (.f32 8/315 (.f32 (pow.f32 uy 7) (*.f32 yi (pow.f32 PI.f32 7)))))))))
	1.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 (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 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 PI.f32 PI.f32) PI.f32)))) xi (.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 (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)))) (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) yi)))))
	0.4b	(+.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))
	4.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 (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 yi yi) 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 (.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.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 uy) (*.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) yi))))

Compiler

Compiled 8072 to 4855 computations (39.9% saved)

localize120.0ms (0.6%)

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 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 PI.f32 PI.f32) PI.f32))
	0.3b	(.f32 (.f32 uy 2) PI.f32)
✓	1.0b	(*.f32 PI.f32 PI.f32)

rewrite65.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

762×	`pow1_binary32`
381×	`pow-prod-down_binary32`
204×	`pow-prod-up_binary32`
196×	`add-cbrt-cube_binary32`
196×	`add-exp-log_binary32`

Counts

2 → 241

Calls

2 calls:

37.0ms	(.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 PI.f32 PI.f32) PI.f32))
3.0ms	(*.f32 PI.f32 PI.f32)

series31.0ms (0.2%)

Counts

2 → 12

Calls

2 calls:

31.0ms	(.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 PI.f32 PI.f32) PI.f32))
0.0ms	(*.f32 PI.f32 PI.f32)

simplify317.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

762×	`fma-def_binary32`
454×	`sqr-pow_binary32`
383×	`associate-l_binary32`
322×	`associate-r_binary32`
278×	`log-prod_binary32`

Counts

253 → 499

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	154	4698
1	242	2914
2	1360	2879
3	2154	2790
4	3450	2502
5	4920	2502
6	4956	2502

prune2.0s (10.1%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	1052	1	1053
Fresh	0	12	12
Picked	0	1	1
Done	0	0	0
Total	1052	14	1066

Error

0.1b

Counts

1066 → 14

Alt Table

Status	Error	Program
	1.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 (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (.f32 (.f32 uy 2) 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 (-.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 (cbrt.f32 (.f32 2 (.f32 uy PI.f32))) (cbrt.f32 (.f32 2 (.f32 uy PI.f32)))) (cbrt.f32 (.f32 2 (.f32 uy PI.f32))))) yi))))
	2.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 (log1p.f32 (.f32 uy (.f32 2 (.f32 (fma.f32 uy PI.f32 1) PI.f32))))) xi (.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 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (*.f32 uy PI.f32))))) yi))))
	15.6b	(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)) (sqrt.f32 yi)) (sqrt.f32 yi)))))
	1.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 (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi PI.f32))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 PI.f32 5))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 PI.f32 3)))) (.f32 8/315 (.f32 (pow.f32 uy 7) (*.f32 yi (pow.f32 PI.f32 7)))))))))
	1.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 (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 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 PI.f32 PI.f32) PI.f32)))) xi (.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 (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)))) (.f32 (cbrt.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 (cbrt.f32 (exp.f32 (+.f32 (+.f32 (+.f32 (+.f32 (log.f32 uy) (log.f32 2)) (log.f32 (.f32 uy 2))) (+.f32 (log.f32 uy) (log.f32 2))) (log.f32 (.f32 (.f32 PI.f32 PI.f32) PI.f32)))))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) PI.f32)) yi))))
▶	0.4b	(+.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))
	4.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 (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 yi yi) 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 (.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.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 uy) (*.f32 (cbrt.f32 PI.f32) (cbrt.f32 PI.f32))) (cbrt.f32 PI.f32))) yi))))

Compiler

Compiled 13990 to 8023 computations (42.7% saved)

localize171.0ms (0.9%)

Local error

Found 4 expressions with local error:

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

rewrite33.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

12×	`add-cbrt-cube_binary32`
12×	`add-exp-log_binary32`
12×	`pow1_binary32`
6×	`associate-r_binary32`
6×	`associate-*l/_binary32`

Counts

2 → 44

Calls

2 calls:

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

11.0ms

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

series709.0ms (3.6%)

Counts

2 → 72

Calls

2 calls:

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

48.0ms

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

simplify218.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

874×	`times-frac_binary32`
598×	`associate-r_binary32`
581×	`associate-l_binary32`
356×	`fma-neg_binary32`
295×	`*-commutative_binary32`

Counts

116 → 224

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	353	5992
1	1084	5334
2	4207	5318
3	6114	5318

prune880.0ms (4.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	2527	1	2528
Fresh	1	11	12
Picked	1	0	1
Done	0	1	1
Total	2529	13	2542

Error

0.1b

Counts

2542 → 13

Alt Table

Status	Error	Program
	1.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 (log1p.f32 (log.f32 (exp.f32 (expm1.f32 (.f32 (.f32 uy 2) 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 (-.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 (cbrt.f32 (.f32 2 (.f32 uy PI.f32))) (cbrt.f32 (.f32 2 (.f32 uy PI.f32)))) (cbrt.f32 (.f32 2 (.f32 uy PI.f32))))) yi))))
	2.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 (log1p.f32 (.f32 uy (.f32 2 (.f32 (fma.f32 uy PI.f32 1) PI.f32))))) xi (.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 2 (.f32 uy PI.f32))) (sqrt.f32 (.f32 2 (*.f32 uy PI.f32))))) yi))))
	0.4b	(+.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 uy 2) (.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))
	15.6b	(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)) (sqrt.f32 yi)) (sqrt.f32 yi)))))
	1.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 (-.f32 (+.f32 (.f32 2 (.f32 uy (.f32 yi PI.f32))) (.f32 4/15 (.f32 (pow.f32 uy 5) (.f32 yi (pow.f32 PI.f32 5))))) (+.f32 (.f32 4/3 (.f32 (pow.f32 uy 3) (.f32 yi (pow.f32 PI.f32 3)))) (.f32 8/315 (.f32 (pow.f32 uy 7) (*.f32 yi (pow.f32 PI.f32 7)))))))))
	1.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 (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 (cbrt.f32 (.f32 (.f32 (.f32 (.f32 uy 2) (.f32 uy 2)) (.f32 uy 2)) (.f32 (.f32 PI.f32 PI.f32) PI.f32)))) xi (.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 (.f32 (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32))) (cbrt.f32 (sin.f32 (.f32 (.f32 uy 2) PI.f32)))) (.f32 (cbrt.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 (cbrt.f32 (exp.f32 (+.f32 (+.f32 (+.f32 (+.f32 (log.f32 uy) (log.f32 2)) (log.f32 (.f32 uy 2))) (+.f32 (log.f32 uy) (log.f32 2))) (log.f32 (.f32 (.f32 PI.f32 PI.f32) PI.f32)))))) xi (.f32 (sin.f32 (.f32 (*.f32 uy 2) PI.f32)) yi))))
	4.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 (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 yi yi) 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 (.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))))))

Compiler

Compiled 16041 to 10510 computations (34.5% saved)

regimes5.8s (29.9%)

Accuracy

Total 0.2b remaining (56.3%)

Threshold costs 0.2b (56.3%)

Compiler

Compiled 141299 to 97689 computations (30.9% saved)

simplify10.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

15×	`*-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	40	86
1	59	86
2	66	86
3	70	86
4	72	86
5	69	86

end2.0ms (0%)

Compiler: Compiled 60 to 40 computations (33.3% saved)

sample7.3s (37.3%)

Algorithm

1×

intervals

Results

4.0s	8000×	body	128	valid
822.0ms	8000×	pre	128	true

Compiler

Compiled 999 to 686 computations (31.3% saved)

Details

analyze120.0ms (0.6%)

sample131.0ms (0.7%)

simplify127.0ms (0.6%)

prune7.0ms (0%)

localize86.0ms (0.4%)

rewrite11.0ms (0.1%)

series53.0ms (0.3%)

simplify103.0ms (0.5%)

prune397.0ms (2%)

localize100.0ms (0.5%)

rewrite1.0ms (0%)

series3.0ms (0%)

simplify97.0ms (0.5%)

prune646.0ms (3.3%)

localize120.0ms (0.6%)

rewrite65.0ms (0.3%)

series31.0ms (0.2%)

simplify317.0ms (1.6%)

prune2.0s (10.1%)

localize171.0ms (0.9%)

rewrite33.0ms (0.2%)

series709.0ms (3.6%)

simplify218.0ms (1.1%)

prune880.0ms (4.5%)

regimes5.8s (29.9%)

simplify10.0ms (0.1%)

end2.0ms (0%)

sample7.3s (37.3%)

Profiling