Details

Time bar (total: 4.9s)

analyze176.0ms

Algorithm
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
25%68.7%6.3%5
25%65.6%9.5%6
37.5%39%23.5%7
37.5%36.7%25.9%8
43.7%20.7%35.6%9
43.7%19.3%37%10
46.8%10.6%42.5%11
46.8%9.9%43.3%12
48.4%5.4%46.2%13
48.4%5%46.6%14

sample28.0ms

Algorithm
intervals
Results
19.0ms256×body80valid
2.0ms24×body80nan

simplify22.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (8.0ms)

IterNodesCost
05023
15023

prune4.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112

Merged error: 1.0b

Counts
2 → 1

localize16.0ms

Local error

Found 4 expressions with local error:

1.0b
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
1.0b
(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
1.0b
(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
1.0b
(*.f64 PI.f64 2/3)

rewrite29.0ms

Algorithm
rewrite-expression-head
Rules
16×add-sqr-sqrt_binary64
14×*-un-lft-identity_binary64 add-cube-cbrt_binary64
9×times-frac_binary64
8×add-exp-log_binary64 add-cbrt-cube_binary64
6×add-log-exp_binary64 pow1_binary64 div-sub_binary64
4×associate-+r-_binary64 insert-posit16
3×associate-/r*_binary64 acos-asin_binary64 associate-*r*_binary64 acos-neg_binary64 associate-*l*_binary64 associate-/l*_binary64 distribute-frac-neg_binary64
2×cos-diff_binary64
1×pow-prod-down_binary64 flip3-+_binary64 cbrt-unprod_binary64 cbrt-undiv_binary64 unswap-sqr_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64 cos-sum_binary64 div-inv_binary64 div-exp_binary64 +-commutative_binary64 flip-+_binary64 sum-log_binary64 *-commutative_binary64
Counts
4 → 74
Calls
4 calls:
4.0ms
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
9.0ms
(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
8.0ms
(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
4.0ms
(*.f64 PI.f64 2/3)

series620.0ms

Counts
4 → 10
Calls
4 calls:
256.0ms
(/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)
202.0ms
(cos.f64 (+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3)))
161.0ms
(+.f64 (*.f64 PI.f64 2/3) (/.f64 (acos.f64 (/.f64 (neg.f64 g) h)) 3))
0.0ms
(*.f64 PI.f64 2/3)
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
03032684
13032684
01102630
11102630
03032684
13032684
01102630
11102630
013
113
03752702
13752702
03852616
13852616
03752702
13752702
03852616
13852616
013
113
02221694
12221694
0971622
1971622
02221694
12221694
0971622
1971622
0489349
1489349

simplify128.0ms

Counts
84 → 84
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
049381404
149381404

prune80.0ms

Filtered
67 candidates to 84 candidates (-25.4%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New82284
Fresh000
Picked101
Done000
Total83285

Merged error: 1.0b

Counts
85 → 2

localize13.0ms

Local error

Found 4 expressions with local error:

0.0b
(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
0.0b
(sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
1.0b
(/.f64 (acos.f64 (/.f64 g h)) 3)
1.0b
(/.f64 (acos.f64 (/.f64 g h)) 3)

rewrite17.0ms

Algorithm
rewrite-expression-head
Rules
20×*-un-lft-identity_binary64 add-cube-cbrt_binary64 add-sqr-sqrt_binary64
18×times-frac_binary64
8×add-exp-log_binary64 add-cbrt-cube_binary64
6×associate-/r*_binary64 associate-/l*_binary64
4×add-log-exp_binary64 pow1_binary64 acos-asin_binary64 div-sub_binary64 insert-posit16
2×cbrt-undiv_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
1×sin-diff_binary64 cos-diff_binary64
Counts
4 → 76
Calls
4 calls:
3.0ms
(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
3.0ms
(sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
4.0ms
(/.f64 (acos.f64 (/.f64 g h)) 3)
4.0ms
(/.f64 (acos.f64 (/.f64 g h)) 3)

series1.0s

Counts
4 → 12
Calls
4 calls:
272.0ms
(cos.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
270.0ms
(sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
250.0ms
(/.f64 (acos.f64 (/.f64 g h)) 3)
252.0ms
(/.f64 (acos.f64 (/.f64 g h)) 3)
Iterations

Useful iterations: 0 (110.0ms)

IterNodesCost
02161680
12161680
0921620
1921620
02161680
12161680
0921620
1921620
0489349
1489349
02161680
12161680
0921620
1921620
02161680
12161680
0921620
1921620
0489349
1489349
02741698
12741698
0861638
1861638
02741698
12741698
0861638
1861638
0490957
1490957
02881698
12881698
0911638
1911638
02881698
12881698
0911638
1911638
0490957
1490957

simplify248.0ms

Counts
88 → 88
Iterations

Useful iterations: 0 (220.0ms)

IterNodesCost
052421422

prune102.0ms

Filtered
74 candidates to 88 candidates (-18.9%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New87188
Fresh101
Picked011
Done000
Total88290

Merged error: 0b

Counts
90 → 2

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))
0.0b
(/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))
0.0b
(sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
1.0b
(/.f64 (acos.f64 (/.f64 g h)) 3)

rewrite43.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt_binary64
60×times-frac_binary64
53×add-exp-log_binary64
45×*-un-lft-identity_binary64
42×add-cube-cbrt_binary64
24×cbrt-prod_binary64
22×associate-*r*_binary64
21×add-cbrt-cube_binary64
20×prod-exp_binary64
17×div-exp_binary64
9×associate-/r*_binary64 cbrt-undiv_binary64 unswap-sqr_binary64
8×cbrt-unprod_binary64
7×associate-*l*_binary64
6×pow1_binary64 associate-/l*_binary64
4×add-log-exp_binary64 1-exp_binary64 rec-exp_binary64 div-inv_binary64 insert-posit16
3×acos-asin_binary64 div-sub_binary64
2×clear-num_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 sin-diff_binary64 associate-*r/_binary64 frac-times_binary64 associate-*l/_binary64 *-commutative_binary64
Counts
4 → 150
Calls
4 calls:
20.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))
5.0ms
(/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))
3.0ms
(sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
4.0ms
(/.f64 (acos.f64 (/.f64 g h)) 3)

series1.0s

Counts
4 → 12
Calls
4 calls:
270.0ms
(*.f64 (/.f64 1 (*.f64 (cbrt.f64 3) (cbrt.f64 3))) (/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3)))
257.0ms
(/.f64 (acos.f64 (/.f64 g h)) (cbrt.f64 3))
274.0ms
(sin.f64 (/.f64 (acos.f64 (/.f64 g h)) 3))
248.0ms
(/.f64 (acos.f64 (/.f64 g h)) 3)
Iterations

Useful iterations: 0 (100.0ms)

IterNodesCost
02161680
12161680
0921620
1921620
02161680
12161680
0921620
1921620
0489349
1489349
02741698
12741698
0861638
1861638
02741698
12741698
0861638
1861638
0490957
1490957
02341698
12341698
0951638
1951638
02341698
12341698
0951638
1951638
0505055
03821815
13821815
01231755
11231755
03821815
13821815
01231755
11231755
050403

simplify184.0ms

Counts
162 → 162
Iterations

Useful iterations: 0 (140.0ms)

IterNodesCost
048812979
148812979

prune242.0ms

Filtered
121 candidates to 162 candidates (-33.9%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1620162
Fresh000
Picked011
Done011
Total1622164

Merged error: 0b

Counts
164 → 2

regimes22.0ms

Accuracy

0% (0.0b remaining)

Error of 0.0b against oracle of 0.0b and baseline of 0.0b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
03345
13345

end0.0ms

sample807.0ms

Algorithm
intervals
Results
615.0ms8000×body80valid
36.0ms564×body80nan

Profiling

Loading profile data...