Details

Time bar (total: 11.2s)

analyze1.7s (15.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
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 57 to 41 computations (28.1% saved)

sample2.7s (24.4%)

Results
2.6s8256×body128valid
Compiler

Compiled 136 to 97 computations (28.7% saved)

simplify26.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
195×fma-neg_binary32
112×fma-def_binary32
65×cancel-sign-sub-inv_binary32
40×sub-neg_binary32
40×div-sub_binary32
Counts
1 → 2
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01626
13025
24225
35525
46725
58425
610525
713425
816025
918525
1022825
1125225
1235825
1340625
1444425
1545625
1646125
1742025

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New022
Fresh011
Picked000
Done000
Total033
Error
0.6b
Counts
3 → 2
Alt Table
StatusErrorProgram
▶0.6b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
12.8b
(/.f32 (neg.f32 (log.f32 (-.f32 1 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
Compiler

Compiled 124 to 77 computations (37.9% saved)

localize42.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.1b
(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))
✓0.2b
(/.f32 cos2phi (*.f32 alphax alphax))
✓0.3b
(/.f32 sin2phi (*.f32 alphay alphay))
✓0.5b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))

series266.0ms (2.4%)

Counts
4 → 156
Calls

4 calls:

121.0ms
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
83.0ms
(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))
35.0ms
(/.f32 sin2phi (*.f32 alphay alphay))
26.0ms
(/.f32 cos2phi (*.f32 alphax alphax))

rewrite93.0ms (0.8%)

Algorithm
2×batch-egg-rewrite
Rules
274×expm1-udef_binary32
274×log1p-udef_binary32
176×egg-rr
173×add-sqr-sqrt_binary32
165×expm1-log1p-u_binary32
Counts
4 → 176
Calls

4 calls:

89.0ms
(+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay)))
89.0ms
(/.f32 cos2phi (*.f32 alphax alphax))
89.0ms
(/.f32 sin2phi (*.f32 alphay alphay))
89.0ms
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (/.f32 sin2phi (*.f32 alphay alphay))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01555
133647
2441047
3515147
000
100

simplify91.0ms (0.8%)

Algorithm
1×egg-herbie
Rules
684×associate-/r*_binary32
603×associate-*r*_binary32
497×associate-*l*_binary32
236×fma-def_binary32
197×associate-*r/_binary32
Counts
332 → 223
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01224738
13694542
213554534
353234534

prune231.0ms (2.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

PrunedKeptTotal
New21112223
Fresh101
Picked101
Done000
Total21312225
Error
0.0b
Counts
225 → 12
Alt Table
StatusErrorProgram
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (*.f32 (/.f32 (sqrt.f32 cos2phi) (cbrt.f32 (pow.f32 alphax 4))) (/.f32 (sqrt.f32 cos2phi) (pow.f32 (cbrt.f32 alphax) 2))) (/.f32 sin2phi (*.f32 alphay alphay))))
0.9b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (pow.f32 (cbrt.f32 (/.f32 sin2phi (*.f32 alphay alphay))) 3)))
12.2b
(-.f32 (*.f32 (/.f32 (*.f32 cos2phi (pow.f32 alphay 4)) (*.f32 (*.f32 alphax alphax) (*.f32 sin2phi sin2phi))) (log1p.f32 (neg.f32 u0))) (fma.f32 (/.f32 (log1p.f32 (neg.f32 u0)) (pow.f32 sin2phi 3)) (/.f32 (*.f32 (*.f32 cos2phi cos2phi) (pow.f32 alphay 6)) (pow.f32 alphax 4)) (*.f32 (/.f32 (*.f32 alphay alphay) sin2phi) (log1p.f32 (neg.f32 u0)))))
▶0.6b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (/.f32 cos2phi (*.f32 alphax alphax))))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (/.f32 (+.f32 (*.f32 (/.f32 cos2phi alphax) alphay) (*.f32 alphax (/.f32 sin2phi alphay))) (*.f32 alphax alphay)))
16.3b
(*.f32 -1 (/.f32 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alphay 2)) sin2phi))
3.1b
(fma.f32 1/3 (/.f32 (pow.f32 u0 3) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (fma.f32 1/2 (*.f32 (/.f32 u0 (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) u0) (/.f32 u0 (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax))))))
0.8b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (*.f32 (pow.f32 (cbrt.f32 sin2phi) 2) (*.f32 (cbrt.f32 sin2phi) (pow.f32 alphay -2)))))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2) (/.f32 sin2phi (*.f32 alphay alphay))))
8.3b
(*.f32 (pow.f32 (cbrt.f32 (log1p.f32 u0)) 2) (*.f32 (cbrt.f32 (log1p.f32 u0)) (/.f32 1 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))))
22.8b
(neg.f32 (*.f32 (/.f32 (*.f32 alphax alphax) cos2phi) (log1p.f32 (neg.f32 u0))))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (*.f32 (/.f32 1 (cbrt.f32 (pow.f32 alphax 4))) (/.f32 cos2phi (pow.f32 (cbrt.f32 alphax) 2))) (/.f32 sin2phi (*.f32 alphay alphay))))
Compiler

Compiled 6482 to 2491 computations (61.6% saved)

localize38.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.0b
(log1p.f32 (neg.f32 u0))
✓0.2b
(fma.f32 sin2phi (pow.f32 alphay -2) (/.f32 cos2phi (*.f32 alphax alphax)))
0.2b
(/.f32 cos2phi (*.f32 alphax alphax))
✓0.5b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (/.f32 cos2phi (*.f32 alphax alphax))))

series170.0ms (1.5%)

Counts
3 → 120
Calls

3 calls:

110.0ms
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (/.f32 cos2phi (*.f32 alphax alphax))))
57.0ms
(fma.f32 sin2phi (pow.f32 alphay -2) (/.f32 cos2phi (*.f32 alphax alphax)))
2.0ms
(log1p.f32 (neg.f32 u0))

rewrite115.0ms (1%)

Algorithm
2×batch-egg-rewrite
Rules
355×prod-diff_binary32
258×fma-udef_binary32
248×expm1-udef_binary32
248×log1p-udef_binary32
199×fma-neg_binary32
Counts
3 → 90
Calls

3 calls:

113.0ms
(log1p.f32 (neg.f32 u0))
113.0ms
(fma.f32 sin2phi (pow.f32 alphay -2) (/.f32 cos2phi (*.f32 alphax alphax)))
113.0ms
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (/.f32 cos2phi (*.f32 alphax alphax))))
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01542
131936
2340336
3488736
4490136
5488636
000
100

simplify106.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
689×associate-/r*_binary32
417×fma-def_binary32
247×fma-neg_binary32
196×associate-*r/_binary32
193×associate-*l/_binary32
Counts
210 → 161
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01574624
14784412
217394401
348144401
449704401

prune164.0ms (1.5%)

Pruning

11 alts after pruning (11 fresh and 0 done)

PrunedKeptTotal
New1932195
Fresh2911
Picked101
Done000
Total19611207
Error
0.0b
Counts
207 → 11
Alt Table
StatusErrorProgram
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (/.f32 (+.f32 (*.f32 (/.f32 cos2phi alphax) alphay) (*.f32 alphax (/.f32 sin2phi alphay))) (*.f32 alphax alphay)))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (*.f32 (/.f32 (sqrt.f32 cos2phi) (cbrt.f32 (pow.f32 alphax 4))) (/.f32 (sqrt.f32 cos2phi) (pow.f32 (cbrt.f32 alphax) 2)))))
▶0.6b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2)))
3.1b
(fma.f32 1/3 (/.f32 (pow.f32 u0 3) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (fma.f32 1/2 (*.f32 (/.f32 u0 (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) u0) (/.f32 u0 (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax))))))
12.2b
(-.f32 (*.f32 (/.f32 (*.f32 cos2phi (pow.f32 alphay 4)) (*.f32 (*.f32 alphax alphax) (*.f32 sin2phi sin2phi))) (log1p.f32 (neg.f32 u0))) (fma.f32 (/.f32 (log1p.f32 (neg.f32 u0)) (pow.f32 sin2phi 3)) (/.f32 (*.f32 (*.f32 cos2phi cos2phi) (pow.f32 alphay 6)) (pow.f32 alphax 4)) (*.f32 (/.f32 (*.f32 alphay alphay) sin2phi) (log1p.f32 (neg.f32 u0)))))
16.3b
(*.f32 -1 (/.f32 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alphay 2)) sin2phi))
0.8b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (*.f32 (pow.f32 (cbrt.f32 sin2phi) 2) (*.f32 (cbrt.f32 sin2phi) (pow.f32 alphay -2)))))
8.3b
(*.f32 (pow.f32 (cbrt.f32 (log1p.f32 u0)) 2) (*.f32 (cbrt.f32 (log1p.f32 u0)) (/.f32 1 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))))
0.9b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (pow.f32 (cbrt.f32 (/.f32 sin2phi (*.f32 alphay alphay))) 3)))
22.8b
(neg.f32 (*.f32 (/.f32 (*.f32 alphax alphax) cos2phi) (log1p.f32 (neg.f32 u0))))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (*.f32 (/.f32 1 (cbrt.f32 (pow.f32 alphax 4))) (/.f32 cos2phi (pow.f32 (cbrt.f32 alphax) 2))) (/.f32 sin2phi (*.f32 alphay alphay))))
Compiler

Compiled 5469 to 2645 computations (51.6% saved)

localize40.0ms (0.4%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.2b
(fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2))
✓0.3b
(/.f32 (sqrt.f32 cos2phi) alphax)
✓0.5b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2)))
✓0.5b
(pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2)

series220.0ms (2%)

Counts
4 → 110
Calls

4 calls:

151.0ms
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2)))
42.0ms
(fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2))
18.0ms
(pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2)
10.0ms
(/.f32 (sqrt.f32 cos2phi) alphax)

rewrite65.0ms (0.6%)

Algorithm
2×batch-egg-rewrite
Rules
290×prod-diff_binary32
270×expm1-udef_binary32
270×log1p-udef_binary32
174×add-sqr-sqrt_binary32
166×expm1-log1p-u_binary32
Counts
4 → 133
Calls

4 calls:

62.0ms
(fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2))
62.0ms
(/.f32 (sqrt.f32 cos2phi) alphax)
62.0ms
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2)))
62.0ms
(pow.f32 (/.f32 (sqrt.f32 cos2phi) alphax) 2)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01756
135846
2362946
3487546
000
100

simplify71.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
686×associate-/r*_binary32
604×associate-*r*_binary32
499×associate-*l*_binary32
236×fma-def_binary32
199×associate-*r/_binary32
Counts
243 → 180
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01253718
13753533
213643525
353413525

prune159.0ms (1.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New1791180
Fresh1910
Picked101
Done000
Total18110191
Error
0.0b
Counts
191 → 10
Alt Table
StatusErrorProgram
▶0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))) 2)))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (*.f32 (/.f32 1 (cbrt.f32 (pow.f32 alphax 4))) (/.f32 cos2phi (pow.f32 (cbrt.f32 alphax) 2))) (/.f32 sin2phi (*.f32 alphay alphay))))
12.2b
(-.f32 (*.f32 (/.f32 (*.f32 cos2phi (pow.f32 alphay 4)) (*.f32 (*.f32 alphax alphax) (*.f32 sin2phi sin2phi))) (log1p.f32 (neg.f32 u0))) (fma.f32 (/.f32 (log1p.f32 (neg.f32 u0)) (pow.f32 sin2phi 3)) (/.f32 (*.f32 (*.f32 cos2phi cos2phi) (pow.f32 alphay 6)) (pow.f32 alphax 4)) (*.f32 (/.f32 (*.f32 alphay alphay) sin2phi) (log1p.f32 (neg.f32 u0)))))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (/.f32 (+.f32 (*.f32 (/.f32 cos2phi alphax) alphay) (*.f32 alphax (/.f32 sin2phi alphay))) (*.f32 alphax alphay)))
16.3b
(*.f32 -1 (/.f32 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alphay 2)) sin2phi))
3.1b
(fma.f32 1/3 (/.f32 (pow.f32 u0 3) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (fma.f32 1/2 (*.f32 (/.f32 u0 (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) u0) (/.f32 u0 (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax))))))
0.8b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (*.f32 (pow.f32 (cbrt.f32 sin2phi) 2) (*.f32 (cbrt.f32 sin2phi) (pow.f32 alphay -2)))))
8.3b
(*.f32 (pow.f32 (cbrt.f32 (log1p.f32 u0)) 2) (*.f32 (cbrt.f32 (log1p.f32 u0)) (/.f32 1 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))))
0.9b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (pow.f32 (cbrt.f32 (/.f32 sin2phi (*.f32 alphay alphay))) 3)))
22.8b
(neg.f32 (*.f32 (/.f32 (*.f32 alphax alphax) cos2phi) (log1p.f32 (neg.f32 u0))))
Compiler

Compiled 5131 to 2372 computations (53.8% saved)

localize52.0ms (0.5%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.3b
(*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax)))
✓0.4b
(*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))
✓0.5b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))) 2)))
✓0.5b
(pow.f32 (*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))) 2)

series401.0ms (3.6%)

Counts
4 → 77
Calls

4 calls:

221.0ms
(*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))
152.0ms
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))) 2)))
17.0ms
(pow.f32 (*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))) 2)
10.0ms
(*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax)))

rewrite70.0ms (0.6%)

Algorithm
2×batch-egg-rewrite
Rules
335×prod-diff_binary32
206×add-sqr-sqrt_binary32
200×expm1-log1p-u_binary32
199×log1p-expm1-u_binary32
193×add-cbrt-cube_binary32
Counts
4 → 109
Calls

4 calls:

68.0ms
(*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax)))
68.0ms
(*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))
68.0ms
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))) 2)))
68.0ms
(pow.f32 (*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))) 2)
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02168
144439
2431939
3483239
000
100

simplify66.0ms (0.6%)

Algorithm
1×egg-herbie
Rules
688×associate-/r*_binary32
605×associate-*r*_binary32
500×associate-*l*_binary32
239×fma-def_binary32
199×associate-*r/_binary32
Counts
186 → 154
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
01303292
13883107
213953079
354273079

prune140.0ms (1.2%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New1540154
Fresh099
Picked011
Done000
Total15410164
Error
0.0b
Counts
164 → 10
Alt Table
StatusErrorProgram
✓0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (fma.f32 sin2phi (pow.f32 alphay -2) (pow.f32 (*.f32 (pow.f32 cos2phi 1/4) (*.f32 (pow.f32 cos2phi 1/4) (/.f32 1 alphax))) 2)))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (*.f32 (/.f32 1 (cbrt.f32 (pow.f32 alphax 4))) (/.f32 cos2phi (pow.f32 (cbrt.f32 alphax) 2))) (/.f32 sin2phi (*.f32 alphay alphay))))
12.2b
(-.f32 (*.f32 (/.f32 (*.f32 cos2phi (pow.f32 alphay 4)) (*.f32 (*.f32 alphax alphax) (*.f32 sin2phi sin2phi))) (log1p.f32 (neg.f32 u0))) (fma.f32 (/.f32 (log1p.f32 (neg.f32 u0)) (pow.f32 sin2phi 3)) (/.f32 (*.f32 (*.f32 cos2phi cos2phi) (pow.f32 alphay 6)) (pow.f32 alphax 4)) (*.f32 (/.f32 (*.f32 alphay alphay) sin2phi) (log1p.f32 (neg.f32 u0)))))
0.7b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (/.f32 (+.f32 (*.f32 (/.f32 cos2phi alphax) alphay) (*.f32 alphax (/.f32 sin2phi alphay))) (*.f32 alphax alphay)))
16.3b
(*.f32 -1 (/.f32 (*.f32 (log.f32 (-.f32 1 u0)) (pow.f32 alphay 2)) sin2phi))
3.1b
(fma.f32 1/3 (/.f32 (pow.f32 u0 3) (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) (fma.f32 1/2 (*.f32 (/.f32 u0 (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax)))) u0) (/.f32 u0 (+.f32 (/.f32 sin2phi (*.f32 alphay alphay)) (/.f32 cos2phi (*.f32 alphax alphax))))))
0.8b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (*.f32 (pow.f32 (cbrt.f32 sin2phi) 2) (*.f32 (cbrt.f32 sin2phi) (pow.f32 alphay -2)))))
8.3b
(*.f32 (pow.f32 (cbrt.f32 (log1p.f32 u0)) 2) (*.f32 (cbrt.f32 (log1p.f32 u0)) (/.f32 1 (fma.f32 cos2phi (pow.f32 alphax -2) (/.f32 sin2phi (*.f32 alphay alphay))))))
0.9b
(/.f32 (neg.f32 (log1p.f32 (neg.f32 u0))) (+.f32 (/.f32 cos2phi (*.f32 alphax alphax)) (pow.f32 (cbrt.f32 (/.f32 sin2phi (*.f32 alphay alphay))) 3)))
22.8b
(neg.f32 (*.f32 (/.f32 (*.f32 alphax alphax) cos2phi) (log1p.f32 (neg.f32 u0))))
Compiler

Compiled 4425 to 2384 computations (46.1% saved)

regimes4.0s (35.4%)

Accuracy

Total 0.4b remaining (88.1%)

Threshold costs 0.4b (88.1%)

Counts
283 → 1
Compiler

Compiled 104068 to 71582 computations (31.2% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary32
3×*-commutative_binary32
3×sub-neg_binary32
3×neg-sub0_binary32
3×neg-mul-1_binary32
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01523
12323
22923
33323
43423
53423

end141.0ms (1.3%)

Compiler

Compiled 335 to 216 computations (35.5% saved)

Profiling

Loading profile data...