Details

Time bar (total: 9.4s)

analyze749.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
0%99.9%0.1%5
0%99.9%0.1%6
18.7%81.2%0.1%7
32.8%67.1%0.1%8
38.2%61.7%0.1%9
41%58.9%0.1%10
43.9%56%0.1%11
45.4%54.5%0.1%12
46.9%53%0.1%13
47.6%52.3%0.1%14

sample82.0ms

Algorithm
intervals
Results
24.0ms47×body1280valid
18.0ms18×body2560valid
13.0ms130×body80valid
11.0ms33×body640valid
6.0ms22×body320valid
1.0ms6×body160valid

simplify482.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
01420
11420

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 35.3b

Counts
2 → 1

localize9.0ms

Local error

Found 3 expressions with local error:

6.5b
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
29.1b
(sin.f64 (/.f64 x (*.f64 y 2)))
29.4b
(tan.f64 (/.f64 x (*.f64 y 2)))

rewrite14.0ms

Algorithm
rewrite-expression-head
Rules
11×add-sqr-sqrt_binary64_27867 add-cube-cbrt_binary64_27853 *-un-lft-identity_binary64_27882
9×times-frac_binary64_27877
5×add-exp-log_binary64_27846 add-cbrt-cube_binary64_27854
3×add-log-exp_binary64_27847 associate-/r*_binary64_27945 pow1_binary64_27824 associate-/l*_binary64_27946
2×tan-quot_binary64_27749
1×frac-2neg_binary64_27875 cbrt-undiv_binary64_27852 div-inv_binary64_27883 div-exp_binary64_27831 clear-num_binary64_27885 associate-/l/_binary64_27948
Counts
3 → 43
Calls
3 calls:
7.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
3.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(tan.f64 (/.f64 x (*.f64 y 2)))

series827.0ms

Counts
3 → 9
Calls
3 calls:
399.0ms
(/.f64 (tan.f64 (/.f64 x (*.f64 y 2))) (sin.f64 (/.f64 x (*.f64 y 2))))
206.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
222.0ms
(tan.f64 (/.f64 x (*.f64 y 2)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01232559
11232559
0362268
1362268
01232559
11232559
0362268
1362268
013
113
01172553
11172553
0322259
1322259
01172553
11172553
0322259
1322259
013
113
03522760
13522760
046952607
146952607
03522760
13522760
046952607
146952607
013
113

simplify212.0ms

Counts
52 → 52
Iterations

Useful iterations: 0 (186.0ms)

IterNodesCost
055761066

prune100.0ms

Filtered
41 candidates to 52 candidates (-26.8%)
Pruning

15 alts after pruning (15 fresh and 0 done)

PrunedKeptTotal
New371552
Fresh000
Picked101
Done000
Total381553

Merged error: 34.7b

Counts
53 → 15

localize11.0ms

Local error

Found 4 expressions with local error:

6.5b
(/.f64 (/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))) (sin.f64 (/.f64 x (*.f64 y 2))))
28.6b
(cos.f64 (/.f64 x (*.f64 y 2)))
29.1b
(sin.f64 (/.f64 x (*.f64 y 2)))
29.1b
(sin.f64 (/.f64 x (*.f64 y 2)))

rewrite27.0ms

Algorithm
rewrite-expression-head
Rules
75×times-frac_binary64_27877
46×add-sqr-sqrt_binary64_27867 add-cube-cbrt_binary64_27853 *-un-lft-identity_binary64_27882
13×associate-/l*_binary64_27946
9×add-exp-log_binary64_27846 add-cbrt-cube_binary64_27854
5×div-inv_binary64_27883
4×add-log-exp_binary64_27847 pow1_binary64_27824
3×cbrt-undiv_binary64_27852 associate-/r*_binary64_27945 div-exp_binary64_27831
1×frac-2neg_binary64_27875 clear-num_binary64_27885 associate-/l/_binary64_27948
Counts
4 → 91
Calls
4 calls:
14.0ms
(/.f64 (/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))) (sin.f64 (/.f64 x (*.f64 y 2))))
3.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))

series1.0s

Counts
4 → 12
Calls
4 calls:
364.0ms
(/.f64 (/.f64 (sin.f64 (/.f64 x (*.f64 y 2))) (cos.f64 (/.f64 x (*.f64 y 2)))) (sin.f64 (/.f64 x (*.f64 y 2))))
235.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
209.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
206.0ms
(sin.f64 (/.f64 x (*.f64 y 2)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01172553
11172553
0322259
1322259
01172553
11172553
0322259
1322259
013
113
01172553
11172553
0322259
1322259
01172553
11172553
0322259
1322259
013
113
01202555
11202555
047792293
147792293
01202555
11202555
047792293
147792293
013
113
04632907
14632907
046432427
146432427
04632907
14632907
046432427
146432427
013
113

simplify176.0ms

Counts
103 → 103
Iterations

Useful iterations: 0 (133.0ms)

IterNodesCost
049343237
149343237

prune187.0ms

Filtered
78 candidates to 103 candidates (-32.1%)
Pruning

19 alts after pruning (19 fresh and 0 done)

PrunedKeptTotal
New8815103
Fresh10414
Picked101
Done000
Total9919118

Merged error: 28.3b

Counts
118 → 19

localize12.0ms

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (cbrt.f64 (/.f64 1 (cos.f64 (/.f64 x (*.f64 y 2))))) (cbrt.f64 (/.f64 1 (cos.f64 (/.f64 x (*.f64 y 2))))))
28.6b
(cos.f64 (/.f64 x (*.f64 y 2)))
28.6b
(cos.f64 (/.f64 x (*.f64 y 2)))
28.6b
(cos.f64 (/.f64 x (*.f64 y 2)))

rewrite32.0ms

Algorithm
rewrite-expression-head
Rules
80×cbrt-prod_binary64_27849
76×add-sqr-sqrt_binary64_27867
52×times-frac_binary64_27877
46×*-un-lft-identity_binary64_27882
36×add-cube-cbrt_binary64_27853
18×swap-sqr_binary64_27909
16×associate-*r*_binary64_27941 associate-*l*_binary64_27942 unswap-sqr_binary64_27910
11×pow1_binary64_27824
6×add-exp-log_binary64_27846 div-inv_binary64_27883 pow1/3_binary64_27816
4×add-log-exp_binary64_27847 add-cbrt-cube_binary64_27854 cbrt-div_binary64_27850
2×pow-prod-up_binary64_27804 pow-sqr_binary64_27915 pow-prod-down_binary64_27805
1×*-commutative_binary64_27950 associate-*l/_binary64_27944 cbrt-unprod_binary64_27851 pow-plus_binary64_27819 frac-times_binary64_27874 associate-*r/_binary64_27943 prod-exp_binary64_27829 pow2_binary64_27815
Counts
4 → 108
Calls
4 calls:
15.0ms
(*.f64 (cbrt.f64 (/.f64 1 (cos.f64 (/.f64 x (*.f64 y 2))))) (cbrt.f64 (/.f64 1 (cos.f64 (/.f64 x (*.f64 y 2))))))
3.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))

series1.1s

Counts
4 → 12
Calls
4 calls:
368.0ms
(*.f64 (cbrt.f64 (/.f64 1 (cos.f64 (/.f64 x (*.f64 y 2))))) (cbrt.f64 (/.f64 1 (cos.f64 (/.f64 x (*.f64 y 2))))))
244.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
232.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
238.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01202555
11202555
047792293
147792293
01202555
11202555
047792293
147792293
013
113
01202555
11202555
047792293
147792293
01202555
11202555
047792293
147792293
013
113
01202555
11202555
047792293
147792293
01202555
11202555
047792293
147792293
013
113
0772850
1772850
08692736
18692736
0772850
1772850
08692736
18692736
013
113

simplify133.0ms

Counts
120 → 120
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
051053373

prune209.0ms

Filtered
75 candidates to 120 candidates (-60.0%)
Pruning

17 alts after pruning (17 fresh and 0 done)

PrunedKeptTotal
New1164120
Fresh51318
Picked101
Done000
Total12217139

Merged error: 28.3b

Counts
139 → 17

localize26.0ms

Local error

Found 4 expressions with local error:

28.6b
(cos.f64 (/.f64 x (*.f64 y 2)))
28.6b
(cos.f64 (/.f64 x (*.f64 y 2)))
28.6b
(cos.f64 (/.f64 x (*.f64 y 2)))
28.6b
(cos.f64 (/.f64 x (*.f64 y 2)))

rewrite15.0ms

Algorithm
rewrite-expression-head
Rules
4×add-log-exp_binary64_27847 add-exp-log_binary64_27846 add-sqr-sqrt_binary64_27867 add-cube-cbrt_binary64_27853 pow1_binary64_27824 *-un-lft-identity_binary64_27882 add-cbrt-cube_binary64_27854
Counts
4 → 28
Calls
4 calls:
3.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
5.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
3.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))

series939.0ms

Counts
4 → 12
Calls
4 calls:
233.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
234.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
235.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
236.0ms
(cos.f64 (/.f64 x (*.f64 y 2)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01202555
11202555
047792293
147792293
01202555
11202555
047792293
147792293
013
113
01202555
11202555
047792293
147792293
01202555
11202555
047792293
147792293
013
113
01202555
11202555
047792293
147792293
01202555
11202555
047792293
147792293
013
113
01202555
11202555
047792293
147792293
01202555
11202555
047792293
147792293
013
113

simplify272.0ms

Counts
40 → 40
Iterations

Useful iterations: 0 (252.0ms)

IterNodesCost
04723376
14723376

prune122.0ms

Filtered
32 candidates to 40 candidates (-25.0%)
Pruning

18 alts after pruning (18 fresh and 0 done)

PrunedKeptTotal
New38240
Fresh01616
Picked101
Done000
Total391857

Merged error: 28.3b

Counts
57 → 18

regimes248.0ms

Accuracy

0% (0.5b remaining)

Error of 28.8b against oracle of 28.3b and baseline of 28.8b

bsearch0.0ms

simplify7.0ms

Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
032117
132117

end0.0ms

sample2.4s

Algorithm
intervals
Results
699.0ms1382×body1280valid
656.0ms660×body2560valid
318.0ms987×body640valid
311.0ms4062×body80valid
148.0ms593×body320valid
65.0ms316×body160valid

Profiling

Loading profile data...