Details

Time bar (total: 1.7s)

analyze315.0ms

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
25%75%0%3
25%62.5%12.5%4
25%56.2%18.8%5
28.1%50%21.9%6
29.7%46.9%23.5%7
30.5%45.3%24.3%8
30.8%44.9%24.3%9
31.2%44.5%24.3%10
31.3%44.4%24.3%11
31.4%44.3%24.3%12
31.4%44.2%24.3%13
31.5%44.2%24.3%14

sample28.0ms

Algorithm
intervals
Results
12.0ms75×body1280valid
6.0ms51×body640valid
2.0ms28×body320valid
2.0ms89×body80valid
1.0ms13×body160valid

simplify297.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
01111
11111

prune1.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 42.0b

Counts
2 → 1

localize4.0ms

Local error

Found 2 expressions with local error:

0.5b
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
3.8b
(-.f64 (exp.f64 x) 1)

rewrite205.0ms

Algorithm
rewrite-expression-head
Rules
34×add-sqr-sqrt_binary64_6070
29×*-un-lft-identity_binary64_6085
21×times-frac_binary64_6080
14×add-cube-cbrt_binary64_6056
10×difference-of-squares_binary64_6114
associate-/r*_binary64_6148
difference-of-sqr-1_binary64_6115 distribute-lft-out--_binary64_6130
add-log-exp_binary64_6050 add-cbrt-cube_binary64_6057
add-exp-log_binary64_6049 associate-/l*_binary64_6149
pow1_binary64_6027 associate-/r/_binary64_6150 flip--_binary64_6111 flip3--_binary64_6084
div-exp_binary64_6034 frac-2neg_binary64_6078 div-inv_binary64_6086 sub-neg_binary64_6089 clear-num_binary64_6088 cbrt-undiv_binary64_6055 diff-log_binary64_5996
Counts
2 → 60
Calls
2 calls:
9.0ms
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
193.0ms
(-.f64 (exp.f64 x) 1)

series683.0ms

Counts
2 → 6
Calls
2 calls:
394.0ms
(/.f64 (exp.f64 x) (-.f64 (exp.f64 x) 1))
289.0ms
(-.f64 (exp.f64 x) 1)
Iterations

Useful iterations: 0 (65.0ms)

IterNodesCost
0781150
1781150
049691034
149691034
0781150
1781150
049691034
149691034
04973974
14973974
01851705
11851705
058151420
01851705
11851705
058151420
050561422

simplify108.0ms

Counts
66 → 66
Iterations

Useful iterations: 0 (80.0ms)

IterNodesCost
053183409

prune12.0ms

Filtered
46 candidates to 66 candidates (-43.5%)

Profiling

Loading profile data...