Details

Time bar (total: 2.4min)

analyze32.9s (22.8%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
2.3%97.4%0.2%9
3.5%96.2%0.2%10
5.3%94.5%0.2%11
6.1%93.6%0.2%12
9.2%90.6%0.2%13
13.8%85.9%0.2%14
Compiler

Compiled 170 to 127 computations (25.3% saved)

sample2.7s (1.8%)

Algorithm
1×intervals
Results
969.0ms54×body4096valid
530.0ms44×body2048valid
500.0ms52×body1024valid
254.0ms2×body8192exit
167.0ms26×body512valid
87.0ms61×body128valid
75.0ms19×body256valid
Compiler

Compiled 339 to 258 computations (23.9% saved)

simplify226.0ms (0.2%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (43.0ms)

IterNodesCost
05229273

prune39.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112
Error
54.9b
Counts
2 → 1
Compiler

Compiled 338 to 245 computations (27.5% saved)

localize128.0ms (0.1%)

Local error

Found 4 expressions with local error:

30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite808.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Error
54.4b
Rules
4×pow1_binary64 add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
Counts
4 → 28
Calls

4 calls:

7.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
5.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 4928 to 3522 computations (28.5% saved)

series769.0ms (0.5%)

Error
52.5b
Counts
4 → 17
Calls

4 calls:

162.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
115.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
110.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
108.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 7962 to 5830 computations (26.8% saved)

simplify191.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
45 → 45
Iterations

Useful iterations: 0 (166.0ms)

IterNodesCost
04790644
14790644

prune1.1s (0.8%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New36945
Fresh000
Picked101
Done000
Total37946
Error
51.9b
Counts
46 → 9
Compiler

Compiled 9385 to 6735 computations (28.2% saved)

localize160.0ms (0.1%)

Local error

Found 4 expressions with local error:

30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite502.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Error
51.9b
Rules
4×pow1_binary64 add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
Counts
4 → 28
Calls

4 calls:

5.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 5180 to 3691 computations (28.7% saved)

series617.0ms (0.4%)

Error
51.3b
Counts
4 → 14
Calls

4 calls:

147.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
95.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
87.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
85.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 7224 to 5269 computations (27.1% saved)

simplify185.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
42 → 42
Iterations

Useful iterations: 0 (163.0ms)

IterNodesCost
04790572
14790572

prune896.0ms (0.6%)

Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New39342
Fresh268
Picked011
Done000
Total411051
Error
51.3b
Counts
51 → 10
Compiler

Compiled 9256 to 6627 computations (28.4% saved)

localize170.0ms (0.1%)

Local error

Found 4 expressions with local error:

30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite518.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
51.3b
Rules
4×pow1_binary64 add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
Counts
4 → 28
Calls

4 calls:

5.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
5.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 5180 to 3663 computations (29.3% saved)

series608.0ms (0.4%)

Error
51.0b
Counts
4 → 13
Calls

4 calls:

125.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
95.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
93.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
93.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 6820 to 4936 computations (27.6% saved)

simplify156.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
41 → 41
Iterations

Useful iterations: 0 (133.0ms)

IterNodesCost
04796532
14796532

prune945.0ms (0.7%)

Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New40141
Fresh178
Picked011
Done011
Total411051
Error
51.0b
Counts
51 → 10
Compiler

Compiled 8880 to 6311 computations (28.9% saved)

localize153.0ms (0.1%)

Local error

Found 4 expressions with local error:

30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
30.1b
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))

rewrite442.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Error
51.0b
Rules
4×pow1_binary64 add-log-exp_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64 *-un-lft-identity_binary64
Counts
4 → 28
Calls

4 calls:

4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
4.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 5012 to 3606 computations (28.1% saved)

series641.0ms (0.4%)

Error
51.0b
Counts
4 → 16
Calls

4 calls:

106.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
105.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
105.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
104.0ms
(sin.f64 (*.f64 (/.f64 angle 180) PI.f64))
Compiler

Compiled 7708 to 5679 computations (26.3% saved)

simplify149.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
44 → 44
Iterations

Useful iterations: 0 (127.0ms)

IterNodesCost
04796604
14796604

prune893.0ms (0.6%)

Pruning

9 alts after pruning (8 fresh and 1 done)

PrunedKeptTotal
New43144
Fresh077
Picked101
Done112
Total45954
Error
51.0b
Counts
54 → 9
Compiler

Compiled 7748 to 5551 computations (28.4% saved)

regimes5.9s (4.1%)

Accuracy

Total 2.3b remaining (4.2%)

Threshold costs 0b (0%)

Compiler

Compiled 62935 to 47000 computations (25.3% saved)

bsearch0.0ms (0%)

simplify12.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0220285
1220285

end0.0ms (0%)

sample1.5min (64.1%)

Algorithm
1×intervals
Results
31.6s1683×body4096valid
16.5s1396×body2048valid
14.8s1603×body1024valid
8.7s68×body8192exit
4.3s692×body512valid
3.4s2281×body128valid
1.3s345×body256valid
Compiler

Compiled 5654 to 4218 computations (25.4% saved)

Profiling

Loading profile data...