Details

Time bar (total: 9.4s)

analyze1.2s (12.3%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
25%74.9%0.1%6
25%74.9%0.1%7
31.2%68.6%0.1%8
40.6%59.3%0.1%9
40.6%59.3%0.1%10
46%53.8%0.1%11
52.7%47.2%0.1%12
52.7%44.6%2.8%13
55.9%40.6%3.5%14
Compiler

Compiled 24 to 22 computations (8.3% saved)

sample128.0ms (1.4%)

Algorithm
1×intervals
Results
25.0ms42×body1024invalid
24.0ms48×body1024valid
20.0ms169×body128valid
10.0ms25×body512valid
9.0ms25×body512invalid
8.0ms2×body4096valid
6.0ms49×body128invalid
5.0ms5×body2048valid
4.0ms19×body256invalid
2.0ms7×body256valid
Compiler

Compiled 47 to 46 computations (2.1% saved)

simplify140.0ms (1.5%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (48.0ms)

IterNodesCost
0491237
1491237

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 28.0b

Counts
2 → 1
Compiler

Compiled 46 to 40 computations (13% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.7b
(-.f64 (pow.f64 b 2) (pow.f64 a 2))
7.7b
(*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
21.9b
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.4b
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite39.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64_100
16×difference-of-squares_binary64_47
13×unpow-prod-down_binary64_157
11×*-un-lft-identity_binary64_78
9×add-cbrt-cube_binary64_114 unpow2_binary64_143 sqr-pow_binary64_50 add-exp-log_binary64_116 pow1_binary64_139
8×cancel-sign-sub-inv_binary64_44
7×add-cube-cbrt_binary64_113
6×add-log-exp_binary64_117
3×cbrt-unprod_binary64_111 prod-exp_binary64_127 associate-*r*_binary64_18 pow-prod-down_binary64_149
2×distribute-lft-out--_binary64_30 flip3--_binary64_82 flip--_binary64_53 associate-*l/_binary64_21 associate-*r/_binary64_20
1×*-commutative_binary64_9 associate-*l*_binary64_19 diff-log_binary64_170 sub-neg_binary64_71
Counts
4 → 71
Calls

4 calls:

19.0ms
(*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
10.0ms
(-.f64 (pow.f64 b 2) (pow.f64 a 2))
2.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

series159.0ms (1.7%)

Counts
4 → 12
Calls

4 calls:

107.0ms
(*.f64 (*.f64 2 (-.f64 (pow.f64 b 2) (pow.f64 a 2))) (sin.f64 (*.f64 PI.f64 (/.f64 angle 180))))
27.0ms
(-.f64 (pow.f64 b 2) (pow.f64 a 2))
13.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
12.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

simplify63.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
83 → 83
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
049311321
149311321

prune158.0ms (1.7%)

Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New681583
Fresh000
Picked101
Done000
Total691584

Merged error: 26.0b

Counts
84 → 15
Compiler

Compiled 2725 to 1788 computations (34.4% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

21.9b
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.4b
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.4b
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.4b
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite10.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
4×add-cbrt-cube_binary64_114 add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 add-cube-cbrt_binary64_113 add-exp-log_binary64_116 *-un-lft-identity_binary64_78 pow1_binary64_139
Counts
4 → 28
Calls

4 calls:

2.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

series42.0ms (0.5%)

Counts
4 → 12
Calls

4 calls:

13.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
11.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
9.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
9.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

simplify57.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05135603

prune122.0ms (1.3%)

Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New36440
Fresh01414
Picked101
Done000
Total371855

Merged error: 25.9b

Counts
55 → 18
Compiler

Compiled 2428 to 1863 computations (23.3% saved)

localize25.0ms (0.3%)

Local error

Found 4 expressions with local error:

21.9b
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.3b
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))
22.4b
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.4b
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite11.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
4×add-cbrt-cube_binary64_114 add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 add-cube-cbrt_binary64_113 add-exp-log_binary64_116 *-un-lft-identity_binary64_78 pow1_binary64_139
Counts
4 → 28
Calls

4 calls:

2.0ms
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))
2.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

series41.0ms (0.4%)

Counts
4 → 12
Calls

4 calls:

13.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
10.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
9.0ms
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))
9.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

simplify57.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (47.0ms)

IterNodesCost
05111603

prune131.0ms (1.4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

PrunedKeptTotal
New36440
Fresh01717
Picked101
Done000
Total372158

Merged error: 25.8b

Counts
58 → 21
Compiler

Compiled 2557 to 1928 computations (24.6% saved)

localize26.0ms (0.3%)

Local error

Found 4 expressions with local error:

21.9b
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
22.3b
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))
22.3b
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))
22.4b
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))

rewrite11.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
4×add-cbrt-cube_binary64_114 add-sqr-sqrt_binary64_100 add-log-exp_binary64_117 add-cube-cbrt_binary64_113 add-exp-log_binary64_116 *-un-lft-identity_binary64_78 pow1_binary64_139
Counts
4 → 28
Calls

4 calls:

2.0ms
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))
2.0ms
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))
2.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
2.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))

series44.0ms (0.5%)

Counts
4 → 12
Calls

4 calls:

15.0ms
(sin.f64 (*.f64 PI.f64 (/.f64 angle 180)))
10.0ms
(cos.f64 (*.f64 PI.f64 (/.f64 angle 180)))
10.0ms
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))
9.0ms
(cos.f64 (*.f64 1/180 (*.f64 PI.f64 angle)))

simplify56.0ms (0.6%)

Algorithm
1×egg-herbie
Counts
40 → 40
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
05111603

prune92.0ms (1%)

Pruning

24 alts after pruning (24 fresh and 0 done)

PrunedKeptTotal
New34640
Fresh21820
Picked101
Done000
Total372461

Merged error: 25.8b

Counts
61 → 24
Compiler

Compiled 1804 to 1277 computations (29.2% saved)

regimes1.4s (15.1%)

Compiler

Compiled 20404 to 16986 computations (16.8% saved)

bsearch0.0ms (0%)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
04267
14267

end0.0ms (0%)

sample5.4s (57.1%)

Algorithm
1×intervals
Results
786.0ms1510×body1024valid
651.0ms1254×body1024invalid
621.0ms5143×body128valid
295.0ms765×body512valid
284.0ms76×body4096valid
227.0ms613×body512invalid
167.0ms184×body2048valid
163.0ms1275×body128invalid
85.0ms322×body256valid
78.0ms322×body256invalid
Compiler

Compiled 1903 to 1585 computations (16.7% saved)

Profiling

Loading profile data...