Details

Time bar (total: 11.5s)

analyze3.5s (30.7%)

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 109 to 77 computations (29.4% saved)

sample320.0ms (2.8%)

Algorithm
1×intervals
Results
248.0ms256×body128valid
18.0ms256×pre128true
Compiler

Compiled 205 to 145 computations (29.3% saved)

simplify85.0ms (0.7%)

Algorithm
1×egg-herbie
Rules
601×times-frac_binary32
516×associate-/l*_binary32
455×distribute-rgt-neg-out_binary32
385×neg-sub0_binary32
379×associate-*l/_binary32
Counts
1 → 1
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
033146
165143
2110127
3198127
4369127
51226127
64076127
74320127
85183127

prune14.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶0.2b
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))) (*.f32 alphay alphay)))) (-.f32 1 u0)))))
Compiler

Compiled 246 to 174 computations (29.3% saved)

localize126.0ms (1.1%)

Local error

Found 4 expressions with local error:

12.8b
(tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))
12.8b
(tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))
13.3b
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))
13.3b
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))

rewrite175.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
4×tan-sum_binary32
4×*-un-lft-identity_binary32
4×add-sqr-sqrt_binary32
4×add-cube-cbrt_binary32
4×add-cbrt-cube_binary32
Counts
4 → 36
Calls

4 calls:

3.0ms
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))
3.0ms
(tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))
2.0ms
(tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))
2.0ms
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))
Compiler

Compiled 3226 to 2122 computations (34.2% saved)

series287.0ms (2.5%)

Error
0.2b
Counts
4 → 24
Calls

4 calls:

96.0ms
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))
95.0ms
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))
36.0ms
(tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))
35.0ms
(tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))
Compiler

Compiled 4556 to 3246 computations (28.8% saved)

simplify200.0ms (1.7%)

Algorithm
1×egg-herbie
Rules
435×div-sub_binary32
393×unsub-neg_binary32
361×times-frac_binary32
331×associate-/l*_binary32
312×distribute-rgt-in_binary32
Counts
60 → 40
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01184220
11744072
23214072
36124072
413514072
527054072
646484072
749284072

prune94.0ms (0.8%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New40040
Fresh000
Picked011
Done000
Total40141
Error
0.2b
Counts
41 → 1
Alt Table
StatusErrorProgram
✓0.2b
(/.f32 1 (sqrt.f32 (+.f32 1 (/.f32 (/.f32 u0 (+.f32 (/.f32 (*.f32 (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))))) (cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))) (*.f32 alphax alphax)) (/.f32 (*.f32 (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))))) (sin.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))) (*.f32 alphay alphay)))) (-.f32 1 u0)))))
Compiler

Compiled 1764 to 1192 computations (32.4% saved)

regimes436.0ms (3.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 3410 to 2388 computations (30% saved)

simplify6.0ms (0.1%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
031127
141127
245127
347127
448127
547127

end4.0ms (0%)

Compiler

Compiled 82 to 58 computations (29.3% saved)

sample6.2s (54.1%)

Algorithm
1×intervals
Results
4.7s8000×body128valid
343.0ms8000×pre128true
Compiler

Compiled 277 to 197 computations (28.9% saved)

Profiling

Loading profile data...