Details

Time bar (total: 59.7s)

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.8s530×body5120exit
772.0ms284×body1280overflowed
476.0ms2211×body80overflowed
348.0ms240×body640overflowed
110.0ms133×body320overflowed
102.0ms3716×pre80true
35.0ms252×body80valid
29.0ms62×body160overflowed
5.0ms2×body1280valid
1.0ms1×body320valid
0.0ms1×body160valid

simplify48.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
0509243

prune13.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: 3.0b

Counts
2 → 1

localize24.0ms

Local error

Found 4 expressions with local error:

0.0b
(+ 1.0 (exp (neg s)))
0.5b
(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
1.0b
(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
1.2b
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

rewrite78.0ms

Algorithm
rewrite-expression-head
Rules
556×add-exp-log
312×prod-exp
264×pow-exp
249×div-exp
184×pow-to-exp
36×unpow-prod-down *-un-lft-identity
25×times-frac
22×add-sqr-sqrt add-cube-cbrt
16×add-cbrt-cube
7×distribute-lft-out
6×pow1 pow-unpow add-log-exp
4×cbrt-undiv associate-/r/ cbrt-unprod
3×flip3-+ flip-+ div-inv
2×pow-pow sqr-pow
1×+-commutative frac-2neg clear-num associate-/r* sum-log associate-/l*
Counts
4 → 264
Calls
4 calls:
4.0ms
(+ 1.0 (exp (neg s)))
7.0ms
(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
7.0ms
(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
43.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

series214.0ms

Counts
4 → 12
Calls
4 calls:
2.0ms
(+ 1.0 (exp (neg s)))
14.0ms
(pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p)
16.0ms
(pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p)
182.0ms
(/ (* (pow (/ 1.0 (+ 1.0 (exp (neg s)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))) c_n)) (* (pow (/ 1.0 (+ 1.0 (exp (neg t)))) c_p) (pow (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))) c_n)))

simplify80.0ms

Algorithm
egg-herbie
Counts
276 → 276
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
051249316

prune284.0ms

Filtered
73 candidates to 276 candidates (-278.1%)
Pruning

3 alts after pruning (3 fresh and 0 done)

PrunedKeptTotal
New2733276
Fresh000
Picked101
Done000
Total2743277

Merged error: 0b

Counts
277 → 3

localize6.0ms

Local error

Found 1 expressions with local error:

0.0b
(* (* s 0.5) (- c_p c_n))

rewrite8.0ms

Algorithm
rewrite-expression-head
Rules
6×pow1 add-exp-log add-cbrt-cube
5×associate-*r*
4×add-sqr-sqrt *-un-lft-identity
3×pow-prod-down prod-exp cbrt-unprod
2×add-cube-cbrt sub-neg associate-*r/
1×distribute-rgt-in flip3-- distribute-lft-in associate-*l* *-commutative flip-- distribute-lft-out-- add-log-exp difference-of-squares
Counts
1 → 24
Calls
1 calls:
7.0ms
(* (* s 0.5) (- c_p c_n))

series8.0ms

Counts
1 → 3
Calls
1 calls:
8.0ms
(* (* s 0.5) (- c_p c_n))

simplify36.0ms

Algorithm
egg-herbie
Counts
27 → 27
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
05017220

prune38.0ms

Filtered
16 candidates to 27 candidates (-68.8%)
Pruning

3 alts after pruning (2 fresh and 1 done)

PrunedKeptTotal
New27027
Fresh022
Picked011
Done000
Total27330

Merged error: 0b

Counts
30 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

0.5b
(log (/ 1.0 (+ 1.0 (exp (neg s)))))
1.0b
(log (/ 1.0 (+ 1.0 (exp (neg t)))))
9.5b
(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))
9.5b
(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

rewrite55.0ms

Algorithm
rewrite-expression-head
Rules
84×log-prod
74×*-un-lft-identity
52×add-sqr-sqrt
50×times-frac
38×add-cube-cbrt
24×associate--l+ associate--r+
14×pow1
12×distribute-lft-out
10×add-exp-log log-pow distribute-lft-out--
8×log-div associate-/r/
6×difference-of-squares
4×flip3-- flip3-+ rem-log-exp add-cbrt-cube flip-- flip-+ div-inv add-log-exp
3×associate--l- associate--r-
2×sub-neg diff-log div-exp
Counts
4 → 144
Calls
4 calls:
5.0ms
(log (/ 1.0 (+ 1.0 (exp (neg s)))))
5.0ms
(log (/ 1.0 (+ 1.0 (exp (neg t)))))
15.0ms
(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))
24.0ms
(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

series82.0ms

Counts
4 → 12
Calls
4 calls:
14.0ms
(log (/ 1.0 (+ 1.0 (exp (neg s)))))
14.0ms
(log (/ 1.0 (+ 1.0 (exp (neg t)))))
25.0ms
(- (log (/ 1.0 (+ 1.0 (exp (neg s))))) (log (/ 1.0 (+ 1.0 (exp (neg t))))))
28.0ms
(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

simplify66.0ms

Algorithm
egg-herbie
Counts
156 → 156
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049632785
149632785

prune491.0ms

Filtered
112 candidates to 156 candidates (-39.3%)
Pruning

3 alts after pruning (1 fresh and 2 done)

PrunedKeptTotal
New1551156
Fresh101
Picked011
Done011
Total1563159

Merged error: 0b

Counts
159 → 3

localize28.0ms

Local error

Found 4 expressions with local error:

0.0b
(* c_p (- (* 0.5 (- s t)) (* s (* s 0.125))))
0.0b
(* c_n (- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))))
0.4b
(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))))
9.5b
(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

rewrite64.0ms

Algorithm
rewrite-expression-head
Rules
46×add-sqr-sqrt
31×*-un-lft-identity
30×log-prod
22×associate--l+
17×pow1
14×distribute-rgt-in distribute-lft-in
13×add-cube-cbrt distribute-lft-out--
12×difference-of-squares
11×associate-*r*
10×log-div
9×add-exp-log sub-neg log-pow
8×flip3-- add-cbrt-cube flip--
6×associate-*l* associate--r+ associate--r-
5×times-frac
4×associate-*r/ add-log-exp
2×associate--l- pow-prod-down prod-exp *-commutative cbrt-unprod unswap-sqr
1×diff-log rem-log-exp
Counts
4 → 118
Calls
4 calls:
10.0ms
(* c_p (- (* 0.5 (- s t)) (* s (* s 0.125))))
19.0ms
(* c_n (- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))))
10.0ms
(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))))
22.0ms
(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

series107.0ms

Counts
4 → 12
Calls
4 calls:
16.0ms
(* c_p (- (* 0.5 (- s t)) (* s (* s 0.125))))
46.0ms
(* c_n (- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t))))))))
17.0ms
(log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s))))))
28.0ms
(- (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg s)))))) (log (- 1.0 (/ 1.0 (+ 1.0 (exp (neg t)))))))

simplify51.0ms

Algorithm
egg-herbie
Counts
130 → 130
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
053862935

prune280.0ms

Filtered
83 candidates to 130 candidates (-56.6%)
Pruning

3 alts after pruning (0 fresh and 3 done)

PrunedKeptTotal
New1300130
Fresh000
Picked011
Done022
Total1303133

Merged error: 0b

Counts
133 → 3

regimes787.0ms

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
011138
111138

end0.0ms

sample46.5s

Algorithm
intervals
Results
30.6s4474×body5120exit
6.0s2372×body1280overflowed
3.8s19021×body80overflowed
2.9s2148×body640overflowed
865.0ms1088×body320overflowed
742.0ms31870×pre80true
277.0ms2213×body80valid
216.0ms499×body160overflowed
53.0ms3×body5120valid
24.0ms10×body1280valid
9.0ms3×body2560valid
9.0ms25×body160valid
8.0ms7×body640valid
4.0ms7×body320valid

Profiling

Loading profile data...