Details

Time bar (total: 1.1s)

analyze36.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
25%74.9%0.1%3
25%74.9%0.1%4
43.7%56.2%0.1%5
46.8%53.1%0.1%6
78%21.9%0.1%7
82.7%17.2%0.1%8
89%10.9%0.1%9
91.3%8.6%0.1%10
94.4%5.5%0.1%11
95.6%4.3%0.1%12
97.2%2.7%0.1%13
97.8%2.1%0.1%14

sample11.0ms

Algorithm
intervals
Results
5.0ms256×body80valid

simplify565.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (59.0ms)

IterNodesCost
066510
166510

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 1

localize5.0ms

Local error

Found 1 expressions with local error:

0.0b
(/.f64 (-.f64 x y) (-.f64 1 y))

rewrite20.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt_binary64_26892 *-un-lft-identity_binary64_26907
30×times-frac_binary64_26902
19×difference-of-squares_binary64_26936
14×add-cube-cbrt_binary64_26878
13×distribute-lft-out--_binary64_26952
6×associate-/r*_binary64_26970
5×associate-/l*_binary64_26971
3×add-cbrt-cube_binary64_26879 add-exp-log_binary64_26871
2×associate-/l/_binary64_26973 flip--_binary64_26933 associate-/r/_binary64_26972 flip3--_binary64_26906
1×clear-num_binary64_26910 cbrt-undiv_binary64_26877 div-exp_binary64_26856 frac-2neg_binary64_26900 pow1_binary64_26849 div-sub_binary64_26901 add-log-exp_binary64_26872 div-inv_binary64_26908
Counts
1 → 58
Calls
1 calls:
17.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))

series352.0ms

Counts
1 → 3
Calls
1 calls:
352.0ms
(/.f64 (-.f64 x y) (-.f64 1 y))
Iterations

Useful iterations: 0 (167.0ms)

IterNodesCost
02902456
12902456
0182250
1182250
02902456
12902456
0182250
1182250
048691683
148691683

simplify86.0ms

Counts
61 → 61
Iterations

Useful iterations: 0 (61.0ms)

IterNodesCost
050702791

prune11.0ms

Filtered
40 candidates to 61 candidates (-52.5%)

Profiling

Loading profile data...