Details

Time bar (total: 10.5s)

analyze3.0s (28.3%)

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)

sample187.0ms (1.8%)

Algorithm
1×intervals
Results
148.0ms256×body128valid
10.0ms256×pre128true
Compiler

Compiled 205 to 145 computations (29.3% saved)

simplify64.0ms (0.6%)

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

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

localize134.0ms (1.3%)

Local error

Found 4 expressions with local error:

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

rewrite160.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:

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

series274.0ms (2.6%)

Error
0.2b
Counts
4 → 24
Calls

4 calls:

92.0ms
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))
91.0ms
(cos.f32 (atan.f32 (*.f32 (/.f32 alphay alphax) (tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1)))))))
34.0ms
(tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))
33.0ms
(tan.f32 (*.f32 PI.f32 (+.f32 1/2 (*.f32 2 u1))))
Compiler

Compiled 4556 to 3246 computations (28.8% saved)

simplify308.0ms (2.9%)

Algorithm
1×egg-herbie
Rules
1024×sqr-pow_binary32
724×unswap-sqr_binary32
592×cube-prod_binary32
470×pow-sqr_binary32
428×fabs-mul_binary32
Counts
60 → 18
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
0571664
1811516
21321516
32321516
43681516
54231516
64711516
75881516
89481516
915501516
1017011516
1119821516
1222971516
1325881516
1429951516
1533491516
1635321516
1737891516
1839281516
1940071516
2040871516
2148451516
2247761516

prune79.0ms (0.8%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New18018
Fresh000
Picked011
Done000
Total18119
Error
0.2b
Counts
19 → 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 1678 to 1126 computations (32.9% saved)

regimes402.0ms (3.8%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 3410 to 2388 computations (30% saved)

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

sample5.9s (56.2%)

Algorithm
1×intervals
Results
4.5s8000×body128valid
319.0ms8000×pre128true
Compiler

Compiled 277 to 197 computations (28.9% saved)

Profiling

Loading profile data...