Details

Time bar (total: 5.5s)

analyze2.5s

Algorithm
search
Search
TrueOtherFalseIter
0%99.7%0.3%0
0%99.7%0.3%1
0%99.7%0.3%2
0%99.7%0.3%3
0%99.7%0.3%4
0%99.7%0.3%5
0%99.7%0.3%6
0%98.1%1.9%7
0%98.1%1.9%8
0%97.8%2.2%9
0%96.8%3.2%10
0%96.3%3.7%11
0%94.3%5.7%12
0.4%92.1%7.5%13
0.6%90.8%8.6%14

sample92.0ms

Algorithm
intervals
Results
35.0ms366×body80nan
28.0ms256×body80valid
4.0ms39×body80invalid

simplify562.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (97.0ms)

IterNodesCost
0545439

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 30.5b

Counts
2 → 2

localize17.0ms

Local error

Found 4 expressions with local error:

6.1b
(*.f64 (/.f64 l Om) (-.f64 U* U))
7.8b
(*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))
10.0b
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
19.1b
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1_binary64_1649
27×add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
21×add-sqr-sqrt_binary64_1692
17×associate-*l*_binary64_1767
16×pow-prod-down_binary64_1630 *-un-lft-identity_binary64_1707
14×add-cube-cbrt_binary64_1678
13×associate-*r/_binary64_1768 prod-exp_binary64_1654 cbrt-unprod_binary64_1676
10×times-frac_binary64_1702
9×associate-*r*_binary64_1766
6×distribute-rgt-in_binary64_1750 distribute-lft-in_binary64_1749 sub-neg_binary64_1711
4×add-log-exp_binary64_1672 flip3--_binary64_1706 flip--_binary64_1733 sqrt-pow1_binary64_1688 frac-times_binary64_1699
3×*-commutative_binary64_1775
2×flip3-+_binary64_1705 cbrt-undiv_binary64_1677 div-exp_binary64_1656 flip-+_binary64_1732 sqrt-div_binary64_1687 associate-*l/_binary64_1769 unswap-sqr_binary64_1735
1×difference-of-squares_binary64_1736 sqrt-prod_binary64_1686 pow1/2_binary64_1639 distribute-lft-out--_binary64_1752 div-inv_binary64_1708
Counts
4 → 109
Calls
4 calls:
11.0ms
(*.f64 (/.f64 l Om) (-.f64 U* U))
12.0ms
(*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))
12.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
9.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))

series1.0s

Counts
4 → 12
Calls
4 calls:
244.0ms
(*.f64 (/.f64 l Om) (-.f64 U* U))
240.0ms
(*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))
265.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U)))))))
267.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 n (*.f64 (/.f64 l Om) (-.f64 U* U))))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01156807
11156807
049826579
149826579
01156807
11156807
049826579
149826579
013
113
01126789
11126789
050196567
01126789
11126789
050196567
013
113
0825502
1825502
055195400
0825502
1825502
055195400
013
113
0724524
1724524
049753396
149753396
0724524
1724524
049753396
149753396
013
113

simplify81.0ms

Counts
121 → 121
Iterations

Useful iterations: 0 (45.0ms)

IterNodesCost
055202610

prune145.0ms

Filtered
77 candidates to 121 candidates (-57.1%)
Pruning

13 alts after pruning (13 fresh and 0 done)

PrunedKeptTotal
New10813121
Fresh101
Picked101
Done000
Total11013123

Merged error: 24.9b

Counts
123 → 13

localize17.0ms

Local error

Found 4 expressions with local error:

5.9b
(*.f64 n (/.f64 l Om))
7.8b
(*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))
10.0b
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))))))
19.1b
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U)))))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
30×pow1_binary64_1649
27×add-exp-log_binary64_1671 add-cbrt-cube_binary64_1679
21×associate-*r*_binary64_1766 add-sqr-sqrt_binary64_1692
16×pow-prod-down_binary64_1630 *-un-lft-identity_binary64_1707
14×add-cube-cbrt_binary64_1678
13×prod-exp_binary64_1654 cbrt-unprod_binary64_1676
10×associate-*r/_binary64_1768 times-frac_binary64_1702
5×associate-*l*_binary64_1767
4×add-log-exp_binary64_1672 sqrt-pow1_binary64_1688
3×*-commutative_binary64_1775
2×flip3-+_binary64_1705 cbrt-undiv_binary64_1677 div-exp_binary64_1656 flip-+_binary64_1732 sqrt-div_binary64_1687 flip3--_binary64_1706 flip--_binary64_1733 distribute-rgt-in_binary64_1750 distribute-lft-in_binary64_1749 sub-neg_binary64_1711 unswap-sqr_binary64_1735 frac-times_binary64_1699
1×difference-of-squares_binary64_1736 sqrt-prod_binary64_1686 pow1/2_binary64_1639 associate-*l/_binary64_1769 distribute-lft-out--_binary64_1752 div-inv_binary64_1708
Counts
4 → 101
Calls
4 calls:
8.0ms
(*.f64 n (/.f64 l Om))
12.0ms
(*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))
11.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))))))
10.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U)))))))

series941.0ms

Calls
3 calls:
227.0ms
(*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))
263.0ms
(*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U))))))
339.0ms
(sqrt.f64 (*.f64 (*.f64 (*.f64 2 n) U) (+.f64 t (*.f64 (/.f64 l Om) (+.f64 (*.f64 l -2) (*.f64 (*.f64 n (/.f64 l Om)) (-.f64 U* U)))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
01156807
11156807
057736579
01156807
11156807
057736579
013
113
01126789
11126789
049706567
149706567
01126789
11126789
049706567
149706567
013
113
0825502
1825502
055015400
0825502
1825502
055015400
013
113
0623546
1623546
04779724
14779724

Profiling

Loading profile data...