Details

analyze122.0ms (1.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0.6%	99.4%	0
0%	0.6%	99.4%	1
0%	0.6%	99.4%	2
0.3%	0.3%	99.4%	3
0.3%	0.3%	99.4%	4
0.5%	0.2%	99.4%	5
0.5%	0.2%	99.4%	6
0.6%	0.1%	99.4%	7
0.6%	0.1%	99.4%	8
0.6%	0%	99.4%	9
0.6%	0%	99.4%	10
0.6%	0%	99.4%	11
0.6%	0%	99.4%	12
0.6%	0%	99.4%	13
0.6%	0%	99.4%	14

Compiler

Compiled 41 to 27 computations (34.1% saved)

sample2.1s (23%)

Results

2.0s

8256×

body

128

valid

Compiler

Compiled 108 to 70 computations (35.2% saved)

simplify48.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

608×	`associate-/l*_binary32`
462×	`associate-l_binary32`
382×	`associate-*l/_binary32`
363×	`associate-r_binary32`
360×	`distribute-lft-in_binary32`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	33
1	45	31
2	160	31
3	661	31
4	2791	31
5	4866	31
6	4978	31

prune4.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.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	0.4b	(/.f32 (fma.f32 alpha alpha -1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (.f32 cosTheta cosTheta) 1)))
▶	0.4b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

Status

Error

Program

0.4b

(/.f32 (fma.f32 alpha alpha -1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (fma.f32 (fma.f32 alpha alpha -1) (*.f32 cosTheta cosTheta) 1)))

▶

0.4b

(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

Compiler

Compiled 145 to 87 computations (40% saved)

localize53.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)
✓	0.2b	(.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta)
✓	0.3b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
✓	0.3b	(.f32 (PI.f32) (log.f32 (.f32 alpha alpha)))

series117.0ms (1.3%)

Counts

4 → 84

Calls

4 calls:

65.0ms	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
30.0ms	(.f32 (PI.f32) (log.f32 (.f32 alpha alpha)))
11.0ms	(.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta)
11.0ms	(.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)

rewrite40.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`add-cbrt-cube_binary32`
22×	`add-exp-log_binary32`
21×	`pow1_binary32`
18×	`add-sqr-sqrt_binary32`
15×	`associate-r_binary32`

Counts

4 → 111

Calls

4 calls:

14.0ms	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
9.0ms	(.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)
5.0ms	(.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta)
5.0ms	(.f32 (PI.f32) (log.f32 (.f32 alpha alpha)))

simplify118.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

633×	`associate-l_binary32`
535×	`times-frac_binary32`
508×	`associate-/r*_binary32`
299×	`associate-/l*_binary32`
183×	`fma-def_binary32`

Counts

195 → 231

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	419	5485
1	1280	4813
2	5382	4813

prune383.0ms (4.3%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	222	9	231
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	224	9	233

Error

0.0b

Counts

233 → 9

Alt Table

Status	Error	Program
▶	0.4b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.6b	(.f32 (/.f32 (+.f32 alpha 1) (.f32 2 (.f32 (PI.f32) (log.f32 alpha)))) (/.f32 (+.f32 alpha -1) (fma.f32 cosTheta (.f32 cosTheta (fma.f32 alpha alpha -1)) 1)))
	0.5b	(-.f32 (/.f32 (.f32 alpha alpha) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)))) (/.f32 1 (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))))
	0.5b	(.f32 (/.f32 (/.f32 1/2 (log.f32 alpha)) (PI.f32)) (/.f32 (fma.f32 alpha alpha -1) (fma.f32 cosTheta (.f32 cosTheta (fma.f32 alpha alpha -1)) 1)))
	0.5b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 -2 (.f32 (PI.f32) (log.f32 (/.f32 1 alpha)))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.6b	(.f32 (sqrt.f32 (/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))))) (sqrt.f32 (/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))))
	0.4b	(cbrt.f32 (/.f32 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (.f32 alpha alpha) 1)) (-.f32 (.f32 alpha alpha) 1)) (.f32 (.f32 (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)) (.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (.f32 alpha alpha)))) (.f32 (.f32 (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))))
	0.4b	(/.f32 1 (/.f32 (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (-.f32 (*.f32 alpha alpha) 1)))
	0.8b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32))) (.f32 (cbrt.f32 (PI.f32)) (log.f32 (.f32 alpha alpha)))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

Compiler

Compiled 9185 to 4929 computations (46.3% saved)

localize51.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.1b	(.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)
	0.2b	(.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta)
✓	0.3b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))))
✓	3.0b	(pow.f32 (*.f32 alpha alpha) (PI.f32))

series115.0ms (1.3%)

Counts

2 → 36

Calls

2 calls:

86.0ms

(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (log.f32 (pow.f32 (*.f32 alpha alpha) (PI.f32))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

28.0ms

(pow.f32 (*.f32 alpha alpha) (PI.f32))

rewrite26.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

10×	`add-exp-log_binary32`
10×	`pow1_binary32`
7×	`add-cbrt-cube_binary32`
7×	`*-un-lft-identity_binary32`
7×	`add-sqr-sqrt_binary32`

Counts

2 → 57

Calls

2 calls:

20.0ms

(/.f32 (-.f32 (*.f32 alpha alpha) 1) (*.f32 (log.f32 (pow.f32 (*.f32 alpha alpha) (PI.f32))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

3.0ms

(pow.f32 (*.f32 alpha alpha) (PI.f32))

simplify82.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

467×	`associate-r_binary32`
452×	`associate-/r*_binary32`
414×	`times-frac_binary32`
406×	`associate-l_binary32`
265×	`associate-/l*_binary32`

Counts

93 → 121

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	360	4112
1	1120	3692
2	5116	3692

prune359.0ms (4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	206	3	209
Fresh	4	4	8
Picked	0	1	1
Done	0	0	0
Total	210	8	218

Error

0.0b

Counts

218 → 8

Alt Table

Status	Error	Program
	0.5b	(-.f32 (/.f32 (.f32 alpha alpha) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)))) (/.f32 1 (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))))
✓	0.4b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.5b	(.f32 (/.f32 (/.f32 1/2 (log.f32 alpha)) (PI.f32)) (/.f32 (fma.f32 alpha alpha -1) (fma.f32 cosTheta (.f32 cosTheta (fma.f32 alpha alpha -1)) 1)))
	0.7b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (log.f32 (pow.f32 (pow.f32 (.f32 alpha alpha) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.6b	(/.f32 (-.f32 (pow.f32 (.f32 alpha alpha) 3) (pow.f32 1 3)) (.f32 (.f32 (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 (.f32 (.f32 alpha alpha) (.f32 alpha alpha)) (+.f32 (.f32 1 1) (.f32 (*.f32 alpha alpha) 1)))))
	0.6b	(.f32 (/.f32 (+.f32 alpha 1) (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32)))) (/.f32 (-.f32 alpha 1) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.6b	(.f32 (sqrt.f32 (/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))))) (sqrt.f32 (/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))))
▶	0.4b	(cbrt.f32 (/.f32 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (.f32 alpha alpha) 1)) (-.f32 (.f32 alpha alpha) 1)) (.f32 (.f32 (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)) (.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (.f32 alpha alpha)))) (.f32 (.f32 (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))))

Compiler

Compiled 8437 to 4573 computations (45.8% saved)

localize99.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (*.f32 alpha alpha)))
✓	0.5b	(.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (*.f32 alpha alpha) 1))
✓	0.5b	(.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (*.f32 alpha alpha)))
✓	1.0b	(*.f32 (PI.f32) (PI.f32))

series74.0ms (0.8%)

Counts

4 → 36

Calls

4 calls:

41.0ms	(.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (*.f32 alpha alpha)))
31.0ms	(.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (*.f32 alpha alpha)))
2.0ms	(.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (*.f32 alpha alpha) 1))
0.0ms	(*.f32 (PI.f32) (PI.f32))

rewrite48.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

102×	`pow1_binary32`
42×	`log-pow_binary32`
32×	`add-sqr-sqrt_binary32`
31×	`*-un-lft-identity_binary32`
28×	`swap-sqr_binary32`

Counts

4 → 181

Calls

4 calls:

15.0ms	(.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (*.f32 alpha alpha) 1))
13.0ms	(.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (*.f32 alpha alpha)))
7.0ms	(.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (*.f32 alpha alpha)))
3.0ms	(*.f32 (PI.f32) (PI.f32))

simplify148.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

520×	`distribute-rgt-in_binary32`
466×	`distribute-lft-in_binary32`
392×	`fma-def_binary32`
389×	`fma-neg_binary32`
325×	`*-commutative_binary32`

Counts

217 → 218

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	176	3094
1	367	2456
2	1195	2224
3	3763	2176
4	4968	2176
5	5169	2176

prune437.0ms (4.9%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	217	1	218
Fresh	1	5	6
Picked	0	1	1
Done	0	1	1
Total	218	8	226

Error

Counts

226 → 8

Alt Table

Status	Error	Program
▶	0.5b	(-.f32 (/.f32 (.f32 alpha alpha) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)))) (/.f32 1 (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))))
✓	0.4b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.5b	(.f32 (/.f32 (/.f32 1/2 (log.f32 alpha)) (PI.f32)) (/.f32 (fma.f32 alpha alpha -1) (fma.f32 cosTheta (.f32 cosTheta (fma.f32 alpha alpha -1)) 1)))
	0.7b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (log.f32 (pow.f32 (pow.f32 (.f32 alpha alpha) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.6b	(/.f32 (-.f32 (pow.f32 (.f32 alpha alpha) 3) (pow.f32 1 3)) (.f32 (.f32 (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 (.f32 (.f32 alpha alpha) (.f32 alpha alpha)) (+.f32 (.f32 1 1) (.f32 (*.f32 alpha alpha) 1)))))
	0.6b	(.f32 (/.f32 (+.f32 alpha 1) (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32)))) (/.f32 (-.f32 alpha 1) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.5b	(cbrt.f32 (/.f32 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (.f32 alpha alpha) 1)) (-.f32 (.f32 alpha alpha) 1)) (.f32 (.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5) (cbrt.f32 (PI.f32))) (PI.f32)) (.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (.f32 alpha alpha)))) (.f32 (.f32 (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))))
✓	0.4b	(cbrt.f32 (/.f32 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (.f32 alpha alpha) 1)) (-.f32 (.f32 alpha alpha) 1)) (.f32 (.f32 (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)) (.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (.f32 alpha alpha)))) (.f32 (.f32 (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))))

Compiler

Compiled 18145 to 8440 computations (53.5% saved)

localize101.0ms (1.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f32 (/.f32 (.f32 alpha alpha) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)))) (/.f32 1 (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))))
✓	0.3b	(/.f32 1 (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.3b	(.f32 (PI.f32) (log.f32 (.f32 alpha alpha)))
✓	0.3b	(/.f32 (.f32 alpha alpha) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

series443.0ms (4.9%)

Counts

3 → 72

Calls

3 calls:

200.0ms

(-.f32 (/.f32 (*.f32 alpha alpha) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))) (/.f32 1 (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))))

135.0ms

(/.f32 1 (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

108.0ms

(/.f32 (*.f32 alpha alpha) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

rewrite225.0ms (2.5%)

Algorithm

1×	rewrite-expression-head

Rules

63×	`prod-diff_binary32`
45×	`add-exp-log_binary32`
44×	`associate-/r/_binary32`
44×	`associate-*r/_binary32`
38×	`times-frac_binary32`

Counts

3 → 167

Calls

3 calls:

20.0ms

(/.f32 1 (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

17.0ms

(-.f32 (/.f32 (*.f32 alpha alpha) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))) (/.f32 1 (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))))

9.0ms

(/.f32 (*.f32 alpha alpha) (*.f32 (*.f32 (PI.f32) (log.f32 (*.f32 alpha alpha))) (+.f32 1 (*.f32 (*.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))

simplify503.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

602×	`times-frac_binary32`
492×	`fma-def_binary32`
275×	`fma-neg_binary32`
211×	`*-commutative_binary32`
193×	`sub-neg_binary32`

Counts

239 → 339

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	725	24615
1	2232	17915
2	4896	17911
3	5052	17911

prune1.1s (11.8%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	426	1	427
Fresh	2	3	5
Picked	0	1	1
Done	0	2	2
Total	428	7	435

Error

Counts

435 → 7

Alt Table

Status	Error	Program
✓	0.5b	(-.f32 (/.f32 (.f32 alpha alpha) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)))) (/.f32 1 (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta)))))
✓	0.4b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.5b	(+.f32 (/.f32 (.f32 alpha alpha) (.f32 (.f32 (PI.f32) (log.f32 (.f32 alpha alpha))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)))) (neg.f32 (/.f32 (-.f32 1 (.f32 cosTheta (.f32 cosTheta (fma.f32 alpha alpha -1)))) (.f32 (.f32 (PI.f32) (.f32 2 (log.f32 alpha))) (-.f32 1 (*.f32 (pow.f32 (fma.f32 alpha alpha -1) 2) (pow.f32 cosTheta 4)))))))
	0.7b	(/.f32 (-.f32 (.f32 alpha alpha) 1) (.f32 (log.f32 (pow.f32 (pow.f32 (.f32 alpha alpha) (.f32 (cbrt.f32 (PI.f32)) (cbrt.f32 (PI.f32)))) (cbrt.f32 (PI.f32)))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))
	0.6b	(/.f32 (-.f32 (pow.f32 (.f32 alpha alpha) 3) (pow.f32 1 3)) (.f32 (.f32 (log.f32 (pow.f32 (.f32 alpha alpha) (PI.f32))) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 (.f32 (.f32 alpha alpha) (.f32 alpha alpha)) (+.f32 (.f32 1 1) (.f32 (*.f32 alpha alpha) 1)))))
	0.5b	(cbrt.f32 (/.f32 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (.f32 alpha alpha) 1)) (-.f32 (.f32 alpha alpha) 1)) (.f32 (.f32 (.f32 (.f32 (pow.f32 (cbrt.f32 (PI.f32)) 5) (cbrt.f32 (PI.f32))) (PI.f32)) (.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (.f32 alpha alpha)))) (.f32 (.f32 (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))))
✓	0.4b	(cbrt.f32 (/.f32 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) (-.f32 (.f32 alpha alpha) 1)) (-.f32 (.f32 alpha alpha) 1)) (.f32 (.f32 (.f32 (.f32 (PI.f32) (PI.f32)) (PI.f32)) (.f32 (.f32 (log.f32 (.f32 alpha alpha)) (log.f32 (.f32 alpha alpha))) (log.f32 (.f32 alpha alpha)))) (.f32 (.f32 (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta)) (+.f32 1 (.f32 (.f32 (-.f32 (.f32 alpha alpha) 1) cosTheta) cosTheta))) (+.f32 1 (.f32 (.f32 (-.f32 (*.f32 alpha alpha) 1) cosTheta) cosTheta))))))

Compiler

Compiled 33870 to 18003 computations (46.8% saved)

regimes2.1s (22.9%)

Accuracy

Total 0.4b remaining (96.1%)

Threshold costs 0.4b (96.1%)

Counts

234 → 1

Compiler

Compiled 43705 to 26878 computations (38.5% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary32`
2×	`+-commutative_binary32`
1×	`sub-neg_binary32`
1×	`1-exp_binary32`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	25	113
1	39	113
2	40	113
3	38	113

end209.0ms (2.3%)

Compiler: Compiled 516 to 290 computations (43.8% saved)

Details

analyze122.0ms (1.4%)

sample2.1s (23%)

simplify48.0ms (0.5%)

prune4.0ms (0%)

localize53.0ms (0.6%)

series117.0ms (1.3%)

rewrite40.0ms (0.4%)

simplify118.0ms (1.3%)

prune383.0ms (4.3%)

localize51.0ms (0.6%)

series115.0ms (1.3%)

rewrite26.0ms (0.3%)

simplify82.0ms (0.9%)

prune359.0ms (4%)

localize99.0ms (1.1%)

series74.0ms (0.8%)

rewrite48.0ms (0.5%)

simplify148.0ms (1.7%)

prune437.0ms (4.9%)

localize101.0ms (1.1%)

series443.0ms (4.9%)

rewrite225.0ms (2.5%)

simplify503.0ms (5.6%)

prune1.1s (11.8%)

regimes2.1s (22.9%)

simplify4.0ms (0%)

end209.0ms (2.3%)

Profiling