Details

Time bar (total: 3.0s)

analyze775.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
0%99.9%0.1%7
0%74.9%25.1%8
0%74.9%25.1%9
9.4%65.5%25.1%10
9.4%53%37.6%11
14%48.4%37.6%12
16.4%46%37.6%13
16.4%39.8%43.8%14

sample62.0ms

Algorithm
intervals
Results
13.0ms30×body1280valid
12.0ms170×body80valid
8.0ms29×body640valid
5.0ms16×body1280nan
4.0ms19×body320valid
3.0ms14×body640nan
3.0ms41×body80nan
2.0ms12×body320nan
1.0ms8×body160valid
1.0ms8×body160nan

simplify395.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
0505641

prune2.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 40.8b

Counts
2 → 1

localize17.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))))
0.5b
(*.f64 (sqrt.f64 2) t)
11.1b
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
19.2b
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

rewrite274.0ms

Algorithm
rewrite-expression-head
Rules
17×add-sqr-sqrt_binary64_685
13×sqrt-prod_binary64_679
12×*-un-lft-identity_binary64_700 add-cube-cbrt_binary64_671
11×add-exp-log_binary64_664 add-cbrt-cube_binary64_672
7×pow1_binary64_642
6×associate-*l*_binary64_760 times-frac_binary64_695 associate-/r*_binary64_763 add-log-exp_binary64_665
4×sqrt-div_binary64_680
3×associate-*r*_binary64_759 flip--_binary64_726 flip3--_binary64_699
2×unswap-sqr_binary64_728 associate-/r/_binary64_765 cbrt-unprod_binary64_669 div-exp_binary64_649 cbrt-undiv_binary64_670 prod-exp_binary64_647 associate--l+_binary64_756
1×rem-sqrt-square_binary64_688 sub-neg_binary64_704 clear-num_binary64_703 div-inv_binary64_701 associate-/l*_binary64_764 distribute-rgt-in_binary64_743 pow-prod-down_binary64_623 sqrt-pow1_binary64_681 distribute-lft-in_binary64_742 pow1/2_binary64_632 frac-2neg_binary64_693 diff-log_binary64_611 *-commutative_binary64_768
Counts
4 → 79
Calls
4 calls:
24.0ms
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))))
6.0ms
(*.f64 (sqrt.f64 2) t)
18.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
223.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))

series1.3s

Counts
4 → 12
Calls
4 calls:
342.0ms
(/.f64 (*.f64 (sqrt.f64 2) t) (sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))))
445.0ms
(*.f64 (sqrt.f64 2) t)
278.0ms
(-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l))
280.0ms
(sqrt.f64 (-.f64 (*.f64 (/.f64 (+.f64 x 1) (-.f64 x 1)) (+.f64 (*.f64 l l) (*.f64 2 (*.f64 t t)))) (*.f64 l l)))
Iterations

Useful iterations: 0 (137.0ms)

IterNodesCost
0873900
1873900
053033762
0873900
1873900
053033762
056983812
0843882
1843882
053003744
0843882
1843882
053003744
056973794
01181394
11181394
04822898
14822898
01181394
11181394
04822898
14822898
04998952
14998952
04843996
14843996
055793840
04843996
14843996
055793840
052283884

simplify121.0ms

Counts
91 → 91
Iterations

Useful iterations: 0 (67.0ms)

IterNodesCost
0512315219

prune50.0ms

Filtered
73 candidates to 91 candidates (-24.7%)

Profiling

Loading profile data...