Details

Time bar (total: 2.9s)

analyze1.2s

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
0%100%0%4
0%100%0%5
0%100%0%6
0%100%0%7
0%100%0%8
0%100%0%9
0%100%0%10
0%100%0%11
0%100%0%12
0%100%0%13
0.1%99.9%0%14

sample189.0ms

Algorithm
intervals
Results
96.0ms48×body2560valid
57.0ms83×body1280valid
18.0ms67×body640valid
6.0ms28×body320valid
2.0ms15×body160valid
1.0ms15×body80valid

simplify218.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (76.0ms)

IterNodesCost
099114
199114

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 31.2b

Counts
2 → 1

localize10.0ms

Local error

Found 3 expressions with local error:

0.0b
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
1.4b
(-.f64 x (tan.f64 x))
1.4b
(-.f64 x (sin.f64 x))

rewrite218.0ms

Algorithm
rewrite-expression-head
Rules
43×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
25×times-frac_binary64
15×add-cube-cbrt_binary64
14×difference-of-squares_binary64 distribute-lft-out--_binary64
add-log-exp_binary64
associate-/r*_binary64 add-exp-log_binary64 add-cbrt-cube_binary64 associate-/l*_binary64
flip3--_binary64 flip--_binary64
pow1_binary64 insert-posit16
associate-/l/_binary64 sub-neg_binary64 diff-log_binary64 associate-/r/_binary64
cbrt-undiv_binary64 div-sub_binary64 clear-num_binary64 frac-2neg_binary64 div-inv_binary64 div-exp_binary64
Counts
3 → 81
Calls
3 calls:
10.0ms
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
4.0ms
(-.f64 x (tan.f64 x))
198.0ms
(-.f64 x (sin.f64 x))

series978.0ms

Counts
3 → 9
Calls
3 calls:
518.0ms
(/.f64 (-.f64 x (sin.f64 x)) (-.f64 x (tan.f64 x)))
226.0ms
(-.f64 x (tan.f64 x))
234.0ms
(-.f64 x (sin.f64 x))
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
0167305
1167305
075193
175193
0167305
1167305
075193
175193
05183192
0277583
1277583
0127257
1127257
0277583
1277583
0127257
1127257
05130217
012311520
112311520
0971205
1971205
012311520
112311520
0971205
1971205
052071010

simplify95.0ms

Counts
90 → 90
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
050062933

prune21.0ms

Filtered
70 candidates to 90 candidates (-28.6%)

Profiling

Loading profile data...