Details

Time bar (total: 3.3s)

analyze237.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%87.4%12.6%6
20.3%59.3%20.4%7
21.1%51.5%27.4%8
35.5%30.4%34%9
35.7%26.1%38.1%10
42.8%15.4%41.8%11
42.9%13.2%44%12
46.4%7.8%45.8%13
46.4%6.6%47%14

sample73.0ms

Algorithm
intervals
Results
32.0ms57×body1280valid
14.0ms32×body640valid
11.0ms136×body80valid
6.0ms24×body320valid
1.0ms7×body160valid
1.0ms8×body80overflowed
0.0ms5×body80invalid

simplify126.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (111.0ms)

IterNodesCost
0490941
1490941

prune5.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New101
Fresh011
Picked000
Done000
Total112

Merged error: 28.7b

Counts
2 → 1

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x))))
0.0b
(*.f64 (+.f64 1 eps) x)
0.0b
(*.f64 (-.f64 1 eps) x)
2.4b
(-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

rewrite68.0ms

Algorithm
rewrite-expression-head
Rules
81×frac-sub_binary64
76×exp-neg_binary64 frac-times_binary64
57×neg-sub0_binary64 exp-diff_binary64
42×associate-*l/_binary64
38×associate-*r/_binary64
31×flip3-+_binary64 flip-+_binary64
29×flip3--_binary64 flip--_binary64
19×add-sqr-sqrt_binary64 un-div-inv_binary64
18×*-un-lft-identity_binary64
15×associate-*l*_binary64
10×pow1_binary64 add-cube-cbrt_binary64 add-cbrt-cube_binary64
9×associate-*r*_binary64 add-exp-log_binary64
6×add-log-exp_binary64
4×insert-posit16
3×pow-prod-down_binary64 cbrt-unprod_binary64 distribute-lft-out_binary64 unswap-sqr_binary64 prod-exp_binary64 *-commutative_binary64
2×difference-of-squares_binary64
1×sub-neg_binary64 diff-log_binary64 distribute-lft-out--_binary64 div-inv_binary64
Counts
4 → 169
Calls
4 calls:
16.0ms
(*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x))))
8.0ms
(*.f64 (+.f64 1 eps) x)
9.0ms
(*.f64 (-.f64 1 eps) x)
22.0ms
(-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))

series1.9s

Counts
4 → 12
Calls
4 calls:
444.0ms
(*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x))))
372.0ms
(*.f64 (+.f64 1 eps) x)
373.0ms
(*.f64 (-.f64 1 eps) x)
684.0ms
(-.f64 (*.f64 (+.f64 1 (/.f64 1 eps)) (exp.f64 (neg.f64 (*.f64 (-.f64 1 eps) x)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
010631925
110631925
049631609
149631609
010631925
110631925
049631609
149631609
013
113
0329446
1329446
056272
156272
0329446
1329446
056272
156272
0514012
0331446
1331446
045226
145226
0331446
1331446
045226
145226
0514012
07231355
17231355
01799
11799
07231355
17231355
01799
11799
013
113

simplify251.0ms

Counts
181 → 181
Iterations

Useful iterations: 0 (174.0ms)

IterNodesCost
049638484
149638484

prune275.0ms

Filtered
99 candidates to 181 candidates (-82.8%)
Pruning

16 alts after pruning (16 fresh and 0 done)

PrunedKeptTotal
New16516181
Fresh000
Picked101
Done000
Total16616182

Merged error: 28.0b

Counts
182 → 16

localize19.0ms

Local error

Found 4 expressions with local error:

0.0b
(*.f64 (-.f64 1 eps) x)
0.2b
(/.f64 (/.f64 1 eps) eps)
9.8b
(-.f64 (/.f64 (-.f64 1 (/.f64 (/.f64 1 eps) eps)) (*.f64 (exp.f64 (*.f64 (-.f64 1 eps) x)) (-.f64 1 (/.f64 1 eps)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))
20.5b
(/.f64 (-.f64 1 (/.f64 (/.f64 1 eps) eps)) (*.f64 (exp.f64 (*.f64 (-.f64 1 eps) x)) (-.f64 1 (/.f64 1 eps))))

rewrite105.0ms

Algorithm
rewrite-expression-head
Rules
109×times-frac_binary64
97×add-sqr-sqrt_binary64
71×*-un-lft-identity_binary64
50×add-cube-cbrt_binary64
27×associate-/l*_binary64
22×difference-of-squares_binary64
19×add-exp-log_binary64
16×add-cbrt-cube_binary64
10×div-inv_binary64
9×pow1_binary64 frac-sub_binary64
8×div-exp_binary64
7×flip3--_binary64 flip--_binary64
6×add-log-exp_binary64 associate-*l*_binary64
5×cbrt-undiv_binary64
4×associate-/r*_binary64 associate-*r/_binary64 exp-neg_binary64 insert-posit16 frac-times_binary64 associate-*l/_binary64
3×associate-/l/_binary64 associate-*r*_binary64 neg-sub0_binary64 exp-diff_binary64 distribute-lft-out--_binary64
2×cbrt-unprod_binary64 pow-div_binary64 associate-/r/_binary64 div-sub_binary64 clear-num_binary64 prod-exp_binary64 frac-2neg_binary64
1×pow-prod-down_binary64 sub-neg_binary64 associate--l-_binary64 diff-log_binary64 1-exp_binary64 unswap-sqr_binary64 inv-pow_binary64 rec-exp_binary64 un-div-inv_binary64 pow-flip_binary64 *-commutative_binary64
Counts
4 → 170
Calls
4 calls:
9.0ms
(*.f64 (-.f64 1 eps) x)
8.0ms
(/.f64 (/.f64 1 eps) eps)
44.0ms
(-.f64 (/.f64 (-.f64 1 (/.f64 (/.f64 1 eps) eps)) (*.f64 (exp.f64 (*.f64 (-.f64 1 eps) x)) (-.f64 1 (/.f64 1 eps)))) (*.f64 (-.f64 (/.f64 1 eps) 1) (exp.f64 (neg.f64 (*.f64 (+.f64 1 eps) x)))))
34.0ms
(/.f64 (-.f64 1 (/.f64 (/.f64 1 eps) eps)) (*.f64 (exp.f64 (*.f64 (-.f64 1 eps) x)) (-.f64 1 (/.f64 1 eps))))

series207.0ms

Iterations

Useful iterations: 0 (189.0ms)

IterNodesCost
012092395
112092395

Profiling

Loading profile data...