Details

Time bar (total: 29.0s)

analyze4.3s

Algorithm
search
Search
TrueOtherFalseIter
0%25%75%0
0%25%75%1
0%25%75%2
0%25%75%3
0%25%75%4
0%25%75%5
0%25%75%6
0%25%75%7
0%25%75%8
1.6%23.4%75%9
1.6%23.4%75%10
1.6%23.4%75%11
1.6%23.4%75%12
1.6%23.4%75%13
1.6%23.4%75%14

sample5.3s

Algorithm
intervals
Results
3.5s506×body5120exit
687.0ms262×body1280overflowed
429.0ms2141×body80overflowed
339.0ms244×body640overflowed
94.0ms115×body320overflowed
88.0ms3575×pre80true
31.0ms254×body80valid
22.0ms51×body160overflowed
3.0ms1×body1280valid
0.0ms1×body160valid

simplify137.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (122.0ms)

IterNodesCost
0495668
1495668

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 3.0b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.0b
(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))
0.5b
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
0.7b
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.7b
(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

rewrite152.0ms

Algorithm
rewrite-expression-head
Rules
1196×add-exp-log_binary64
692×pow-exp_binary64
684×prod-exp_binary64
595×div-exp_binary64
344×pow-to-exp_binary64
117×1-exp_binary64 rec-exp_binary64
51×*-un-lft-identity_binary64
37×times-frac_binary64
36×unpow-prod-down_binary64
31×add-cube-cbrt_binary64 add-sqr-sqrt_binary64
18×add-cbrt-cube_binary64
10×distribute-lft-out_binary64
9×pow1_binary64
6×pow-unpow_binary64 pow-pow_binary64 associate-/r/_binary64
5×associate-/r*_binary64 cbrt-undiv_binary64
4×add-log-exp_binary64 cbrt-unprod_binary64 associate-/l*_binary64 div-inv_binary64 insert-posit16
3×flip3-+_binary64 inv-pow_binary64 pow-flip_binary64 flip-+_binary64
2×sqr-pow_binary64 clear-num_binary64 frac-2neg_binary64
Counts
4 → 493
Calls
4 calls:
8.0ms
(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))
10.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
10.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
63.0ms
(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

series2.0s

Counts
4 → 12
Calls
4 calls:
269.0ms
(/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))
238.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
236.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.2s
(/.f64 (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))) c_n)) (*.f64 (pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
029802860
129802860
029802860
129802860
013
113
0655581
1655581
0655581
1655581
013
113
0655581
1655581
0655581
1655581
013
113
0460880
1460880
0460880
1460880
0507436

simplify280.0ms

Counts
505 → 505
Iterations

Useful iterations: 0 (85.0ms)

IterNodesCost
0496027729
1496027729

prune220.0ms

Filtered
82 candidates to 505 candidates (-515.9%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New5032505
Fresh000
Picked101
Done000
Total5042506

Merged error: 1.0b

Counts
506 → 2

localize27.0ms

Local error

Found 4 expressions with local error:

0.5b
(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
1.0b
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
5.1b
(-.f64 (+.f64 (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
9.9b
(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))

rewrite62.0ms

Algorithm
rewrite-expression-head
Rules
38×*-un-lft-identity_binary64 log-prod_binary64
34×add-sqr-sqrt_binary64
19×associate--r+_binary64
13×difference-of-squares_binary64
12×associate--l+_binary64
10×pow1_binary64 add-cube-cbrt_binary64
9×add-log-exp_binary64
8×distribute-lft-out--_binary64 times-frac_binary64 log-div_binary64
6×log-pow_binary64 add-exp-log_binary64
4×flip3--_binary64 distribute-lft-out_binary64 add-cbrt-cube_binary64 distribute-lft-in_binary64 distribute-rgt-in_binary64 insert-posit16 flip--_binary64
3×diff-log_binary64
2×flip3-+_binary64 sub-neg_binary64 associate--l-_binary64 associate--r-_binary64 rem-log-exp_binary64 div-inv_binary64 flip-+_binary64
1×sum-log_binary64
Counts
4 → 97
Calls
4 calls:
5.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
5.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
14.0ms
(-.f64 (+.f64 (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
33.0ms
(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))

series1.7s

Counts
4 → 12
Calls
4 calls:
223.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
221.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
749.0ms
(-.f64 (+.f64 (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (*.f64 c_n (-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
506.0ms
(-.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
014161602
114161602
014161602
114161602
013
113
023871960
123871960
023871960
123871960
013
113
0475600
1475600
0475600
1475600
0497134
1497134
0475600
1475600
0475600
1475600
0497134
1497134

simplify132.0ms

Counts
109 → 109
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
051313935

prune224.0ms

Filtered
82 candidates to 109 candidates (-32.9%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1072109
Fresh011
Picked101
Done000
Total1083111

Merged error: 0.2b

Counts
111 → 3

localize3.0ms

rewrite0.0ms

Algorithm
rewrite-expression-head
Rules
Counts
0 → 0

series0.0ms

Counts
0 → 0

simplify19.0ms

Counts
0 → 0
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
000

prune5.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New000
Fresh022
Picked011
Done000
Total033

Merged error: 0.2b

Counts
3 → 3

localize40.0ms

Local error

Found 4 expressions with local error:

1.0b
(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)
1.0b
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
5.0b
(-.f64 (+.f64 (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (*.f64 c_n (/.f64 (-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)) (+.f64 (*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))) (*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) (+.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
9.8b
(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))

rewrite46.0ms

Algorithm
rewrite-expression-head
Rules
34×*-un-lft-identity_binary64 add-sqr-sqrt_binary64
28×unpow-prod-down_binary64 cube-prod_binary64
24×pow1_binary64
19×log-pow_binary64
17×distribute-lft-out--_binary64
16×difference-of-squares_binary64
12×log-prod_binary64
11×add-log-exp_binary64
10×add-cube-cbrt_binary64
9×sqr-pow_binary64
8×associate--r+_binary64
6×add-exp-log_binary64
5×add-cbrt-cube_binary64
4×distribute-lft-in_binary64 distribute-rgt-in_binary64 insert-posit16
3×pow-unpow_binary64 diff-log_binary64 distribute-lft-out_binary64
2×sub-neg_binary64 flip3--_binary64 log-div_binary64 flip--_binary64
1×pow-to-exp_binary64 difference-cubes_binary64 flip3-+_binary64 rem-log-exp_binary64 pow-pow_binary64 rem-cube-cbrt_binary64 flip-+_binary64 pow-exp_binary64 unpow3_binary64 associate--l+_binary64 sum-log_binary64 cube-mult_binary64
Counts
4 → 110
Calls
4 calls:
3.0ms
(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)
5.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
15.0ms
(-.f64 (+.f64 (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (*.f64 c_n (/.f64 (-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)) (+.f64 (*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))) (*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) (+.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
18.0ms
(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))

series2.4s

Counts
4 → 12
Calls
4 calls:
553.0ms
(pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)
227.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
1.0s
(-.f64 (+.f64 (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))) (*.f64 c_n (/.f64 (-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3)) (+.f64 (*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s))))))) (*.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) (+.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))))))))) (*.f64 c_p (log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))))
593.0ms
(-.f64 (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))) 3) (pow.f64 (log.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))))) 3))
Iterations

Useful iterations: 0 (5.0ms)

IterNodesCost
017131908
117131908
017131908
117131908
013
113
035263498
135263498
035263498
135263498
013
113
0475600
1475600
0475600
1475600
0497134
1497134
013881444
113881444
013881444
113881444
0534553

simplify128.0ms

Counts
122 → 122
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
049277463
149277463

prune594.0ms

Filtered
67 candidates to 122 candidates (-82.1%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1220122
Fresh011
Picked011
Done011
Total1223125

Merged error: 0.2b

Counts
125 → 3

regimes121.0ms

bsearch0.0ms

simplify5.0ms

Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
061
161

end0.0ms

sample11.1s

Algorithm
intervals
Results
7.2s1087×body5120exit
1.5s592×body1280overflowed
914.0ms4680×body80overflowed
754.0ms560×body640overflowed
187.0ms251×body320overflowed
178.0ms7841×pre80true
66.0ms543×body80valid
51.0ms115×body160overflowed
9.0ms4×body1280valid
6.0ms1×body5120valid
2.0ms2×body640valid
1.0ms4×body160valid
1.0ms2×body320valid

Profiling

Loading profile data...