Details

Time bar (total: 54.1s)

analyze4.4s

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.4s

Algorithm
intervals
Results
3.4s475×body5120exit
738.0ms270×body1280overflowed
456.0ms2101×body80overflowed
383.0ms264×body640overflowed
97.0ms3546×pre80true
97.0ms117×body320overflowed
36.0ms249×body80valid
28.0ms61×body160overflowed
3.0msbody2560valid
2.0msbody1280valid
1.0msbody640valid
1.0msbody320valid
1.0msbody160valid
0.0msbody80invalid

simplify141.0ms

Counts
1 → 1
Iterations

Useful iterations: 0 (126.0ms)

IterNodesCost
0501168

prune3.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 4.2b

Counts
2 → 1

localize21.0ms

Local error

Found 4 expressions with local error:

0.3b
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
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.9b
(/.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)))

rewrite153.0ms

Algorithm
rewrite-expression-head
Rules
1192×add-exp-log_binary64
692×pow-exp_binary64
684×prod-exp_binary64
593×div-exp_binary64
344×pow-to-exp_binary64
116×1-exp_binary64 rec-exp_binary64
42×*-un-lft-identity_binary64
36×unpow-prod-down_binary64
33×add-sqr-sqrt_binary64
29×times-frac_binary64
22×add-cube-cbrt_binary64
16×add-cbrt-cube_binary64
pow1_binary64
pow-unpow_binary64 add-log-exp_binary64 distribute-lft-out_binary64 pow-pow_binary64 difference-of-squares_binary64
cbrt-unprod_binary64 cbrt-undiv_binary64 associate-/r/_binary64 div-inv_binary64 insert-posit16
flip3-+_binary64 sqr-pow_binary64 inv-pow_binary64 distribute-lft-out--_binary64 pow-flip_binary64 flip-+_binary64
associate-/r*_binary64 sub-neg_binary64 flip3--_binary64 diff-log_binary64 clear-num_binary64 frac-2neg_binary64 associate-/l*_binary64 flip--_binary64
Counts
4 → 475
Calls
4 calls:
13.0ms
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
10.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
9.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.1s

Counts
4 → 12
Calls
4 calls:
417.0ms
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
297.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
304.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.1s
(/.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 (8.0ms)

IterNodesCost
013142309
113142309
058741697
013142309
113142309
058741697
0502920
0451764
1451764
079
179
0451764
1451764
079
179
01121
11121
0451764
1451764
079
179
0451764
1451764
079
179
01121
11121
0452992
1452992
05221537
0452992
1452992
05221537
0496082
1496082

simplify285.0ms

Counts
487 → 487
Iterations

Useful iterations: 0 (90.0ms)

IterNodesCost
0501527369

prune199.0ms

Filtered
77 candidates to 487 candidates (-532.5%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New4843487
Fresh000
Picked101
Done000
Total4853488

Merged error: 0.1b

Counts
488 → 3

localize35.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))))
12.6b
(-.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)))))))
12.6b
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

rewrite60.0ms

Algorithm
rewrite-expression-head
Rules
42×*-un-lft-identity_binary64
38×log-prod_binary64
36×add-sqr-sqrt_binary64
15×associate--r+_binary64 associate--l+_binary64
14×pow1_binary64 difference-of-squares_binary64
12×distribute-lft-out--_binary64 log-div_binary64
10×add-cube-cbrt_binary64 log-pow_binary64
times-frac_binary64
add-exp-log_binary64
flip3-+_binary64 add-log-exp_binary64 flip3--_binary64 associate--l-_binary64 distribute-lft-out_binary64 associate--r-_binary64 add-cbrt-cube_binary64 insert-posit16 flip--_binary64 flip-+_binary64
sub-neg_binary64 diff-log_binary64 rem-log-exp_binary64 div-inv_binary64
Counts
4 → 104
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))))
31.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)))))))
14.0ms
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

series1.3s

Counts
4 → 12
Calls
4 calls:
294.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 t))))
299.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
424.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)))))))
305.0ms
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0418428
1418428
089
189
0418428
1418428
089
189
01121
11121
06681052
16681052
089
189
06681052
16681052
089
189
01121
11121
0299451
1299451
01515
11515
0299451
1299451
01515
11515
0490642
1490642
0299451
1299451
01515
11515
0299451
1299451
01515
11515
0490642
1490642

simplify146.0ms

Counts
116 → 116
Iterations

Useful iterations: 0 (109.0ms)

IterNodesCost
050033121

prune239.0ms

Filtered
87 candidates to 116 candidates (-33.3%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New1142116
Fresh112
Picked101
Done000
Total1163119

Merged error: 0.1b

Counts
119 → 3

localize43.0ms

Local error

Found 4 expressions with local error:

1.0b
(*.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)))))))
1.0b
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
12.5b
(-.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))
12.6b
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

rewrite61.0ms

Algorithm
rewrite-expression-head
Rules
63×add-sqr-sqrt_binary64
59×*-un-lft-identity_binary64
38×pow1_binary64
34×log-prod_binary64
29×difference-of-squares_binary64
27×log-pow_binary64
25×distribute-lft-out--_binary64
24×unpow-prod-down_binary64 cube-prod_binary64
13×add-cube-cbrt_binary64
11×distribute-lft-in_binary64 distribute-rgt-in_binary64
sqr-pow_binary64 times-frac_binary64
add-exp-log_binary64
add-log-exp_binary64 swap-sqr_binary64 add-cbrt-cube_binary64 log-div_binary64
associate--r+_binary64 associate-*r*_binary64 associate-*l*_binary64 insert-posit16 associate--l+_binary64
flip3-+_binary64 distribute-lft-out_binary64 flip-+_binary64
sub-neg_binary64 flip3--_binary64 associate--l-_binary64 diff-log_binary64 associate--r-_binary64 div-inv_binary64 flip--_binary64
pow-prod-down_binary64 difference-cubes_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 rem-log-exp_binary64 pow-plus_binary64 unswap-sqr_binary64 prod-exp_binary64 pow-sqr_binary64 pow2_binary64 *-commutative_binary64
Counts
4 → 144
Calls
4 calls:
19.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 s)))))))
5.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
17.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))
14.0ms
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

series1.9s

Counts
4 → 12
Calls
4 calls:
480.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 s)))))))
302.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
799.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))
299.0ms
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0418428
1418428
089
189
0418428
1418428
089
189
01121
11121
08601686
18601686
04797819
14797819
08601686
18601686
04797819
14797819
0498828
1498828
0299451
1299451
01515
11515
0299451
1299451
01515
11515
0490642
1490642
06301745
16301745
07972
17972
06301745
16301745
07972
17972
0496769
1496769

simplify191.0ms

Counts
156 → 156
Iterations

Useful iterations: 0 (135.0ms)

IterNodesCost
048946001
148946001

prune645.0ms

Filtered
86 candidates to 156 candidates (-81.4%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New1551156
Fresh112
Picked101
Done000
Total1572159

Merged error: 0.0b

Counts
159 → 2

localize46.0ms

Local error

Found 4 expressions with local error:

1.0b
(*.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)))))))
1.0b
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
1.0b
(*.f64 (log.f64 1/2) (log.f64 1/2))
12.6b
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

rewrite49.0ms

Algorithm
rewrite-expression-head
Rules
49×*-un-lft-identity_binary64
47×add-sqr-sqrt_binary64
40×log-prod_binary64
35×pow1_binary64
19×add-cube-cbrt_binary64
17×log-pow_binary64
14×distribute-lft-in_binary64 distribute-rgt-in_binary64
13×difference-of-squares_binary64
12×swap-sqr_binary64
add-exp-log_binary64
associate-*r*_binary64 add-cbrt-cube_binary64 associate-*l*_binary64 distribute-lft-out--_binary64 times-frac_binary64
log-div_binary64
add-log-exp_binary64 associate--r+_binary64 insert-posit16 associate--l+_binary64
flip3-+_binary64 distribute-lft-out_binary64 flip-+_binary64
pow-prod-down_binary64 associate--l-_binary64 cbrt-unprod_binary64 pow-prod-up_binary64 associate--r-_binary64 pow-plus_binary64 unswap-sqr_binary64 prod-exp_binary64 div-inv_binary64 pow-sqr_binary64 pow2_binary64 *-commutative_binary64
sub-neg_binary64 flip3--_binary64 diff-log_binary64 rem-log-exp_binary64 flip--_binary64
Counts
4 → 135
Calls
4 calls:
19.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 s)))))))
5.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
6.0ms
(*.f64 (log.f64 1/2) (log.f64 1/2))
14.0ms
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))

series1.1s

Counts
4 → 10
Calls
4 calls:
480.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 s)))))))
296.0ms
(log.f64 (+.f64 1 (exp.f64 (neg.f64 s))))
0.0ms
(*.f64 (log.f64 1/2) (log.f64 1/2))
296.0ms
(-.f64 (log.f64 (+.f64 1 (exp.f64 (neg.f64 s)))) (log.f64 (+.f64 1 (exp.f64 (neg.f64 t)))))
Iterations

Useful iterations: 0 (7.0ms)

IterNodesCost
0418428
1418428
089
189
0418428
1418428
089
189
01121
11121
0299451
1299451
01515
11515
0299451
1299451
01515
11515
0490642
1490642
06301745
16301745
07972
17972
06301745
16301745
07972
17972
0496769
1496769

simplify135.0ms

Counts
145 → 145
Iterations

Useful iterations: 0 (89.0ms)

IterNodesCost
049363592
149363592

prune486.0ms

Filtered
82 candidates to 145 candidates (-76.8%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New1450145
Fresh011
Picked011
Done000
Total1452147

Merged error: 0.0b

Counts
147 → 2

regimes56.0ms

bsearch0.0ms

simplify11.0ms

Iterations

Useful iterations: 0 (6.0ms)

IterNodesCost
0202148
1202148

end0.0ms

sample34.9s

Algorithm
intervals
Results
22.4s3293×body5120exit
4.7s1859×body1280overflowed
2.9s14697×body80overflowed
2.3s1711×body640overflowed
676.0ms851×body320overflowed
567.0ms24506×pre80true
214.0ms1662×body80valid
167.0ms380×body160overflowed
32.0ms13×body1280valid
15.0ms13×body640valid
13.0msbody2560valid
7.0msbody5120valid
6.0ms16×body160valid
3.0msbody320valid
1.0msbody80invalid

Profiling

Loading profile data...