Details

sample339.0ms

Algorithm

intervals

Results

58.0ms	488×	body	80	valid
3.0ms	9×	body	640	valid
2.0ms	6×	body	320	valid
1.0ms	3×	body	1280	valid
1.0ms	2×	body	160	valid

simplify67.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 3 (60.0ms)

Iter	Nodes	Cost
0	109	59
1	417	56
2	2136	53
3	5001	52

prune23.0ms

Filtered

1 candidates to 1 candidates (100.0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 0.3b

Counts

2 → 2

localize53.0ms

Local error

Found 4 expressions with local error:

4.0b	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
4.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
4.3b	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
8.1b	(fma (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

rewrite288.0ms

Algorithm

rewrite-expression-head

Rules

1847×	`*-un-lft-identity`
615×	`associate-l`
609×	`prod-diff`
573×	`add-sqr-sqrt`
558×	`times-frac`
520×	`distribute-lft-out`
405×	`associate-r`
401×	`add-cube-cbrt`
353×	`distribute-lft-out--`
215×	`distribute-rgt-in` `distribute-lft-in`
61×	`fma-neg`
55×	`difference-of-squares`
31×	`unswap-sqr`
20×	`associate-/r/`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`*-commutative`
10×	`flip3-+` `flip-+` `div-inv`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`add-log-exp`
4×	`expm1-log1p-u` `swap-sqr` `log1p-expm1-u`
3×	`sub-neg`
2×	`flip3--` `associate-*r/` `flip--`
1×	`associate--l-` `diff-log` `div-sub` `fma-udef`

Counts

4 → 795

Calls

4 calls:

14.0ms	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
95.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
71.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
3.0ms	(fma (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

series553.0ms

Counts

4 → 12

Calls

4 calls:

49.0ms	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
96.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
105.0ms	(- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0)
302.0ms	(fma (* (- (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0)) 3.0) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))

simplify193.0ms

Algorithm

egg-herbie

Counts

807 → 807

Iterations

Useful iterations: 1 (33.0ms)

Iter	Nodes	Cost
0	1733	18433
1	5002	14761

prune1.6s

Filtered

807 candidates to 154 candidates (19.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	796	11	807
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	797	12	809

Merged error: 0.1b

Counts

809 → 12

localize59.0ms

Local error

Found 4 expressions with local error:

4.0b	(/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3)))
4.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
8.1b	(fma (* (fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
10.8b	(fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

rewrite247.0ms

Algorithm

rewrite-expression-head

Rules

1767×	`*-un-lft-identity`
574×	`associate-l`
522×	`distribute-lft-out`
513×	`times-frac`
440×	`add-sqr-sqrt`
426×	`prod-diff`
377×	`associate-r`
331×	`distribute-lft-out--`
295×	`add-cube-cbrt`
215×	`distribute-rgt-in` `distribute-lft-in`
96×	`unpow-prod-down` `cube-prod`
50×	`difference-of-squares`
48×	`pow-unpow` `sum-cubes`
21×	`unswap-sqr`
16×	`associate-/r*`
14×	`associate-/r/`
11×	`add-exp-log` `add-cbrt-cube` `associate-/l*`
9×	`pow1` `*-commutative`
7×	`flip3-+` `flip-+` `div-inv`
4×	`expm1-log1p-u` `swap-sqr` `log1p-expm1-u` `add-log-exp`
3×	`pow-prod-down` `prod-exp` `cbrt-unprod`
2×	`sub-neg` `flip3--` `associate-*r/` `flip--` `fma-udef` `associate-/l/`
1×	`cbrt-undiv` `frac-2neg` `div-sub` `div-exp` `clear-num`

Counts

4 → 718

Calls

4 calls:

66.0ms	(/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3)))
94.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
1.0ms	(fma (* (fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
1.0ms	(fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

series583.0ms

Counts

4 → 12

Calls

4 calls:

56.0ms	(/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3)))
97.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
303.0ms	(fma (* (fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
126.0ms	(fma (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (pow (* x1 x1) 3) (pow 1.0 3))) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

simplify183.0ms

Algorithm

egg-herbie

Counts

730 → 730

Iterations

Useful iterations: 1 (32.0ms)

Iter	Nodes	Cost
0	1683	16995
1	5002	14089

prune1.7s

Filtered

730 candidates to 127 candidates (17.4%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	722	8	730
Fresh	8	3	11
Picked	1	0	1
Done	0	0	0
Total	731	11	742

Merged error: 0.1b

Counts

742 → 11

localize53.0ms

Local error

Found 4 expressions with local error:

4.0b	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
4.0b	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
8.1b	(fma (* (fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
10.9b	(fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

rewrite180.0ms

Algorithm

rewrite-expression-head

Rules

1140×	`*-un-lft-identity`
426×	`prod-diff`
405×	`associate-r`
399×	`add-sqr-sqrt`
391×	`associate-l`
337×	`times-frac`
312×	`distribute-lft-out`
272×	`add-cube-cbrt`
215×	`distribute-rgt-in` `distribute-lft-in`
212×	`distribute-lft-out--`
33×	`difference-of-squares`
31×	`unswap-sqr`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
12×	`associate-/r/` `*-commutative`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`flip3-+` `flip-+` `div-inv`
4×	`expm1-log1p-u` `swap-sqr` `log1p-expm1-u` `add-log-exp`
2×	`sub-neg` `associate-*r/` `fma-udef`
1×	`flip3--` `flip--`

Counts

4 → 543

Calls

4 calls:

14.0ms	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
97.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
1.0ms	(fma (* (fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
1.0ms	(fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

series643.0ms

Counts

4 → 12

Calls

4 calls:

44.0ms	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
97.0ms	(* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0))
344.0ms	(fma (* (fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (* (* x1 x1) (- (* 4.0 (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* x1 x1) 1.0))) 6.0)))
158.0ms	(fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

simplify159.0ms

Algorithm

egg-herbie

Counts

555 → 555

Iterations

Useful iterations: 1 (31.0ms)

Iter	Nodes	Cost
0	1558	14368
1	5002	11778

prune1.7s

Filtered

555 candidates to 115 candidates (20.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	549	6	555
Fresh	6	4	10
Picked	1	0	1
Done	0	0	0
Total	556	10	566

Merged error: 0.1b

Counts

566 → 10

localize64.0ms

Local error

Found 4 expressions with local error:

4.0b	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
4.0b	(* (* x1 x1) (fma (* 4.0 (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (/ 1 (+ (* x1 x1) 1.0)) (- (* 6.0 1))))
8.1b	(fma (* (fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (+ (* (* x1 x1) (fma (* 4.0 (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (/ 1 (+ (* x1 x1) 1.0)) (- (* 6.0 1)))) (* (* (fma (- 6.0) 1 6.0) x1) x1)))
10.9b	(fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

rewrite28.0ms

Algorithm

rewrite-expression-head

Rules

44×	`add-sqr-sqrt`
36×	`associate-l`
34×	`associate-r`
18×	`pow1` `add-exp-log` `add-cbrt-cube`
17×	`unswap-sqr`
16×	`add-cube-cbrt` `*-un-lft-identity`
9×	`pow-prod-down` `prod-exp` `cbrt-unprod`
6×	`*-commutative`
4×	`expm1-log1p-u` `swap-sqr` `fma-udef` `log1p-expm1-u` `add-log-exp`
1×	`distribute-rgt-in` `distribute-lft-in`

Counts

4 → 108

Calls

4 calls:

14.0ms	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
9.0ms	(* (* x1 x1) (fma (* 4.0 (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (/ 1 (+ (* x1 x1) 1.0)) (- (* 6.0 1))))
1.0ms	(fma (* (fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (+ (* (* x1 x1) (fma (* 4.0 (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (/ 1 (+ (* x1 x1) 1.0)) (- (* 6.0 1)))) (* (* (fma (- 6.0) 1 6.0) x1) x1)))
1.0ms	(fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

series1.1s

Counts

4 → 12

Calls

4 calls:

47.0ms	(* (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1)) (* (* 3.0 x1) x1))
84.0ms	(* (* x1 x1) (fma (* 4.0 (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (/ 1 (+ (* x1 x1) 1.0)) (- (* 6.0 1))))
856.0ms	(fma (* (fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0)) 2.0) (/ (* x1 (fma 3.0 (* x1 x1) (- (* 2.0 x2) x1))) (fma x1 x1 1.0)) (+ (* (* x1 x1) (fma (* 4.0 (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1)) (/ 1 (+ (* x1 x1) 1.0)) (- (* 6.0 1)))) (* (* (fma (- 6.0) 1 6.0) x1) x1)))
146.0ms	(fma (/ (/ (- (+ (* (* 3.0 x1) x1) (* 2.0 x2)) x1) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0)))) (+ (pow (* x1 x1) 1) 1.0)) (+ (* (* x1 x1) (* x1 x1)) (- (* 1.0 1.0) (* (* x1 x1) 1.0))) (- 3.0))

simplify110.0ms

Algorithm

egg-herbie

Counts

120 → 120

Iterations

Useful iterations: 2 (89.0ms)

Iter	Nodes	Cost
0	613	2369
1	3428	2001
2	5001	1935

prune1.2s

Filtered

120 candidates to 86 candidates (71.7%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	4	5	9
Picked	0	1	1
Done	0	0	0
Total	121	9	130

Merged error: 0.1b

Counts

130 → 9

regimes518.0ms

Accuracy

0% (0.1b remaining)

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

bsearch0.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	77	75
1	82	75
2	82	75

end0.0ms

sample1.8s

Algorithm

intervals

Results

1.2s	13759×	body	80	valid
141.0ms	396×	body	640	valid
87.0ms	196×	body	1280	valid
84.0ms	307×	body	320	valid
29.0ms	147×	body	160	valid