Details

Time bar (total: 3.5s)

analyze1.2s (34.7%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.8%0.2%0
0%99.8%0.2%1
0%99.8%0.2%2
0%99.8%0.2%3
0%99.8%0.2%4
0%99.8%0.2%5
0%99.8%0.2%6
0%99.8%0.2%7
0%99.8%0.2%8
0%99.8%0.2%9
0%99.8%0.2%10
0%99.8%0.2%11
0%99.8%0.2%12
3.7%96.1%0.2%13
4.2%94.5%1.3%14

sample27.0ms (0.8%)

Algorithm
1×intervals
Results
12.0ms256×body80valid
3.0ms72×body80invalid

simplify63.0ms (1.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (57.0ms)

IterNodesCost
0492415
1492415

prune12.0ms (0.4%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 0.0b

Counts
2 → 2

localize16.0ms (0.5%)

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 1 z) 1.0)
0.0b
(+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
0.2b
(* (/ 2.0 t) (+ (/ 1 z) 1.0))

rewrite35.0ms (1%)

Algorithm
1×rewrite-expression-head
Rules
19×*-un-lft-identity
16×add-sqr-sqrt
13×associate-*l*
11×add-cube-cbrt
10×times-frac add-log-exp
8×add-exp-log add-cbrt-cube
5×pow1 associate-*r* distribute-lft-out
4×flip3-+ flip-+
3×associate-+r+ sum-log div-inv
2×+-commutative distribute-rgt-in frac-times distribute-lft-in associate-*r/ frac-add prod-exp associate--l+ cbrt-unprod unswap-sqr
1×cbrt-undiv associate-+r- sub-neg flip3-- diff-log div-exp pow-prod-down associate-*l/ *-commutative flip--
Counts
3 → 72
Calls

3 calls:

16.0ms
(+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
11.0ms
(* (/ 2.0 t) (+ (/ 1 z) 1.0))
6.0ms
(+ (/ 1 z) 1.0)

series21.0ms (0.6%)

Counts
3 → 9
Calls

3 calls:

15.0ms
(+ (/ x y) (- (* (/ 2.0 t) (+ (/ 1 z) 1.0)) 2.0))
5.0ms
(* (/ 2.0 t) (+ (/ 1 z) 1.0))
1.0ms
(+ (/ 1 z) 1.0)

simplify24.0ms (0.7%)

Algorithm
1×egg-herbie
Counts
81 → 81
Iterations

Useful iterations: 0 (17.0ms)

IterNodesCost
054171049

prune146.0ms (4.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New78381
Fresh011
Picked101
Done000
Total79483

Merged error: 0.0b

Counts
83 → 4

localize9.0ms (0.2%)

Local error

Found 3 expressions with local error:

0.0b
(+ (/ x y) (- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0))
0.0b
(+ (/ 2.0 t) (/ (/ 2.0 t) z))
0.2b
(/ (/ 2.0 t) z)

rewrite69.0ms (2%)

Algorithm
1×rewrite-expression-head
Rules
77×times-frac
60×*-un-lft-identity
45×add-sqr-sqrt add-cube-cbrt
14×add-log-exp
13×associate-/l*
8×add-exp-log add-cbrt-cube
6×distribute-lft-out
5×sum-log div-inv
3×pow1 cbrt-undiv div-exp frac-add associate-/r*
2×+-commutative associate-+r+ flip3-+ diff-log flip-+ distribute-lft-out--
1×associate-+r- sub-neg flip3-- frac-2neg associate--l+ clear-num flip-- associate-/l/
Counts
3 → 105
Calls

3 calls:

36.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0))
24.0ms
(+ (/ 2.0 t) (/ (/ 2.0 t) z))
6.0ms
(/ (/ 2.0 t) z)

series21.0ms (0.6%)

Counts
3 → 9
Calls

3 calls:

13.0ms
(+ (/ x y) (- (+ (/ 2.0 t) (/ (/ 2.0 t) z)) 2.0))
5.0ms
(+ (/ 2.0 t) (/ (/ 2.0 t) z))
3.0ms
(/ (/ 2.0 t) z)

simplify43.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
114 → 114
Iterations

Useful iterations: 0 (33.0ms)

IterNodesCost
049871493
149871493

prune189.0ms (5.4%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New1131114
Fresh033
Picked011
Done000
Total1135118

Merged error: 0.0b

Counts
118 → 5

localize10.0ms (0.3%)

Local error

Found 3 expressions with local error:

0.0b
(+ (/ 1 z) 1.0)
0.0b
(+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
0.1b
(/ (+ (/ 1 z) 1.0) t)

rewrite32.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Rules
30×*-un-lft-identity
15×times-frac
13×add-sqr-sqrt add-cube-cbrt
11×distribute-lft-out
10×add-log-exp
6×div-inv
5×add-exp-log add-cbrt-cube associate-/l*
3×pow1 flip3-+ associate-/r* sum-log flip-+
2×+-commutative frac-add associate-/l/
1×cbrt-undiv associate-+r- sub-neg associate-+r+ flip3-- frac-2neg diff-log div-exp clear-num flip--
Counts
3 → 67
Calls

3 calls:

16.0ms
(+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
9.0ms
(/ (+ (/ 1 z) 1.0) t)
6.0ms
(+ (/ 1 z) 1.0)

series20.0ms (0.6%)

Counts
3 → 9
Calls

3 calls:

15.0ms
(+ (/ x y) (- (* 2.0 (/ (+ (/ 1 z) 1.0) t)) 2.0))
4.0ms
(/ (+ (/ 1 z) 1.0) t)
2.0ms
(+ (/ 1 z) 1.0)

simplify35.0ms (1%)

Algorithm
1×egg-herbie
Counts
76 → 76
Iterations

Useful iterations: 0 (28.0ms)

IterNodesCost
05299993

prune124.0ms (3.5%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New76076
Fresh033
Picked011
Done011
Total76581

Merged error: 0.0b

Counts
81 → 5

localize19.0ms (0.5%)

Local error

Found 4 expressions with local error:

0.6b
(cbrt z)
0.6b
(cbrt t)
0.6b
(cbrt t)
0.6b
(cbrt t)

rewrite5.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
12×cbrt-prod
8×add-sqr-sqrt add-cube-cbrt *-un-lft-identity
4×pow1 add-exp-log pow1/3 add-cbrt-cube add-log-exp
Counts
4 → 44
Calls

4 calls:

1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt t)
1.0ms
(cbrt z)

series85.0ms (2.4%)

Counts
4 → 12
Calls

4 calls:

23.0ms
(cbrt t)
21.0ms
(cbrt z)
20.0ms
(cbrt t)
20.0ms
(cbrt t)

simplify35.0ms (1%)

Algorithm
1×egg-herbie
Counts
56 → 56
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
05228200

prune79.0ms (2.3%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New56056
Fresh022
Picked011
Done022
Total56561

Merged error: 0.0b

Counts
61 → 5

regimes407.0ms (11.6%)

Accuracy

Total 0.1b remaining (82%)

Threshold costs 0.1b (82%)

bsearch0.0ms (0%)

simplify1.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02315
12315

end0.0ms (0%)

sample758.0ms (21.6%)

Algorithm
1×intervals
Results
383.0ms8000×body80valid
111.0ms2365×body80invalid

Profiling

Loading profile data...