Details

Time bar (total: 1.8min)

analyze4.5s

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

Algorithm
intervals
Results
3.8s505×body5120exit
770.0ms294×body1280overflowed
488.0ms2256×body80overflowed
335.0ms228×body640overflowed
94.0ms3720×pre80true
94.0ms112×body320overflowed
35.0ms252×body80valid
32.0ms69×body160overflowed
9.0ms1×body5120valid
2.0ms2×body640valid
2.0ms1×body1280valid

simplify90.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (79.0ms)

IterNodesCost
0498968
1498968

prune7.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 5.0b

Counts
2 → 1

localize33.0ms

Local error

Found 4 expressions with local error:

0.1b
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
0.5b
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
1.0b
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
2.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)))

rewrite103.0ms

Algorithm
rewrite-expression-head
Rules
844×add-exp-log_binary64_538
480×prod-exp_binary64_525
454×pow-exp_binary64_498
354×div-exp_binary64_527
258×pow-to-exp_binary64_499
98×rec-exp_binary64_526
42×*-un-lft-identity_binary64_574
36×unpow-prod-down_binary64_509
33×add-sqr-sqrt_binary64_559
29×times-frac_binary64_569
22×add-cube-cbrt_binary64_545
16×add-cbrt-cube_binary64_546
8×pow1_binary64_520
6×pow-pow_binary64_502 pow-unpow_binary64_507 distribute-lft-out_binary64_618 difference-of-squares_binary64_603 add-log-exp_binary64_539
4×associate-/r/_binary64_639 div-inv_binary64_575 cbrt-unprod_binary64_543 cbrt-undiv_binary64_544
2×inv-pow_binary64_496 sqr-pow_binary64_606 pow-flip_binary64_504 flip3-+_binary64_572 flip-+_binary64_599 distribute-lft-out--_binary64_619
1×flip3--_binary64_573 associate-/l*_binary64_638 frac-2neg_binary64_567 diff-log_binary64_490 clear-num_binary64_577 sub-neg_binary64_578 associate-/r*_binary64_637 flip--_binary64_600
Counts
4 → 364
Calls
4 calls:
10.0ms
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
8.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
8.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
49.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)))

series935.0ms

Counts
4 → 12
Calls
4 calls:
32.0ms
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
65.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
64.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t)))) c_p)
774.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)))

simplify217.0ms

Algorithm
egg-herbie
Counts
376 → 376
Iterations

Useful iterations: 0 (66.0ms)

IterNodesCost
0500621466

prune348.0ms

Filtered
69 candidates to 376 candidates (-444.9%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New3742376
Fresh000
Picked101
Done000
Total3752377

Merged error: 0.5b

Counts
377 → 2

localize219.0ms

Local error

Found 1 expressions with local error:

0.0b
(*.f64 1/2 (*.f64 c_n s))

rewrite5.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1_binary64_520 add-cbrt-cube_binary64_546 add-exp-log_binary64_538
3×associate-*l*_binary64_634 cbrt-unprod_binary64_543 pow-prod-down_binary64_501 prod-exp_binary64_525
2×*-un-lft-identity_binary64_574 add-cube-cbrt_binary64_545 add-sqr-sqrt_binary64_559
1×associate-*r*_binary64_633 *-commutative_binary64_642 add-log-exp_binary64_539
Counts
1 → 18
Calls
1 calls:
5.0ms
(*.f64 1/2 (*.f64 c_n s))

series15.0ms

Counts
1 → 3
Calls
1 calls:
15.0ms
(*.f64 1/2 (*.f64 c_n s))

simplify66.0ms

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (56.0ms)

IterNodesCost
05175176

prune49.0ms

Filtered
11 candidates to 21 candidates (-90.9%)
Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New21021
Fresh011
Picked011
Done000
Total21223

Merged error: 0.5b

Counts
23 → 2

localize42.0ms

Local error

Found 4 expressions with local error:

0.1b
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
0.2b
(*.f64 c_p (+.f64 (log.f64 1/2) (*.f64 t 1/2)))
0.5b
(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 (+.f64 1 (*.f64 c_p (+.f64 (log.f64 1/2) (*.f64 t 1/2)))) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

rewrite77.0ms

Algorithm
rewrite-expression-head
Rules
210×add-exp-log_binary64_538
109×prod-exp_binary64_525
77×div-exp_binary64_527
75×pow-exp_binary64_498
49×pow-to-exp_binary64_499
29×*-un-lft-identity_binary64_574
28×add-sqr-sqrt_binary64_559
18×add-cbrt-cube_binary64_546 unpow-prod-down_binary64_509
17×times-frac_binary64_569
15×add-cube-cbrt_binary64_545
13×rec-exp_binary64_526
8×pow1_binary64_520
6×difference-of-squares_binary64_603 add-log-exp_binary64_539
5×cbrt-unprod_binary64_543
4×associate-/r/_binary64_639 cbrt-undiv_binary64_544
3×associate-*l*_binary64_634 div-inv_binary64_575 flip3-+_binary64_572 flip-+_binary64_599 pow-pow_binary64_502 pow-unpow_binary64_507 distribute-lft-out_binary64_618 associate-*r*_binary64_633
2×distribute-lft-out--_binary64_619 associate-*l/_binary64_636 associate-*r/_binary64_635
1×flip3--_binary64_573 inv-pow_binary64_496 sqr-pow_binary64_606 associate-/l*_binary64_638 pow-flip_binary64_504 unswap-sqr_binary64_602 frac-2neg_binary64_567 diff-log_binary64_490 clear-num_binary64_577 sub-neg_binary64_578 distribute-lft-in_binary64_616 associate-/r*_binary64_637 distribute-rgt-in_binary64_617 flip--_binary64_600 *-commutative_binary64_642 pow-prod-down_binary64_501
Counts
4 → 160
Calls
4 calls:
11.0ms
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
6.0ms
(*.f64 c_p (+.f64 (log.f64 1/2) (*.f64 t 1/2)))
8.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
44.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 (+.f64 1 (*.f64 c_p (+.f64 (log.f64 1/2) (*.f64 t 1/2)))) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

series1.0s

Counts
4 → 12
Calls
4 calls:
32.0ms
(-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))))
48.0ms
(*.f64 c_p (+.f64 (log.f64 1/2) (*.f64 t 1/2)))
63.0ms
(pow.f64 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 s)))) c_p)
865.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 (+.f64 1 (*.f64 c_p (+.f64 (log.f64 1/2) (*.f64 t 1/2)))) (pow.f64 (-.f64 1 (/.f64 1 (+.f64 1 (exp.f64 (neg.f64 t))))) c_n)))

simplify103.0ms

Algorithm
egg-herbie
Counts
172 → 172
Iterations

Useful iterations: 0 (37.0ms)

IterNodesCost
049747914
149747914

prune361.0ms

Filtered
70 candidates to 172 candidates (-145.7%)
Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New1720172
Fresh000
Picked011
Done011
Total1722174

Merged error: 0.5b

Counts
174 → 2

regimes525.0ms

bsearch0.0ms

simplify3.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
05919
15919

end0.0ms

sample1.5min

Algorithm
intervals
Results
1.0min8810×body5120exit
11.8s4640×body1280overflowed
7.7s38165×body80overflowed
5.8s4234×body640overflowed
1.7s2086×body320overflowed
1.5s63342×pre80true
544.0ms4220×body80valid
461.0ms1035×body160overflowed
72.0ms7×body5120valid
60.0ms26×body1280valid
41.0ms34×body640valid
28.0ms7×body2560valid
20.0ms58×body160valid
8.0ms13×body320valid
2.0ms1×body1280invalid
1.0ms5×body80invalid
0.0ms1×body160invalid

Profiling

Loading profile data...