Details

Time bar (total: 26.7s)

sample385.0ms

Algorithm
intervals
Results
108.0ms105×body10240exit
90.0ms106×body1280valid
50.0ms83×body640valid
34.0ms48×body1280nan
25.0ms39×body640nan
16.0ms37×body320valid
5.0ms12×body320nan
4.0ms14×body160valid
3.0ms12×body160nan
2.0ms17×body80valid
1.0ms8×body80nan

simplify75.0ms

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 2 (15.0ms)

IterNodesCost
013348
145348
2276647
3500247

prune28.0ms

Filtered
1 candidates to 1 candidates (100.0%)
Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022

Merged error: 59.9b

Counts
2 → 2

localize53.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
0.9b
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))
4.8b
(+ (- z 1.0) 1.0)

rewrite255.0ms

Algorithm
rewrite-expression-head
Rules
22×*-un-lft-identity
15×add-exp-log associate-*r*
13×add-sqr-sqrt
11×add-cbrt-cube
10×prod-exp
9×pow1 add-log-exp
8×add-cube-cbrt
7×unpow-prod-down distribute-lft-out
6×associate-*r/
5×associate-+l- associate-*l*
4×cbrt-unprod pow-sub
3×exp-neg unswap-sqr
2×neg-sub0 frac-times pow-to-exp associate-+l+ sqrt-pow1 exp-diff pow-prod-down pow-exp sum-log sqrt-prod *-commutative distribute-lft-out-- sqr-pow
1×unpow-prod-up +-commutative sub-neg distribute-neg-in flip3-+ pow1/2 diff-log exp-sum associate-*l/ un-div-inv flip-+
Counts
4 → 85
Calls
4 calls:
224.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
18.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))
7.0ms
(+ (- z 1.0) 1.0)

series647.0ms

Counts
4 → 10
Calls
4 calls:
369.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
268.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))
10.0ms
(+ (- z 1.0) 1.0)

simplify94.0ms

Algorithm
egg-herbie
Counts
95 → 95
Iterations

Useful iterations: 2 (81.0ms)

IterNodesCost
07281124
13136988
25001982

prune784.0ms

Filtered
95 candidates to 65 candidates (68.4%)
Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New88795
Fresh011
Picked101
Done000
Total89897

Merged error: 0.6b

Counts
97 → 8

localize46.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
0.5b
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
0.9b
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite228.0ms

Algorithm
rewrite-expression-head
Rules
392×frac-add
132×frac-times
107×associate-*r/
62×*-un-lft-identity
56×flip3-+ flip-+
55×associate-+l- pow-sub
54×exp-neg
41×distribute-lft-out
36×neg-sub0 exp-diff
27×add-exp-log
26×associate-*r*
24×associate-*l/
22×prod-exp
20×add-cbrt-cube
18×un-div-inv
14×pow1 add-sqr-sqrt
10×cbrt-unprod
9×add-cube-cbrt
7×unpow-prod-down
6×associate-*l*
5×pow-prod-down
4×add-log-exp
3×pow-to-exp pow-exp *-commutative unswap-sqr
2×sqrt-pow1 sqrt-prod sqr-pow
1×unpow-prod-up distribute-rgt-in distribute-neg-in distribute-lft-in pow1/2 exp-sum distribute-lft-out--
Counts
4 → 218
Calls
4 calls:
31.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
152.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
22.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series1.3s

Counts
4 → 10
Calls
4 calls:
379.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
612.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
285.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify306.0ms

Algorithm
egg-herbie
Counts
228 → 228
Iterations

Useful iterations: 1 (68.0ms)

IterNodesCost
0381024352
1500224218

prune1.9s

Filtered
228 candidates to 139 candidates (61.0%)
Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New2199228
Fresh617
Picked101
Done000
Total22610236

Merged error: 0.0b

Counts
236 → 10

localize47.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (* (exp (- (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
0.5b
(* (exp (- (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
0.9b
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
1.0b
(sqrt (* PI 2.0))

rewrite338.0ms

Algorithm
rewrite-expression-head
Rules
504×frac-add
150×associate-*r/
146×frac-times
72×flip3-+ flip-+
62×*-un-lft-identity
52×associate-+l- pow-sub
51×neg-sub0 exp-neg exp-diff
41×distribute-lft-out
30×add-exp-log
23×associate-*r*
22×prod-exp
20×add-cbrt-cube
16×add-sqr-sqrt
14×pow1
10×cbrt-unprod
9×add-cube-cbrt associate-*l*
7×unpow-prod-down associate-*l/
5×distribute-rgt-in distribute-lft-in pow-prod-down
4×add-log-exp unswap-sqr
3×pow-to-exp pow-exp *-commutative
2×sqrt-pow1 sqrt-prod sqr-pow
1×unpow-prod-up distribute-neg-in pow1/2 exp-sum distribute-lft-out--
Counts
4 → 250
Calls
4 calls:
153.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (* (exp (- (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
132.0ms
(* (exp (- (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
23.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
2.0ms
(sqrt (* PI 2.0))

series1.1s

Counts
4 → 10
Calls
4 calls:
595.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (* (exp (- (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))
196.0ms
(* (exp (- (+ (+ (- z 1.0) 7.0) 0.5))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
278.0ms
(* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5)))
0.0ms
(sqrt (* PI 2.0))

simplify337.0ms

Algorithm
egg-herbie
Counts
260 → 260
Iterations

Useful iterations: 1 (61.0ms)

IterNodesCost
0356028662
1500228457

prune2.4s

Filtered
260 candidates to 170 candidates (65.4%)
Pruning

10 alts after pruning (9 fresh and 1 done)

PrunedKeptTotal
New2582260
Fresh279
Picked011
Done000
Total26010270

Merged error: 0.0b

Counts
270 → 10

localize50.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
0.4b
(/ (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
0.5b
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
1.0b
(sqrt (* PI 2.0))

rewrite368.0ms

Algorithm
rewrite-expression-head
Rules
448×frac-add
102×associate-*r/
96×frac-times
73×add-exp-log
72×*-un-lft-identity
70×exp-neg
67×associate-/l/
64×flip3-+ flip-+
55×prod-exp
46×distribute-lft-out
35×neg-sub0 exp-diff un-div-inv
32×add-cbrt-cube
18×div-exp
15×associate-*r* cbrt-unprod
14×pow1
12×unpow-prod-down times-frac associate-/r*
11×pow-to-exp pow-exp
10×add-sqr-sqrt add-cube-cbrt
6×associate-*l/
5×pow-prod-down
4×cbrt-undiv unpow-prod-up add-log-exp
2×sub-neg sqrt-pow1 associate-*l* *-commutative distribute-lft-out-- sqr-pow
1×distribute-rgt-in distribute-neg-in frac-2neg distribute-lft-in pow1/2 exp-sum clear-num sqrt-prod associate-/r/ div-inv associate-/l* pow-sub
Counts
4 → 258
Calls
4 calls:
29.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
162.0ms
(/ (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
147.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
2.0ms
(sqrt (* PI 2.0))

series1.5s

Counts
4 → 10
Calls
4 calls:
224.0ms
(* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5))))
850.0ms
(/ (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))) (pow (+ (+ (- z 1.0) 7.0) 0.5) (- 1.0 0.5)))
405.0ms
(* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) z)) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 z)) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0))))
0.0ms
(sqrt (* PI 2.0))

simplify265.0ms

Algorithm
egg-herbie
Counts
268 → 268
Iterations

Useful iterations: 1 (64.0ms)

IterNodesCost
0346620892
1500120372

prune2.3s

Filtered
268 candidates to 175 candidates (65.3%)
Pruning

10 alts after pruning (8 fresh and 2 done)

PrunedKeptTotal
New2680268
Fresh088
Picked011
Done011
Total26810278

Merged error: 0.0b

Counts
278 → 10

regimes291.0ms

Accuracy

0% (1.0b remaining)

Error of 1.0b against oracle of 0.0b and baseline of 1.0b

bsearch0.0ms

simplify2.0ms

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
07846
18346
28346

end0.0ms

sample11.6s

Algorithm
intervals
Results
3.9s3846×body10240exit
3.0s3385×body1280valid
1.5s2477×body640valid
1.1s1504×body1280nan
675.0ms1190×body640nan
552.0ms1248×body320valid
232.0ms572×body320nan
183.0ms626×body160valid
77.0ms299×body160nan
52.0ms343×body80valid
36.0ms279×body80nan