Details

Time bar (total: 17.5s)

analyze2.8s

Algorithm
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
7.8%92%0.2%9
7.8%92%0.2%10
10.1%89.7%0.2%11
10.1%89.7%0.2%12
13.9%85.9%0.2%13
13.9%85.9%0.2%14

sample281.0ms

Algorithm
intervals
Results
198.0ms139×body1280valid
51.0ms66×body640valid
11.0ms20×body320valid
4.0ms11×body160valid
3.0ms20×body80valid

simplify44.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (30.0ms)

IterNodesCost
036839
136839

prune3.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 11.3b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
0.2b
(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
2.7b
(sin.f64 (-.f64 lambda1 lambda2))
2.8b
(cos.f64 (-.f64 lambda1 lambda2))

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
11×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
9×add-sqr-sqrt_binary64
7×*-un-lft-identity_binary64 add-cube-cbrt_binary64
6×associate-*r*_binary64
4×pow-prod-down_binary64 add-log-exp_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64 insert-posit16
3×cos-diff_binary64
2×sub-neg_binary64 sin-cos-mult_binary64 *-commutative_binary64
1×sin-diff_binary64 sin-sum_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 unswap-sqr_binary64 cos-sum_binary64 associate-*l/_binary64
Counts
4 → 62
Calls
4 calls:
9.0ms
(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
9.0ms
(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms
(sin.f64 (-.f64 lambda1 lambda2))
5.0ms
(cos.f64 (-.f64 lambda1 lambda2))

series892.0ms

Counts
4 → 12
Calls
4 calls:
230.0ms
(*.f64 (sin.f64 (-.f64 lambda1 lambda2)) (cos.f64 phi2))
285.0ms
(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
189.0ms
(sin.f64 (-.f64 lambda1 lambda2))
188.0ms
(cos.f64 (-.f64 lambda1 lambda2))
Iterations

Useful iterations: 0 (15.0ms)

IterNodesCost
0241165
1241165
02327
12327
0241165
1241165
02327
12327
073
173
0227153
1227153
02127
12127
0227153
1227153
02127
12127
073
173
0487597
1487597
02733
12733
0487597
1487597
02733
12733
0223
1223
0386366
1386366
01621
11621
0386366
1386366
01621
11621
0393
1393

simplify134.0ms

Counts
74 → 74
Iterations

Useful iterations: 0 (109.0ms)

IterNodesCost
04991944
14991944

prune101.0ms

Filtered
54 candidates to 74 candidates (-37.0%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New611374
Fresh000
Picked101
Done000
Total621375

Merged error: 5.0b

Counts
75 → 13

localize35.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
0.1b
(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
0.2b
(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
2.8b
(cos.f64 (-.f64 lambda1 lambda2))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
13×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 add-sqr-sqrt_binary64
9×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64
7×associate-*l*_binary64
5×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
4×add-log-exp_binary64 insert-posit16
3×cos-diff_binary64 *-commutative_binary64
2×unswap-sqr_binary64
1×sub-neg_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 sin-cos-mult_binary64 cos-sum_binary64 associate-*l/_binary64
Counts
4 → 70
Calls
4 calls:
6.0ms
(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
6.0ms
(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
9.0ms
(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
5.0ms
(cos.f64 (-.f64 lambda1 lambda2))

series865.0ms

Counts
4 → 12
Calls
4 calls:
199.0ms
(*.f64 (cos.f64 lambda1) (sin.f64 lambda2))
199.0ms
(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
283.0ms
(*.f64 (*.f64 (sin.f64 phi1) (cos.f64 phi2)) (cos.f64 (-.f64 lambda1 lambda2)))
183.0ms
(cos.f64 (-.f64 lambda1 lambda2))
Iterations

Useful iterations: 0 (13.0ms)

IterNodesCost
0241165
1241165
02327
12327
0241165
1241165
02327
12327
073
173
0487597
1487597
02733
12733
0487597
1487597
02733
12733
0223
1223
0322282
1322282
069
169
0322282
1322282
069
169
013
113
0322282
1322282
069
169
0322282
1322282
069
169
013
113

simplify129.0ms

Counts
82 → 82
Iterations

Useful iterations: 0 (105.0ms)

IterNodesCost
04976959
14976959

prune100.0ms

Filtered
57 candidates to 82 candidates (-43.9%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New77582
Fresh4812
Picked101
Done000
Total821395

Merged error: 0.1b

Counts
95 → 13

localize34.0ms

Local error

Found 4 expressions with local error:

0.1b
(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
0.2b
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
0.2b
(*.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
0.2b
(*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

rewrite39.0ms

Algorithm
rewrite-expression-head
Rules
32×pow1_binary64 add-exp-log_binary64 add-cbrt-cube_binary64
18×pow-prod-down_binary64 cbrt-unprod_binary64 prod-exp_binary64
12×add-sqr-sqrt_binary64
8×*-un-lft-identity_binary64 associate-*r*_binary64 add-cube-cbrt_binary64 associate-*l*_binary64
4×add-log-exp_binary64 sin-cos-mult_binary64 insert-posit16 *-commutative_binary64
3×sin-mult_binary64
2×cos-mult_binary64 associate-*r/_binary64 unswap-sqr_binary64 frac-times_binary64 associate-*l/_binary64
Counts
4 → 91
Calls
4 calls:
6.0ms
(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
6.0ms
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
12.0ms
(*.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
12.0ms
(*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))

series1.0s

Counts
4 → 12
Calls
4 calls:
198.0ms
(*.f64 (cos.f64 lambda2) (sin.f64 lambda1))
191.0ms
(*.f64 (sin.f64 lambda1) (sin.f64 lambda2))
308.0ms
(*.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
304.0ms
(*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
0550744
1550744
079
179
0550744
1550744
079
179
013
113
0542720
1542720
079
179
0542720
1542720
079
179
013
113
0302270
1302270
069
169
0302270
1302270
069
169
013
113
0322282
1322282
069
169
0322282
1322282
069
169
013
113

simplify163.0ms

Counts
103 → 103
Iterations

Useful iterations: 0 (132.0ms)

IterNodesCost
049371482
149371482

prune132.0ms

Filtered
62 candidates to 103 candidates (-66.1%)
Pruning

14 alts after pruning (14 fresh and 0 done)

PrunedKeptTotal
New985103
Fresh3912
Picked101
Done000
Total10214116

Merged error: 0.0b

Counts
116 → 14

localize40.0ms

Local error

Found 4 expressions with local error:

0.2b
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
0.2b
(*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
0.3b
(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
26.9b
(cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))

rewrite37.0ms

Algorithm
rewrite-expression-head
Rules
24×pow1_binary64 add-exp-log_binary64
22×add-cbrt-cube_binary64
16×cbrt-prod_binary64
12×pow-prod-down_binary64 cbrt-unprod_binary64 associate-*l*_binary64 prod-exp_binary64
8×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
4×add-log-exp_binary64 cube-div_binary64 sin-mult_binary64 sin-cos-mult_binary64 insert-posit16
3×cbrt-div_binary64 pow-unpow_binary64 sqr-pow_binary64 unpow-prod-down_binary64 cube-prod_binary64 unpow3_binary64 cube-mult_binary64
2×associate-*r*_binary64 cos-mult_binary64 associate-*r/_binary64 pow-pow_binary64 rem-cube-cbrt_binary64 frac-times_binary64 pow-exp_binary64 associate-*l/_binary64 *-commutative_binary64
1×pow-to-exp_binary64 rem-cbrt-cube_binary64 pow1/3_binary64
Counts
4 → 99
Calls
4 calls:
12.0ms
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
11.0ms
(*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
6.0ms
(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
4.0ms
(cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))

series1.1s

Counts
4 → 12
Calls
4 calls:
387.0ms
(*.f64 (cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
305.0ms
(*.f64 (*.f64 (cos.f64 lambda1) (cos.f64 lambda2)) (*.f64 (sin.f64 phi1) (cos.f64 phi2)))
245.0ms
(pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3)
190.0ms
(cbrt.f64 (pow.f64 (*.f64 (sin.f64 lambda1) (sin.f64 lambda2)) 3))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01201716
11201716
02899
12899
01201716
11201716
02899
12899
013
113
0443597
1443597
0149
1149
0443597
1443597
0149
1149
013
113
0550744
1550744
079
179
0550744
1550744
079
179
013
113
05721842
15721842
01939
11939
05721842
15721842
01939
11939
013
113

simplify151.0ms

Counts
111 → 111
Iterations

Useful iterations: 0 (119.0ms)

IterNodesCost
049501657
149501657

prune114.0ms

Filtered
72 candidates to 111 candidates (-54.2%)
Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New1101111
Fresh11213
Picked011
Done000
Total11114125

Merged error: 0.0b

Counts
125 → 14

regimes241.0ms

Accuracy

0% (0.1b remaining)

Error of 0.2b against oracle of 0.1b and baseline of 0.2b

bsearch0.0ms

simplify9.0ms

Iterations

Useful iterations: 0 (4.0ms)

IterNodesCost
014178
114178

end0.0ms

sample9.0s

Algorithm
intervals
Results
6.6s4611×body1280valid
1.6s1974×body640valid
282.0ms528×body320valid
117.0ms686×body80valid
68.0ms201×body160valid

Profiling

Loading profile data...