Details

Time bar (total: 7.4s)

analyze260.0ms

Algorithm
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
6.2%93.6%0.2%5
6.2%68.6%25.1%6
6.2%49.9%43.9%7
6.2%35.9%57.9%8
6.2%25.3%68.4%9
6.2%20.1%73.7%10
6.2%15.7%78.1%11
6.2%12%81.7%12
6.2%9%84.8%13
6.2%7.5%86.3%14

sample134.0ms

Algorithm
intervals
Results
64.0ms168×body640valid
29.0ms309×body80nan
15.0ms48×body320valid
3.0ms6×body1280valid
2.0ms24×body80valid
2.0ms10×body160valid

simplify37.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (35.0ms)

IterNodesCost
0588031

prune16.0ms

Filtered
1 candidates to 1 candidates (0.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 6.4b

Counts
2 → 2

localize22.0ms

Local error

Found 4 expressions with local error:

2.6b
(- (sqrt (+ t 1.0)) (sqrt t))
3.1b
(- (sqrt (+ z 1.0)) (sqrt z))
3.5b
(- (sqrt (+ x 1.0)) (sqrt x))
4.0b
(- (sqrt (+ y 1.0)) (sqrt y))

rewrite35.0ms

Algorithm
rewrite-expression-head
Rules
36×add-sqr-sqrt
32×*-un-lft-identity sqrt-prod
16×difference-of-squares
12×distribute-lft-out-- add-log-exp
4×pow1 add-exp-log add-cube-cbrt sub-neg flip3-- diff-log add-cbrt-cube flip-- distribute-lft-out
Counts
4 → 72
Calls
4 calls:
7.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
9.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
8.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
8.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

series39.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
10.0ms
(- (sqrt (+ z 1.0)) (sqrt z))
10.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
9.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

simplify29.0ms

Algorithm
egg-herbie
Counts
84 → 84
Iterations

Useful iterations: 0 (19.0ms)

IterNodesCost
051191364

prune219.0ms

Filtered
63 candidates to 84 candidates (-33.3%)
Pruning

4 alts after pruning (4 fresh and 0 done)

PrunedKeptTotal
New80484
Fresh101
Picked101
Done000
Total82486

Merged error: 1.1b

Counts
86 → 4

localize25.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
2.6b
(- (sqrt (+ t 1.0)) (sqrt t))
3.5b
(- (sqrt (+ x 1.0)) (sqrt x))
4.0b
(- (sqrt (+ y 1.0)) (sqrt y))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
86×*-un-lft-identity
44×sqrt-prod
40×add-sqr-sqrt
30×distribute-lft-out
24×times-frac
16×add-cube-cbrt
12×difference-of-squares
10×add-log-exp
9×distribute-lft-out--
6×add-exp-log associate-/r* add-cbrt-cube
4×pow1 associate-/l*
3×sub-neg flip3-- diff-log flip--
2×flip3-+ associate-/r/ flip-+ associate-/l/
1×cbrt-undiv frac-2neg div-exp clear-num div-inv
Counts
4 → 104
Calls
4 calls:
14.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
8.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
8.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
8.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

series38.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
9.0ms
(- (sqrt (+ t 1.0)) (sqrt t))
9.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
10.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

simplify38.0ms

Algorithm
egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (26.0ms)

IterNodesCost
052511783

prune276.0ms

Filtered
78 candidates to 116 candidates (-48.7%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1115116
Fresh213
Picked101
Done000
Total1146120

Merged error: 0.7b

Counts
120 → 6

localize28.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (+ (sqrt (+ 1.0 t)) (sqrt t)))
0.2b
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
3.5b
(- (sqrt (+ x 1.0)) (sqrt x))
4.0b
(- (sqrt (+ y 1.0)) (sqrt y))

rewrite42.0ms

Algorithm
rewrite-expression-head
Rules
118×*-un-lft-identity
52×sqrt-prod
45×distribute-lft-out
43×add-sqr-sqrt
42×times-frac
27×add-cube-cbrt
12×associate-/r*
8×add-exp-log add-cbrt-cube add-log-exp difference-of-squares
7×associate-/l*
6×distribute-lft-out--
4×pow1 associate-/r/
3×flip3-+ flip-+
2×cbrt-undiv sub-neg flip3-- frac-2neg diff-log div-exp clear-num flip-- div-inv associate-/l/
Counts
4 → 127
Calls
4 calls:
9.0ms
(/ 1.0 (+ (sqrt (+ 1.0 t)) (sqrt t)))
12.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
8.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
8.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

series42.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ 1.0 (+ (sqrt (+ 1.0 t)) (sqrt t)))
9.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
14.0ms
(- (sqrt (+ x 1.0)) (sqrt x))
10.0ms
(- (sqrt (+ y 1.0)) (sqrt y))

simplify55.0ms

Algorithm
egg-herbie
Counts
139 → 139
Iterations

Useful iterations: 0 (41.0ms)

IterNodesCost
048862088
148862088

prune324.0ms

Filtered
89 candidates to 139 candidates (-56.2%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1372139
Fresh145
Picked101
Done000
Total1396145

Merged error: 0.2b

Counts
145 → 6

localize27.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ 1.0 (+ (sqrt (+ 1.0 t)) (sqrt t)))
0.2b
(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
0.2b
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
3.5b
(- (sqrt (+ x 1.0)) (sqrt x))

rewrite45.0ms

Algorithm
rewrite-expression-head
Rules
150×*-un-lft-identity
60×times-frac sqrt-prod distribute-lft-out
46×add-sqr-sqrt
38×add-cube-cbrt
18×associate-/r*
10×add-exp-log add-cbrt-cube associate-/l*
6×associate-/r/ add-log-exp
4×pow1 flip3-+ flip-+ difference-of-squares
3×cbrt-undiv frac-2neg div-exp clear-num div-inv distribute-lft-out--
2×associate-/l/
1×sub-neg flip3-- diff-log flip--
Counts
4 → 150
Calls
4 calls:
9.0ms
(/ 1.0 (+ (sqrt (+ 1.0 t)) (sqrt t)))
9.0ms
(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
13.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
8.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

series36.0ms

Counts
4 → 12
Calls
4 calls:
9.0ms
(/ 1.0 (+ (sqrt (+ 1.0 t)) (sqrt t)))
9.0ms
(/ 1.0 (+ (sqrt (+ y 1.0)) (sqrt y)))
9.0ms
(/ (+ 1.0 0) (+ (sqrt (+ 1.0 z)) (sqrt z)))
9.0ms
(- (sqrt (+ x 1.0)) (sqrt x))

simplify48.0ms

Algorithm
egg-herbie
Counts
162 → 162
Iterations

Useful iterations: 0 (29.0ms)

IterNodesCost
050552397

prune352.0ms

Filtered
101 candidates to 162 candidates (-60.4%)
Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New1602162
Fresh145
Picked101
Done000
Total1626168

Merged error: 0.0b

Counts
168 → 6

regimes988.0ms

Accuracy

0% (0.0b remaining)

Error of 0.1b against oracle of 0.1b and baseline of 0.1b

bsearch0.0ms

simplify1.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
04239
14239

end0.0ms

analyze252.0ms

Algorithm
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
6.2%93.6%0.2%5
6.2%68.6%25.1%6
6.2%49.9%43.9%7
6.2%35.9%57.9%8
6.2%25.3%68.4%9
6.2%20.1%73.7%10
6.2%15.7%78.1%11
6.2%12%81.7%12
6.2%9%84.8%13
6.2%7.5%86.3%14

sample3.9s

Algorithm
intervals
Results
2.0s5220×body640valid
908.0ms9608×body80nan
451.0ms1603×body320valid
79.0ms423×body160valid
65.0ms136×body1280valid
58.0ms618×body80valid

Profiling

Loading profile data...